Rchr
J-GLOBAL ID：201601016112898805   Update date: Jul. 17, 2024

Fujiwara Makoto

フジワラ マコト | Fujiwara Makoto
Affiliation and department：
Tokyo University of Science Faculty of Science, Division 1 Department of Applied Mathematics

About Tokyo University of Science Faculty of Science, Division 1 Department of Applied Mathematics


Job title： Assistant Professor
Research field  (1)： Basic mathematics
Research keywords  (4)： Intuitionistic Logic ,  Constructive Mathematics ,  Reverse Mathematics ,  Foundation of Mathematics
Research theme for competitive and other funds  (7)：
  • 2023 - 2028 構成的逆数学の展開とその応用のための基盤構築
  • 2021 - 2026 Constructive reverse mathematics and computational content of mathematical theorems
  • 2020 - 2024 Reverse mathematical analysis of intuitionistic mathematics
  • 2019 - 2022 A logical foundation for constructivism
  • 2018 - 2021 Uniform computability and constructive derivability between existence sentences
Show all
Papers (22)：
  • Makoto Fujiwara, Taishi Kurahashi. Prenex normalization and the hierarchical classification of formulas. Archive for Mathematical Logic. 2024. 63. 3-4. 391-403
  • Makoto Fujiwara, Takako Nemoto. Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics. Computability. 2024. 1-8
  • MAKOTO FUJIWARA, TAISHI KURAHASHI. CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC. The Journal of Symbolic Logic. 2023. 88. 4. 1469-1496
  • MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 1-42
  • Makoto Fujiwara, Takako Nemoto. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023. 381. 2248
ｍore...
MISC (1)：
  • Formalization of Weihrauch reducibility in second-order arithmetic. 2024
Education (3)：
  • 2012 - 2015 Tohoku University Mathematical Institute, Ph.D.
  • 2010 - 2012 Tohoku University Mathematical Institute, M.S.
  • 2006 - 2010 Tohoku University Mathematical Institute, B.S.
Professional career (1)：
  • Doctor of Science (Tohoku University)
Work history (6)：
  • 2022/04 - 現在 Tokyo University of Science Faculty of Science, Division 1 Department of Applied Mathematics Assistant Professor
  • 2019/04 - 2022/03 Meiji University Department of Mathematics, School of Science and Technology JSPS Research Fellow PD
  • 2018/04 - 2019/03 Waseda University Waseda Institute for Advanced Study Assistant Professor
  • 2016/04 - 2018/03 Waseda University Waseda Institute for Advanced Study Assistant Professor
  • 2015/04 - 2016/03 Japan Advanced Institute of Science and Technology School of Information Science JSPS Research Fellow PD
Show all
Association Membership(s) (3)：
Association for Symbolic Logic ,  The Japan Association for Philosophy of Science ,  The Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM