これは豆知識なんだけど、JevのNoul型の「Noul」は辞書に載ってない新しい単語なのです。AIや機械学習の分野の専門用語でもない。 これはTypeSafe AI社のJev、システム1モデルのAPIの質問の型の一種としてしか使われない単語です(古語にはあるが無関係)。 では、Noulという名前はなぜその名前がつけられたのか？この由来は今のところ公式ドキュメントには書かれていません。今はChromeのAIモードに聞くとそれらしい嘘が返ってきますので注意。 その答えを、TypeSafe AIのCEOであるDiogo Almeida（ディオゴ・アルメイダ）氏のハンドルネームCompleteSkeptic氏がHacker Newsで、Noulはベルヌーイ分布、ベルヌーイ試行で有名なBernoulliから来ていると明かしています。 news.ycombinator.com/item?id… つまり単語の途中を略語にするInfluenzaをfluと略すパターンですね。(わからんて) Noulが返す値は、ちょうどベルヌーイ分布のパラメータ p にあたるのです。 ベルヌーイ試行は「成功か失敗か」の2通りしか結果がない試行（コイン投げなど）で、その分布は「1になる確率 p」という数値ひとつだけで完全に決まります。Noulは命題が真（Yes）である確率を0〜1で返すので、出力はまさにこの p です。つまりNoulの回答は「この命題の真偽をベルヌーイ変数とみなしたときの p」になっています。 ちなみにベルヌーイ一族というのは17世紀から18世紀にかけて数学や物理学の歴史を大きく動かした、スイスの天才数学者一族のファミリーネームで、ベルヌーイ試行は数学者のヤコブ・ベルヌーイさん。流体力学のベルヌーイの法則は、そのおいに当たるダニエル・ベルヌーイさんが発見しました。 ちなみにちなみに、Jevはジェヴォンズのパラドックスから来ていると言われていて、効率の良い蒸気機関が石炭消費をかえって増やしたように、判断のコストを1セントよりはるかに下げれば、LLMを呼ぼうとは思わなかった場所にも判断が置かれるようになる、というのがTypeSafeの賭けとされています。 おしまい