ラムダ計算
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[IT用語集]]
*ラムダ計算とは？ [#i20e9246]
1930年代、数学者アロンゾ・チャーチが関数と変数（x、y）の...
この論理システムは[[ラムダ計算]]と呼ばれます。
ラムダ計算では、すべてのものが関数として表されます。
- ラムダ計算 - Google 検索 https://www.google.com/search?...
- ラムダ計算 - Wikipedia https://ja.wikipedia.org/wiki/%E...
>ラムダ計算（ラムダけいさん、lambda calculus）は、計算模...
アロンゾ・チャーチとスティーヴン・コール・クリーネによっ...
計算の意味論や型理論など、計算機科学のいろいろなところで...
*参考 [#ue02d585]
-「ラムダ計算」を独学で学習するための，講義ノートやPDFの...
- ラムダ計算入門 https://www.slideshare.net/_yingtai/lamb...
- ラムダ計算をちょっと勉強してみたので、忘れないうちに書...
- ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHa...
* 動画 [#a6aaf20f]
- Lambda calculus. (Hindi & english) - YouTube https://ww...
#html{{
<iframe width="560" height="315" src="https://www.youtube...
}}
* ゲーム [#e7e09531]
- 🙂コンピュータサイエンスと魔法のYコンビネータ https://y...
** ラムダ（λ）という記号の由来 [#k0d4a3c9]
（参照）[[入門Haskellプログラミング ＞ LESSON 3>Get-Progr...
終了行:
[[IT用語集]]
*ラムダ計算とは？ [#i20e9246]
1930年代、数学者アロンゾ・チャーチが関数と変数（x、y）の...
この論理システムは[[ラムダ計算]]と呼ばれます。
ラムダ計算では、すべてのものが関数として表されます。
- ラムダ計算 - Google 検索 https://www.google.com/search?...
- ラムダ計算 - Wikipedia https://ja.wikipedia.org/wiki/%E...
>ラムダ計算（ラムダけいさん、lambda calculus）は、計算模...
アロンゾ・チャーチとスティーヴン・コール・クリーネによっ...
計算の意味論や型理論など、計算機科学のいろいろなところで...
*参考 [#ue02d585]
-「ラムダ計算」を独学で学習するための，講義ノートやPDFの...
- ラムダ計算入門 https://www.slideshare.net/_yingtai/lamb...
- ラムダ計算をちょっと勉強してみたので、忘れないうちに書...
- ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHa...
* 動画 [#a6aaf20f]
- Lambda calculus. (Hindi & english) - YouTube https://ww...
#html{{
<iframe width="560" height="315" src="https://www.youtube...
}}
* ゲーム [#e7e09531]
- 🙂コンピュータサイエンスと魔法のYコンビネータ https://y...
** ラムダ（λ）という記号の由来 [#k0d4a3c9]
（参照）[[入門Haskellプログラミング ＞ LESSON 3>Get-Progr...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
