アメリカから来ていた短期留学生さん（フランスから来ている短期留学生さんとは別）に提案していたミニテーマの成果を見たいと思って、gtk+やらgladeやらlablgtkやらをインストール＆ハック。そういう最近のGUIフレームワーク（というのでしょうか）とは疎遠…

やはりクリーニング代を請求されてしまいました（契約書に「通常使用による損耗を除くものとする」とあるにもかかわらず）。大家さんや不動産屋さんには恐縮なのですが、金額の問題ではなく、やはり変な慣習を定着させるのはいけないと思うので、小額訴訟も…

http://www.radiumsoftware.com/0607.html#060720Standard MLは（Schemeも？）、形式的定義のある数少ない実用的言語の一つかと。定理証明器で検証できるJava（＆Javaバイトコード）のサブセットもどんどん大きくなっているので、もう数十年〜数百年ぐらいす…