ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
フェルミ推定 - Wikipedia
フェルミ推定（フェルミすいてい、英: Fermi estimate）とは、実際に調査することが難しいような捉えどころのない量を、いくつかの手掛かりを元に論理的に推論し、短時間で概算することである。例えば「東京都内にあるマンホールの総数はいくらか？」「地球上に蟻は何匹いるか？」など、一見見当もつかないような量に関して推定すること、またはこの種の問題を指す。 別称でフェルミの問題（フェルミのもんだい、英: Fermi problem/question/quiz）、オーダーエスティメーションや封筒裏の計算（英語版）[1]ともいわれる。 名前の由来は物理学者でノーベル物理学賞を受賞したエンリコ・フェルミに由来する[2]。フェルミはこの種の概算を得意としていた。 フェルミ推定はコンサルティング会社や外資系企業などの面接試験で用いられることがあるほか、欧米では学校教育で科学的な思考力を養成するために用
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
