<< 2010/03/23 | ホーム | 2010/03/25 >>

Prof. Robin Milner

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

ご冥福をお祈りします。

タグ :