雑誌かムックで、はてな認証について書かれたヤツ。

本編の http://d.hatena.ne.jp/m-hiyama/20090126/1232925460 のコメント欄に出てくる。『計算論』て本。

近藤先生の本は紛失物というよりは、探してみる候補。「紛失物」タグとは別に「探してみる」を設ける。これは、田舎とか大書店とか図書館とかに行ったときに探す候補。オンラインで探すこともあるかもしれない。

一気にドカッと書こうと思っていたけど、無理そうだからチマチマ書こう、っと。モノイド圏からハロ多圏を作って、そのハロ多圏上でシーケント計算を作る処方箋が分かってしまったよ、ムフムフ。もとになるモノイド圏だが、これにはいろいろなオペレータが付…

関数解析だか微分方程式だかでテレスコープ展開というのがあったと思うが、忘れた！で、本来の意味のテレスコープ展開はどうでもよくて、再帰方程式 f = F(x, f) を有限回展開して絵に描くと、これはまさにテレスコープ展開。テレスコープ展開で絵を変形して…

タプリングの意味を並列計算やデータフロー計算で考えてみると、2つ以上のデータをパックして1つのデータ（かたまり）にすることだが、これはまた、すべての成分データが揃うまで待つので、データ同期を表していることになる。コア圏とハロ多圏のモデルを使…

関係圏Relでは、圏論的直積が集合論的直和で与えられる。僕は、これは単に面白い小咄（地口落ち）だと思っていた。が、いやいや重要ですぜ。今まで奇妙に感じていたことがこれで解明される。デカルト圏の対角Δが、なぜか直和へのコピーに解釈されることがあ…