<< 2010年3月23日 | ホーム | 2010年3月25日 >>

Prof. Robin Milner

Robin Milner 教授が亡くなられたようです。僕は学生時代に pi-calculus をいろいろとごにょごにょしていたし、D 論もそれで書いたので非常に残念です。bigraphs は全然手を出せていないけど少し勉強しようかな。

ご冥福をお祈りします。

タグ :