2016年8月29日 述語論理によるシステム要件記述法とクラウドリソース選択法の検討 CloudWeek2016@Hokkaido University 三浦克宜, 棟朝雅晴 記述言語 日本語 会議種別 公開講演,セミナー,チュートリアル,講習,講義等