Fujita Kenetsu 藤田憲悦

… Alternative Names

FUJITA Ken-etsu 藤田憲悦

FUJITA Kenetsu 藤田憲悦

藤田憲悦フジタケンエツ

Less

Researcher Number	30228994
Other IDs
External Links
Affiliation (Current)	2025: 群馬大学, 情報学部, 准教授 2025: 東京電機大学, 理工学研究科, 特別専任教授
Affiliation (based on the past Project Information) *help	2025: 東京電機大学, 理工学研究科, 特別専任教授 2021 – 2023: 群馬大学, 情報学部, 准教授 2014 – 2020: 群馬大学, 大学院理工学府, 准教授 2013 – 2014: 群馬大学, 理工学研究院, 准教授 2013: 群馬大学, 理工学研究科, 准教授 … More 2012: 群馬大学, 工学(系)研究科(研究院), 准教授 2004 – 2006: Gunma University, Department of Computer Science, Associate Professor, 工学部, 助教授 2002 – 2003: Shimane University, Information, Assistant Professor, 総合理工学部, 助教授 1999: 九州大学, 情報工学部, 講師 1998 – 1999: 九州工業大学, 情報工学部, 講師 1996: 九州工業大学, 情報工学部, 講師 1990: KIT, Fac. of CSSE Assistant, 情報工学部, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics / Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 Except Principal Investigator Basic Section 60010:Theory of informatics-related / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Algebra / General mathematics (including Probability theory/Statistical mathematics) / Informatics / Fundamental theory of informatics
Keywords	Principal Investigator ラムダ計算 / カリー・ハワード同型 / 合流性 / チャーチ・ロッサーの定理 / グルジェゴルチック階層 / Galois connection / 継続 / CPS変換 / ガロア対応 / 抽象データ型 … More / Girard's Paradox / 型 / 計算 / 証明 / 型付きラムダ計算 / 計算的複雑さ / ゲーデルのシステムT / 位相的・束論的意味論 / 型付ラムダ計算 / 形式化 / 数理パズル / Z定理 / ブーロスの論理パズル / スペクトラル空間モデル / 直観主義論理 / 定量的評価 / Z特性 / ブーロース / 論理パズル / 決定不能 / 2階直観主義論理 / 定量的解析 / 簡約システム / 非初等関数 / 簡約グラフ / 並行変換 / 簡約列 / 計算の複雑さ / 隣接行列 / 並行簡約 / 箙 / CPS-translation / continuation / abstract data types / polymorphism / lambda calculus / 簡約対応 / 証明双対性 / ガロア対応・埋め込み / 多相型 / Duality / Control operator / Curry-Howard isomorphism / Abstract data types / Polymorphic functions / CPS-translation (continuation) / λμ-calculus / 完備半順序集合(CPO) / 不動点演算子 / タイプフリーラムダ計算 / 継続的意味論 / タイプフリーラムダミュウ計算 / Cモノイド / スコット領域 / 表示的意味論 / 双対性 / 制御オペレータ / 多相型関数 / CPS変換(継続) / λμ計算 / 型推論 / 型検査 / カリー流 / チャーチ流 / 決定可能性 / 型推論問題 / 型検査問題 / 例外処理プログラム / カリ-・ハ-ワード同型 / グリベンコの定理 / 排中律 / 古典的証明 / 自然演繹体系 / シーケント計算 … More Except Principal Investigator 直観主義論理 / semigroup / 不値環 / 語の問題 / 融合問題 / 群 / 岩沢不変 / アルゴリズム / 半群 / Lambda Calculus / BCK Logic / Intuitionistic Logic / Classical Logic / ラムダ計算 / BCK論理 / 古典論理 / 部分構造論理 / 型理論 / Stone双対性 / Curry-Howard同型 / 代数的モデル / 領域理論 / 決定可能性 / Kripkeモデル / 代数的意味論 / Illative Combinatory Logic / Russel's Paradox / Curry-Howard isomorphism / Church / 極小論理式 / P=NP問題 / 数理論理学 / 集合論 / ラッセルの逆理 / Curry-Howard対応 / チャーチ / Iwakawa module / valuation ring / λcalculus / Fibre homotopy / topological space / amalgamation Problem / group / 書換えシステム / 融合積 / 羊群 / 岩沢加群 / 付値環 / λ計算 / フィアバー・ホモトピー / 位相空間 / Iwasawa theory / caluculus / rewriting system / homotopy / fibre / algorithm / amalgam / メンバーズシップ問題 / 自由融合積 / レトラクト / 岩沢変換 / 計算論理 / 書き換えシステム / ホモトピー / ファイバー / 融合 / Type Theory / Substructural Logic / Inference mechanism / Analogical reasoning / Logic language / Mechanization of Proving system / Theorem proving / Higher order unification / lambda-calculus / Higher order logic / 人工知能 / 導出原理 / 計算の複雑さ / マッチング / 推論機構 / 類推 / 論理型言語 / 証明の機械化 / 定理証明 / 単一化アルゴリズム / λー算法 / 高階論理 / innocent戦略 / ゲーム意味論 / 逆像層 / 逐次アルゴリズム / 具象領域 / 分配具象領域の表現定理 / 層論 / 高階逐次性 / 分配具象領域 Less

