藤田憲悦 Fujita Kenetsu

研究者番号	30228994
その他のID
外部サイト
所属 (現在)	2025年度: 群馬大学, 情報学部, 准教授 2025年度: 東京電機大学, 理工学研究科, 特別専任教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 群馬大学, 情報学部, 准教授 2021年度 – 2023年度: 群馬大学, 情報学部, 准教授 2014年度 – 2020年度: 群馬大学, 大学院理工学府, 准教授 2013年度 – 2014年度: 群馬大学, 理工学研究院, 准教授 2013年度: 群馬大学, 理工学研究科, 准教授 … もっと見る 2012年度: 群馬大学, 工学(系)研究科(研究院), 准教授 2004年度 – 2006年度: 群馬大学, 工学部, 助教授 2002年度 – 2003年度: 島根大学, 総合理工学部, 助教授 1999年度: 九州大学, 情報工学部, 講師 1998年度 – 1999年度: 九州工業大学, 情報工学部, 講師 1996年度: 九州工業大学, 情報工学部, 講師 1990年度: 九州工業大学, 情報工学部, 助手隠す
審査区分/研究分野	研究代表者小区分12030:数学基礎関連 / 数学基礎・応用数学 / 情報学基礎 / 数学一般(含確率論・統計数学) / 計算機科学研究代表者以外小区分60010:情報学基礎論関連 / 数学一般(含確率論・統計数学) / 代数学 / 代数学 / 数学一般(含確率論・統計数学) / 情報学 / 情報学基礎
キーワード	研究代表者ラムダ計算 / 合流性 / チャーチ・ロッサーの定理 / グルジェゴルチック階層 / Galois connection / 継続 / CPS変換 / ガロア対応 / カリー・ハワード同型 / 抽象データ型 … もっと見る / 型付きラムダ計算 / 計算的複雑さ / ゲーデルのシステム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変換(継続) / λμ計算 / 型推論 / 型検査 / カリー流 / チャーチ流 / 決定可能性 / 型推論問題 / 型検査問題 / 例外処理プログラム / カリ-・ハ-ワード同型 / グリベンコの定理 / 排中律 / 古典的証明 / 自然演繹体系 / シーケント計算 … もっと見る研究代表者以外直観主義論理 / 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戦略 / ゲーム意味論 / 逆像層 / 逐次アルゴリズム / 具象領域 / 分配具象領域の表現定理 / 層論 / 高階逐次性 / 分配具象領域隠す

カリー・ハワード同型の深化による証明と計算の解析研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  群馬大学
直観主義論理の推論に関する代数的特徴付けの精密化
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  法政大学
ゲーデルのシステムTと計算量的階層に関する研究研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  群馬大学
簡約システムの存在定理に関する定量的性質の解明研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  群馬大学
ラムダ計算の型問題に対する可解性・非可解性の特徴付け研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  群馬大学
計算と論理に対する層論的構造解析の展開
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  法政大学
双対性に基づくプログラム変換に関する研究研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  群馬大学
組合せ半群論とその応用
- 研究代表者
  
  庄司邦孝
- 研究期間 (年度)
  2003 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  島根大学
チャーチのラムダ計算のBCK論理による再生
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
λμ計算の表示的意味論に関する研究研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  群馬大学
   島根大学
組合せ半群論とその応用
- 研究代表者
  
  庄司邦孝
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  島根大学
部分構造論理の研究
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
μ冠頭形証明の計算的意味に関する基礎的研究研究代表者
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州工業大学
高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
- 研究代表者
  
  原尾政輝
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  九州工業大学

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

1. 倉田俊彦 (40311899)

共同の研究課題数: 5件

共同の研究成果数: 11件
2. 古森雄一 (10022302)

共同の研究課題数: 4件

共同の研究成果数: 2件
3. 鹿島亮 (10240756)

共同の研究課題数: 3件

共同の研究成果数: 2件
4. 廣川佐千男 (40126785)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 桜井貴文 (60183373)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 植田玲 (70213345)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 山本光晴 (00291295)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 庄司邦孝 (50093646)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 三輪拓夫 (60032455)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 今岡輝男 (60032603)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 尾崎学 (80287961)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 近藤通朗 (40211916)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 原尾政輝 (00006272)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 金沢誠 (20261886)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 多田充 (20303331)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 中澤巧爾

共同の研究課題数: 1件

共同の研究成果数: 4件
17. 松田直祐

共同の研究課題数: 1件

共同の研究成果数: 1件
18. Schubert Aleksy

共同の研究課題数: 1件

共同の研究成果数: 2件

藤田 憲悦 Fujita Kenetsu

研究課題

研究成果

共同研究者

カリー・ハワード同型の深化による証明と計算の解析研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ゲーデルのシステムTと計算量的階層に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

簡約システムの存在定理に関する定量的性質の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ラムダ計算の型問題に対する可解性・非可解性の特徴付け研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算と論理に対する層論的構造解析の展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

双対性に基づくプログラム変換に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

組合せ半群論とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

チャーチのラムダ計算のBCK論理による再生

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

λμ計算の表示的意味論に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

組合せ半群論とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

部分構造論理の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

藤田憲悦 Fujita Kenetsu