[YL] 米澤研究室のプロジェクト一覧

e-Society (安全なシステム記述言語および高信頼OS)

安全プロジェクト

Typed Computing プロジェクト

並列・分散計算グループ

昔のプロジェクト