2014-04-12 よし 最初の定理が完成。次は行列式を計算してDDDIが確認できることを目指します。 お昼ご飯はケンタッキーのフライドチキンにしたのですが, この地域のフライドチキンは標準より小さいです。 ケチってるんじゃないのかな…。