aboutme:33399

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

JRF 2008年1月11日 (金) Tweet