2009-02-26 結構かかったな 気になっていた部分が証明完了。 ごっちゃごっちゃに計算した後、一時解析不能になり、 リセットしたら瞬時に解けた。 しかし、もうちょっと簡単に解けそうな気がしなくもない。 遠回りしている部分の近道を作らなくちゃ。