2016年6月 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 湊 真一 担当区分 監修 出版者・発行元 基盤(S)離散構造処理系プロジェクト,