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

2019年4月 - 2023年3月

不完全性定理を通じた形式的証明可能性の研究

日本学術振興会科学研究費（若手研究）