言い忘れ、反省の続き

• 物理現象 f = <t|ut - (1/2)gt^2> とかの例を出してもよかったかな
• プロファイルの説明がゴッソリ抜けてた

僕は最近、X, Y→Z のような書き方をする（カンマを使う）、その理由も説明するといいかもな。

1. ×（かける）はX（エックス）と紛らわしい。
2. テンソル積は難しげな印象を与える。
3. + も混乱のもとだし。
4. 一般のモノイド積で通用する話だから、特定の積を連想させる記号は好ましくない。だったら書くのヤメチャエ。
5. シーケントとの類似性
6. ハロ多圏による意味論

※ 「意味論」と書こうとして、打ち間違えて「イモリン」とキー入力してしまった。「芋林」と変換された。