Rchr
J-GLOBAL ID：200901016998503126   Update date: Jan. 30, 2024

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  (12)：
  • 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
  • 2005 - 2006 A study on duality-based program transformation
Show all
Papers (76)：
  • Y.Honda, K.Nakazawa, K.Fujita. Confluence proofs of lambda-mu-calculi by Z theorem. Studia Logica. 2021
  • On reduction graph of lambda-calculus. Kyoto University RIMS Kokyuroku. 2020. 2150. 66-75
  • Kenetsu Fujita. A category-like structure of reduction paths for parallel reduction. Kyoto University RIMS Kokyuroku. 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
ｍore...
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
ｍore...
Lectures and oral presentations  (75)：
  • On formalization of logic puzzles a la Smullyan
    (Logic, Language, Algebric System and Related Areas in Computer Science 2021)
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited
    (MSJ 2020)
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited
    (2020)
  • ラムダ計算における簡約グラフ
    (ラムダ計算と論理の早春セミナー2020 2020)
  • 「The Hardest Logic Puzzle Ever」再考
    (ラムダ計算と論理の早春セミナー2020 2020)
ｍore...
Education (4)：
  • - 1990 Tohoku University Graduate School, Division of Engineering
  • - 1990 東北大学大学院 工学研究科 情報工学専攻
  • Tohoku University Faculty of Engineering
  • 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