Analysis of proofs and computations via deepening the Curry-Howard isomorphismPrincipal Investigator
- Principal Investigator
  
  藤田憲悦
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Denki University
直観主義論理の推論に関する代数的特徴付けの精密化
- Principal Investigator
  
  倉田俊彦
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Hosei University
Godel's system T and computational complexity hierarchyPrincipal Investigator
- Principal Investigator
  
  藤田憲悦
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Gunma University
Quantitative analysis of existential theorems of reduction systemsPrincipal Investigator
- Principal Investigator
  
  Fujita Kenetsu
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Gunma University
On decidability and undecidability of type-related problems of lambda-calculiPrincipal Investigator
- Principal Investigator
  
  Fujita Ken-etsu
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Gunma University
Sheaf structure in higher-order computaton and logic
- Principal Investigator
  
  KURATA Toshihiko
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Hosei University
A study on duality-based program transformationPrincipal Investigator
- Principal Investigator
  
  FUJITA Ken-etsu
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University
Combinatorial semigroup theory and its applications
- Principal Investigator
  
  SHOJI Kunitaka
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
Regeneration of Church's Lambda calculus on BCK logic
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
A study on denotational semantics of λμ-calculusPrincipal Investigator
- Principal Investigator
  
  FUJITA Ken-etsu
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Gunma University
  Shimane University
Combinatorial semigroup theory and its applications
- Principal Investigator
  
  SHOJI Kunitaka
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
A Study of Substractural Logics
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
μ冠頭形証明の計算的意味に関する基礎的研究Principal Investigator
- Principal Investigator
  
  藤田憲悦
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu Institute of Technology
Higher Order Unification and Mechanization of Higher Order Theorem Proving System
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Kyushu Institute of Technology

[Book] 数理パズルで楽しく学べる論理学2022
- Author(s)
  藤田憲悦
- Total Pages
  200
- Publisher
  コロナ社
- ISBN
  9784339029239
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] An Algebraic Counterpart of Kripke Semantics Based on Completely Prime Elements2024
- Author(s)
  T.Kurata, K.Fujita,
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-23K10991
[Journal Article] The existential fragment of second-order propositional intuitionistic logic is undecidable2024
- Author(s)
  Fujita Ken-etsu、Schubert Aleksy、Urzyczyn Pawel、Zdanowski Konrad
- Journal Title
  
  Journal of Applied Non-Classical Logics
  
  Volume: 34 Issue: 1 Pages: 55-74
- DOI
  10.1080/11663081.2024.2312774
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03711, KAKENHI-PROJECT-23K10991
[Journal Article] Z property for the shuffling calculus2023
- Author(s)
  Nakazawa Koji、Fujita Ken-etsu、Imagawa Yuta
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 32 Issue: 7 Pages: 1015-1027
- DOI
  10.1017/s0960129522000408
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] Boolos' "The Hardest Logic Puzzle Ever" and coinduction2023
- Author(s)
  K.Fujita, T.Kurata
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2276 Pages: 47-56
- Data Source
  KAKENHI-PROJECT-23K10991
