MF Researcher Database

研究者データベース

詳細
藤田　憲悦
フジタ　ケンエツ
情報学講座
准教授
Last Updated :2024/04/08

研究者基本情報

研究者

  • 氏名

    藤田　憲悦, フジタ　ケンエツ

所属

  • 情報学講座, 准教授

基本情報

  • 研究者氏名（日本語）

    藤田, 憲悦

使用外国語

  • 発表に使用する外国語

    英語

  • 執筆に使用する外国語

    英語

所属

  • 群馬大学

所属部局等

  • 所属情報

    大学院理工学府, 電子情報部門

  • 職名情報

    准教授

学歴

  • 1990年, 東北大学大学院, 工学研究科, 情報工学専攻
  • 東北大学, 工学部, 電子工学専攻
  • 1990年, 東北大学
  • 東北大学

学位

  • 工学博士

所属学協会

  • European Association for Theoretical Computer Science
  • 日本ソフトウェア科学会
  • 人工知能学会
  • 日本数学会
  • 情報処理学会
  • Association for Computing Machinery

経歴

  • 1987年, - 型付きプログラミング言語と論理学に関する研究
  • 2003年, ウェブグラフの構造に関する研究
  • 1987年
  • 2003年

研究活動情報

研究分野

  • 情報通信, 情報学基礎論

研究キーワード

  • プログラミング言語
  • 論理学
  • 意味論

