検索結果
ナビゲーションに移動
検索に移動
- …lambda calculus}}）とは、無名の関数の抽象表現にラムダ (<math>\lambda</math>) というシンボルを用いる型付き[[形式手法]]である。型付きラムダ計算は基礎的な[[プログラミング言語]]でもあり、[[ML (プログラミング言語)|ML]]や[[Haskell]]などの型付き [[Category:形式手法]] …5キロバイト (139 語) - 2023年8月7日 (月) 07:18
- [[Category:形式手法]] …2キロバイト (73 語) - 2022年7月21日 (木) 07:49
- [[Category:形式手法]] …2キロバイト (97 語) - 2023年2月27日 (月) 11:59
- [[Category:形式手法]] …3キロバイト (137 語) - 2022年8月1日 (月) 11:08
- [[Category:形式手法]] …4キロバイト (158 語) - 2024年4月13日 (土) 17:34
- [[Category:形式手法]] …4キロバイト (139 語) - 2025年2月23日 (日) 14:18
- [[Category:形式手法]] …4キロバイト (117 語) - 2022年3月5日 (土) 11:13
- …ング言語]]や多くの[[並行論理プログラミング]]言語が挙げられる。[[Mathematica]]ではガードを''constraint''と呼ぶ。[[形式手法]]の言語である[[Guarded Command Language]]（詳細は歴史の節で後述）でも重要な構成要素である。 …8キロバイト (324 語) - 2023年4月7日 (金) 07:06
- [[Category:形式手法]] …4キロバイト (167 語) - 2019年11月21日 (木) 03:29
- [[Category:形式手法]] …4キロバイト (255 語) - 2023年3月26日 (日) 08:24
- [[Category:形式手法]] …5キロバイト (264 語) - 2019年11月18日 (月) 10:24
- [[Category:形式手法]] …26キロバイト (1,627 語) - 2024年11月26日 (火) 21:53
- [[Category:形式手法]] …7キロバイト (253 語) - 2023年8月7日 (月) 07:34
- [[Category:形式手法]] …16キロバイト (502 語) - 2024年7月13日 (土) 15:22
- [[Category:形式手法]] …9キロバイト (597 語) - 2024年11月27日 (水) 12:43
- [[Category:形式手法]] …8キロバイト (470 語) - 2018年10月3日 (水) 21:59
- [[Category:形式手法]] …9キロバイト (462 語) - 2023年8月7日 (月) 07:30
- [[形式手法]]という場合には、形式言語に加えて、検証・証明などの仕組みを込みで言う場合が有る。 …10キロバイト (279 語) - 2025年3月11日 (火) 18:10
- *[[形式手法]] [[Category:形式手法]] …22キロバイト (1,157 語) - 2024年10月23日 (水) 17:07
- [[Category:形式手法]] …13キロバイト (745 語) - 2024年7月13日 (土) 15:16