[Journal Article] 合流性とZ性定理について2022
- Author(s)
  R. Akasaka, K. Fujita, K. Nakazawa
- Journal Title
  
  Kyoto University RIMS Koukyuroku
  
  Volume: 2228
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic2022
- Author(s)
  T. Kurata, K. Fujita
- Journal Title
  
  Kyoto University RIMS Koukyuroku
  
  Volume: 2228
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] Introduction to the Curry-Howard isomorphism2022
- Author(s)
  K. Fujita
- Journal Title
  
  Kyoto University RIMS Koukyuroku
  
  Volume: 2233
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] A gneral form on the logic puzzles of Boolos2022
- Author(s)
  K. Fujita, T.Kurata
- Journal Title
  
  Kyoto University RIMS Koukyuroku
  
  Volume: 2229
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] Confluence proofs of lambda-mu-calculi by Z theorem2021
- Author(s)
  Y. Honda, K. Nakawaza, K. Fujita
- Journal Title
  
  Studia Logica
  
  Volume: online Issue: 5 Pages: 917-936
- DOI
  10.1007/s11225-020-09931-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K05343, KAKENHI-PROJECT-20K03711
[Journal Article] On formalization of logic puzzles a la Smullyan2021
- Author(s)
  Kenetsu Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2193 Pages: 18-24
- NAID
  120007165904
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] A category-like structure of computational paths for parallel reduction2020
- Author(s)
  K. Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2150
- NAID
  120006888390
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] ラムダ計算の簡約グラフについて2020
- Author(s)
  富岡峻士，藤田憲悦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2150
- Data Source
  KAKENHI-PROJECT-20K03711
[Journal Article] ラムダ計算の簡約グラフについて2020
- Author(s)
  富岡峻士，藤田憲悦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2150 Pages: 66-75
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] A formal system of reduction paths for parallel reduction2020
- Author(s)
  Fujita Ken-etsu
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 813 Pages: 327-340
- DOI
  10.1016/j.tcs.2020.01.002
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] A category-like structure of computational paths for parallel reduction2020
- Author(s)
  K. Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2150 Pages: 10-32
- NAID
  120006888390
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic2019
- Author(s)
  Kurata Toshihiko、Fujita Ken-etsu
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 170 Issue: 1-3 Pages: 223-240
- DOI
  10.3233/fi-2019-1861
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] The Church--Rosser theorem and analysis of reduction length2018
- Author(s)
  K. Fujita
- Journal Title
  
  Kyoto University, RIMS Kokyuroku
  
  Volume: 2083
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] The Church--Rosser Theorem and Analysis of Reduction Length2018
- Author(s)
  K. Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] Probabilistic Model Checking for Biochemical Reaction Systems2018
- Author(s)
  R. Ty, K. Fujita, K. Kawanishi
- Journal Title
  
  Proceedings of the Queueing Symposium, Stochastic Models and Their Applications
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] The Church--Rosser theorem and quantitative analysis of witnesses2018
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Information and Computation
  
  Volume: 263 Pages: 52-56
- DOI
  10.1016/j.ic.2018.09.002
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] On Upper Bounds on the Church-Rosser Theorem2017
- Author(s)
  K. Fujita
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 235 Pages: 16-31
- DOI
  10.4204/eptcs.235.2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] Z for Call-by-Value2017
- Author(s)
  K. Nakazawa, K. Fujita, Y. Imagawa
- Journal Title
  
  Proceedings of the 6th International Workshop on Confluence
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] On Upper Bounds on the Church-Rosser Theorem2017
- Author(s)
  Kenetsu Fujita
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: Vol. 235
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] Reduction Rules for Intuitionistic λρ-calculus2015
- Author(s)
  Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, and Naosuke Matsuda
