http://d.hatena.ne.jp/m-hiyama/20060518/1147921359「積型（組）と和型（バリアント）はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが…

http://www.ipa.go.jp/event/ipax2006/というイベントをやっています。一般公開は明日のようです（事前登録すれば今日もOK？）。ちょっと今年は僕は東京まで行って参加することはできませんが、興味のある方はどうぞ。未踏ソフトウェアのスーパークリエータ…