昨日のめまいは何だったんだろう？ 僕のかかりつけの加藤医院、第二土曜は休診。知らない先生のところに相談にいくのもなんだし、月曜だな。もっとも、以前、腹痛の後で診てもらったときは「痛いときじゃないと、なんともいえないなー」っと。そりゃそうです…

一昨日のエントリー： だけど、単元言語は列言語の連接演算に関する単位元だし、空言語は集合言語の&演算に関する単位元だから、ある抽象レベルにおいてはやっぱり「同じ」とも言えます。 この段落、「空言語」は間違いですが、言いたかったことは正しいと思…

一昨日（2005-04-07）の日記で間違いを書いてしまって、ひるがえってもとの記事「属性のための正規表現」も同じ間違いをおかしていたのに気が付きました。で、直しました。間違っていたのは次の2箇所です。 定数EMPTYは、言語としての空集合（空集合言語）{}…

今日の約束を、完全にすっぽかしてしまった相手がいるので、事情を詳しく説明します。今朝いつもの時間（6時40分）に起きようとしたら、アレレ、部屋が回っている。いやっ、僕の目が回っていたのです。激しいめまいでまったく体を動かせない。このめまいがど…

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

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

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

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

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

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

NHKの「プロジェクトX」って、まだしぶとくやってんですね。内容はともかく、あのナレーションはどうにかならないのか？ 助詞の省略と体言止めを多用した稚拙で気持ちが悪い日本語、自意識過剰で知能が低そうなイントネーション。僕は生理的に全然ダメで、ほ…

基本的に、誤字脱字の修正はいちいちここで報告しませんが、内容に関係する誤記があったので書いておきます。「属性か内容か？それは問題ではない」内、集合正規表現に疑問符が抜けてました。 誤： GivenName & FamilyName & Sex? & (NotMarrid | (Married &…

先にアップロードした記事に： 応用においてフォーカスされる問題はXML構文ではなくて、XMLによる表現の“向こう”に人が何を見ているかだから、どう解釈しようとトヤカク言うべきことではない。 そう書きました。XMLインスタンスを「それそのもの」として見る…

追加したコンテンツ（記事）に要約があれば、それを引用することにします。 属性か内容か？それは問題ではない : 「属性と内容をどう使い分けるか」が重要な判断となることがあるのは事実だ。が、いつもでそうだとは言い切れない。この記事では、マークアッ…

きのうアップロードした「『正規（regular）』とは何なんだ」を読み返して、文言を多少修正しました。が、読み直すほどの変更はありません。最後に一文を追加したのが一番おおきな変更： とかいうと、思想信条が混じった言い分に聞こえてしまいそうですが、…

「正規（regular）」とは何なんだ : 正規表現／正規言語などの「正規」の明確化と一般化 この記事は、キマイラ・サイト内ではまーデキがいいほうだと思います。僕が「です・ます」調で書くときは、懇切で分かりやすくしようと努力している（つもりの）ときで…

ワンタン麺内の4つワンタンがくっついて一塊になっているのはよくない。「支那そば 新風」さん、気をつけてください。 かな漢字変換で「支那」は変換しない。差別語扱いなのでしょうが、「支那そば」や「土方仕事」という表現／表記がこの世から消え去ること…

きのう、僕が死ぬ気で行ってきた歯医者は「かめだ歯科クリニック」。恵比寿の寿豊ビル4Fです。同じビルの3Fは「ツルオカクリニック（内科など）」。寿豊ビルオーナーの意図が含まれるのか？

この日記、なんか余計な話も混じってきた（本来の趣旨→id:m-hiyama:20050128）。で、どうでもよさそうなことはカテゴリ「日常」にします。 檜山の状況：体調、気力、事件、出費など 雑記／備忘：ゆるくChimairaに関係すること 日常：Chimairaに関係するとは…