Rchr
J-GLOBAL ID：200901016998503126   Update date: Mar. 03, 2025

Fujita Kenetsu

Fujita Kenetsu
Affiliation and department：
Gunma University

About Gunma University


Research field  (1)： Information theory
Research keywords  (4)： Programming language logic semantics types ,  意味論 ,  論理学 ,  プログラミング言語
Research theme for competitive and other funds  (13)：
  • 2023 - 2027 直観主義論理の推論に関する代数的特徴付けの精密化
  • 2020 - 2023 Godel's system T and computational complexity hierarchy
  • 2017 - 2021 Quantitative analysis of existential theorems of reduction systems
  • 2013 - 2017 On decidability and undecidability of type-related problems of lambda-calculi
  • 2012 - 2015 Sheaf structure in higher-order computaton and logic
Show all
Papers (81)：
  • 女屋優貴, 藤田憲悦, 中澤巧爾. Z定理のモジュール性. 京都大学数理解析研究所講究録. 2024. 2293. 41-53
  • Toshihiko Kurata, Ken-etsu Fujita. An Algebraic Counterpart of Kripke Semantics Based on Complexity. Kyoto University RIMS Kokyuroku. 2024. 2293. 160-163
  • 本多梨七, 藤田憲悦. ブーロスの”最強のパズル”と論理的推論に関する研究. 京都大学 数理解析研究所講究録. 2024. 2291. 91-99
  • Ken-etsu Fujita, Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski. The existential fragment of second-order propositional intuitionistic logic is undecidable. Journal of Applied Non-Classical Logics. 2024. 34. 1. 55-74
  • Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa. Z property for the shuffling calculus. Mathematical Structures in Computer Science. 2023. 32. 7. 1015-1027
ｍore...
MISC (87)：
  • 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
ｍore...
Books (1)：
  • 数理パズルで楽しく学べる論理学
    コロナ社 2022 ISBN:9784339029239
Lectures and oral presentations  (87)：
  • On Reynolds-Hurkens-Coquand paradox
    (日本数学会年会数学基礎論および歴史分科会 2025)
  • Reynolds-Hurkens-Coquand Paradox and T-algebras
    (Kyoto University RIMS Workshop on Semigroups, Algebras, Languages and Related Areas in Computer Science 2025)
  • Boolos’“ The Hardest Logic Puzzle Ever ” and Logical Reasoning
    (The Kyoto University RIMS workshop "Group, Algebra, Language and Related Areas in Computer Science" 2024)
  • 2 階直観主義命題論理の解釈と決定可能性に関する考察
    (京都大学数理解析研究所RIMS共同研究 「証明論と計算論の最前線」 2023)
  • Z定理のモジュール性
    (京都大学数理解析研究所RIMS共同研究 「証明論と計算論の最前線」 2023)
ｍore...
Education (4)：
  • - 1990 東北大学大学院 工学研究科 情報工学専攻
  • - 1990 Tohoku University Graduate School, Division of Engineering
  • - 1986 Tohoku University Graduate School of Engineering
  • - 1984 Tohoku University Faculty of Engineering
Professional career (1)：
  • A study on logic and type system (Tohoku University)
Work history (4)：
  • 2003 - On Structure of Web-graph
  • 2003 - ウェブグラフの構造に関する研究
  • 1987 - - Relationship between type systems and logics
  • 1987 - - 型付きプログラミング言語と論理学に関する研究
Committee career (11)：
  • Association for Computing Machinery 会員
  • 情報処理学会 会員
  • 日本数学会 会員,基礎論・歴史分科会運営委員
  • 人工知能学会 会員
  • 日本ソフトウェア科学会 会員
Show all
Association Membership(s) (6)：
Association for Computing Machinery ,  情報処理学会 ,  日本数学会 ,  人工知能学会 ,  日本ソフトウェア科学会 ,  European Association for Theoretical Computer Science
※ 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