大学情報データベース

研究者 : 藤田 憲悦 61 件中 1 - 50 件目

表示件数
2 次へ >> 

【論文】

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