« 前のひとこと | トップページ | 次のひとこと »

aboutme:33399

それを解決するには、すべての研究が究極的には厳密な論理チェッカーでチェック済みになる。というのが理想としてありえるという思いがある。現実は難しく、その分野があまり発展していないことを見ると気も弱くなるけど、でも理想としては私は今も抱いている。

JRF 2008年1月11日 (金)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック


トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。