- Journal Title
  
  Studia Logica
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] On styles of lambda2-terms --Extended abstract --2015
- Author(s)
  K. Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1950
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] Reduction Rules for Intuitionistic lambda-rho-calculus2015
- Author(s)
  K. Fujita, R. Kashima, Y. Komori, N. Matsuda
- Journal Title
  
  Studia Logica
  
  Volume: 103 Issue: 6 Pages: 1225-1244
- DOI
  10.1007/s11225-015-9616-1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] On styles of lambda2-terms --extended abstract--2015
- Author(s)
  K. Fujita
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 印刷中
- Open Access
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] Existential type systems between Church and Curry style (type-free style)2014
- Author(s)
  K. Fujita, A. Schubert
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 549 Pages: 17-35
- DOI
  10.1016/j.tcs.2014.05.019
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500025, KAKENHI-PROJECT-25400192
[Journal Article] ラムダ計算の型問題について --数学基礎論からプログラミング言語の構造へ--2014
- Author(s)
  藤田憲悦
- Journal Title
  
  数学岩波書店
  
  Volume: 第66巻第1号 Pages: 78-89
- NAID
  130006882589
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] A note on subject reduction in (→,∃)-Curry with respect to complete developments2014
- Author(s)
  Aleksy Schubert & Ken-etsu Fujita
- Journal Title
  
  Information Processing Letters
  
  Volume: 114-1,2 Pages: 72-75
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] ラムダ計算の型問題について--数学基礎論からプログラミング言語の構造へ--2014
- Author(s)
  藤田憲悦
- Journal Title
  
  数学
  
  Volume: 66
- NAID
  130006882589
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] A note on subject reduction in (->, E)-Curry with respect to complete developments2014
- Author(s)
  A. Scuhbert and K. Fujita
- Journal Title
  
  Information Processing Letters
  
  Volume: 114 Issue: 1-2 Pages: 72-75
- DOI
  10.1016/j.ipl.2013.07.027
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] On fine structures between Church-style and Curry-style λ2-terms2013
- Author(s)
  藤田憲悦
- Journal Title
  
  京都大学数理解析研究所講究録（RIMS共同研究　証明論と複雑性）
  
  Volume: 1832 Pages: 73-87
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] Decidable structures between Church-style and Curry-style2013
- Author(s)
  Ken-etsu Fujita & Aleksy Schubert
- Journal Title
  
  Leibniz International Proceedings in Informatics (RTA 2013 -- Rewriting Techniques and Applications 24th International Conference)
  
  Volume: 21 Pages: 190-205
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] On fine structures between Church-style and Curry-style lambda2-terms2013
- Author(s)
  藤田憲悦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1832
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] Decidable structures between Church-style and Curry-style2013
- Author(s)
  K. Fujita and A. Schubert
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume: 21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] The undecidability of type related problems of the type-free style System F with finitely stratified polymorphic types2012
- Author(s)
  K. Fujita, A. Schubert
- Journal Title
  
  Information and Computation
  
  Volume: 218
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] CPS-translation as adjoint --Extended abstract2007
- Author(s)
  K.Fujita
- Journal Title
  
  京都大学数理解析研究所講究録 1533
  
  Pages: 64-85
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Galois embedding from universal types into existential types - Extended abstract -2006
- Author(s)
  K.Fujita
- Journal Title
  
  京都大学数理解析研究所講究録(代数,言語,計算システムにおけるアルゴリズム問題) 1503
  
  Pages: 121-128
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from universal types into existential types - Extended abstract -2006
- Author(s)
  K.Fujita
- Journal Title
  
  京都大学数理解析研究所講究録(代数、言語、計算システムにおけるアルゴリズム問題) 1503
  
  Pages: 121-128
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from universal types into existential types - Extended abstract -2006
- Author(s)
  K.Fujita
- Journal Title
  
  Kyoto University RIMS Koukyuroku Vol.1503
  
  Pages: 121-128
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  K.Fujita
- Journal Title
  
  Lecture Notes in Computer Science Vol.3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Springer Lecture Notes in Computer Science 3461
  
  Pages: 194-208
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] A Galois embedding from polymorphic types into existential types2005
- Author(s)
  K.Fujita, M.Hasegawa
