2014-01-24 うおっし! めっちゃ進んだ! というかコアは砕いた。 他も同様の計算で行けるはず。 いまの計算をまとめたり,同様の計算をするのは明日にしよう。 今日はもう帰ります。 きっとダンベル2も倒せる。定理2もきっとできる…。楽しみだ…。