2009-01-01から1年間の記事一覧

１．「ANALOG PROCESSES」 (Luca Cardelli) 1980

おぼえがき

形式化ってなんなのかなぁ、何かバイオに関わる形式化やりたいなぁ、と思ってCardelliさんのこのページぼうっと見てたのだけど、どーにも紙とか頭だとどっかいくのでおぼえがき的に。