詳細は kuwataさん Diary?::2009-03-20 hiyamaさん カリー／ハワード（Curry-Howard）の対応を知らない子ども達および大人達へ - 檜山正幸のキマイラ飼育記 を参照。kuwataさんのブログ 「また徹夜してまとめ書くんでしょ」 たぶん、これを言ったのは僕です…

最初は計算はしない。ひたすらイメージ次に計算をでっちあげる。計算の詳細を検証。でっちあげたところを詰めていく。最初のイメージが良いと、でっちあげが上手い具合に正当化される。相対性理論は上手くできてるよなぁ。捩率テンソルが0、計量と両立、って…