トップ «前の日記(2002-10-31) 最新 次の日記(2002-11-03)» 月表示 編集

日々の流転


2002-11-01 [長年日記]

λ. 言語の意味論

無駄に徹夜して中間レポートを書き上げて提出。

遅刻してしまったので、一般限量子(generalized quantifier)の話を聞き逃してしまった。

内包論理ILのモデル論は簡単。

λ. 訴訟酒井

笑。

Tags: tom ネタ

λ. 『ラブやん (1)』 田丸浩史

ラブやん 1 (アフタヌーンKC)(田丸 浩史) を読んだ。「痛い漫画」らしい。

Tags:

λ. Java/C++ integration

を読んだ。大体は想像した通りだった。

Tags: 論文

λ. Plan9

LinuxWorldの付録CDから起動して遊ぶ。ipconfigでDHCPからIPアドレスを取得してきてくれる。特にすることもないので、とりあえずvtでsshして(以下略)

λ. vnode

について質問してみるみる。saimuneさんに訊くのが一番なんだろうけど、入れ違いになってしまって訊けなかった。

Tags: tom

λ. ukasiewicz の公理系

Łukasiewicz (ウカシェヴィッチ) の公理系の話とか。

Tags: 向井研

λ. 夕食

倉吉

Tags:

λ. 帰り

バスで寝過ごした。帰ったら速攻で寝た。

λ. ディレクトリ構造を理解してるやつはオタだ

「ディレクトリ構造を理解してるやつはオタだ」 by chiko

Tags: tom
本日のツッコミ(全2件) [ツッコミを入れる]
ψ かねみつ (2002-11-04 06:17)

Java/C++ integration ってどんな本だったんすか? そういえば、ruby-talkでJRuby完成の話でてました。やっぱC#よりJavaの方が記述力高いんかな。。

ψ さかい (2002-11-04 14:29)

> Java/C++ integration ってどんな本だったんすか?<br><br>gcjがJavaとC++をどのように統合するかについての論文です。<br><br>> そういえば、ruby-talkでJRuby完成の話でてました。<br><br>おっ、そうなんですか。<br>最近ruby-talkは全然見ていなかったのですが、それはすごい。