独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科