2005-10-17から1日間の記事一覧
λf.(λx.f(xx))(λx.f(xx))^f.(^x.f(xx))(^x.f(xx))びみょー
おお、出たのか。日本語版出るまで待ち。出たらどれ買おうかな。ExpressはAdinが使えないのでつまらない。Standardはリファクタリングの機能がしょぼい(ように見える)ので微妙。Professionalは高い。アカデミック版かアップグレード版の値段を見て考えるか。
なんだ、ついこの間まで申し込みできたのか。来年は走ってみるかな。
C++やJavaしか知らなかった頃は、例外は「投げる」ものだった。だってthrowだもん。それが、OCamlのマニュアルをゼミで読んでるときに(英語の勉強)、raiseって出てきて、どう訳したもんだか悩んだことを突然思い出した。投げるって言いたいんだけど、どうみ…
大学が土日停電だったので、今日は朝から、研究室のサーバを起動。と、1台kernel panic起こしてやがる…時間も無かったので、とりあえず古いカーネルで起動して後回し。