湊 真一（みなと しんいち）
(to English page)
北海道大学 大学院 情報科学研究科 アルゴリズム研究室 教授．科学技術振興機構(JST) ERATO湊離
散構造
処理系プロ
ジェクト 研究総括（兼務）．大規模離散構造データの表現と処理アルゴリズムの研究・教育に従事．1988年 京都大学 工学部 情報工学科
卒業．1990年同大学院修士課程，1995年同博士課程（社会人）修了．博士（工学）．1990年度より2003年度までNTT研究所に勤務．1997年1月〜12月 スタンフォード大学 計算機科学科 客員研究員．1999年 NTT未来ねっと研究所 主任研究員．1999〜2000年度 慶応義塾大学 湘南藤沢キャンパス(SFC)
兼任非常勤講師．2004年度より北海道大学助教授（2007年准教授）．2010年10月同教授．2009年10月よりERATO研究総括．2011年
度より早稲田大学 先
進グリッド技術研究所 招聘研究員（兼務）． 2000年
情
報
処理学会山下記念研究賞，2005年度および2008年度 人工知能学会研究会優秀賞，
2010年電子情報通信学会 情報・システムソサイエティ論文賞（先見論文）．
Knuthの名著"The
Art of Computer Programming"(Vol.4, Fascicle 1, 2009年) において，湊
が考案したデータ構造「ZDD」が項目として詳しく掲載された（日本人初）．著書 "Binary
Decision Diagrams and Applications for VLSI CAD"
(Kluwer，1995年)．2000年〜2003年 情報処理学会論文誌
編集委員．2008年〜2010年 Asia and
South-Pacific Design Automation Conference (ASPDAC) TPC Sub-Topic
Chair．国際ワークショップALSIP2008実
行委員長．2007年より北大情報科学研究科グローバル
COEプログラム推進担
当者．2006年〜2010年 科研費
特定領域「情報爆発」分担研究者．2007年より電子情報通信学会
情報ネットワーク(IN)研究会 専門委員．IEEE，電子情報通信学会，情報処理学会，人工知能学会
各会員．
湊
真一（みなと しんいち）
北海道大学 大学院 情報科学研究科（教授）
〒060-0814 札幌市 北区
北14条西9丁目
Tel/Fax: 011-706-7682
E-mail: minato(at)ist.hokudai.ac.jp, minato(at)ieee.org
URL: http://www-alg.ist.hokudai.ac.jp/~minato
Last update: Dec.28, 2011
