- トレースとモノイド積／結合 ： トレースされた2つの射の積と結合を、1つのトレースで表す。
pictorial calculationは、なんか趣味になってきたような。
コラム： 先達の示唆に形を与えられるか
- コラム： 先達の示唆に形を与えられるか ： JavaWorld連載第1回付属コラムの原稿
実はずっと前からサイトには上がっていたものです。トップからたどってアクセス可能にした。
Modularized SMIL 1.0 DTD
- Modularized SMIL 1.0 DTD ： 「イマサラ」という気もしますが、モジュラー化DTDのサンプル。これも故あって公開。
文書型定義(DTD)とその設計
- 文書型定義(DTD)とその設計 ： 1998年に書いた雑誌記事。故あって再掲。
ストリング図による複合モナドの計算 (1)
- ストリング図による複合モナドの計算 (1) ： ストリング図の紹介と、それによるモナドの定義
続き(2)がある予定です。
図式順テキスト記法（DOTN）
- 図式順テキスト記法（DOTN） ： テキストだけで書く圏論計算用の記法
2006-04-24のエントリーで「左右の向きの問題」を論じて、忘れてかけていたことを思いだしました。左から右の向きだけを使う記法の提案。慣れるとけっこう便利。
あなたにも（たぶん）わかる「ゲーデルの不完全性定理」 発端＜ほったん＞編
- あなたにも（たぶん）わかる「ゲーデルの不完全性定理」 発端＜ほったん＞編 : なぜ、「ゲーデルの不完全性定理」について書く気になったか
「プログラマのための『ゲーデルの不完全性定理』」に関する動機や方針など。
セオリーの圏
- セオリーの圏 : Goguen & Burstall のinstitutionsを拡張したいのです。
最近のエントリの「仕様の話」「もっと仕様の話」とか、HOL + Prosperであがいていることとかに関係します。そうは思えないかもしれないけど、関係しますね、相当に。
コンパクト閉圏を定義する
まず、対称モノイド圏に双対オペレータを導入し、そうして得られた双対付き対称モノイド圏に、180度回転する“曲がった射”であるKelly単位を加えてコンパクト閉圏を定義する。これは、従来の定義に比べ冗長だが、計算や図解は容易になる。
「お絵描き圏論」の直接の続きではないですけど、かなり近い話題です。
はぁー大変だった、絵を描くのが。
いくらラフな手がきでも、それなりに神経使うしけっこうな量だし。で、絵がイッパイ。
グロッサランダム（Glossarandom）
「グロッサランダム」は、glossary + random に由来する造語by檜山。一貫性、体系性などには拘泥も頓着もせず、言葉の定義や注釈をランダムに書き連ねる。
「ただゴチャゴチャ、ベタベタと書いていくだけの方法」を採用。これは常時、更新変更。
XMLの“認識”も多少修正してアップロード。
レコードとしてのXML要素
レコードデータとXML要素の相互変換（むしろ相互解釈）について述べる。いくつかの方法／事例を列挙するが、それらの優劣を論じることはしない。
Kleene代数とその周辺
飼育記の2005-05-26から2005-05-30にかけて書いたKleene代数の話題です。日記エントリーをかき集めて肉付けすればいいかと思っていましたが、そうもいかないようです。長くなりそうなので、partial状態でアップロード。
