e-societyという文部科学省が支援している基盤ソフトウェア総合開発のプロジェクトがあるのですが、その成果報告を聴くためにに東大に足を運びました。（「高信頼組込みソフトウェア構築技術」というプロジェクトでウチの研究室も参加しています） 基盤技術…