共同研究・競争的資金等の研究課題

2012年4月 - 2015年3月

「形式主義の証明論的手法による再検討」

日本学術振興会科学研究費（特別研究員奨励費）