検索結果
ナビゲーションに移動
検索に移動
- [[Category:プログラミング言語理論]] …12キロバイト (717 語) - 2023年12月27日 (水) 01:41
- 11キロバイト (326 語) - 2024年7月16日 (火) 03:59
- …ヴン・クレイニ]]により、[[函数]]とその評価を定式化するために導入された。λ式は[[λ計算]]—[[数理論理学]]および{{仮リンク|プログラミング言語理論|en|Programming language theory}}において用いられる[[形式体系]]—の基礎を成している。 …10キロバイト (230 語) - 2025年3月15日 (土) 11:24
- …＝ハワード同型対応'''（カリー＝ハワードどうけいたいおう、{{lang-en|Curry–Howard correspondence}}）とは、[[プログラミング言語理論]]と[[証明論]]において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・ …56キロバイト (4,712 語) - 2024年11月27日 (水) 12:17