A Domain for a Semantics of GHC for Programs on Distributed Environment. Journal of Information Processing Society of Japan. 1997. 38. 7. 1352-1360
An OR-Compositional Semantics of Guarded Horn Clauses for Programs with Perpetual Processes. Journal of Information Processing Society of Japan. 1996. 37. 8. 1497-1505
Books (5):
オブジェクト指向Javaプログラミング入門
近代科学社 2018
数理論理学
コロナ社 2014
Eclipse ではじめるオブジェクト指向Javaプログラミング入門
近代科学社 2008
例題で学ぶJavaの言語
近代科学社 2003
UNIX(増補)-基礎から応用まで、さあ使ってみよう-
コロナ社 2002
Lectures and oral presentations (3):
The Implementation of Ambient Calculus with HORB for Mobile Agents
(IIIS 2003)
An Equivalence Relation for Typed Ambient Calculus
(IIIS 2002)
Formal Models of Mobile Concurrent Computations in Distributed Environments
(SSGRR 2000)