ラムダ計算 - Wikipedia

暮らしカテゴリーの変更を依頼記事元:

ja.wikipedia.org

162 usersがブックマークコメント

コメント

13

記事へのコメント13件

注目コメント
新着コメント

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

ラムダ計算 - Wikipedia

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報... この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月）ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論

ブックマークしたユーザー

tybalt2025/01/13
issyurn2024/10/16
techtech05212023/09/22
kazutanaka2023/06/01
kabukisan2022/07/29
yujiorama2022/03/01
motchang2021/04/30
xprxcsgwj2021/04/02
sato-y2019/02/27
quick_past2018/06/21
yu3ho72016/10/03
watarum2016/09/28
kb84tkhr2016/04/30
karahiyo2015/11/03
michael262015/06/11
mimizukuma2015/04/17
be_a_prgrmr2015/03/09
KatagiriSo2015/01/15

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 暮らし

いま人気の記事 - 暮らしをもっと読む

新着記事 - 暮らし

新着記事 - 暮らしをもっと読む

設定を変更しましたx