湊 真一（みなと しんいち）
(to English page)
北海道大学 大学院 情報科学研究科 アルゴリズム研究室
准教授．科学技術振興機構(JST) ERATO湊離散構造処理系プロ
ジェクト研究総括（兼務）．大規模離散構造データの表現と処理アルゴリズムの研究・教育に従事．1988年 京都大学 工学部 情報工学科
卒業．1990年同大学院修士課程，1995年同博士課程（社会人）修了．博士（工学）．1990年度より2003年度までNTT研究所に勤務．1997年1月〜12月 スタンフォード大学 計算機科学科 客員研究員．1999年 NTT未来ねっと研究所 主任研究員．1999〜2000年度 慶応義塾大学 湘南藤沢キャンパス(SFC)
兼任非常勤講師．2004年度より北海道大学に勤務．2009年10月よりERATO研究総括．2000年 情報
処理学会山下記念研究賞，2005年度および2008年度 人工知能学会研究会優秀賞．
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: Oct. 3, 2009
