- 84 名前：スレタイスレ446 mailto:sage [2012/01/04(水) 16:02:50.44 ]
- >>82
つまりこれまでの論理プログラムなどのハード計算が使い物にならないので、
非古典論理や型の理論などのソフト計算が導入されている。ということでしょうか？
＞動作原理としてはノイマン型でロジックとは関係ないし。
チューリング機械であるという見方の一方でブール代数を扱うという見方もあるのではないでしょうか？
人の推論と計算機の間にロジックが必要なのではないでしょうか？
>>83
非常に便利です。
これらはどの様相論理の本にも載っていませんでした。
|
 |
