2020SE031 真砂 樹 コンテキスト指向ソフトウェア設計における振る舞い検証に関する研究 ―エアコンシステムを題材にして― 2020SE034 三輪 晴輝 ゼロトラストネットワークにおける利便性を考慮したアクセス制御に関する研究 ―VDM＋＋を用いた妥当性確認― 2020SE043 中井 寧雄 水害の状況に応じた経路探索システムの設計 2020SE074 若園 凌汰 ドライバの習熟度に応じた経路探索システムの設計 ―右折レーンを考慮した経路探索― 2020SE089 下林 大祐 ゼロトラストネットワークにおける利便性を考慮したアクセス制御に関する研究 ―VDM++を用いた妥当性確認―