神戸大学システム情報学研究科
博士課程後期課程 1 年
神戸大学のシステム情報学研究科 (CS32)で博士学生として在籍し， 非古典論理や計算複雑性に関する研究を行っています． 指導教員は 倉橋太志 先生です．
現在は非古典論理の中でも特に様相論理に注目し，様相論理における計算複雑性の位置付けや状況に関心を持って，それらに関連する研究に取り組んでいます
神戸大学大学院システム情報学研究科
Email : tominaga[at]stu[dot]kobe-u[dot]ac[dot]jp