• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
研究者
J-GLOBAL ID：201601016112898805   更新日: 2025年04月09日

藤原 誠

フジワラ マコト | Fujiwara Makoto
所属機関・部署：
東京理科大学 理学部第一部 応用数学科

東京理科大学 理学部第一部 応用数学科 について


職名： 講師
研究分野 (1件)： 数学基礎
研究キーワード (4件)： 直観主義論理 ,  構成的数学 ,  逆数学 ,  数学基礎論
競争的資金等の研究課題 (7件)：
  • 2023 - 2028 構成的逆数学の展開とその応用のための基盤構築
  • 2021 - 2026 構成的逆数学の新たな展開と数学定理の計算論的意味の解明
  • 2020 - 2024 直観主義数学の逆数学的解析
  • 2019 - 2022 形式論理による構成的推論の特徴付け
  • 2018 - 2021 存在定理の一様計算可能性と構成的証明可能性
全件表示
論文 (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
もっと見る
MISC (1件)：
  • Makoto Fujiwara, Yudai Suzuki. Formalization of Weihrauch reducibility in second-order arithmetic. submitted. 2024
学歴 (3件)：
  • 2012 - 2015 東北大学 大学院理学研究科 数学専攻 博士課程後期
  • 2010 - 2012 東北大学 大学院理学研究科 数学専攻 博士課程前期
  • 2006 - 2010 東北大学 理学部 数学科
学位 (1件)：
  • 博士(理学) (東北大学)
経歴 (7件)：
  • 2025/04 - 現在 東京理科大学 理学部第一部 応用数学科 講師
  • 2022/04 - 2025/03 東京理科大学 理学部第一部 応用数学科 助教
  • 2019/04 - 2022/03 明治大学 理工学部数学科 日本学術振興会特別研究員PD
  • 2018/04 - 2019/03 早稲田大学 高等研究所 講師(任期付)
  • 2016/04 - 2018/03 早稲田大学 高等研究所 助教
全件表示
所属学会 (3件)：
Association for Symbolic Logic ,  科学基礎論学会 ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM