研究してないよ(ってか、忙しくなるはず、10/15くらいまで)

さすがに20通ぐらいメイルを英語でやりとりしてると３人称単数現在のsを抜かすことは無くなるも、少し難しい表現に当たるともうむりぽ。

で、何が言いたいかというと形式主義、論理記号は便利。マジで英語に導入されないかと思う。筆談で使ってみようかな。

∀a∈{from 10am to 5pm}.P(a).

国際規格で国連に入っている国の言語に述語論理をいれましょう。