π計算 - sumiiのブログ

そういえば、ちょっと（かなり？）恥ずかしい面もあるのですが、大昔の文章↓があります。オリジナルのπ計算ではなくPictみたいな構文になっていますが…

「1999年5月17日 17:16:12」以来作成中になっていることは秘密です。

P.S.　一つ目のリンク先のsumiiのコメント：

π計算で複製が!になった理由もわからないです

って線形論理の!に決まってるじゃん！　何を呆けているんだろう…。でも、線形論理の!がなんで!なのかはわかりません。