査読有り 2020年 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム 情報処理学会論文誌 相澤和也, 鄭顕志, 本位田真一 記述言語 日本語 掲載種別 研究論文(学術雑誌) to appear エクスポート BibTeX RIS