- Journal Title
  
  京都大学数理解析研究所講究録(証明論と計算論) 1442
  
  Pages: 97-114
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  K.Fujita
- Journal Title
  
  LNCS 3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] A Galois embedding from polymorphic types into existential types - Extended abstract -2005
- Author(s)
  K.Fujita, M.Hasegawa
- Journal Title
  
  Kyoto University RIMS Koukyuroku Vol.1442
  
  Pages: 97-114
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  藤田憲悦
- Journal Title
  
  LNCS 3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] A sound and complete CPS-translation for λμ-calculus-Extended abstract -2005
- Author(s)
  K.Fujita
- Journal Title
  
  京都大学数理解析研究所講究録(代数系、形式言語と計算論) 1437
  
  Pages: 163-173
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  K.Fujita
- Journal Title
  
  Lecture Notes in Computer Science 3461
  
  Pages: 194-208
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] A sound and complete CPS-translation for λμ-calculus - Extended abstract -2005
- Author(s)
  K.Fujita
- Journal Title
  
  Kyoto University RIMS Koukyuroku Vol.1437
  
  Pages: 163-173
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Lecture Notes in Computer Science 3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] Galois embedding from polymorphie types into existential types2005
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Lecture Notes in Computer Science Vol.3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] A sound and complete CPS-translation for λ μ-calculus2005
- Author(s)
  K.Fujita
- Journal Title
  
  京都大学数理解析研究所講究録(代数系,形式言語と計算論) 1437
  
  Pages: 163-173
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding from polymorphic types into existential types2005
- Author(s)
  K.Fujita
- Journal Title
  
  Lecture Notes in Computer Science 3461
  
  Pages: 194-208
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] A Galois embedding from polymorphic types into existential types - Extended abstract -2005
- Author(s)
  K.Fujita, M.Hasegawa
- Journal Title
  
  京都大学数理解析研究所講究録(証明論と計算論) 1442
  
  Pages: 97-114
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500004
[Journal Article] Galois embedding : proof duality between polymorphic functions and abstract data types2004
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  21st Conference Proceedings Japan Society for Software Science and Technology (CD-R)
- NAID
  40022142607
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] ガロア埋め込み:多相型関数と抽象データ型の証明双対性2004
- Author(s)
  藤田憲悦
- Journal Title
  
  日本ソフトウェア科学会第21回大会講演論文集 (CD-R)
- NAID
  130005006578
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] A sound and complete CPS-Translation for λμ-calculucs2003
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Lecture Notes in Computer Science 2701
  
  Pages: 120-134
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540029
[Journal Article] A sound and complete CPS-translation for λμ-calculus2003
- Author(s)
  藤田憲悦
- Journal Title
  
  LNCS 2701
  
  Pages: 120-134
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Simple modellings of λμ-caluculus2003
- Author(s)
  Ken-etsu, Fujita
- Journal Title
  
  Software computation 20
  
  Pages: 73-79
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540029
[Journal Article] A sound and complete CPS-Translation for λμ-calculucs2003
- Author(s)
  Ken-etsu, Fujita
- Journal Title
  
  Lecture Notes in Computer Science 2701
  
  Pages: 120-134
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540029
[Journal Article] CPS-translation for the extensional λ-calculus2003
- Author(s)
  K.Fujita
- Journal Title
  
  Memoirs of the Faculity of Science and Enginnering(Shimane University, Series B : Mathematical Science) 35
  
  Pages: 39-48
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] An injective CPS-translation for the extensional λ-calculus2003
- Author(s)
  藤田憲悦
- Journal Title
  
  Memoirs of the Faculity of Science and Enginnering(Shimane University, Series B : Mathematical Science) 35
  
  Pages: 39-48
- NAID
  110006939917
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] A sound and complete CPS-Translation for λ μ-calculucs2003
- Author(s)
  Ken-etsu Fujita
- Journal Title
  
  Lecture Notes in Computer Science 2701
  
  Pages: 120-134
- Data Source
  KAKENHI-PROJECT-15540029
