いずれ本編記事にまとめるが、とりあえずこっちにメモ。referece型referece型は内部的使用に限定される型。JavaScriptのアドレス（特に左辺値）のことだが、そもそもアドレスモデルが高水準だから、(base propname)というペア。referenceがオブジェクト参照…

紆余曲折があったが、ユニタリ対応の定式化はすごく簡単になった。普通の線形代数だけでOK。だが、ちゃんとSpanを使った定式化の痕跡が残っているのがうれしい。ユニタリ対応の例として直交射影を考察したが、直交射影は事例ではなくてユニタリ対応の本質。…