2004-02-17から1日間の記事一覧

Pict: A Programming Language Based on the Pi-Calculus

ふとした縁で雑におべんきょうした。以下のはなしは不正確な恐れがいつもの 5割増し位で高いです。そして例のごとく時宜を見て頭を整理するために適当に並べただけのメモです。Pi-Calculus というのは Lambda-Calculus に対応するような概念らしい。つまり、…

なにかあれば下記メールアドレスへ。
shinichiro.hamaji _at_ gmail.com
shinichiro.h