形式手法/プロセス代数 CSP に基づく詳細化検査ツール SyncStitch 開発/定理証明支援系による形式検証/国立情報学研究所トップエスイープロジェクト「並行システムの設計検証」/電子工作 Z80 6502 6800 6809/Retro PC