再帰代入系 2 : 「再帰代入系 1」の続きです。まだ途中です。半分くらい書き上がったところで中断するので、この段階でアップロードしておきます。「できあがったところはdraft、まだ終わってない」ステータスです。書いた部分（前半）は、すべてインフォー…

キマイラ・サイトの2ヶ月 : ここ2ヶ月ほどの経過に関する感想 特にどうと言うことはない雑感です。

記事「再帰代入系 1」は既にアップロードしました。いま、「その2」を書こうとしています。感触としては、再帰代入系の説明は、「その4」か「その5」くらいまでかかりそうです。再帰代入系の説明が終われば、僕としてはホッと一安心でしょう。なぜなら、構文…

この「キマイラ飼育記」は、キマイラ・サイトの更新通知の目的で始めたものです。もとより、その他の内容について書くつもりはありません。が、キマイラ飼育に関連する範囲内において、多少のオシャベリ／愚痴／予定／回想などを書いてもいいかな、と思い直…

トレース付きモノイド圏における結合 : 圏論の小物ネタです。 この記事の主題となっている“現象”は、背後にあるトレース付きモノイド圏（traced monoidal category）に気が付くキッカケだったのです。