2005-06-15から1日間の記事一覧
レコードとしてのXML要素 : レコードデータとXML要素の相互変換(むしろ相互解釈)について述べる。いくつかの方法/事例を列挙するが、それらの優劣を論じることはしない。
Mark W. Hopkinsのサイトが残っているとyoheiさんに教えていただいたので、発掘された遺跡巡りをしてます。Markの書いたものに"Kleene Categories"(テキスト)というのがあります。これは、Kleene代数を圏論的に拡張する提案です。一方、id:m-hiyama:200505…