2006-06-13から1日間の記事一覧

MinCamlインターンシップ

ちょっと前の話になりますが、フランスの学生さんから「MinCamlなどに興味があるので夏休みのインターンシップに来たい」というメールがあって、何とか手続きが整ったので来ることになりました。っていうか、まじっすか。(^^; いや、日本語ペラペラらしいの…

量子計算とプログラムの不動点意味論

http://alohakun.blog7.fc2.com/blog-entry-321.html 関数の情報がどんどん増えていって,その単調増加列 (近似) の極限 (という用語を使ってよいのか ? ですが) で,目的の関数 (最小不動点) に収束する,という概念が面白かった. せっかくなので反応して…