論文

  • The existential fragment of second-order propositional intuitionistic logic is undecidable, K.Fujita, A. Schubert, P. Urzyczyn, K. Zdanowski, 2024年03月06日, Journal of Applied Non-Classical Logics, 34, 1, 55, 74, 研究論文（学術雑誌）
    DOI
  • Boolos' "The Hardest Logic Puzzle Ever" and coinduction, Ken-etsu Fujita and Toshihiko Kurata, 2023年09月, Kyoto University, RIMS Kokyuroku, 2276, 47, 56
  • Z property for the shuffling calculus, K. Nakazawa, K. Fujita, Y. Imagawa, 2023年01月, Mathematical Structures in Computer Science
    DOI
  • Introduction to the Curry-Howard isomorphism, Kenetsu Fujita, 2022年11月, Kyoto University, RIMS Kokyuroku, 2233, 20, 54
  • A general form on the logic puzzles of Boolos, K. Fujita, T. Kurata, 2022年09月, Kyoto University RIMS Kokyuroku, 2229, 21, 29
  • A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic, Toshihiko Kurata, Ken-etsu Fujita, 2022年08月, Kyoto University RIMS Kokyuroku, 2228, 206, 214
  • 合流性とZ性について, 赤坂陸，藤田憲悦，中澤巧爾, 2022年08月, 京都大学　数理解析研究所講究録, 2228, 30, 40
  • On formalization of logic puzzles {\it \'a la} Smullyan, Ken-etsu Fujita, 2021年07月, 京都大学数理解析研究所講究録, Kyoto University RIMS Koukyuroku, 2193, 研究論文（学術雑誌）
  • Confluence proofs of lambda-mu-calculi by Z theorem, Y.Honda, K.Nakazawa, K.Fujita, 2021年01月, Studia Logica, Studia Logica
    DOI
  • A category-like structure of reduction paths for parallel reduction, Kenetsu Fujita, 2020年04月, 京都大学数理解析研究所講究録, Kyoto University RIMS Kokyuroku, 2150, 10, 32
  • ラムダ計算の簡約グラフについて, 富岡峻士，藤田憲悦, 2020年04月, 京都大学数理解析研究所講究録, Kyoto University RIMS Kokyuroku, 2150, 66, 75
  • A formal system of reduction paths for parallel reduction, Fujita, Ken-etsu, 2020年, THEORETICAL COMPUTER SCIENCE, THEORETICAL COMPUTER SCIENCE, 813, 327, 340
    DOI
  • Neighbourhood and lattice models of second-order intuitionistic propositional logic, T. Kurata,K. Fujita, 2019年10月, Fundamenta Informaticae, Fundamenta Informaticae, 170, 1--3, 223, 240
    DOI
  • The Church--Rosser thoerem and quantitative analysis of witnesses, Kenetsu Fujita, 2018年12月, Information and Computation, Information and Computation, 263, 52, 56
  • The Church--Rosser theorem and analysis of reduction length, K. Fujita, 2018年08月, Kyoto University RIMS Kokyuroku, Kyoto University RIMS Kokyuroku, 2083
  • Probabilistic Model Checking for Biochemical Reaction Systems, Ratana Ty,Ken-etsu Fujita,Ken'ichi Kawanishi, 2018年01月, PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS, PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS
  • Z for Call-by-Value, Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa, 2017年09月, Proceedings of the 6th International Workshop on Confluence, Proceedings of the 6th International Workshop on Confluence
  • On Upper Bounds on the Church-Rosser Theorem, K. Fujita, 2017年01月, Electronic Proceedings in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, 235, 16, 31
    DOI
  • Compositional Z: Confluence Proofs for Permutative Conversion, Nakazawa Koji,Fujita Ken-etsu, 2016年12月, STUDIA LOGICA, STUDIA LOGICA, 104, 6, 1205, 1224
    DOI
  • AI-3-1 定理証明とモデル検査(AI-3.ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開,依頼シンポジウム,ソサイエティ企画), 藤田 憲悦, 2016年03月, 電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 2016, "SS, 30"-"SS-31"
  • Reduction Rules for Intuitionistic lambda rho-calculus, Ken-etsu Fujita,Ryo Kashima,Yuichi Komori,Naosuke Matsuda, 2015年12月, STUDIA LOGICA, 103, 6, 1225, 1244, 研究論文（学術雑誌）
    DOI
  • On styles of lambda2-terms --Extended abstract --, Fujita\, Kenetsu, 2015年06月, RIMS Kokyuroku, RIMS Kokyuroku, 1950
  • Existential type systems between Church and Curry style (type-free style), Ken-etsu Fujita,Aleksy Schubert, 2014年09月, THEORETICAL COMPUTER SCIENCE, 549, 17, 35, 研究論文（学術雑誌）
    DOI
  • A note on subject reduction in (->, there exists)-Curry with respect to complete developments, Aleksy Schubert,Ken-etsu Fujita, 2014年01月, INFORMATION PROCESSING LETTERS, 114, 1-2, 72, 75, 研究論文（学術雑誌）
    DOI
  • ラムダ計算の型問題について--数学基礎論からプログラミング言語の構造へ--, 藤田 憲悦, 2014年01月, 数学, 66, 1, 78, 89
    DOI
  • Decidable structures between Church-style and Curry-style, K. Fujita,A. Schubert, 2013年06月, Leibnez International Proceedings in Informatics, Leibnez International Proceedings in Informatics, 21
    DOI
  • On fine structures between Church-style and Curry-style lambda2-terms, Fujita\, Ken-etsu, 2013年04月, RIMS Kokyuroku, RIMS Kokyuroku, 1832
  • The undecidability of type related problems of the type-free style System F with finitely stratified polymorphic types, K. Fujita,A. Schubert, 2012年09月, Information and Computation, Information and Computation, 218, 69, 87
  • ラムダ計算の型問題について --On type-related problems of λ-calculi--, 藤田憲悦, 2012年03月, 日本数学会 数学基礎論および歴史分科会 講演アブストラクト
  • A Framework for Reduction from lambda 2-calculi to lambda E-calculi, K. Fujita, 2011年11月, Computer Software, Computer Software, Vol. 28, No. 4
  • 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性 (形式体系と計算理論--RIMS共同研究報告集), 藤田 憲悦;倉田 俊彦, 2011年02月, 数理解析研究所講究録, RIMS Kokyuroku, 1729, 1, 8
  • Inhabitation of polymorphic and existential types, M. Tatsuta,K. Fujita,R. Hasegawa,H. Nakano, 2010年08月, Annals of Pure and Applied Logic, Annals of Pure and Applied Logic, 161, 1390, 1399
  • The undecidability of type related problems in type-free style System F, K. Fujita,A. Schubert, 2010年07月, Leibniz International Proceedings in Informatics (Proceedings of the 21st International Conference on Rewriting Techniques and Applications), Leibniz International Proceedings in Informatics (Proceedings of the 21st International Conference on Rewriting Techniques and Applications), Vol. 6, RTA '10, 103, 118
  • CPS-translation as adjoint, K. Fujita, 2010年01月, Theoretical Computer Science, Theoretical Computer Science, 411, 2, 324, 340
  • Existential type systems with no types in terms, K. Fujita,A. Schubert, 2009年07月, Springer Lecture Notes in Computer Science, Springer Lecture Notes in Computer Science, Vol. 5608, 112, 126
  • Inhabitance of Existential Types is Decidable in Negation-Product Fragment, Makoto Tatsuta,Ken-etsu Fujita,Ryu Hasegawa,Hiroshi Nakano, 2008年07月, Second International Workshop on Classical Logic and Computation, July 13, 2008, Reykjavik - Iceland Colocated with ICALP 2008, Second International Workshop on Classical Logic and Computation, July 13, 2008, Reykjavik - Iceland Colocated with ICALP 2008
  • Residuated mapping and CPS-translation --Extended abstract--, Ken-etsu Fujita, 2007年06月, Kyoto University RIMS Kokyuroku, 1567
  • CPS-translation as adjoint --Extended abstract--, Ken-etsu Fujita, 2007年02月, Kyoto University RIMS Kokyuroku, 1533
  • Galois embedding from universal types into existential types --- Extended abstract ---, FUJITA KEN-ETSU, 2006年07月, Kyoto University, RIMS Kokyuroku, Kyoto University, RIMS Kokyuroku, Vol. 1503, pp. 121--128
  • A Galois embedding from polymorphic types into existential types -- Extended Abstract --, 藤田 憲悦,長谷川 真人, 2005年07月, 京都大学数理解析研究所講究録, Kyoto University, RIMS Kokyuroku, Vol. 1442, pp.97--114
  • A sound and complete CPS-translation for λμ-calculus -- Extended abstract --, 藤田 憲悦, 2005年06月, 京都大学数理解析研究所講究録, Kyoto University, RIMS Kokyuroku, 1437, 163--173
  • Galois embedding from polymorphic types into existential types, FUJITA KEN-ETSU, 2005年04月, Springer Lecture Notes in Computer Science, Springer Lecture Notes in Computer Science, Vol. 3461, pp. 194--208
  • Galois Embedding:proof duality between polymorphic functions and abstract data types, 藤田 憲悦, 2004年, 日本ソフトウェア科学会大会講演論文集, Conference Proceedings of Japan Society for Software Science and Technology, 21, 0, 2, 2
  • Webグラフの可視化, 牧野周平,国保建,山崎美嘉,藤田憲悦, 2003年12月, 島根大学技術報告書, Series A Vol. 37
  • ラムダミュウ計算のモデルについて, 藤田 憲悦, 2003年, コンピュータソフトウェア, 20, 3, 73, 79
  • A sound and complete CPS-translation for lambda-mu-calculus, Ken-etsu Fujita, 2003年, Springer Lecture Notes in Computer Science, Springer Lecture Notes in Computer Science, 2701, 120, 134
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2003年, Scientiae Mathematicae Japonicae, Scientiae Mathematicae Japonicae, 57, 1, 73, 82
  • A bijective CPS-translation between classical and intuitionistic proofs, 藤田 憲悦, 2003年, Proc. of the Seventh Symposium on Algebra, Languages and Computation, Proc. of the Seventh Symposium on Algebra, Languages and Computation, 2, 13
  • Lambda-calculus with lazy lists --Extended abstract --, FUJITA KEN-ETSU, 2002年, 京都大学数理解析研究所講究録, Kyoto University, RIMS Kokyuroku, Vol. 1268, 118, 125
  • An interpretation of λμ-calculus in λ-calculus, Ken-etsu Fujita, 2002年, Information Processing Letters, Information Processing Letters, Vol. 84, 5, 261, 264
  • 分散プログラミングのための安全な動的型, 藤田 憲悦, 2001年, レクチャーノート/ソフトウェア学, Vol. 25, 45, 52
  • Parallel computation and synchronized term rewirting systems --Extended abstract--, FUJITA KEN-ETSU,Aart Middeldorp, 2001年, 京都大学数理解析研究所講究録, Kyoto University, RIMS Kokyuroku, Vol. 1222, 105, 113
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2001年, Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting
  • Parallel reduction in type free lambda-mu-calculus, Ken-etsu Fujita,Kensuke Baba,Sachio Hirokawa, 2001年, Elsevier Electronic Notes in Theoretical Computer Science, Elsevier Electronic Notes in Theoretical Computer Science, Vol. 42, 52, 66
  • Domain-free lambda-mu-calculus, Ken-etsu Fujita, 2001年, Theoretical Informatics and Applications, Theoretical Informatics and Applications, Vol. 34, 6, 433, 566
  • 部分型推論の困難さに関する一考察, 藤田 憲悦, 2000年, コンピュータソフトウェア, Computer Software, Vol. 17, 2, 40, 44
  • Multiple-conclusion system as communication calculus, 藤田 憲悦, 2000年, Elsevier, Electronic Notes in Theoretical Computer Science, Vol. 31, 1, 167, 182
  • Partially typed terms between Church-style and Curry-style, 藤田 憲悦, 2000年, Springer, Lecture Notes in Computer Science, Vol. 1872, 505, 520
  • Synchronized Term Rewriting Systems --Extended Abstract--, 藤田 憲悦,Aart Middeldorp, 2000年, Proc. of the Fourth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, Proc. of the Fourth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, 1, 99
  • Safe Dynamics and Distributed Programming, 藤田 憲悦, 2000年, Memoirs of the Faculity of Science and Enginnering, Shimane University, Series A, Memoirs of the Faculity of Science and Enginnering, Shimane University, Series A, Vol. 34, 95, 103
  • Safe dynamics for distributed programming, FUJITA KEN-ETSU,Shouich Obara, 2000年, Kyushu Institute of Technology, Kyushu Institute of Technology, CSSE-8
  • Multiple-conclusion system as communication calculus -- Informal meaning of proof terms as communication terms --, FUJITA KEN-ETSU, 2000年, RIMS Kokyuroku, RIMS Kokyuroku, Vol. 1166, 67, 75
  • A binary-conclusion natural deduction system, 藤田 憲悦, 1999年, Oxford University Press, Journal of the Interest Group in Pure and Applied Logics, Vol. 7, 2, 517, 545
  • Explicitly typed lambda-mu-calculus for polymorphism and call-by-value, 藤田 憲悦, 1999年, Springer, Lecture Notes in Computer Science, Vol. 1581, 162, 176
  • A sequent-conclusion natural deduction system with bounded length, 藤田 憲悦, 1999年, Proc. of the Third Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, Proc. of the Third Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, 1, 11
  • Type inference for domain-free lambda 2, FUJITA KEN-ETSU, 1999年, Kyushu Institute of Technology, Kyushu Institute of Technology, CSSE-5
  • Domain-free lambda-mu-calculus for polymorphism and call-by-value, FUJITA KEN-ETSU, 1999年, RIMS Kokyuroku, RIMS Kokyuroku, Vol. 1106, 37, 49
  • Calculus of Classical Proofs II, 藤田 憲悦, 1998年, 情報処理学会誌, Transactions of Information Processing Society of Japan, Vol. 39, 12, 3269, 3281
  • On Proof Terms and Embeddings of Classical Substructural Logics, 藤田 憲悦, 1998年, Kluwer, Studia Logica, Vol. 61, 2, 199, 221
  • Polymorphic call-by-value calculus based on classical proofs, 藤田 憲悦, 1998年, Springer, Lecture Notes in Artificial Intelligence, Vol. 1476, 170, 182
  • μ冠頭型証明とそのプログラミングへの応用に関する一考察, 藤田 憲悦, 1997年, コンピュータソフトウェア, Computer Software, Vol. 14, 2, 71, 75
  • Mu-head form proofs with at most two formulas in the succedent, 藤田 憲悦, 1997年, 情報処理学会誌, Transactions of Information Processing Society of Japan, Vol. 38, 6, 1073, 1082
  • Calculus of Classical Proofs I, 藤田 憲悦, 1997年, Springer, Lecture Notes in Computer Science, Vol. 1345, 321, 335
  • Calculus of classical proofs from programming viewpoint, FUJITA KEN-ETSU, 1997年, RIMS Kokyuroku, RIMS Kokyuroku, Vol. 1010, 7, 34
  • Strong normalization of pure GLw-lambda-mu-terms, FUJITA KEN-ETSU, 1997年, RIMS Kokyuroku, RIMS Kokyuroku, Vol. 1021, 1, 13
  • On embedding of classical substructural logics, FUJITA KEN-ETSU, 1995年, RIMS Kokyuroku, RIMS Kokyuroku, Vol. 918, 178, 196
  • On the adequacy of representing higher order intuitionistic logic as a pure type system, 藤田 憲悦, 1992年, Annals of Pure and Applied Logic, Annals of Pure and Applied Logic, Vol. 57, 251, 276
  • Proving based on similarity, 藤田 憲悦,原尾政輝, 1991年, Proceedings of the Second Workshop on Algorithmic Learning Theory (ALT '91), Proceedings of the Second Workshop on Algorithmic Learning Theory (ALT '91), 213, 223
  • A canonical transformation from higher order logic to typed lambda calculus, 藤田 憲悦, 1990年09月, 人工知能学会誌, Journal of Japanese Society for Artificial Intelligence, Vol. 5, 6, 88, 99
  • 構成的プログラミング, 竹内 章;藤田 憲悦, 1996年01月, 教育システム情報学会誌 = Transactions of Japanese Society for Information and Systems in Education, 12, 4
  • Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems), 藤田 憲悦, 1999年07月, 数理解析研究所講究録, RIMS Kokyuroku, 1106, 37, 49
  • Multiple-Conclusion System as Communication Calculus--Informal meaning of proofs as communication terms (Algebraic Systems,Formal Languages and Computations), 藤田 憲悦, 2000年08月, 数理解析研究所講究録, RIMS Kokyuroku, 1166, 67, 75
  • Parallel Computation and Synchronized Term Rewriting Systems--Extended Abstract (Algebraic Semigroups, Formal Languages and Computation), 藤田 憲悦;Middeldorp Aart, 2001年07月, 数理解析研究所講究録, RIMS Kokyuroku, 1222, 105, 113
  • λ-Calculus with Lazy Lists--Extended Abstract (Algorithms in Algebraic Systems and Computation Theory), 藤田 憲悦, 2002年06月, 数理解析研究所講究録, RIMS Kokyuroku, 1268, 118, 125
  • Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms, 藤田 憲悦, 1997年12月, 数理解析研究所講究録, RIMS Kokyuroku, 1021, 1, 13
  • Bengt Nordstrom, Kent Petersson and Jan M. Smith : Programming in Martin-Lof's Type Theory, An Introduction, Clarendon Press (1990). ISBN 0-19-853814-6, 藤田 憲悦, 1991年11月, 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, Journal of the Japanese Society for Artificial Intelligence, 6, 6, 943, 944
  • Relationship Between Logic And Type System, 藤田 憲悦;富樫 敦;野口 正一, 1989年10月, 全国大会講演論文集, 39, 0, 1050, 1051
  • Conservativity of Typed Lambda Calculus over Intuitionistic Logic, 藤田 憲悦;富樫 敦;野口 正一, 1990年03月, 全国大会講演論文集, 40, 0, 889, 890
  • 古典的証明に基づく値呼びプログラミング言語の型推論アルゴリズムについて, 堺 美子;藤田 憲悦, 1998年03月, 全国大会講演論文集, 56, 0, 308, 309
  • Martin-Lof の型理論に基づくプログラム支援システムの構築, 縄田 和裕;藤田 憲悦;石山 明宏;中島 隆, 1997年03月, 情報処理学会研究報告. SE,ソフトウェア工学研究会報告, IPSJ SIG Notes, 113, 1, 8
  • Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics), 藤田 憲悦, 1997年08月, 数理解析研究所講究録, RIMS Kokyuroku, 1010, 7, 34
  • 古典的証明に基づく関数型言語の構築, 野島 歓之;平田 耕一;藤田 憲悦, 1999年11月, 電子情報通信学会技術研究報告. COMP, コンピュテーション, IEICE technical report. Theoretical foundations of Computing, 98, 432, 1, 8
  • 類推における証明項の変換について, 藤田 憲悦, 1994年07月, 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, Technical report of IEICE. SS, 94, 134, 41, 48
  • λμ計算のモデルについて, 藤田 憲悦;Ken-etsu Fujita;島根大学総合理工学部数理情報システム学科;Department of Mathematics and Computer Science Interdisciplinary Faculty of Science and Engineering Shimane University, 2003年05月, コンピュータソフトウェア, Computer Software, 20, 3, 73, 79
  • μ冠頭形証明とそのプログラミングへの応用に関する一考察, 藤田 憲悦;Ken-etsu Fujita;九州工業大学;Kyushu Institute of Techonolgy, 1997年03月, コンピュータソフトウェア, 14, 2, 175, 179
  • 部分型推論の困難さに関する一考察, 藤田 憲悦;Ken-etsu Fujita;九州工業大学;Kyushu Institute of Technology, 2000年03月, コンピュータソフトウェア, Computer Software, 17, 2, 148, 152
  • 安全な動的型と分散プログラミング, 藤田 憲悦, 2000年12月, 島根大学総合理工学部紀要 シリ-ズA, Memoirs of the Faculty of Science and Engineering,Shimane University. Series A, 34, 95, 103
  • On Styles of $lambda$2-Terms : Extended Abstract (Proof Theory, Computation Theory and Related Topics), 藤田 憲悦, 2015年06月, 数理解析研究所講究録, 1950, 73, 92
  • ラムダ計算の簡約グラフについて (証明論とその周辺), 富岡 峻士;藤田 憲悦, 2020年04月, 数理解析研究所講究録, 2150, 66, 75
  • μ冠頭形証明とそのプログラミングへの応用に関する一考察, 藤田 憲悦, 1997年, コンピュータ ソフトウェア, Computer Software, 14, 2, 2_175, 2_179
  • ラムダ計算の型問題を支配する本質的情報について, 藤田 憲悦, 2013年09月, 日本ソフトウェア科学会大会論文集, 30, 687, 696
  • チャーチ・ロッサーの定理と合成的Z-特性, 藤田 憲悦;中澤 巧爾, 2016年09月, 日本ソフトウェア科学会大会論文集, 33, 333, 342
  • ガロア埋め込み : 多相型関数と抽象データ型の証明双対性, 藤田 憲悦, 2004年09月, 日本ソフトウェア科学会大会論文集, 21, 1, 5
  • λμ計算のモデルについて, 藤田 憲悦, 2001年09月, 日本ソフトウェア科学会大会論文集, 18, 1, 5
  • Confluence Proofs of Lambda-Mu-Calculi by Z Theorem, Honda, Yuki;Nakazawa, Koji;Fujita, Ken-Etsu, 2021年, STUDIA LOGICA, STUDIA LOGICA, 109, 5, 917, 936
    DOI
  • On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity), Fujita, Ken-etsu;藤田, 憲悦;フジタ, ケンエツ, 2013年04月, 数理解析研究所講究録, Kyoto University RIMS Kokyuroku, 1832, 73, 87
  • The Church-Rosser Theorem and Analysis of Reduction Length (Proof theory and proving), 藤田, 憲悦, 2018年08月, 数理解析研究所講究録, RIMS Kokyuroku, 2083, 124, 136
  • Z property for the shuffling calculus, Nakazawa, Koji;Fujita, Ken-etsu;Imagawa, Yuta, 2022年, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 32, 7, 1015, 1027
    DOI
  • (証明論とその周辺), Fujita Ken-etsu, 2020年04月, 数理解析研究所講究録, RIMS Kokyuroku, 2150, 10, 32
  • (論理・言語・代数系と計算機科学の周辺領域), Fujita Ken-etsu, 2021年07月, 数理解析研究所講究録, RIMS Kokyuroku, 2193, 18, 24