[Journal Article] 計算のモデルについて2003
- Author(s)
  藤田憲悦
- Journal Title
  
  コンピュータソフトウェア 20
  
  Pages: 73-79
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540029
[Journal Article] A sound and complete CPS-translation for λμ-calculus2003
- Author(s)
  K.Fujita
- Journal Title
  
  LNCS 2701
  
  Pages: 120-134
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Presentation] ブーロスの"最強のパズル”と論理的推論に関する研究2024
- Author(s)
  本多梨七，藤田憲悦
- Organizer
  京都大学数理解析研究所RIMS共同研究（群・代数・言語と計算機科学の周辺領域）
- Data Source
  KAKENHI-PROJECT-23K10991
[Presentation] ブーロスの「最強のパズル」と論理的推論2024
- Author(s)
  本多梨七，藤田憲悦
- Organizer
  京都大学数理解析研究所共同研究（群・代数・言語と計算機科学の周辺領域）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Z定理のモジュール性2023
- Author(s)
  女屋優貴，藤田憲悦，中澤功爾
- Organizer
  京都大学数理解析研究所RIMS共同研究（証明論と計算論の最前線）
- Data Source
  KAKENHI-PROJECT-23K10991
[Presentation] Z定理のモジュール性2023
- Author(s)
  女屋優貴，藤田憲悦，中澤巧爾
- Organizer
  京都大学数理解析研究所共同研究（証明論と計算論の最前線）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Boolos' "The Hardest Logic Puzzle Ever" and denotational semantics2023
- Author(s)
  K. Fujita, K. Toshihiko
- Organizer
  Kyoto University RIMS Symposium "Group, Ring, Language and Related Areas in Computer Science"
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] 2階直観主義命題論理の解釈と決定可能性に関する考察2023
- Author(s)
  倉田俊彦，藤田憲悦
- Organizer
  京都大学数理解析研究所共同研究（証明論と計算論の最前線）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] 2階直観主義論理の解釈と決定可能性に関する考察2023
- Author(s)
  倉田俊彦，藤田憲悦
- Organizer
  京都大学数理解析研究所RIMS研究集会（証明論と計算論の最前線）
- Data Source
  KAKENHI-PROJECT-23K10991
[Presentation] Spectral Spaces for Models of Intuitionistic Logic2022
- Author(s)
  T.Kurata, K.Fujita
- Organizer
  日本数学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] A general form on the logic puzzle of Boolos2022
- Author(s)
  K.Fujita, T.Kurata
- Organizer
  京都大学数理解析研究所RIMS共同研究 (Logic, Algebraic System, Language and Related Areas in Computer Science)
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Introduction to the Curry-Howard isomorphism2022
- Author(s)
  K. Fujita
- Organizer
  SAML2022: Symposium on Advances in Mathematical Logic 2022 (京都大学数理解析研究所RIMS 共同研究(公開型)「数理論理学とその応用」チュートリアル)
- Invited
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Spectral spaces for models of intuitonistic logic2021
- Author(s)
  T.Kurata, K.Fujita
- Organizer
  京都大学数理解析研究所RIMS共同研究（証明論と計算の理論と応用）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] On formalization of logic puzzles a la George Boolos2021
- Author(s)
  K.Fujita, T.Kurata
- Organizer
  日本数学会2021年度秋季総合分科会（数学基礎論）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] 合流性とZ定理について2021
- Author(s)
  R.Akasaka, K.Fujita, K.Nakazawa
- Organizer
  京都大学数理解析研究所RIMS共同研究（証明論と計算の理論と応用）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] On formalization of logic puzzles a la Smullyan2021
- Author(s)
  K. Fujita
- Organizer
  京都大学数理解析研究所共同研究「Logic, Language, Algebraic System and Related Areas in Computer Science」
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] On formalization of logic puzzles a la Smullyan2021
- Author(s)
  K. Fujita
- Organizer
  京都大学数理解析研究所RIMS共同研究「Logic, Language, Algebraic System and Related Areas in Computer Science」
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] George Boolos' "The Hardest Logic Puzzle Ever" Revisited2020
- Author(s)
  K. Fujita
