教員情報 - 藤田　憲悦 | 東京電機大学

フジタ　ケンエツ FUJITA Kenetsu
藤田　憲悦

所属東京電機大学大学院理工学研究科理学専攻

職種特別専任教授

著書・論文歴
1.	著書	数理パズルで楽しく学べる論理学 (単著) 2022/03
2.	論文	An Algebraic Counterpart of Kripke Semantics Based on Completely Prime Elements Kyoto University RIMS Kokyuroku 2293,160-163頁 (共著) 2024/10
3.	論文	Z定理のモジュール性京都大学数理解析研究所講究録 2293,41-53頁 (共著) 2024/10
4.	論文	ブーロスの”最強のパズル”と論理的推論に関する研究京都大学数理解析研究所講究録 2291,91-99頁 (共著) 2024/09
5.	論文	The existential fragment of second-order propositional intuitionistic logic is undecidable Journal of Applied Non-Classical Logics 34 (1),55-74頁 (共著) 2024/01/02
6.	論文	Z property for the shuffling calculus Mathematical Structures in Computer Science 32 (7),1015-1027頁 (共著) 2023/01
7.	論文	A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic Kyoto University RIMS Kokyuroku 2228,206-214頁 (共著) 2022/08
8.	論文	合流性とZ性について京都大学数理解析研究所講究録 2228,30-40頁 (共著) 2022/08
9.	論文	Confluence proofs of lambda-mu-calculi by Z theorem Studia Logica 109,917-936頁 (共著) 2021/01
10.	論文	A category-like structure of reduction paths for parallel reduction 京都大学数理解析研究所講究録 2150,10-32頁 (単著) 2020/04
11.	論文	ラムダ計算の簡約グラフについて京都大学数理解析研究所講究録 2150,66-75頁 (共著) 2020/04
12.	論文	A formal system of reduction paths for parallel reduction Theoretical Computer Science (単著) 2020
13.	論文	Neighbourhood and lattice models of second-order intuitionistic propositional logic Fundamenta Informaticae 170 (1--3) (共著) 2019/10
14.	論文	The Church--Rosser thoerem and quantitative analysis of witnesses Information and Computation 263 (263),52-56頁 (単著) 2018/12
15.	論文	The Church--Rosser theorem and analysis of reduction length Kyoto University RIMS Kokyuroku (2083) (単著) 2018/08
16.	論文	Probabilistic Model Checking for Biochemical Reaction Systems PROCEEDINGS OF THE QUEUEING SYMPOSIUM, STOCHASTIC MODELS AND THEIR APPLICATIONS (共著) 2018/01
17.	論文	Z for Call-by-Value Proceedings of the 6th International Workshop on Confluence (共著) 2017/09
18.	論文	On upper bounds on the Church-Rosser theorem Electronic Proceedings in Theoretical Computer Science, EPTCS 235,16-31頁 (単著) 2017/01/01
19.	論文	Compositional Z: Confluence Proofs for Permutative Conversion STUDIA LOGICA 104 (6) (共著) 2016/12
20.	論文	Church-Rosser theorem and compositional Z-property 日本ソフトウェア科学会第33回大会講演論文集,. (共著) 2016/09
21.	論文	Reduction Rules for Intuitionistic lambda rho-calculus STUDIA LOGICA 103 (6),1225-1244頁 (共著) 2015/12
22.	論文	On styles of lambda2-terms --Extended abstract -- RIMS Kokyuroku 1950 (単著) 2015/06
23.	論文	Existential type systems between Church and Curry style (type-free style) THEORETICAL COMPUTER SCIENCE 549,17-35頁 (共著) 2014/09
24.	論文	A note on subject reduction in (->, E)-Curry with respect to complete developments INFORMATION PROCESSING LETTERS 114 (1-2),72-75頁 (共著) 2014/01
25.	論文	ラムダ計算の型問題について--数学基礎論からプログラミング言語の構造へ-- 数学 66 (1) (単著) 2014/01
26.	論文	On fine structures between Church-style and Curry-style lambda2-terms RIMS Kokyuroku 1832 (単著) 2013/04
27.	論文	Decidable structures between church-style and curry-style Leibniz International Proceedings in Informatics, LIPIcs 21,190-205頁 (共著) 2013
28.	論文	The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types INFORMATION AND COMPUTATION 218,69-87頁 (共著) 2012/09
29.	論文	ラムダ計算の型問題について --On type-related problems of λ-calculi-- 日本数学会数学基礎論および歴史分科会講演アブストラクト (単著) 2012/03
30.	論文	A Framework for Reduction from lambda 2-calculi to lambda E-calculi Computer Software Vol. 28 (No. 4) (単著) 2011/11
31.	論文	2階直観主義命題論理のKripkeモデルと束論的モデルの双対性数理解析研究所講究録，京都大学数理解析研究所 (1729),1--8 (共著) 2011/02
32.	論文	A Framework for Reduction from lambda 2-calculi to lambda E-calculi Computer Software Vol. 28 (No. 4),341--357 (単著) 2011
33.	論文	Inhabitation of polymorphic and existential types Annals of Pure and Applied Logic 161 (11),1390-1399頁 (共著) 2010/08
34.	論文	The undecidability of type related problems in type-free style System F Leibniz International Proceedings in Informatics (Proceedings of the 21st International Conference on Rewriting Techniques and Applications) Vol. 6 (RTA '10),103--118 (共著) 2010/07
35.	論文	THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE-FREE STYLE SYSTEM F PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10) 6 (RTA '10),103-118頁 (共著) 2010/07
36.	論文	CPS-translation as adjoint Theoretical Computer Science 411 (2),324-340頁 (単著) 2010/01/02
37.	論文	Existential Type Systems with No Types in Terms TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS 5608,112-+頁 (共著) 2009/06
38.	論文	Inhabitance of Existential Types is Decidable in Negation-Product Fragment Second International Workshop on Classical Logic and Computation, July 13, 2008, Reykjavik - Iceland Colocated with ICALP 2008 (共著) 2008/07
39.	論文	Residuated mapping and CPS-translation : Extended abstract(Algebras, Languages, Computations and their Applications) RIMS Kokyuroku 1562,25-33頁 (単著) 2007/06
40.	論文	CPS-translation as adjoint --Extended abstract-- 1533 (単著) 2007/02
41.	論文	Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems) RIMS Kokyuroku 1503,121-128頁 (単著) 2006/07
42.	論文	A Galois embedding from polymorphic types into existential types -- Extended Abstract -- 京都大学数理解析研究所講究録 Vol. 1442, pp.97--114,97-114頁 (共著) 2005/07
43.	論文	A sound and complete CPS-translation for λμ-calculus -- Extended abstract -- 京都大学数理解析研究所講究録 1437, 163--173 (単著) 2005/06
44.	論文	Galois embedding from polymorphic types into existential types Springer Lecture Notes in Computer Science 3461.,194-208頁 (単著) 2005/04
45.	論文	A Galois embedding from polymorphic types into existential types -- Extended Abstract -- 京都大学数理解析研究所講究録 1442,97-114頁 (共著) 2005
46.	論文	A sound and complete CPS-translation for λμ-calculus -- Extended abstract -- 京都大学数理解析研究所講究録 1437,163-173頁 (単著) 2005
47.	論文	Galois embedding from polymorphic types into existential types Springer Lecture Notes in Computer Science 3461,194-208頁 (単著) 2005
48.	論文	Webグラフの可視化 (Series A Vol. 37) (共著) 2003/12
49.	論文	An Injective CPS-translation for the Extensional λ-calculus Memoirs of the Faculty of Science and Engineering, Shimane University. Series B, Mathematical science 36,39-48頁 (単著) 2003/03
50.	論文	A bijective CPS-translation between classical and intuitionistic proofs Proc. of the Seventh Symposium on Algebra, Languages and Computation,2-13頁 (単著) 2003
51.	論文	A sound and complete CPS-translation for lambda mu-calculus TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS 2701,120-134頁 (単著) 2003
52.	論文	Continuation Semantics and CPS-Translation of lambda-mu-Calculus Scientiae Mathematicae Japonicae 57 (1),73-82頁 (単著) 2003
53.	論文	Simple Models of Type Free λ µ-Calculus. Computer Software 20 (3),285-291頁 (単著) 2003
54.	論文	Webグラフの可視化 Memoirs of the Faculity of Science and Engineering, Shimane University (Series A Vol. 37) (共著) 2003
55.	論文	ラムダミュウ計算のモデルについてコンピュータソフトウェア 20 (3),73-79頁 (単著) 2003
56.	論文	An interpretation of λμ-calculus in λ-calculus Information Processing Letters 84 (5),261-264頁 (単著) 2002/12/16
57.	論文	Lambda-Calculus with Lazy Lists : Extended abstract (Algorithms in Algebraic Systems and Computation Theory) RIMS Kokyuroku 1268,118-125頁 (単著) 2002/06
58.	論文	Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation) RIMS Kokyuroku 1222,105-113頁 (共著) 2001/07
59.	論文	Parallel Reduction in Type Free Lambda-mu-Calculus Electronic Notes in Theoretical Computer Science 42,52-66頁 (共著) 2001/01
60.	論文	Continuation Semantics and CPS-Translation of lambda-mu-Calculus Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting,14-18頁 (単著) 2001
61.	論文	Domain-free lambda-mu-calculus Theoretical Informatics and Applications Vol. 34 (6),433-466頁 (単著) 2001
62.	論文	Parallel computation and synchronized term rewirting systems --Extended abstract-- 京都大学数理解析研究所講究録 Vol. 1222,105-113頁 (共著) 2001
63.	論文	分散プログラミングのための安全な動的型レクチャーノート/ソフトウェア学 Vol. 25,45-52頁 (単著) 2001
64.	論文	Multiple-conclusion system as communication calculus Electronic Notes in Theoretical Computer Science Vol. 31 (1),167-182頁 (単著) 2000
65.	論文	Multiple-conclusion system as communication calculus -- Informal meaning of proof terms as communication terms -- RIMS Kokyuroku Vol. 1166,67-75頁 (単著) 2000
66.	論文	Partially typed terms between Church-style and Curry-style Lecture Notes in Computer Science, Springer Vol. 1872,505-520頁 (共著) 2000
67.	論文	Safe Dynamics and Distributed Programming Memoirs of the Faculity of Science and Enginnering, Shimane University, Series A Vol. 34,95-103頁 (単著) 2000
68.	論文	Safe dynamics for distributed programming Kyushu Institute of Technology CSSE-8 (共著) 2000
69.	論文	Synchronized Term Rewriting Systems --Extended Abstract-- Proc. of the Fourth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting,1-9頁 (共著) 2000
70.	論文	部分型推論の困難さに関する一考察コンピュータソフトウェア Vol. 17 (2),40-44頁 (単著) 2000
71.	論文	A binary-conclusion natural deduction system Journal of the Interest Group in Pure and Applied Logics, Oxford University Press Vol. 7 (2),517-545頁 (単著) 1999
72.	論文	A sequent-conclusion natural deduction system with bounded length Proc. of the Third Symposium on Algebra, Languages and Computation, JAMS Annual Meeting,1-11頁 (単著) 1999
73.	論文	Domain-free lambda-mu-calculus for polymorphism and call-by-value RIMS Kokyuroku Vol. 1106,37-49頁 (単著) 1999
74.	論文	Explicitly typed lambda-mu-calculus for polymorphism and call-by-value Lecture Notes in Computer Science Vol. 1581,162-176頁 (単著) 1999
75.	論文	Type inference for domain-free lambda 2 Kyushu Institute of Technology CSSE-5 (単著) 1999
76.	論文	Calculus of Classical Proofs II 情報処理学会誌 Vol. 39 (12),3269-3281頁 (単著) 1998
77.	論文	On proof terms and embeddings of classical substructural logics Studia Logica (Kluwer) 61 (2),199-221頁 (単著) 1998
78.	論文	Polymorphic call-by-value calculus based on classical proofs Springer Lecture Notes in Artificial Intelligence Vol. 1476,170-182頁 (単著) 1998
79.	論文	Calculus of classical proofs from programming viewpoint RIMS Kokyuroku Vol. 1010,7-34頁 (単著) 1997
80.	論文	Calculus of Classical Proofs I Lecture Notes in Computer Science, Springer Vol. 1345,3211-335頁 (単著) 1997
81.	論文	Mu-head form proofs with at most two formulas in the succedent Transactions of Information Processing Society of Japan Vol. 38 (6),1073-1082頁 (単著) 1997
82.	論文	Strong normalization of pure GLw-lambda-mu-terms RIMS Kokyuroku Vol. 1021,1-13頁 (単著) 1997
83.	論文	μ冠頭型証明とそのプログラミングへの応用に関する一考察コンピュータソフトウェア Vol. 14 (2),71-75頁 (単著) 1997
84.	論文	On embedding of classical substructural logics RIMS Kokyuroku Vol. 918,178-195頁 (単著) 1995
85.	論文	Analysis of proof term transformation in reasoning by analogy Technical report of IEICE. SS 94 (134),41-48頁 (単著) 1994/07/07
86.	論文	ON THE ADEQUACY OF REPRESENTING HIGHER-ORDER INTUITIONISTIC LOGIC AS A PURE TYPE SYSTEM ANNALS OF PURE AND APPLIED LOGIC 57 (3),251-276頁 (共著) 1992/06
87.	論文	Proving based on similarity Proceedings of the Second Workshop on Algorithmic Learning Theory (ALT '91),213-223頁 (共著) 1991/10
88.	論文	A canonical transformation from higher order logic to typed lambda calculus 人工知能学会誌 5 (6),88-99頁 (共著) 1990/09
89.	その他	AI-3-1 定理証明とモデル検査(AI-3.ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開,依頼シンポジウム,ソサイエティ企画) 電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集 2016,"SS-30"-"SS-31"頁 (単著) 2016/03/01
90.	その他	ガロア埋め込み:多相型関数と抽象データ型の証明双対性日本ソフトウェア科学会大会講演論文集 21,2-2頁 (単著) 2004