M2019SE007 高木 裕也実行ログ分析に基づくフォールトのパターン化による並行プログラムのデバッグ支援 M2020SE004 小澤 司業務とアーキテクチャの依存関係分析に基づくWebシステムの再設計手法の提案