湊 真一 / Minato, Shin-ichi - ピティナ・ピアノ曲事典北海道大学大学院情報科学研究科 教授。大規模離散構造データの表現と処理アルゴリズムの研究・教育に従事。京都大学大学院 博士課程修了。博士（工学）。1990年度より2003年度までNTT研究所に勤務。1997年 米国スタンフォード大学 客員研究員(1年間)。2004年4月 北海道大学 助教授、2010年10月より同教授。著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年) 他。2012年8月～2013年4月 日本科学未来館メディアラボ第11期展示「フカシギの数え方」出展。電子情報通信学会シニア会員、情報処理学会シニア会員、IEEE、人工知能学会 各会員。
