並列記号処理ソフトウェア開発環境技術

世界初の実用的な大規模並列記号処理ソフトウェア開発環境であるオペレーティ ング・システムPIMOSを設計・実装し、ソフトウェア研究開発に提供・評価し た。