岩間 一雄 教授
京都大学大学院情報学研究科
通信情報システム専攻
〒606-8501 京都市左京区吉田本町
電話 075-753-5372
FAX: 075-753-5972
Email: iwama@kuis.kyoto-u.ac.jp
オフィス:総合研究7号館2階
平成20年3月現在
最近の主要論文
こちらをクリックして下さい
学歴
昭和48年3月京都大学工学部電気工学科卒業,昭和50年3月同修士課程修了,昭和55年5月同博士課程修了.
職歴
昭和53年4月京都産業大学理学部講師,昭和57年4月同助教授,平成2年6月九州大学工学部助教授,平成4年11月同教授,
平成9年7月京都大学工学研究科教授.(この間昭和58年8月〜59年3月カリフォルニア大学バークレイ客員副教授).
集中講義・招待講演
- 九州大学,名古屋大学,広島大学,高知大学,大阪大学,熊本大学,
- 国際会議基調講演 ISPAN2005, SWAT2006, ISAAC2006, SAT2008.
- セミナー講演 MIT, Yale University, University of Toronto, McGill University, Brown University, IBM Watson Research, University of
Maryland, Indiana University, University of California (Berkeley), University of
Washington, University of Paris, University of Tuebingen, MPI (Saarbrucken),
Lund University, 日本IBM東京基礎研究所.
- 招待講演 Dagstuhl-Seminar (1998, 1999, 2002, 2003, 2004, 2005, 2006, 2007, 2008), Spring School at Zhejiang University
(2005), EQIS(2001, 2003), MS+S2004, 2nd Japanese-Hungarian Symposium on Discrete
Mathematics and Its Applications (Budapest, 2001), Workshop on Meta-Arithmetic
and Computation (Sendai, 1997), DIMACS Workshop on Satisfiability Problem:
Theory and Application(1996), 回路とシステム軽井沢ワークショップ(1994), JSPP'93 (1993).
学会活動
- Algorithms (MDPI Online, Open Access Journal)(編集主幹)(平成20年ー)
- AAAC(アジア理論計算機科学学会) 創立者・会長(平成19年ー)
- EATCS(欧州理論計算機科学学会)理事(平成13年ー平成17年)
- ESA(欧州アルゴリズム会議)運営委員(平成15年ー)
- 電子情報通信学会コンピュテーション研究専門委員会委員長(平成14ー16)
- SWAT2000, ISAAC2000, FCT2001, ISAAC2001, ESA2002, ICALP2003, CIAC2003, CIAA2003, ICALP2006,
TAMC2007, WG2007, MFCS2007, STACS2008 (PCメンバー)
- Co-organizer of Dagstuhl Seminar 08431 on Moderately Exponential Time Algorithms(平成20年)
- Organizing Committee co-Chair, MATCH-UP: Matching Under Preferences -Algorithms and Complexity-
(Satellite workshop of ICALP 2008).
- Conference co-chair, Asian Conference on Quantum Information Science (AQIS 2007).
- International Symposium on Algorithms and Computation (ISAAC)
プログラム委員長(平成4年),実行委員長(平成15年)
- アルゴリズムと計算に関する日韓ワークショップ(会議委員長,平成9年),
- 他に,電子情報通信学会コンピュテーション研究専門委員会副委員長,同英文論文誌編集委員,
同学会誌編集委員,同九州支部庶務幹事,同九州支部連合大会編集幹事,情報処理学会論文誌編集委員,
同九州支部幹事,同関西支部幹事,等々.
- 雑誌等編集委員
Information Processing Letters(編集委員,平成10年ー),
Parallel Computing(編集委員,平成10年ー平成17年),
International Journal of Foundations of Computer Science(編集委員,平成17年ー),
Journal on Satisfiability, Boolean Modeling and Computation(編集委員,平成17年ー),
ACM Transactions on Computation Theory, 2007-.
Encycropedia of Algorithms (Splinger)(編集委員,平成17年ー),
Book Series "Theoretical Computer Science," World Scientific Publishing (編集委員,平成20年ー),
学外活動
学内活動
- 情報学研究科広報・図書委員会幹事
- 情報学研究科「情報学研究」開発プロジェクト代表
- 情報学研究科設立記念シンポジウム実行委員会幹事
- 平成19年度情報学研究科公開講座「知っていますかITの秘密」企画・実行委員長
研究助成金(平成7年以降)
- 研究費基盤研究A(一般,代表)情報補填を可能にするアルゴリズムの設計と解析,平成19年ー22年
- 科学研究費特定研究(領域代表),新生代の計算限界−その解明と打破−,平成16年ー19年.
- 研究費基盤研究B(一般,代表)工学的評価基準に基づく離散アルゴリズムの品質保証に関する研究.
- 科学研究費基盤研究B(一般,代表),工学的評価基準による離散アルゴリズムの高品質化に関する研究,平成13年〜15年.
- 科学研究費重点領域研究(B,代表,総括班),適応化と確率化による高速ラウティングアルゴリズムの開発,平成10年ー12年.
- 科学研究費基盤研究B(発展,代表),実世界組み合わせ問題に対する実行可能近似解の高速探索,平成10年ー12年.
- 栢森情報科学振興財団研究助成,実世界組合せ最適化問題への高速SATアルゴリズムの応用,平成9年ー10年.
- 科学研究費基盤研究B(一般,代表),高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法,平成9年ー11年.
- 科学研究費重点領域研究(1)(計画班),高度応用のための情報ベースモデルとその実現技術の研究,平成8年ー10年.
- 科学研究費国際学術研究(代表),定理自動証明技術の計算論的研究,平成8ー9年.
- 科学研究費試験研究(B,代表),ベンチマーキングのための不自然でないランダム論理回路の高速大量生成,平成8年ー9年.
- 科学研究費一般研究(B,代表),各種属性を制御可能なランダムテスト例題生成技術の研究,平成7年ー8年.
共同研究
- 科学技術振興財団・創造科学技術推進事業・今井量子計算機構プロジェクト(京都オフィス,グループ長),平成12年ー
- 先端的情報化推進基盤整備事業(受託研究,分担)「破局的状況における高度の耐障害性を有するインターネット構成」,平成10年ー11年.
- 新エネルギー産業技術総合開発機構(受託研究,分担)「固体量子計算デバイスの基礎研究」,平成9年ー11年.
- SSR産学戦略的研究フォーラム(調査研究分野委員),平成10年.
授賞等
- ラトビア大学名誉博士号,平成20年.
- 猪瀬賞,電子情報通信学会,平成18年.
- 日本学術会議連携会員,平成18年.
- 三菱財団自然科学研究助成,平成7年.
- フェロー,電子情報通信学会,平成17年.
研究指導した博士課程学生
研究テーマ
- 分散並列アルゴリズム(メッシュラウティング,コンパクトラウティング)
- 近似アルゴリズム(安定結婚問題,稠密集合問題,頂点被覆)
- オンラインアルゴリズム(通貨交換問題,オンライン独立集合,ナップザック)
- 回路計算量の下界,導出原理の複雑さ
- 量子計算(量子計算モデル,量子アルゴリズム)
- 充足可能性判定問題(SAT)
著書
- 岩間,アルゴリズム理論入門,昭晃堂,2001.
- 岩間,オートマトン・言語と計算理論,コロナ社,2003.
- 岩間,アルゴリズムサイエンス:出口からの超入門,共立出版,2006.