- Organizer
  日本数学会2020年度年会(日本大学理工学部)
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] George Boolos' "The Hardest Logic Puzzle Ever" Revisited2020
- Author(s)
  K. Fujita
- Organizer
  日本数学会秋季総合分科会（熊本大学）
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] George Boolos' "The Hardest Logic Puzzle Ever" Revisited2020
- Author(s)
  K. Fujita
- Organizer
  第52回TRS研究集会
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] George Boolos’ “The Hardest Logic Puzzel Ever” revisited2020
- Author(s)
  K. Fujita
- Organizer
  日本数学会，2020年秋季総合分科会
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Confluence Proof of λμ Calculus by Z Theorem2019
- Author(s)
  本多雄樹，中澤巧爾，藤田憲悦
- Organizer
  京都大学数理解析研究所 RIMS共同研究「証明論とその周辺」
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] Equational theory and reduction rules of reduction paths2019
- Author(s)
  K. Fujita
- Organizer
  日本数学会2019年度秋季総合分科会（金沢大学）
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A formal system of reduction paths for parallel reduction2019
- Author(s)
  K. Fujita
- Organizer
  ラムダ計算と論理の早春セミナー
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] ラムダ計算の簡約グラフについて2019
- Author(s)
  富岡峻士，藤田憲悦
- Organizer
  京都大学数理解析研究所 RIMS共同研究「証明論とその周辺」
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] Z定理を用いたlambda mu計算の合流性証明2019
- Author(s)
  Y. Honda, K. Nakazawa, K. Fujita
- Organizer
  第２１回プログラミングおよびプログラム言語ワークショップPPL2019
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A formal system of reduction paths for parallel reduction2019
- Author(s)
  K. Fujita
- Organizer
  日本数学会2019年度年会
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A category-like structure of computational paths for parallel reduction2019
- Author(s)
  K. Fujita
- Organizer
  京都大学数理解析研究所 RIMS共同研究「証明論とその周辺」
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] The Church--Rosser Theorem and Quantitative Analysis of Witnesses2018
- Author(s)
  K. Fujita
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] Quantitative Analysis of Reduction Length2018
- Author(s)
  K. Fujita
- Organizer
  2nd Workshop on Mathematical Logic and its Applications (JSPS Core-to-Core Program)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] The Church--Rosser theorem and analysis of reduction length2018
- Author(s)
  K. Fujita
- Organizer
  48th TRS meeting
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A constructive proof of the Church--Rosser theorem2018
- Author(s)
  K. Fujita
- Organizer
  Workship on Type Theory and Lambda Calculus (Chalmers University)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A constructive proof of the Church--Rosser theorem2018
- Author(s)
  K. Fujita
- Organizer
  End-of-Summer Logic Minisymposium (Seansea University)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] Z for Call-by-Value2017
- Author(s)
  K. Nakazawa, K. Fujita, Y. Imagawa
- Organizer
  6th International Workshop on Confluence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] A Formal System of Reduction Paths2017
- Author(s)
  K. Fujita
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] The Church--Rosser Theorem and Analysis of Reduction Length2017
- Author(s)
  K. Fujita
- Organizer
  Proof Theory and Proof Activity, RIMS Kyoto University
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] Compositional Z: confluence proofs for permutative conversion2016
- Author(s)
  K. Nakazawa and K. Fujita
- Organizer
  JAIST JSPS Core-to-Core Program
- Place of Presentation
  Kyoto University
- Year and Date
  2016-09-16
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On the Church-Rosser theorem2016
- Author(s)
  K. Fujita
- Organizer
  Mathematical Society of Japan
- Place of Presentation
  Kansai University
- Year and Date
  2016-09-18
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] Church-Rosser theorem and Compositional Z-property2016
- Author(s)
  K. Fujita and K. Nakazawa
- Organizer
  Japan Society of Software Science and Technology
- Place of Presentation
  Tohoku University
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On upper bound on the Church-Rosser theorem2016
- Author(s)
  K. Fujita
