研究者
J-GLOBAL ID：200901016998503126   更新日: 2024年01月30日

藤田 憲悦

Fujita Kenetsu
所属機関・部署：
群馬大学

群馬大学 について


研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： Programming language logic semantics types ,  意味論 ,  論理学 ,  プログラミング言語
競争的資金等の研究課題 (12件)：
  • 2020 - 2023 ゲーデルのシステムTと計算量的階層に関する研究
  • 2017 - 2021 簡約システムの存在定理に関する定量的性質の解明
  • 2013 - 2017 ラムダ計算の型問題に対する可解性・非可解性の特徴付け
  • 2012 - 2015 計算と論理に対する層論的構造解析の展開
  • 2005 - 2006 双対性に基づくプログラム変換に関する研究
全件表示
論文 (76件)：
  • Confluence proofs of lambda-mu-calculi by Z theorem. Studia Logica. 2021
  • 富岡峻士,藤田憲悦. ラムダ計算の簡約グラフについて. 京都大学数理解析研究所講究録. 2020. 2150. 66-75
  • A category-like structure of reduction paths for parallel reduction. 京都大学数理解析研究所講究録. 2020. 2150. 10-32
  • T. Kurata,K. Fujita. Neighbourhood and lattice models of second-order intuitionistic propositional logic. Fundamenta Informaticae. 2019. 170. 1--3
  • K. Fujita. The Church--Rosser theorem and quantitative analysis of witnesses. Information and Computation. 2018. 263
もっと見る
MISC (96件)：
  • Ratana Ty,Ken-etsu Fujita,Ken'ichi Kawanishi. Probabilistic Model Checking for Biochemical Reaction Systems. PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS. 2018. 119-128
  • Ratana Ty,Ken-etsu Fujita,Ken'ichi Kawanishi. Probabilistic Model Checking for Biochemical Reaction Systems. PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS. 2018. 119-128
  • Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa. Z for Call-by-Value. Proceedings of the 6th International Workshop on Confluence. 2017. 57-61
  • Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa. Z for Call-by-Value. Proceedings of the 6th International Workshop on Confluence. 2017. 57-61
  • Koji Nakazawa,Ken-etsu Fujita. Compositional Z: Confluence Proofs for Permutative Conversion. STUDIA LOGICA. 2016. 104. 6. 1205-1224
もっと見る
講演・口頭発表等 (75件)：
  • On formalization of logic puzzles a la Smullyan
    (2021)
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited
    (日本数学会2020年度秋季総合分科会 2020)
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited
    (日本数学会2020年度年会 2020)
  • ラムダ計算における簡約グラフ
    (ラムダ計算と論理の早春セミナー2020 2020)
  • 「The Hardest Logic Puzzle Ever」再考
    (ラムダ計算と論理の早春セミナー2020 2020)
もっと見る
学歴 (4件)：
  • - 1990 東北大学
  • - 1990 東北大学大学院 工学研究科 情報工学専攻
  • 東北大学
  • 東北大学 工学部 電子工学専攻
学位 (1件)：
  • A study on logic and type system (東北大学)
経歴 (4件)：
  • 2003 - On Structure of Web-graph
  • 2003 - ウェブグラフの構造に関する研究
  • 1987 - - Relationship between type systems and logics
  • 1987 - - 型付きプログラミング言語と論理学に関する研究
委員歴 (11件)：
  • Association for Computing Machinery 会員
  • 情報処理学会 会員
  • 日本数学会 会員,基礎論・歴史分科会運営委員
  • 人工知能学会 会員
  • 日本ソフトウェア科学会 会員
全件表示
所属学会 (6件)：
Association for Computing Machinery ,  情報処理学会 ,  日本数学会 ,  人工知能学会 ,  日本ソフトウェア科学会 ,  European Association for Theoretical Computer Science
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM