所属:

学歴:

職歴:

訪問歴:

専門分野:

非古典論理(特に矛盾許容型論理、多値論理、様相論理など)、非古典論理に基づく数学、数学の基礎、Lesniewskiの論理体系

連絡先:

東北大学 大学院情報科学研究科

〒980-8579 仙台市青葉区荒巻字青葉6-3-09

Email: hitoshiomori[at]gmail[dot]com