2007-01-11から1日間の記事一覧

ゲーデルからプログラマへのメッセージ

ゲーデルの不完全性定理からわかることは、すべてのプログラムの正しさを判定できるようなプログラムは存在しないということでした。 また、コンピュータが発展したとしても、すべての問題を解決するプログラムを組むことはできないということもわかりました…

プログラム言語の次の5年

スクリプト言語、正確には動的型言語が復権しました。でも、静的型言語も健在です。 そして、これからは、Java6でJavaScriptが標準で動くようになったことからもみんなが感じているように、静的言語と動的言語を組み合わせて使うことが当たり前にになります…

JDKのバグと思われる現象の再現コード

再現できる最低限まで削っていったら、めちゃくちゃシンプルで誰でも書いていそうなコードになりました。 びっくりします。ローカル変数の定義順を変えると挙動が変わるところが一番のみどころです。 こんな感じです。Tomcat5.5.17+Java6 b105で確認してます…