トップ «前の日記(2004-02-19) 最新 次の日記(2004-02-22)» 月表示 編集

日々の流転


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のテストに使っていて、あまりにも遅すぎたので、小手先の高速化。

Tags: ruby

λ. 業風神閃斬ゲット

ようやく獄神剣「業風神閃斬」が取れた(th7_udsa08.rpy)。これで139/141。残るは「人間と妖怪の境界」と紫奥義「弾幕結界」だけか。なんだかんだ言って、結構回収できるもんだな。

Tags: 東方