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

aboutme:33399

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

JRF 2008年1月11日 (金)

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

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/93568/51545229

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

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

このころのニュース