2018-04-25 はじめまして. はじめまして. poyaと言います. 以前までは他のブログを使っていましたが, はてなブログは数式がきれいに書けるそうなので, 移行しました. 重要そうな記事は少しづつこっちにあげなおそうと思っています. (自己紹介) 関東の大学の数学科に所属している大学4年のものです. 数理論理学, 特に様相論理に興味があります. よろしくお願いします.