昨日書いた、「指標圏をKleisli構成でopen programsの圏にする」ってのは悪くない、と思える。通常、指標圏はあんまりイメージが沸かない。が、open programsを射とすれば、かなりハッキリとするし、指標射=open program σ:Σ→Σ'からinduceされるreduct funct…

「PIのターゲット名にQNameが使えるといいのに」と思うことはあります。一時、なんてインチキXMLスタイルシート宣言がまかり通っていたので、PIにも接頭辞修飾された名前が使えると思っている人もいるようです。が、ダメですね。QNameは使えません。なぜかと…

昨日の「メタ情報の埋め込み」の件、少し続きを。日記への“コメント”と混乱しそうなので、のことはcommentと書きます。コメント（queueさん、ななしさん）のご指摘のように、実情として、PIが無闇と削除されてしまったり、思わぬ副作用があるなら、commentと…