MathSciNet for Fujita, Ken-etsu
りんご
[Refereed Papers]

K.Fujita:
Continuation semantics and CPS-translation of $\lambda\mu$-calculus Scientiae Mathematicae Japonicae (online version), Vol. 7, No. 13

K.Fujita:
Domain-Free $\lambda\mu$-Calculus
Informatique th\'eorique et applications, Vol. 34, No. 6, pp. 433--466, 2001.

K.Baba, S.Hirokawa, and K.Fujita:
Parallel Reduction in Type Free $\lambda\mu$-Calculus
Electronic Notes in Theoretical Computer Science, Vol. 42, pp. 52--66, 2001.

K.Fujita:
Safe Dynamics for Distributed Programming
レクチャーノート/ソフトウェア学 25, pp. 45--52, 2001
(ソフトウェア工学の基礎VII: 日本ソフトウェア科学会 FOSE2000)

K.Fujita and A.Schubert:
Partially Typed Terms between Church-Style and Curry-Style
Lecture Notes in Computer Science Vol. 1872, pp. 505--520, 2000
(IFIP TCS 2000;
The International Federation for Information Processing International Conference of Theoretical Computer Science
--Exploring New Frontiers of Theoretical Informatics--)

藤田 憲悦:
部分型推論の困難さに関する一考察
コンピュータソフトウェア, Vol.17, No.2, pp.40--44, 2000

K.Fujita:
Multiple-Conclusion System as Communication Calculus
Electronic Notes in Theoretical Computer Science, Vol. 31, No.1, pp. 167--182, 2000

K.Fujita:
A Binary-Conclusion Natural Deduction System
Logic Journal of the Interest Group in Pure and Applied Logics, Vol. 7, No.4, pp. 517--545, 1999

K. Baba, S.Hirokawa and K.Fujita:
Parallel Reduction in Type Free $\lambda\mu$-Calculus
The 7th Asian Logic Conference, 1999

K.Fujita:
Explicitly Typed $\lambda\mu$-Calculus for Polymorphism and Call-by-Value
Lecture Notes in Computer Science 1581 (Typed Lambda Calculi and Applications), pp. 162--176, 1999

K.Fujita:
Polymorphic Call-by-Value Calculus based on Classical Proofs
Lecture Notes in Artificial Intelligence 1476 (Artificial Intelligence and Symbolic Computation), pp. 170--182, 1998

K.Fujita:
On Proof Terms and Embeddings of Classical Substructural Logics
Studia Logica, An International Journal for Symbolic Logic, Vol.61, No.2, pp. 199--221, 1998

K.Fujita:
Calculus of Classical Proofs II
Transactions of Information Processing Society of Japan, Vol. 39, No.12, pp. 3269--3281, 1998

K.Fujita:
Calculus of Classical Proofs I
Lecture Notes in Computer Science 1345 (Advances in Computing Science), pp. 321--335, 1997

K.Fujita:
$\mu$-Head Form Proofs with at Most Two Formulas in the Succedent
Transactions of Information Processing Society of Japan, Vol.38, No.6, pp. 1073--1082, 1997

藤田 憲悦:
$\mu$冠頭形証明とそのプログラミングへの応用に関する一考察
コンピュータソフトウェア, Vol. 14, No. 2, pp. 71--75, 1997

H.Tonino and K.Fujita:
On the adequacy of representing higher order intuitionistic logic as a pure type system
Annals of Pure and Applied Logic, Vol. 57, pp. 251--276, 1992

K.Fujita and M.Harao:
Proving based on similarity
Proceedings of the Second Workshop on Algorithmic Learning Theory (ALT),
Japanese Society for Artificial Intelligence, pp. 213--223, 1991

K.Fujita, A.Togashi and S.Noguchi:
A canonical transformation from higher order logic to typed lambda calculus
Journal of Japanese Society for Artificial Intelligence, Vol. 5, No. 6, pp. 88--99, 1990


パン [Miscellaneous]
藤田 憲悦:
λμ計算のモデルについて (dvi-file) (ps-file) (pdf-file)
日本ソフトウェア科学会第18回大会(2001.9.18〜20) 論文集, 2001

K.Fujita and A.Middeldorp:
Parallel Computation and Synchronized Term Rewriting Systems
京都大学数理解析研究所講究録 Vol 1222, pp. 105--113, 2001

Ken-etsu Fujita:
Safe Dynamics and Distributed Programming
Memoirs of the Faculty of Science and Enginnering, Shimane University, Series A, Vol. 34, pp. 95--103, 2000

K.Fujita and A.Middeldorp:
Synchronized Term Rewriting Systems
Proceedings of The Fourth Symposium on Algebra, Languages and Computation, pp. 1--9, 2000 JAMS Annual Meeting

K.Fujita:
Multiple-Conclusion System as Communication Calculus -- Informal meaning of proof terms as communication terms --
京都大学数理解析研究所講究録 Vol. 1166, pp. 67--75, 2000

K.Fujita and S.Obara:
Safe Dynamics for Distributed Programming
Technical Reports in Computer Science and Systems Engineering CSSE--8, Kyushu Institute of Technology, March, 2000

K.Fujita:
A sequent-conclusion natural deduction system with bounded length
Proceedings of The Third Symposium on Algebra, Languages and Computation, pp. 1--11, 1999 JAMS Annual Meeting

K.Fujita:
Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value
京都大学数理解析研究所講究録 Vol. 1106, pp. 37--49, 1999

K.Fujita:
Type Inference for Domain-Free $\lambda 2$
Technical Reports in Computer Science and Systems Engineering CSSE--5, Kyushu Institute of Technology, July, 1999

K.Fujita:
Strong Normalization of Pure $GL_w$-$\lambda\mu$-Terms
京都大学数理解析研究所講究録 Vol. 1021, pp. 1--13, 1997

K.Fujita:
Calculus of Classical Proofs from Programming Viewpoint
京都大学数理解析研究所講究録 Vol. 1010, pp. 7--34, 1997

K.Fujita:
On Embedding of Classical Substructural Logics
京都大学数理解析研究所講究録 Vol. 918, pp. 178--195, 1995


あおりんご
[研究プロジェクト]

平成15年度:基盤研究(C)(2)λμ計算の表示的意味論に関する研究(14540119)

平成16年度:基盤研究(C)(2)λμ計算の表示的意味論に関する研究(14540119)


質問がありましたら、以下にメイルで問い合わせて下さい。

Email: fujiken@cis.shimane-u.ac.jp
ホーム