曇りなき眼で見定めブログ

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