当ブログは論理学とアニメを両輪とするはずが、気付けばアニメばかりになっている！ アイデンティティの危機である。何故アニメばかりになったのかというと書きやすいからである。論理学記事は数式を打つのが面倒臭い。また私の専門(?)分野である証明論は証…

たいへんおもしろかった！ 機動戦士ガンダムSEED HDリマスター Complete Blu-ray BOX (特装限定版) バンダイナムコアーツ Amazon 映画をやるということなのでテレビシリーズもすべて見た。なかなかおもしろかった。私はメカとかミリタリーにあまり興味がなく…

↓これの続き cut-elimination.hatenablog.com 河野真太郎『増補 戦う姫、働く少女』 増補 戦う姫、働く少女 (ちくま文庫 こ-58-1) 作者:河野 真太郎 筑摩書房 Amazon いきなりあとがきから見ていくのだが、こんなことが書いてあった。 二〇一四年四月、当時…