About KAWATA H
About Inst. New Generation Computer Technology, Tokyo, JPN
About SATO Y
About Inst. New Generation Computer Technology, Tokyo, JPN
About FUJITA M
About Inst. New Generation Computer Technology, Tokyo, JPN
About ICOT研究論文 TR-
About automatic programming
About Theory of computation
About 論理
About 証明
About 並列プロセス