2007-01-11から1日間の記事一覧
ゲーデルの不完全性定理からわかることは、すべてのプログラムの正しさを判定できるようなプログラムは存在しないということでした。 また、コンピュータが発展したとしても、すべての問題を解決するプログラムを組むことはできないということもわかりました…
スクリプト言語、正確には動的型言語が復権しました。でも、静的型言語も健在です。 そして、これからは、Java6でJavaScriptが標準で動くようになったことからもみんなが感じているように、静的言語と動的言語を組み合わせて使うことが当たり前にになります…
再現できる最低限まで削っていったら、めちゃくちゃシンプルで誰でも書いていそうなコードになりました。 びっくりします。ローカル変数の定義順を変えると挙動が変わるところが一番のみどころです。 こんな感じです。Tomcat5.5.17+Java6 b105で確認してます…