http://www15.ocn.ne.jp/~rodinia/Blog/MyJournal47.html#p6 ただし、原則として有限状態機械しかあつかえないため、ソフトウェアを完全に形式化することはできず、近似をすることになります。 そこで型システムとかソフトウェアモデル検査なのです。と我田…

どうも最近、何を書いても後から読むと、嫌味っぽくて自己嫌悪。自分がそういう人間なのだろうか。そんなつもりじゃないんですが。「つもり」だけだったり…？

直しました。擬似コードも。発見・修正＆報告多謝。なぜかトラックバックは来ていませんでしたが、僕の見落としか設定ミスでしょうか…？追記：なにやらこちらからのトラックバックも失敗します。一回目はread time outとか何とか言われ、二回目以降は http:/…

悲しみのあまりデザインを変えてみる。

研究室配属が…;_; やってることは難しそうに見えるかもしれませんが、わかりやすく優しく教えますよー。とか僕が言っても説得力０なんでしょうか。そんなに授業つまらなかったですか…;_; ;_;

ISのコンパイラ演習のスライド草稿を拝見（MinCamlなので）。TAさんが優秀ですばらしい。 OCaml本翻訳用キット（適当に命名）がOCaml 3.06のmakeでこける、という報告が複数。Tk 8.4に対応してないのが原因だったので、OCaml 3.09.0にする。 そのままでは実…

ブログばかり書いて遊んでいると思われると何なので、日報もどきを開始。 長らく間借りしていたマシンが廃棄される予定なので、OCaml本翻訳用CVSサーバを移転。セキュリティの問題もあり、折角なのでSubversionにする。環境の都合で手動でインストールしたら…

という反応が複数。λ計算という「lambdaしかない」計算体系があって、それでも再帰が表現できる（のでチューリング完全である）ことを示すために使います。Schemeっぽく書くと e ::= x | (lambda (x) e) | (e1 e2)という構文と ((lambda (x) e1) e2) --> [e2…

Appelの記事は有名ですし、Kelseyの論文もありましたが、さらに話が続いていたらしい。でもSSAを使っている人たちは関数型言語の再発明と思っていない（おそらく）のが辛いところ。どこかの授業でも「そういうことを言い出す人が必ずいる」とか紹介されてい…

積もりました。超寒いです。車に積もった雪を手で取り除いたら超冷たかったです。グッズを買わねば。もう売り切れてたりして。あと、とめるときにワイパーを立て忘れました。よく見たら立ててる人が多い。まあ今日中は大丈夫…かな？

誰もが考える＆簡単に実装できそうなのにない、という末尾呼び出しチェックですが、ocamlopt -dlinearでわからなくもないらしい。http://caml.inria.fr/pub/ml-archives/caml-list/2005/12/27866308447fead9b0230755709b34d3.en.htmlそれ以前の議論が相変わ…

今日の報道によると、プラスチック容器に入れて電子レンジで炊くそうですが、「環境ホルモン」はどうなのか。とかいってみる。

が４件。研究室と情報コースと学科と研究科。多いです。けどfopenを教えていなかったことが確かめられるなどの収穫も（本当）。来年からはちゃんと教えますよ。僕じゃないけど。追記：一回あたりの会費は８千円ぐらいです。たけえ。

ぼーっとWebサーフィンしていたらいろいろとあったので、僕もほんのちょっとだけ書いている。…と思ったが書き始めてみると差し障りが多すぎて何も書けない。まあ、研究していれば自然に取れるものだと思います。とか書くのが差し障りかも（←死）。発表前日に…

を（特に見ず知らずの人へ）いきなり送りつけて良いのか少し迷い始めた。今更ですが。うちはもちろん歓迎なのですが、ブログやらSNSやら最近の文化はあまりよくしらないので…

らしい。寒い。

（追記：Ｙコンビネータって何に使うの？）Yコンビネータ（Curryの不動点演算子）を説明するのがプチブーム（死語）らしいので、ふたたび挑戦。まず、ふつーに再帰関数factをSchemeで定義してみる。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n…

オーストラリアの先生にお願いしたreviewの返事が来ません。英文が失礼だったりしたか、はたまた夏休みか…？

http://www.unitedairlines.co.jp/jsp/ja/mileageplus/mile_info/p_card_1k.jspすっかり忘れていた＆向こうからも忘れられて、すでに引き落とされてしまったので、問い合わせるのを忘れないようにメモ。どうせ無料といっても今年だけなので（1Kを維持できな…

という韓国語のSPAMが昨日から現在まで76通。いくら学習してもGmailがfilteringしてくれない。誰かに恨まれているのだろうか。どきどき。追記：107通になりました。とりあえず手動でフィルターを設定。

それはやはりFeatherweight Javaですよ。普及度というか引用数からしてバッチリ（死語）。クラスベースじゃなければAbadi-Cardelliのobject calculusだけど。

これらを注意喚起するのも流行ってるんでしょうか。「Javaをアップデートしろ」「IEのアクティブスクリプトを無効にしろ（まだ修正されていないので）」ということでOK?http://www.st.ryukoku.ac.jp/%7Ekjm/security/memo/2005/11.html#20051130_Java http:/…

はじめてアメリカで生活していたとき（2000年頃）に掲示板CGIを設置して「日記にします」とか宣言したら、方々から「無理がある」とかつっこまれたのですが、あれはひょっとしてブログだったのだろうか（違）。

学期の前半だけ担当した授業で、わざとスライドやレジュメを（ほとんど）なくして、板書だけの講義をしてみたのですが、３回ほど出したレポートを見る限り、効果テキメンのようです。やっぱり自分の手でノートをとると理解が深まるんでしょうか。ちなみに内…