XMLフレンドリーな型システム -- 「折れ線の例」から導かれること -- : 「折れ線の例」で示した現象に基づき、XMLと相性が良い型システムについて考えてみる。 この記事の本筋の話題ではないのですが、第7節で触れている構文的型システムは、僕がずっと欲し…

遷移系と遷移翻訳系 補遺 : 「遷移系と遷移翻訳系」に関する訂正、つうより余談。 もとの記事「遷移系と遷移翻訳系」が、タイトルと中身が食い違った、わけわからん記事でしたが、その補遺はさらにあらぬ方向に、、、今日は雑談余談の日ですな。

本屋にはよく行きますが、あまり買いたい本はありません（立ち読みで済ませる）。でも、見出しの本「Cプログラミングの落とし穴 (新紀元社情報工学シリーズ)」を買いました。僕がCプログラミングをすることは金輪際ないでしょうが、実用目的ではまったくなく…

今朝の「いないいないばぁっ！」（NHK）でのこと：「ワンワン」（固有名詞）というキャラクターがいるのですが、このワンワンが本物の犬をつれて散歩する場面がありました。「うーむ、これはいったい何なのだろう？」と考え込んでしまった。いやっ、考えなく…