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