http://d.hatena.ne.jp/m-hiyama-memo/20160206/1454751537:tileの続き。次のようにした。やっぱりset_flagsの中身はコピペの連続。__GNUC__は、!_MSC_VER に吸収されるからドウデモいい定数。[追記] 「__GNUC__は、!_MSC_VER に吸収される」ってあたりはけ…

テンソルを導入しないでどこまで出来るか？ と考えた。 ev: AA*→K ev': A*A→K は、双線形形式として導入できる。 coev: K→A*A は正方行列のpointingとして導入できる。ただし、A→B を A*B とするか BA* とするかは曖昧で、選択に決定的な理由もない。 coevと…

本編から、「コンパクト閉」「線形代数」「テンソル」を検索して、目視で拾って、エントリーの最初の文をコピー。順不同。見落としはあるかもしれない。もし整理したら、それをまた掲載して、ここはobsoleteにする。 線形代数の話題 20101214 コンパクト閉圏…