代数と余代数 最初の一歩

• 代数と余代数 最初の一歩 : 形式的体系から入る代数／余代数（algebra coalgebra）

思うところあって書き始めた。が、まだ半分（か？）。キマイラ・サイトへのアップロードがご無沙汰になっているから、partialでもアップロードしておこう。

「正規（regular）」とは何なんだ？ 3 補足、実例など

• 「正規（regular）」とは何なんだ？ 3 補足、実例など :

再帰テンプレート、ミュー項、それによる表現力の増強（代数系の拡大に対応する）などの実例を挙げる。例には、極端に単純化したXML風データ Tiny Toy XML を用いる。

なんとか予定が守れました。

2005年4月 なにが問題か

• 2005年4月 なにが問題か : 現時点における問題・課題

この記事の内容はというと、長めの日記エントリに書いてもおかしくないもの。つまり、思っていることを雑記として書き留めたものです。

「正規（regular）」とは何なんだ？ 2 正規構造

• 「正規（regular）」とは何なんだ？ 2 正規構造 : 正規性の、再帰代入系とは別な定式化

はい、アップロードしました。

平坦添加例外による内容モデルの拡張

• 平坦添加例外による内容モデルの拡張 : 「空白問題と内容モデル」と同様、連載のコラムだったものです。

めまい事件(?)で脳ミソもシェークされてしまったようですから、過去のものでお茶を濁しておきます。とは言っても、平坦添加例外はいずれ詳しく説明したいと思っていたネタなので、単なる埋め草というわけではありません。

平坦添加例外は、Chimairaの文脈で解釈するのがふさわしく、かつそのほうが理解しやすいものだと思います。（もう少し説明を追加する必要はありますが。）

空白問題と内容モデル 1, 2, 3

• 空白問題と内容モデル 1 （導入編） :

• 空白問題と内容モデル 2 （分析編） :

• 空白問題と内容モデル 3 （解決編） :

だいぶ前に『JavaWorld』連載のコラムとして書いたものです（異例に長いコラムだけど）。ほとんど変更はしてなくて、ほぼ原稿そのままです。

「空白問題を解く」というような体裁になってますが、むしろ、空白問題がwell-posedではない疑似問題ではないか、というのが趣旨です。だから、「解く」というよりは、空白問題を「問題」だと捉えてしまうような視点のほうを矯正しようということです。

最後に書いておいた次のようなことが僕の主張：

何にでも通用するような普遍的な空白処理を期待してはいけない。ありもしない理想の方法を求めても徒労に終わる。空白処理は、テキストストリームへの書き出し／テキストストリームからの読み込みのルールに依存して決まる。つまり、応用領域ごとに個別に考えるしかない。

空白問題のように、一見構文の問題に見えるものでも、構文の議論だけではまったく解決できないことがある。結局、適切な解は構文の使用状況に依存するのである。繰り返し強調するが、XML文書の同値性は応用領域に依存する。空白問題が解けないのは、個々の応用領域を無視して、普遍的／絶対的な処理を求めたからだったのだ。応用領域ごとの空白処理（同値性定義の一部）に基づけば、そこにもはやミステリーはない。

属性か内容か？それは問題ではない

追加したコンテンツ（記事）に要約があれば、それを引用することにします。

• 属性か内容か？それは問題ではない :

「属性と内容をどう使い分けるか」が重要な判断となることがあるのは事実だ。が、いつもでそうだとは言い切れない。この記事では、マークアップ手法の選択がむしろ恣意的判断となる事例を取り上げる。

短い記事です。ほんとは続きがあるのですが、とりあえず事例・素材のみ。

「正規（regular）」とは何なんだ

• 「正規（regular）」とは何なんだ : 正規表現／正規言語などの「正規」の明確化と一般化

この記事は、キマイラ・サイト内ではまーデキがいいほうだと思います。僕が「です・ます」調で書くときは、懇切で分かりやすくしようと努力している（つもりの）ときです。という次第で、今回は努力したつもり。

「再帰代入系 1 and 2」がどうも分かりにくいという負い目があるので、この記事が再帰代入系への入り口／キッカケになればと思ってます。

事例から入ればいいのは分かっているけれど、先を急いでいるとなかなか、、、

よく使う記法など

• よく使う記法など : 表題のとおり。

補助的な記事。ギリシャ文字一覧表などと同じ。

属性のための正規表現

• 属性のための正規表現 : 順序を考慮しない正規表現の話。

属性が意味的に相互依存している場合などは、こういう表現を使いたいはずです。

このサイト内の記事の取り扱い

• このサイト内の記事の取り扱い : 記事の掲載基準／原則について

遅ればせながら、ごく簡単なもの。

JavaCCによる構文記述

• JavaCCによる構文記述 : JavaCCの記述的（宣言的）な部分だけに注目して説明。

ここ2、3日遊んでいたパーザー生成系に関するメモです。ステータスがmemoの記事は、内容が流動的で継続的にメンテナンスする可能性があるものです。

僕は、SableCCのほうが好みなんですが、とりあえず（なぜか）JavaCCの説明です。

型システムの相剋と棲み分け

• 型システムの相剋と棲み分け : 構文的に定義される型と、オブジェクトに対して定義される型は違うぞ、という話。

わけありげでたいそうなタイトルですが、内容はたいしたことありません。

記事の冒頭にも書いておきましたが、僕は、このネタを何度も扱った印象があるのですが、まとまった形では何も言ってなかったかもしれません。で、まとめておこうかという趣旨です。

XMLフレンドリーな型システム

• XMLフレンドリーな型システム -- 「折れ線の例」から導かれること -- : 「折れ線の例」で示した現象に基づき、XMLと相性が良い型システムについて考えてみる。

この記事の本筋の話題ではないのですが、第7節で触れている構文的型システムは、僕がずっと欲しがっている「意味に言及しなくて済むような仕掛け」なんです。

遷移系と遷移翻訳系 補遺

• 遷移系と遷移翻訳系 補遺 : 「遷移系と遷移翻訳系」に関する訂正、つうより余談。

もとの記事「遷移系と遷移翻訳系」が、タイトルと中身が食い違った、わけわからん記事でしたが、その補遺はさらにあらぬ方向に、、、

今日は雑談余談の日ですな。