エルゴット流の計算モデルを作るベースをエルゴット圏と呼ぶことにする。具体的には、トレース付き余デカルト圏。直和（余デカルト積）をモノイド積とするモノイド圏にトレースを入れたもの。直積もあったほうが便利なことが多いので、加法的トレースを持つ…

2010年8月20日に書いた「 Webサービスの設計：Webの状態遷移図の描き方」に次の手描きの絵を載せた。それから1年3ヶ月、次はCatyに描かせた。1秒もかからないで描く。レイアウトの左右が逆だったりするが、内容的にはまったく同じ。もう少し詳しく描けば次の…