しばし更新が滞ったけど、ここらへんからかなり抽象度が高くなって、付いていくのやっとである。証明問題は理解するのがやっと。とけねえよ！まあ、とりあえず自分が理解した限りにおいてメモしていこう。ところで論理学の記号出すにはＡＴＯＫよりもＩＭＥ…

道に迷ったケンタウルスを慰める回文。ギリシア神話の中でも。ケンタウルスのケイロンは好きなキャラ。