MISC

  • Reduction Rules for Intuitionistic lambda rho-calculus, Ken-etsu Fujita,Ryo Kashima,Yuichi Komori,Naosuke Matsuda, 2015年12月, STUDIA LOGICA, 103, 6, 1225, 1244
    DOI
  • Reduction Rules for Intuitionistic lambda rho-calculus, Ken-etsu Fujita,Ryo Kashima,Yuichi Komori,Naosuke Matsuda, 2015年12月, STUDIA LOGICA, 103, 6, 1225, 1244
    DOI
  • Inhabitation of polymorphic and existential types, Makoto Tatsuta,Ken-etsu Fujita,Ryu Hasegawa,Hiroshi Nakano, 2010年08月, ANNALS OF PURE AND APPLIED LOGIC, 161, 11, 1390, 1399
    DOI
  • CPS-translation as adjoint, Ken-etsu Fujita, 2010年01月, THEORETICAL COMPUTER SCIENCE, 411, 2, 324, 340
    DOI
  • The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types, Ken-etsu Fujita,Aleksy Schubert, 2012年09月, INFORMATION AND COMPUTATION, 218, 69, 87
    DOI
  • The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types, Ken-etsu Fujita,Aleksy Schubert, 2012年09月, INFORMATION AND COMPUTATION, 218, 69, 87
    DOI
  • Compositional Z: Confluence Proofs for Permutative Conversion, Koji Nakazawa,Ken-etsu Fujita, 2016年12月, STUDIA LOGICA, 104, 6, 1205, 1224
    DOI
  • A note on subject reduction in (->, there exists)-Curry with respect to complete developments, Aleksy Schubert,Ken-etsu Fujita, 2014年01月, INFORMATION PROCESSING LETTERS, 114, 1-2, 72, 75
    DOI
  • Existential type systems between Church and Curry style (type-free style), Ken-etsu Fujita,Aleksy Schubert, 2014年09月, THEORETICAL COMPUTER SCIENCE, 549, 17, 35
    DOI
  • A sound and complete CPS-translation for λμ-calculus -- Extended abstract --, 藤田 憲悦, 2005年, 京都大学数理解析研究所講究録, 1437, 163--173
  • An interpretation of λμ-calculus in λ-calculus, Ken-etsu Fujita, 2002年, Information Processing Letters, Vol. 84, No. 5, 261-264
    DOI
  • A bijective CPS-translation between classical and intuitionistic proofs, 藤田 憲悦, 2003年, Proc. of the Seventh Symposium on Algebra, Languages and Computation, pp. 2--13
  • A Galois embedding from polymorphic types into existential types -- Extended Abstract --, 藤田 憲悦,長谷川 真人, 2005年, 京都大学数理解析研究所講究録, Vol. 1442, pp.97--114
  • Galois embedding from polymorphic types into existential types, FUJITA KEN-ETSU, 2005年, Springer Lecture Notes in Computer Science, Vol. 3461, pp. 194--208
  • Parallel computation and synchronized term rewirting systems --Extended abstract--, FUJITA KEN-ETSU,Aart Middeldorp, 2001年, 京都大学数理解析研究所講究録, Vol. 1222, pp. 105--113
  • Lambda-calculus with lazy lists --Extended abstract --, FUJITA KEN-ETSU, 2002年, 京都大学数理解析研究所講究録, Vol. 1268, pp. 118--125
  • 分散プログラミングのための安全な動的型, 藤田 憲悦, 2001年, レクチャーノート/ソフトウェア学, Vol. 25, pp. 45--52
  • Parallel reduction in type free lambda-mu-calculus, Ken-etsu Fujita,Kensuke Baba,Sachio Hirokawa, 2001年, Elsevier Electronic Notes in Theoretical Computer Science, Vol. 42, pp. 52--66
    DOI
  • Domain-free lambda-mu-calculus, Ken-etsu Fujita, 2001年, Theoretical Informatics and Applications, Vol. 34, No. 6, pp.433--466
    DOI
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2001年, Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, 14--18
  • ラムダミュウ計算のモデルについて, 藤田 憲悦, 2003年, コンピュータソフトウェア, Vol. 20, No. 3, pp.73--79
  • A sound and complete CPS-translation for lambda-mu-calculus, Ken-etsu Fujita, 2003年, Springer Lecture Notes in Computer Science, Vol. 2701, pp.120--134
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2003年, Scientiae Mathematicae Japonicae, 57, 1, 73--82
  • Webグラフの可視化, 牧野周平,国保建,山崎美嘉,藤田憲悦, 2003年, Memoirs of the Faculity of Science and Engineering, Shimane University, Series A Vol. 37
  • On embedding of classical substructural logics, FUJITA KEN-ETSU, 1995年, 京都大学数理解析研究所講究録, Vol. 918, pp. 178--195
  • Calculus of classical proofs from programming viewpoint, FUJITA KEN-ETSU, 1997年, 京都大学数理解析研究所講究録, Vol. 1010, pp. 7--34
  • Type inference for domain-free lambda 2, FUJITA KEN-ETSU, 1999年, 九州工業大学, CSSE-5
  • Multiple-conclusion system as communication calculus -- Informal meaning of proof terms as communication terms --, FUJITA KEN-ETSU, 2000年, 京都大学数理解析研究所講究録, Vol. 1166, pp. 67--75
  • 高階論理から型付きラムダ計算への標準的な変換, 藤田 憲悦, 1990年, 人工知能学会誌, Vol. 5, No. 6, pp.88--99
  • 類似性に基づく証明, 藤田 憲悦,原尾政輝, 1991年, Proceedings of the Second Workshop on Algorithmic Learning Theory (ALT '91), pp. 213--223
  • 高階直観主義論理のPTSによる表現の適切さについて, 藤田 憲悦, 1992年, Annals of Pure and Applied Logic, Vol. 57, pp.251--276
  • μ冠頭型証明とそのプログラミングへの応用に関する一考察, 藤田 憲悦, 1997年, コンピュータソフトウェア, Vol. 14, No. 2, pp.71--75
  • シーケントの右側に論理式を高々二つしかもたないμ冠頭型証明について, 藤田 憲悦, 1997年, 情報処理学会誌, Vol. 38, No. 6, pp.1073--1082
  • 古典論理の証明の計算I, 藤田 憲悦, 1997年, Springer, Vol. 1345, pp.321--335
  • 古典論理の証明の計算II, 藤田 憲悦, 1998年, 情報処理学会誌, Vol. 39, No. 12, pp.3269--3281
  • 古典論理の部分構造論理の証明項と埋め込み, 藤田 憲悦, 1998年, Kluwer, Vol. 61, No. 2, pp.199-221
  • 古典論理の証明に基づく多相型値呼び言語, 藤田 憲悦, 1998年, Springer, Vol. 1476, pp.170--182
  • 二つの結論をもつ自然演繹体系, 藤田 憲悦, 1999年, Oxford University Press, Vol. 7, No. 2, pp.517--545
  • ポリモルフィズムと値呼びのための型付きラムダミュウ計算, 藤田 憲悦, 1999年, Springer, Vol. 1581, pp.162--176
  • 部分型推論の困難さに関する一考察, 藤田 憲悦, 2000年, コンピュータソフトウェア, Vol. 17, No. 2, pp.40--44
    DOI
  • 複数の結論をもつ体系としての通信計算, 藤田 憲悦, 2000年, Elsevier, Vol. 31, No. 1, pp.167--182
  • チャーチ流とカリー流の中間の部分的に型付けされた項, 藤田 憲悦, 2000年, Springer, Vol. 1872, pp.505--520
  • Domain-free lambda-mu-calculus for polymorphism and call-by-value, FUJITA KEN-ETSU, 1999年, 京都大学数理解析研究所講究録, Vol. 1106, pp. 37--49
  • Safe dynamics for distributed programming, FUJITA KEN-ETSU,Shouich Obara, 2000年, 九州工業大学, CSSE-8
  • A sequent-conclusion natural deduction system with bounded length, 藤田 憲悦, 1999年, Proc. of the Third Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, pp. 1--11
  • Synchronized Term Rewriting Systems --Extended Abstract--, 藤田 憲悦,Aart Middeldorp, 2000年, Proc. of the Fourth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, pp. 1--9
  • Safe Dynamics and Distributed Programming, 藤田 憲悦, 2000年, Memoirs of the Faculity of Science and Enginnering, Shimane University, Series A, Vol. 34, pp. 95--103
  • Strong normalization of pure GLw-lambda-mu-terms, FUJITA KEN-ETSU, 1997年, 京都大学数理解析研究所講究録, Vol. 1021, pp. 1--13
  • Existential type systems with no types in terms, K. Fujita,A. Schubert, 2009年, Springer Lecture Notes in Computer Science, Vol. 5608, 112--126
    DOI
  • Inhabitation of polymorphic and existential types, M. Tatsuta,K. Fujita,R. Hasegawa,H. Nakano, 2010年, Annals of Pure and Applied Logic, 161, 1390--1399
    DOI
  • CPS-translation as adjoint, K. Fujita, 2010年, Theoretical Computer Science, 411, 2, 324--340
    DOI
  • The undecidability of type related problems in type-free style System F, K. Fujita,A. Schubert, 2010年, Leibniz International Proceedings in Informatics (Proceedings of the 21st International Conference on Rewriting Techniques and Applications), Vol. 6, RTA '10, 103--118
  • 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性, 藤田憲悦,倉田俊彦, 2011年, 数理解析研究所講究録，京都大学数理解析研究所, 1729, 1--8
  • A Framework for Reduction from lambda 2-calculi to lambda E-calculi, K. Fujita, 2011年, Computer Software, Vol. 28, No. 4, 341--357
    DOI
  • ラムダ計算の型問題について --On type-related problems of λ-calculi--, 藤田憲悦, 2012年, 日本数学会 数学基礎論および歴史分科会 講演アブストラクト, 53--65
  • Probabilistic Model Checking for Biochemical Reaction Systems, Ratana Ty,Ken-etsu Fujita,Ken'ichi Kawanishi, 2018年, PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS, 119, 128
  • On Upper Bounds on the Church-Rosser Theorem, K. Fujita, 2017年, Electronic Proceedings in Theoretical Computer Science, 235, 16, 31
    DOI
  • Decidable structures between Church-style and Curry-style, K. Fujita,A. Schubert, 2013年, Leibnez International Proceedings in Informatics, 21, 190, 205
    DOI
  • Existential type systems between Church and Curry style (type-free style), Fujita\, Ken-etsu,Schubert\, Aleksy, 2014年, THEORETICAL COMPUTER SCIENCE, 549, 17, 35
    DOI
  • Z for Call-by-Value, Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa, 2017年, Proceedings of the 6th International Workshop on Confluence, 57, 61
  • On styles of lambda2-terms --Extended abstract --, Fujita\, Kenetsu, 2015年, RIMS Kokyuroku, 1950, 73, 92
  • ラムダ計算の型問題について--数学基礎論からプログラミング言語の構造へ--, 藤田 憲悦, 2014年, 数学, 66, 1, 78, 89
    DOI
  • On fine structures between Church-style and Curry-style lambda2-terms, Fujita\, Ken-etsu, 2013年, RIMS Kokyuroku, 1832, 73, 87
  • A sound and complete CPS-translation for λμ-calculus -- Extended abstract --, 藤田 憲悦, 2005年, 京都大学数理解析研究所講究録, 1437, 163--173
  • An interpretation of λμ-calculus in λ-calculus, Ken-etsu Fujita, 2002年, Information Processing Letters, Vol. 84, No. 5, 261-264
    DOI
  • A bijective CPS-translation between classical and intuitionistic proofs, 藤田 憲悦, 2003年, Proc. of the Seventh Symposium on Algebra, Languages and Computation, pp. 2--13
  • A Galois embedding from polymorphic types into existential types -- Extended Abstract --, 藤田 憲悦,長谷川 真人, 2005年, 京都大学数理解析研究所講究録, Vol. 1442, pp.97--114
  • Galois embedding from polymorphic types into existential types, FUJITA KEN-ETSU, 2005年, Springer Lecture Notes in Computer Science, Vol. 3461, pp. 194--208
  • Parallel computation and synchronized term rewirting systems --Extended abstract--, FUJITA KEN-ETSU,Aart Middeldorp, 2001年, 京都大学数理解析研究所講究録, Vol. 1222, pp. 105--113
  • Lambda-calculus with lazy lists --Extended abstract --, FUJITA KEN-ETSU, 2002年, 京都大学数理解析研究所講究録, Vol. 1268, pp. 118--125
  • Parallel reduction in type free lambda-mu-calculus, Ken-etsu Fujita,Kensuke Baba,Sachio Hirokawa, 2001年, Elsevier Electronic Notes in Theoretical Computer Science, Vol. 42, pp. 52--66
    DOI
  • Domain-free lambda-mu-calculus, Ken-etsu Fujita, 2001年, Theoretical Informatics and Applications, Vol. 34, No. 6, pp.433--466
    DOI
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2001年, Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting, 14--18
  • A sound and complete CPS-translation for lambda-mu-calculus, Ken-etsu Fujita, 2003年, Springer Lecture Notes in Computer Science, Vol. 2701, pp.120--134
  • Continuation Semantics and CPS-Translation of lambda-mu-Calculus, Ken-etsu Fujita, 2003年, Scientiae Mathematicae Japonicae, 57, 1, 73--82
  • On embedding of classical substructural logics, FUJITA KEN-ETSU, 1995年, RIMS Kokyuroku
  • Calculus of classical proofs from programming viewpoint, FUJITA KEN-ETSU, 1997年, RIMS Kokyuroku, Vol. 1010, pp. 7--34
  • Type inference for domain-free lambda 2, FUJITA KEN-ETSU, 1999年, Kyushu Institute of Technology, CSSE-5
  • Multiple-conclusion system as communication calculus -- Informal meaning of proof terms as communication terms --, FUJITA KEN-ETSU, 2000年, RIMS Kokyuroku, Vol. 1166, pp. 67--75
  • Domain-free lambda-mu-calculus for polymorphism and call-by-value, FUJITA KEN-ETSU, 1999年, RIMS Kokyuroku, Vol. 1106, pp. 37--49
  • Safe dynamics for distributed programming, FUJITA KEN-ETSU,Shouich Obara, 2000年, Kyushu Institute of Technology, CSSE-8
  • Strong normalization of pure GLw-lambda-mu-terms, FUJITA KEN-ETSU, 1997年, RIMS Kokyuroku, Vol. 1021, pp. 1--13
  • Existential type systems with no types in terms, K. Fujita,A. Schubert, 2009年, Springer Lecture Notes in Computer Science, Vol. 5608, 112--126
    DOI
  • The undecidability of type related problems in type-free style System F, K. Fujita,A. Schubert, 2010年, Leibniz International Proceedings in Informatics (Proceedings of the 21st International Conference on Rewriting Techniques and Applications), Vol. 6, RTA '10, 103--118
  • A Framework for Reduction from lambda 2-calculi to lambda E-calculi, K. Fujita, 2011年, Computer Software, Vol. 28, No. 4, 341--357
    DOI
  • Probabilistic Model Checking for Biochemical Reaction Systems, Ratana Ty,Ken-etsu Fujita,Ken'ichi Kawanishi, 2018年, PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS, 119, 128
  • On Upper Bounds on the Church-Rosser Theorem, K. Fujita, 2017年, Electronic Proceedings in Theoretical Computer Science, 235, 16, 31
    DOI
  • Decidable structures between Church-style and Curry-style, K. Fujita,A. Schubert, 2013年, Leibnez International Proceedings in Informatics, 21, 190, 205
    DOI
  • Compositional Z: Confluence Proofs for Permutative Conversion, Nakazawa\, Koji,Fujita\, Ken-etsu, 2016年, STUDIA LOGICA, 104, 6, 1205, 1224
    DOI
  • A note on subject reduction in (->, there exists)-Curry with respect to complete developments, Schubert\, Aleksy,Fujita\, Ken-etsu, 2014年, INFORMATION PROCESSING LETTERS, 114, 1-2., 72, 75
    DOI
  • Z for Call-by-Value, Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa, 2017年, Proceedings of the 6th International Workshop on Confluence, 57, 61
  • On styles of lambda2-terms --Extended abstract --, Fujita\, Kenetsu, 2015年, RIMS Kokyuroku, 1950, 73, 92
  • On fine structures between Church-style and Curry-style lambda2-terms, Fujita\, Ken-etsu, 2013年, RIMS Kokyuroku, 1832, 73, 87

書籍等出版物

  • 数理パズルで楽しく学べる論理学, 単著, 藤田憲悦, コロナ社, 2022年02月25日, 200, ISBN: 978-4-339-02923-9

講演・口頭発表等

  • Boolos’“ The Hardest Logic Puzzle Ever ” and Logical Reasoning, R.Honda, K.Fujita, The Kyoto University RIMS workshop "Group, Algebra, Language and Related Areas in Computer Science", 2024年02月14日, 2024年02月14日, 2024年02月16日
  • 2 階直観主義命題論理の解釈と決定可能性に関する考察, T.Kurata, K.Fujita, 京都大学数理解析研究所RIMS共同研究 「証明論と計算論の最前線」, 2023年12月13日, 2023年12月11日, 2023年12月14日, 京都大学　数理解析研究所
  • Z定理のモジュール生, Y.Onaya, K.Fujita, K.Nakazawa, 京都大学数理解析研究所RIMS共同研究 「証明論と計算論の最前線」, 2023年12月11日, 2023年12月11日, 2023年12月14日, 京都大学，数理解析研究所
  • Boolos' "The Hardest Logic Puzzle Ever" and Coinduction, K. Fujita, T. Kurata, Kyoto University RIMS Symposium "Group, Ring, Language and Related Areas in Computer Science", 2023年02月16日, 2023年02月15日, 2023年02月17日
  • カリー・ハワード同型と証明の形式化, 藤田憲悦, 数理論理学とその応用, 2022年06月23日, 2022年06月21日, 2022年06月24日, 京都大学　数理解析研究所
  • Spectral Spaces for Models of Intuitionistic Logic, T.Kurata, K.Fujita, 日本数学会2022年度年会 数学礎論, 2022年03月28日, 2022年03月28日, 2022年03月30日
  • A general form on the logic puzzle of Boolos, K.Fujita, T.Kurata, Kyoto University RIMS Workshop (Open) Logic, Algebraic system, Language and Related Areas in Computer Science, 2022年02月17日, 2022年02月16日, 2022年02月18日
  • 合流性とZ定理について, R.Akasaka, K.Fujita. K.Nakazawa, 京都大学数理解析研究所RIMS共同研究 「証明論と計算の理論と応用」, 2021年12月20日, 2021年12月20日, 2021年12月22日
  • Spectral spaces for models of intuitionistic logic, T.Kurata, K.Fujita, 京都大学数理解析研究所RIMS共同研究「証明論と計算の理論と応用」, 2021年12月20日, 2021年12月20日, 2021年12月22日
  • On formalization of logic puzzles a la George Boolos, K. Fujita, T. Kurata, 日本数学会秋季総合分科会, 2021年09月17日, 2021年09月14日, 2021年09月17日, 千葉大学
  • On formalization of logic puzzles a la Smullyan, Kenetsu Fujita, Logic, Language, Algebric System and Related Areas in Computer Science, 2021年02月18日, 2021年02月17日, 2021年02月19日, 京都大学数理解析研究所, 国際会議
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited, Kenetsu Fujita, 日本数学会2020年度秋季総合分科会, 2020年09月24日, 2020年09月22日, 2020年09月25日, 国内会議
  • George Boolos' "The Hardest Logic Puzzle Ever" Revisited, K. Fujita, 日本数学会2020年度年会, 2020年03月16日, 2020年03月15日, 2020年03月17日
  • Anagoposによるλ項の構造とグラフの対応関係, 渡邉洋也,富岡峻士,藤田憲悦, ラムダ計算と論理の早春セミナー2020, 2020年03月09日, 2020年03月07日, 2020年03月11日, 草津
  • 「The Hardest Logic Puzzle Ever」再考, 藤田憲悦, ラムダ計算と論理の早春セミナー2020, 2020年03月09日, 2020年03月07日, 2020年03月11日, 草津
  • ラムダ計算における簡約グラフ, 富岡峻士,藤田憲悦, ラムダ計算と論理の早春セミナー2020, 2020年03月09日, 2020年03月07日, 2020年03月11日
  • ラムダ計算の簡約グラフについて, 富岡峻士,藤田憲悦, 証明論とその周辺, 2019年12月26日, 2019年12月24日, 2019年12月26日, 京都大学 数理解析研究所
  • A monoid-like structure of computational paths for parallel reduction, K. Fujita, Proof Theory, 2019年12月26日, 2019年12月24日, 2019年12月26日
  • Equational theory and reduction rules of reduction paths, K. fujita, 日本数学会, 2019年09月20日, 2019年09月17日, 2019年09月20日, 金沢大学
  • A formal system of reduction paths for parallel reduction, 藤田憲悦, 日本数学会2019年度年会, 2019年03月17日, 2019年03月17日, 2019年03月20日, 東京工業大学
  • ラムダ計算における簡約グラフ, 富岡峻士,藤田憲悦, ラムダ計算と論理の早春セミナー2019, 2019年03月10日, 2019年03月08日, 2019年03月11日, 草津
  • A formal system of reduction paths for parallel reduction, 藤田憲悦, ラムダ計算と論理の早春セミナー2019, 2019年03月10日, 2019年03月08日, 2019年03月11日, 草津
  • モデル検査ツールUPPAALによる衝突検知メカニズムの可視化, 山野井涼華,藤田憲悦, ラムダ計算と論理の早春セミナー2019, 2019年03月10日, 2019年03月08日, 2019年03月11日, 草津
  • Z定理を用いたλμ計算の合流性証明, 本田雄樹,中澤巧爾,藤田憲悦, 日本ソフトウェア科学会 PPL2019, 2019年03月07日, 2019年03月06日, 2019年03月08日, 花巻
  • A constructive proof of the Church--Rosser theorem, Kenetsu Fujita, Workshop on Type Theory and Lambda Calculus, 2018年, 2018年09月06日, 2018年09月06日, スウェーデン王国, 国際会議
  • A formal system of reduction paths for parallel reduction, Kenetsu Fujita, 49th TRS meeting, 2018年, 2018年09月25日, 2018年09月27日
  • A constructive proof of the Church--Rosser theorem, Kenetsu Fujita, End-of-summer Logic Minisymposium, 2018年, 2018年08月30日, 2018年08月30日, グレートブリテン・北アイルランド連合王国(英国)
  • The Church--Rosser theorem and analysis of reduction length, Kenetsu Fujita, 48th TRS Meeting, 2018年, 2018年09月25日, 2018年09月27日
  • The Church--Rosser Theorem and Quantitative Analysis of Witnesses, Kenetsu Fujita, Mathematical Society of Japan, 2018年, 2018年03月18日, 2018年03月21日
  • Quantitative Analysis of Reduction Length, Kenetsu Fujita, JSPS Core-to-Core Program: Second Workshop on Mathematical Logic and its Applications, 2018年, 2018年03月18日, 2018年03月21日, 日本国, 国際会議
  • Z for call-by-value, K. Nakazawa, K. Fujita, Y. Imagawa, 6th International Workshop on Confluence, 2017年, グレートブリテン・北アイルランド連合王国(英国)
  • The Church--Rosser Theorem and Analysis of Reduction Length, K. Fujita, RIMS, Proof Theory and Proof Activity, 2017年
  • A Formal System of Reduction Paths, Mathematical Society of Japan, 2017年
  • Z for Call-by-Value, RIMS, Proof Theory and Proof Activity, 2017年
  • The Church--Rosser Theorem and Analysis of Reduction Length, K. Fujtia, RIMS, Proof Theory and Proof Activity, 2017年
  • On upper bound on the Church-Rosser theorem, K. Fujita, 3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation, 2016年06月23日, 2016年06月22日, 2016年06月26日, ポルトガル共和国
  • 定理証明とモデル検査, 藤田 憲悦, 依頼シンポジューム「ビックデータの解析と基盤に関わる科学技術の俯瞰と展開」，電子情報通信学会2016年総合大会, 2016年03月, 九州大学
  • On the Church-Rosser theorem, K. Fujtia, Mathematical Society of Japan, 2016年
  • Compositional Z: confluence proofs for permutative conversion, JSPS Core-to-Core Program, 2016年, 国際会議
  • Church-Rosser theorem and Compositional Z-property, JSSST (Japan Society for Software Science and Technology), 2016年
  • On upper bound on the Church-Rosser theorem, 3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation, 2016年
  • On the Church-Rosser theorem, Mathematical Society of Japan, 2016年
  • Compositional Z: confluence proofs for permutative conversion, JSPS Core-to-Core Program, 2016年
  • Church-Rosser theorem and Compositional Z-property, JSSST (Japan Society for Software Science and Technology), 2016年
  • 置換簡約を含むラムダ計算の合流性, 第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015), 2015年
  • Compositional Z: Confluence Proofs for Permutative Conversion, JSSST, 2015年
  • Compositional Z: Confluence Proofs for Permutative Conversion, JSSST, 2015年
  • Intermediate lambda-terms between Church and Curry, MSJ, 2014年
  • On styles of lambda2-terms, RIMS研究集会「証明論・計算論とその周辺」, 2014年
  • Intermediate lambda-terms between Church and Curry, MSJ, 2014年
  • Decidability for type-related problems of 2nd-order lambda-calculi and negative translations, Computability Theory and Foundation of Mathematics, 2013年
  • ラムダ計算の型問題を支配する本質的情報について, 日本ソフトウェア科学会, 2013年
  • Decidability for type-related problems of 2nd-order lambda-calculi and negative translations, Computability Theory and Foundation of Mathematics, 2013年
  • On fine structures between Church-style and Curry-style lambda2-terms, Proof theory and complexity 2012, 2012年
  • ラムダ計算の型問題について, 2012年日本数学会年会, 2012年
  • On fine structures between Church-style and Curry-style lambda2-terms, Proof theory and complexity 2012, 2012年
  • On the models of 2nd order intuitionistic propositional logic, MSJ Spring Meeting 2011, 2011年
  • On Duality Between Kripke Models and Lattice Theoretical Models of Second Order Intuitionistic Propositional Logic, Second International Conference on Order, Algebra, and Logics, 2011年
  • On duality between Alexandrov spaces and algebraic completely distributive lattices, 日本数学会2011年度秋季総合分科会 数学基礎論, 2011年
  • A lattice theoretical description of Sobolev's Kripke models, 日本数学会2011年度秋季総合分科会 数学基礎論, 2011年
  • The Role of Second-order Quantification in Soft Type Assignment Systems, The 18th Workshop "Types for Proofs and Programs" (TYPES 2011), 2011年
  • On the models of 2nd order intuitionistic propositional logic, MSJ Spring Meeting 2011, 2011年
  • On Duality Between Kripke Models and Lattice Theoretical Models of Second Order Intuitionistic Propositional Logic, Second International Conference on Order, Algebra, and Logics, 2011年
  • On duality between Alexandrov spaces and algebraic completely distributive lattices, 日本数学会2011年度秋季総合分科会 数学基礎論, 2011年
  • A lattice theoretical description of Sobolev's Kripke models, 日本数学会2011年度秋季総合分科会 数学基礎論, 2011年
  • The Role of Second-order Quantification in Soft Type Assignment Systems, The 18th Workshop "Types for Proofs and Programs" (TYPES 2011), 2011年
  • The undecidability of type related problems for predicative second-order system in type-free style, Proof Theory, 2010年
  • The undecidability of type related problems for predicative second-order system in type-free style, Proof Theory, 2010年
  • The undecidability of type related problems for predicative second-order system in type-free style, 日本数学会2009年秋季総合分科会 数学基礎論および歴史, 2009年
  • Type checking and type inference of existential systems, 日本数学会2008年度年会 数学基礎論および歴史分科会, 2009年
  • 値呼び計算体系のＣＰＳ意味論について, 藤田一樹,中澤巧爾,藤田憲悦, 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008)，日本ソフトウェア科学会, 2008年03月06日, 仙台市秋保
  • 二階直観主義命題論理の埋め込みについて, 藤田 憲悦, 日本数学会2007年度秋季総合分科会，数学基礎論および歴史分科会, 2007年09月
  • λμ計算の抽象機械, 藤田 憲悦, 日本ソフトウェア科学会, 2006年09月, 東京
  • An abstract machine for type-free lambda-mu-calculus, FUJITA KEN-ETSU, MSJ, 2006年09月
  • ガロア埋め込み：多相型関数と抽象データ型の証明双対性, 日本ソフトウェア科学会, 2004年
  • ラムダミュウ計算のモデルについて, 藤田憲悦, 日本ソフトウェア科学会第18回大会, 2001年09月

科学研究費の申請・獲得状況

  • 基盤研究(C), カリー・ハワード同型の深化による証明とプログラムの相互作用の形態に関する研究, 2023年

学術貢献活動

  • 京都大学数理解析研究所RIMS共同研究「証明と計算の理論と応用」, 大会・シンポジウム等, 2021年12月20日, 2021年12月22日
  • 京都大学数理解析研究所RIMS「論理・代数系・言語と計算機科学の周辺領域」 共同研究, 大会・シンポジウム等, 2022年02月16日, 2022年02月18日
  • 第24回プログラミングおよびプログラミング言語ワークショップ　プログラム委員会委員, 日本ソフトウェア科学会, 2021年07月, 2022年03月
  • 学会・研究会等, 2018年09月25日, 2018年09月27日, 国際学術貢献している
    添付ファイルのURL
  • ラムダ計算と論理の早春セミナー, 学会・研究会等, 2015年03月16日, 2015年03月20日, 草津セミナーハウス
    添付ファイルのURL

社会貢献活動情報

学術貢献活動

  • 日本ソフトウェア科学会 第24回プログラミンおよびプログラミング言語ワークショップ (PPL2022) プログラム委員会委員, 大会・シンポジウム等, 2022年03月06日, 2022年03月08日

Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.