Works(作品等)

1982年 - 1989年

論理型言語 PROLOG 直接実行計算機 PSI の開発研究