2002-11-01 [長年日記]
λ. 言語の意味論
無駄に徹夜して中間レポートを書き上げて提出。
遅刻してしまったので、一般限量子(generalized quantifier)の話を聞き逃してしまった。
内包論理ILのモデル論は簡単。
λ. 『ラブやん (1)』 田丸浩史
を読んだ。「痛い漫画」らしい。
λ. Java/C++ integration
を読んだ。大体は想像した通りだった。
λ. Plan9
LinuxWorldの付録CDから起動して遊ぶ。ipconfigでDHCPからIPアドレスを取得してきてくれる。特にすることもないので、とりあえずvtでsshして(以下略)
λ. vnode
について質問してみるみる。saimuneさんに訊くのが一番なんだろうけど、入れ違いになってしまって訊けなかった。
λ. ukasiewicz の公理系
Łukasiewicz (ウカシェヴィッチ) の公理系の話とか。
λ. 夕食
倉吉
λ. 帰り
バスで寝過ごした。帰ったら速攻で寝た。
λ. ディレクトリ構造を理解してるやつはオタだ
「ディレクトリ構造を理解してるやつはオタだ」 by chiko
Java/C++ integration ってどんな本だったんすか？ そういえば、ruby-talkでJRuby完成の話でてました。やっぱC#よりJavaの方が記述力高いんかな。。
> Java/C++ integration ってどんな本だったんすか？<br><br>gcjがJavaとC++をどのように統合するかについての論文です。<br><br>> そういえば、ruby-talkでJRuby完成の話でてました。<br><br>おっ、そうなんですか。<br>最近ruby-talkは全然見ていなかったのですが、それはすごい。