今年の夏はたまたまコミケというものに初めて足を運んだけど、それなりにカルチャー・ショックだった。そのことをいまさらながら書く。 まず第一に年齢確認的なレイティングが全く無いこと。これほど大きなイベントでさすがにどうかと思う。最近、東京都が管…

ついに第3章の意味論に入る。ここからは長いのでメモも分割して書いていこう。タイトルは「人工言語に意味を与える―命題論理のセマンティクス」。人によってはこっちの内容の方が2章の後半よりも簡単。真理表などは高校数学で出てくるし、意味論は哲学でも論…

なんだかおそろしい回文。 体調を崩している間に読んでいた本、マンガ、見ていたアニメとかゲームとかの話を日記に書こうとは思うけど、なんというか大分いろいろと忘れている気がする。というかそれらのジャンルに関して俺がどうこう言おうと、もっとくわし…