I am now a post-doctoral researcher in Graduate School of Information Science, Tohoku University, from Apr. 2025.
My host researcher is Hitoshi Omori .
I have also been a Research Fellowship for Young Scientists (PD) of Japan Society for the Promotion of Science, since Apr, 2025.
The information about my degrees are described in the following.
PhD (Jun. 2024)
Institute: Graduate School of Humanities and Human Sciences, Hokkaido University.
Degree: the degree of Doctor of Philosophy in the field of Humanities.
Thesis: An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic Logic.
Committee: Katsuhiko Sano (chair), Kengo Miyazono, Hitoshi Omori, Tomomi, Sato.
Defense succeeded on 26th, Apr, 2024.
The abstract of the dissertation and the summary of the dissertation review are available here.
Master's Degree (Mar. 2022)
Institute: Graduate School of Humanities and Human Sciences, Hokkaido University.
Degree: the degree of Master in the field of Humanities.
Thesis: The inquiry into combinations of intuitionistic and classical Logic and the investigation into Dummettian theory of meaning (in Japanese).
Committee: Katsuhiko Sano (chair), Kengo Miyazono, Yasushi Nomura.
Bachelor's Degree (Mar. 2020)
Institute: Faculty of Letter, Hokkaido University.
Degree: the degree of Bachelor in the field of Humanities and Human Sciences.
Thesis: About technical and conceptual basis of proof-theoretic semantics (in Japanese).
Committee: Katsuhiko Sano (chair), Kei Chiba, Nobuo Kurata.