2006-11-08 [長年日記]
λ. プラグインの不正な操作
![[プラグインの不正な操作:
Windows Media Player Plug-in Dynamic Link Library
プラグインが不正な操作を実行しました。Firefox を再起動することを強くお勧めします。]](./images/20061108_0.png)
Naxosの音楽を聴いているFirefoxのウィンドウを閉じると、上記のようなダイアログが出てFirefoxの動作がおかしくなることがある。これは困る。
Windows Media Player のバージョンは10.00.00.4036。 Firefox のバージョンは1.5.0.7。
λ. Programs, grammars and arguments: a personal view of some connections between computation, language and logic by J. Lambek
rpfさんのmixi日記に書いてあったC-monoidは何だろうと思って検索したら発見した論文。しかし、こうしてみると Lambek は色々やってるねぇ。古き良き計算機科学者というかなんというか。
「The natural numbers object may be constructed in a model of polymorphic λ-calculus as a retract of ΠX (XX)(XX) ≅ ΠX X(XX+1) where ΠX is a kind of formal product in a CCC.」という部分が分からん。formal product というのはその圏の対象をインデックスにするような直積のことだと思うが、正確な定義は?
【2007-10-27追記】 数学ガール(結城 浩) の p.200 で「(20+21+22+…)・(30+31+32+…)」を形式的積と呼んでいた。ミルカさんによれば「この積は正の無限大に発散する。だから形式的積と言ったんだ」とのこと。
PERもまだイマイチ良くわからん。
多重線形代数(multiliner algebra)には構造規則(structual rules)が欠けているそうだけど、多重線形代数を知らないのでこれは後で調べるか。それから、「However, in Hopf algebras and in general production grammars the tensor product and its dual coincide.」という部分についても後で調べる。
おれもNaxos聴きたいー
Naxos Music Library とは別だけど、http://www.naxos.com/ はどう?<br>Music Library と比較すると、CDも少ないし音質も FM quality sound (20Kbps) しかないけど、年間19.95ドル(月額200円弱)と結構安いよ。