中国発の大作アニメ「羅小黒戦記」シリーズについていろいろ語りたいことがあるのだけれど、とりあえず記録として雑感を書いておこうかと。今年のうちに。 2019年に劇場版の字幕版が公開されていたというのに観ていなかった私は、ま〜アンテナが低い。自分の…

「鬼滅の刃」(以下：キメヤイ)を論じた記事をいくつか見たことがあるが、ふんわりした紹介記事とか、なぜヒットしているのかみたいなマーケティング論とか、作品と絡めた社会批評とか、オタクによる礼賛とか、逆にアンチとか、アニメ技術論（けっこう的外れ…

アニメ好きの三分類を提唱したい。すなわちマニア、オタク、サブカルの三つである。それぞれの定義はないのだがおおまかな特徴を箇条書きした。私自身はこのうちマニアに分類されるのだが、だからといって私の書き方がマニアに甘くなってしまってはよくない…

完全性定理の証明のなかでモデルを作るわけだが、それをちゃんと理解するためには真理値の定義をちゃんと確認しなければならない。命題論理の場合はいわゆるブール値というのをおさえておけばいいので簡単な話と思うのだが、述語論理に関してはけっこう難し…

一階述語論理の完全性定理の証明をちゃんと理解するためにいろんな教科書の見比べるシリーズの第2回です。鹿島亮先生の『数理論理学』は特に工夫をいろいろしているようなので、今回もそれです。数理論理学 (現代基礎数学)作者:鹿島 亮発売日: 2009/10/01メ…

一階述語論理の完全性定理は論理学の最重要定理の一つであり、多くの教科書に証明が載っている。で、当たり前だが教科書によって証明のしかたが異なるので、いろいろな教科書の証明を比較することで理解を深めようというのがこのシリーズである。そういう勉…

a∧b ---[∧除去] a