- Organizer
  3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation
- Place of Presentation
  University of Porto
- Year and Date
  2016-06-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] 定理証明とモデル検査2016
- Author(s)
  藤田憲悦
- Organizer
  電子情報通信学会2016年総合大会
- Place of Presentation
  九州大学
- Year and Date
  2016-03-16
- Invited
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] Compositional Z: Confluence Proofs for Permutative Conversion2015
- Author(s)
  K. Nakazawa, K. Fujita
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On styles of lambda2-terms
- Author(s)
  K. Fujita
- Organizer
  RIMS研究集会「証明論・計算論とその周辺」
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2014-12-24 – 2014-12-26
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] Intermediate lambda-terms between Church and Curry
- Author(s)
  Ken-etsu Fujita & Aleksy Schubert
- Organizer
  日本数学会2014年度年会
- Place of Presentation
  学習院大学（東京都）
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] ラムダ計算の型問題を支配する本質的情報について
- Author(s)
  藤田憲悦
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学（東京都）
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] On fine structures between Church-style and Curry-style lambda2-terms
- Author(s)
  K. Fujita
- Organizer
  RIMS研究集会（証明論と複雑性）
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] 置換簡約を含むラムダ計算の合流性
- Author(s)
  中澤巧爾，藤田憲悦
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
- Place of Presentation
  松山市
- Year and Date
  2015-03-04 – 2015-03-06
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] ラムダ計算の型問題を支配する本質的情報について
- Author(s)
  藤田憲悦
- Organizer
  日本ソフトウェア科学会第３０回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] Intermediate lambda-terms between Church and Curry
- Author(s)
  K. Fujita and A. Schubert
- Organizer
  日本数学会２０１４年度年会
- Place of Presentation
  学習院大学
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On styles of lambda2-terms
- Author(s)
  K. Fujita
- Organizer
  RIMS研究集会「証明論・計算論とその周辺」
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2014-12-24 – 2014-12-26
- Data Source
  KAKENHI-PROJECT-25400192

1. KURATA Toshihiko (40311899)

# of Collaborated Projects: 5 results

# of Collaborated Products: 11 results
2. KOMORI Yuichi (10022302)

# of Collaborated Projects: 4 results

# of Collaborated Products: 2 results
3. KASHIMA Ryo (10240756)

# of Collaborated Projects: 3 results

# of Collaborated Products: 2 results
4. HIROKAWA Sachiko (40126785)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. SAKURAI Takafumi (60183373)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. UEDA Akia (70213345)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. SHOJI Kunitaka (50093646)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. MIWA Takuo (60032455)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. IMAOKA Teruo (60032603)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. OZAKI Manabu (80287961)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. KONDO Michio (40211916)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. HARAO Masateru (00006272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. KANAZAWA Makoto (20261886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 多田充 (20303331)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NAKAZAWA KOJI

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
17. MATSUDA NAOSUKE

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
18. Schubert Aleksy

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Fujita Kenetsu 藤田 憲悦

FUJITA Ken-etsu 藤田 憲悦

FUJITA Kenetsu 藤田 憲悦

藤田 憲悦 フジタ ケンエツ

Research Projects

Research Products

Co-Researchers

Analysis of proofs and computations via deepening the Curry-Howard isomorphismPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

直観主義論理の推論に関する代数的特徴付けの精密化

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Godel's system T and computational complexity hierarchyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantitative analysis of existential theorems of reduction systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On decidability and undecidability of type-related problems of lambda-calculiPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Sheaf structure in higher-order computaton and logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on duality-based program transformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Combinatorial semigroup theory and its applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Regeneration of Church's Lambda calculus on BCK logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on denotational semantics of λμ-calculusPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Combinatorial semigroup theory and its applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Substractural Logics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

μ冠頭形証明の計算的意味に関する基礎的研究Principal Investigator

Fujita Kenetsu 藤田憲悦

FUJITA Ken-etsu 藤田憲悦

FUJITA Kenetsu 藤田憲悦

藤田憲悦フジタケンエツ