2004-02-21 [長年日記]
λ. テンソル
Chu Space A,Bのテンソル積 A⊗B の構成がよくわからん。(A -o B⊥)⊥ と同型というのはいいのだけど、実際にどうなってるかがイメージできない。Frameのテンソル積 A⊗B は Fr< a⊗b: a∈A, b∈B | ⋀i(ai⊗bi)=(⋀iai)⊗(⋀ibi), ⋁i(ai⊗b) = (⋁iai)⊗b, ⋁i(a⊗bi) = a⊗(⋁ibi) > というpresentationで表現できたけど、Chu Spaceの場合meetやjoinが定義されているとは限らないし、しかもFrameの場合はcoproductになってたけど、Chu Space の場合はcoproductは別にあるんだよなぁ……。つーか、そもそもテンソルって何? それ美味しいの?
λ. hyperset.rb 0.0.2
Renaのテストに使っていて、あまりにも遅すぎたので、小手先の高速化。
λ. 業風神閃斬ゲット
ようやく獄神剣「業風神閃斬」が取れた(th7_udsa08.rpy)。これで139/141。残るは「人間と妖怪の境界」と紫奥義「弾幕結界」だけか。なんだかんだ言って、結構回収できるもんだな。