- 82 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 14:36:24.27 ]
- 今時のプログラミング言語の型理論の基礎はSystem F、
要するに二階λ計算、大体二階直観論理相当。
一階述語論理で十分なんて馬鹿げてる。
動作原理としてはノイマン型でロジックとは関係ないし。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その11
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef