◆どうやって◆

　interior multiple の正体がわからない。計算に困る、困る。適切な pairing を考えて計算するのがいいんだろうか。interior multiple の正体だけなら pairing で何とかわかるけど、exterior differentiation との合成になってるって・・・ form に引っ掛けて vector fields 上の alternating multilinear map と思ったほうがいいんだろうか。

　今日の卒研は以外と進んで困る。来週には 2 章が終われるように努力しよう。