「『正規（regular）』とは何なんだ」で「マクロな立場」と呼んでいるのは、再帰代入系の全体RAS(F, K)をトレース付きモノイド圏（traced monoidal category）と考える立場です。そして、「ウルトラ・マクロな立場」とは、F, Kを動かして、全体をfibred cate…

昨日（2005-04-06）のエントリーにSexという語が出現していたんですね。で、それで寄ってくる人もいるわけだ、ナルホド。例題には、なるだけ誘因物質ならぬ“誘因語”を使おーっと。

消し線を入れておいたけど、先ほど書いたことは間違いです。集合正規表現でも、EMPTYの意味は単元言語でした。ただし、{{}}という言語。そうでないと、&演算の単位元にはならないです。{}と演算すると消えちゃうから。「属性のための正規表現」も同じように…

「属性のための正規表現」を読み直したら、列正規表現でも集合正規表現でも、EMPTYが「何も出現しない」という意味で使われています。これはこれで自然な表記法かもしれないのだけど、標準解釈における“意味”（指示対象）は全然別物です。列正規表現における…

今日、2回目行ってきました。今回からが本格的な治療。なんか1日分のエネルギーを使いはたしてしまったような気分ですわ、歯医者で。

「世界ウルルン滞在記」の下條アトムのナレーションも相当に不気味だけど、なぜか、あれは耐えられます。