ブログは書いてみるものだ。かつてチャイティンの本の話をブログに書いておいたら、それを見た方から、チャイティンの停止確率Ωを実証的に論じた短かいテクスト（A4 で 4 枚）をもらった。思わぬ収穫である。実際に LISP 処理系で (omega 18) まで計算した結…

先日うまく炊けなかった大納言小豆に再チャレンジ。いつものように水を多めのレシピに戻してみた。結局成功したのだが、この前は見落していた単純な事実が成功、失敗を分けていたことがわかった。つまり、大納言はでかいのだ。でかい豆は、やわらかくなるの…

「バリデーションチェック」という言葉がなんか気持ち悪い。よく聞く気がする。「バリデーション」で十分だよね。「バリデーションチェック」だと「検証検査」みたいな感じだよね。英語 native じゃないからよくわからないけど。「バリデーションチェック」…