知識グリッドコンピューティング

講座概要 ・ 研究テーマ ・ 構成メンバー ・ お問い合わせ

構成メンバー

■教員（五十音順）

事業推進担当者

教授 岩間　一雄
 知識グリッドコンピューティングコア
情報学研究科(通信情報システム専攻)

アルゴリズムの設計と解析，計算量理論，量子計算，安定マッチング問題，充足可能性判定問題
http://www.lab2.kuis.kyoto-u.ac.jp/~iwama/index-j.html
iwama AT kuis.kyoto-u.ac.jp

７３年京大卒（電気）．７８年博士了．
京都産大講師，助教授，カリフォルニア大学バークレー客員準教授，九大助教授を経て，
９２年より九大教授．９７年京大教授．
アルゴリズム，回路計算量の下界，導出原理の複雑さ，量子計算，充足可能性判定問題 の研究に従事．
著書「アルゴリズム理論入門」（昭晃堂），「オートマトン・言語と計算理論」（コロナ社） ， 「アルゴリズムサイエンス：出口からの超入門」（共立出版）．

教授 中島　浩
 知識グリッドコンピューティングコア
学術情報メディアセンター

並列システムアーキテクチャ、並列プログラミング言語、並列応用プログラム
http://www.para.media.kyoto-u.ac.jp/jp/
h.nakashima AT media.kyoto-u.ac.jp

京都大学工学研究科情報工学専攻（修士課程）修了。工学博士（京都大学）。
三菱電機(株)にて第５世代コンピュータのアーキテクチャに関する研究開発を実施。その後、京都大学助教授、豊橋技術科学大学教授、京都大学教授として、並列処理についてアーキテクチャから応用までを幅広く研究している。

教授 中村　佳正
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

可積分系、計算数学、数値線形代数
http://www-is.amp.i.kyoto-u.ac.jp/official/ynaka/
ynaka AT i.kyoto-u.ac.jp

昭和53年京都大学工学部数理工学科卒業、昭和58年同工学研究科博士課程修了，岐阜大学、同志社大学、大阪大学基礎工学研究科を経て、平成13年から京都大学大学院情報学研究科教授。専門は応用数学。可積分系の大域解析から応用解析へ研究を展開。主著は高速高精度な新しい特異値分解アルゴリズムを解説した「可積分系の機能数理」（共立出版、平成18年）。

教授 永持　仁
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

グラフ理論，離散最適化，アルゴリズム
http://www-or.amp.i.kyoto-u.ac.jp/members/nag/
nag AT amp.i.kyoto-u.ac.jp

昭和６３年京都大学大学院博士学位を修得し，豊橋技術科学大学助手，京都大学助手，助教授，カナダ Simon Fraser大学，オーストラリア Newcastle大学客員研究員，豊橋技術科学大学教授を経て，平成１６年から京都大学大学院教授．グラフに関する問題を中心に離散最適化問題を解く効率の良いアルゴリズムの研究に従事．

教授 福島　雅夫
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

最適化，数理計画，オペレーションズ・リサーチ
http://www-optima.amp.i.kyoto-u.ac.jp/~fuku/
fuku AT i.kyoto-u.ac.jp

京都大学大学院工学研究科修士課程修了. 工学博士.
1993年奈良先端科学技術大学院大学情報科学研究科教授,
1996 年京都大学大学院工学研究科教授.
1998 年より同大学院情報学研究科教授となり現在に至る.
その間 Waterloo 大学, Namur 大学, New South Wales 大学客員. 数理計画, 特に非線形計画, 変分不等式などに関する研究に従事. 日本ＯＲ学会文献賞, システム制御情報学会椹木記念賞論文賞受賞. Pacific Journal of Optimization の Co-Editor, SIAM Journal on Optimization など１０以上の国際学術誌の Associate Editor を務める．

研究協力者

助教 東　俊一
 知識グリッドコンピューティングコア
情報学研究科（システム科学専攻）

システム制御工学
http://www.robot.kuass.kyoto-u.ac.jp/~sazuma


2004年東京工業大学大学院情報理工学研究科修了．
日本学術振興会 特別研究員，ジョージア工科大学客員研究員を経て，2005年9月より現職．
主な研究テーマは，ハイブリッドシステムの解析と制御．
准教授 五十嵐顕人
 知識グリッドコンピューティングコア
情報学研究科（数理工学専攻）

情報物理、複雑ネットワーク、確率過程、計算物理
　　　http://amech.amp.i.kyoto-u.ac.jp/personal/igarashi/
igarashi AT i.kyoto-u.ac.jp

学歴
1975年京都大学工学部数理工学科卒業
1977年京都大学大学院工学研究科数理工学専攻修士課程終了
1982年京都大学工学博士取得
職歴
1977年京都大学助手に採用される。
1990年京都大学助（准）教授に昇任現在にいたる。
主な研究分野
●複雑ネットワークにおける情報通信における経路制御
●分子モータの確率過程モデル
●確率共鳴と情報処理
教授 石井　信
 知識グリッドコンピューティングコア
情報学研究科（システム科学専攻）

生命システム、強化学習、システム神経生物学、バイオインフォマティクス、機械学習
http://hawaii.sys.i.kyoto-u.ac.jp/
ishii AT i.kyoto-u.ac.jp

1988年東京大学大学院工学系研究科修了。工学博士。リコー中央研究所、ATR人間情報研究所、奈良先端科学技術大学院大学を経て、2007年7月より現職。強化学習を中心とする機械学習を専門とし、近年は数理モデルを用いた生命システム学である、計算論的認知心理学、システム神経生物学、バイオインフォマティクスの研究にも取り組む。

准教授 伊藤 大雄
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

グラフ・ネットワークアルゴリズム，離散幾何学,組合せゲーム・パズル
http://www.lab2.kuis.kyoto-u.ac.jp/~itohiro/index-j.html
itohiro AT kuis.kyoto-u.ac.jp

1985年京大・工・数理卒。
87年大学院修士課程了。
95年京都大学博士(工学）取得。
NTT研究所、豊橋技術科学大学を経て、2001年より現職。グラフ・ネットワークアルゴリズム、離散幾何学、組合せゲーム・パズル等の研究に従事。
著書「ネットワーク設計理論（共著）」（岩波書店）。

教授 岩井敏洋
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

幾何学的力学系理論、量子エンタングルメントの幾何学
http://yang.amp.i.kyoto-u.ac.jp/~iwai/index.html
iwai AT amp.i.kyoto-u.ac.jp

1971年 京都大学 工学部 数理工学科卒業
1973年 同大学院 工学研究科 修士課程修了
1994年 京都大学 工学部 教授
1998年 京都大学 大学院 情報学研究科 教授

准教授 岩下武史
 知識グリッドコンピューティングコア
学術情報メディアセンター

線形反復法、ハイパフォーマンスコンピューティング、電磁場解析
http://ais.sys.i.kyoto-u.ac.jp/iwashita/iwasita.html
iwashita AT media.kyoto-u.ac.jp

1998年京都大学大学院工学研究科電気工学専攻博士課程修了．京都大学リサーチアソシエイト（日本学術振興会未来開拓学術研究推進事業PD），同大学助手を経て，2003年より同大学学術情報メディアセンター助教授（2007年職名変更により同准教授），現在に至る. 高性能計算，線形反復法，電磁界解析に関する研究に従事．京都大学博士（工 学）．IEEE，SIAM，情報処理学会，電気学会，日本AEM学会，日本計算工学会各会員．

助教 馬谷誠二
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

プログラミング言語，並列処理，分散システム
http://www.yuasa.kuis.kyoto-u.ac.jp/~umatani/
umatani AT kuis.kyoto-u.ac.jp

1974年生．
1999年京都大学工学部情報学科卒業．
2001年同大学大学院情報学研究科修士課程修了．
2004年同大学院情報学研究科博士後期課程修了．
同年同大学院情報学研究科産学官連携研究員．
2005年同大学院情報学研究科通信情報システム先行助手．2007年より助教．
博士(情報学)． プログラミング言語，言語処理系，並列/分散処理に興味を持つ． 日本ソフトウェア科学会，情報処理学会，ACM各会員．

教授 酒井　英昭
 知識グリッドコンピューティングコア
情報学研究科（システム科学専攻）

信号統計学 (信号処理における統計的、数値解析的側面の研究)
http://www.msys.sys.i.kyoto-u.ac.jp/~hsakai/index_j.html
hsakai AT i.kyoto-u.ac.jp


昭47 京大・工・数理卒. 昭50 徳島大・工・情報・助手, 昭53 京大・工・数理・助手,
昭60 同助教授, 平9 同教授. 現在, 京大・情報学・システム科学・教授.
時系列解析, 信号処理の研究に従事. IEEE Fellow.
助教 佐藤彰洋
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

エージェントモデル、確率過程、統計力学
http://amech.amp.i.kyoto-u.ac.jp/~aki/
aki AT i.kyoto-u.ac.jp

2000年東北大学大学院情報科学研究科修了. 博士（情報科学）. エージェントモデルと確率過程に立脚した多変量経済時系列分析, 高頻度金融時系列分析の研究に従事. 2006年情報処理学会山下記念研究賞受賞. 日本物理学会, 情報処理学会,電子情報処理学会, JAFEE 各会員.

教授 高橋　豊
 知識グリッドコンピューティングコア
情報学研究科（システム科学専攻）

情報システム，待ち行列理論，トラヒック・モデリングと解析，ネットワーキング性能評価，自律分散型ネットワークの構成論
http://infosys.sys.i.kyoto-u.ac.jp/~takahashi/takahashi-j.html
takahashi AT i.kyoto-u.ac.jp

昭和55年本学助手．平成元年同助教授．同8年奈良先端大教授．同11年より本研究科システム科学専攻教授．この間昭和58年に１年間フランスINRIA客員教授．工学博士．待ち行列理論・トラヒック理論、情報システム・情報ネットワーク等のモデル化と性能評価に関する研究に従事．IFIP Silver Core受賞．IFIP WG6.3 前Cochairman．

准教授 鷹羽　浄嗣
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

ロバスト制御，最適制御，ビヘイビアアプローチ，制約システム
http://seigyo.amp.i.kyoto-u.ac.jp/~takaba/
takaba AT amp.i.kyoto-u.ac.jp

1991年京都大学工学研究科応用システム科学専攻修士課程修了．同年同大学工学部数理工学科助手．1998年同大学情報学研究科数理工学専攻助教授となり，現在に至る．
　ロバスト最適制御，ビヘイビアシステム理論および制約システムに関する研究に従事．博士（工学)． IEEE, 計測自動制御学会, システム制御情報学会などの会員．

特任助教 玉置 卓
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

計算量理論，アルゴリズム，充足可能性問題，証明の複雑さ
http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/index-j.html
tamak AT kuis.kyoto-u.ac.jp

2001年京都大学工学部卒．
2003年同大学院情報学研究科修士了．
2006年同博士了．京都大学博士 (情報学)．
2006年より現職．
計算量理論，アルゴリズム，充足可能性問題，証明の複雑さの研究に従事．
講師 趙　亮
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

ネットワーク最適化，アルゴリズム，インターネット
http://www-or.amp.i.kyoto-u.ac.jp/members/liang/
liang AT i.kyoto-u.ac.jp

平成１４年京都大学大学院博士学位（情報学）を修得し，
平成１４年４月ー平成１８年３月まで宇都宮大学助手，
平成１８年４月から京都大学講師．
ネットワーク，特にインターネットに関する問題を中心に離散最適化問題を解く効率の良いアルゴリズムの研究に従事．

准教授 林　和則
 知識グリッドコンピューティングコア
情報学研究科（システム科学専攻）

無線通信，信号処理
http://www.msys.sys.i.kyoto-u.ac.jp/~kazunori/
kazunori AT i.kyoto-u.ac.jp


平9 阪大・工・通信卒．平14 同大大学院博士後期課程了．
同年京大・情報学・システム科学・助手. 現在, 京大・情報学・システム科学・准教授.
無線通信，ディジタル信号処理の研究に従事．IEEE 会員.
助教 林俊介
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

最適化，数理計画，オペレーションズ・リサーチ
http://www-optima.amp.i.kyoto-u.ac.jp/member/staff/hayashi/index.htm
shunhaya AT amp.i.kyoto-u.ac.jp

2005年京都大学大学院情報学研究科博士後期課程修了。博士（情報学）取得。その後、ミネソタ大学 （米国）電気計算機工学科、成功大学（台湾）理学院数学系ポスドク研究員、および京都大学大学院情報学研究科特任助手を経て、2006年12月同大学院助手に着任。2007年4月同大学院助教となり現在に至る。最適化、数理計画の理論、およびそれらの信号処理等に対する応用に関する研究に従事。日本ＯＲ学会、システム制御情報学会に所属。

助教 福永拓郎
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

http://www-or.amp.i.kyoto-u.ac.jp/members/takuro/
takuro AT amp.i.kyoto-u.ac.jp

2007年京都大学情報学研究科博士後期課程修了（情報学博士）．2007年2月より京都大学情報学研究科助手，4月より助教．離散構造をもつ最適化問題の研究などに従事．

准教授 八杉昌宏
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

プログラミング言語，言語処理系，並列処理
http://www.yuasa.kuis.kyoto-u.ac.jp/~yasugi/index-j.html
yasugi AT i.kyoto-u.ac.jp

1989年東京大学工学部電子工学科卒．
1991年同大学院電気工学専攻修士課程修了．
1994年情報科学専攻博士課程修了．
1993～1995年日本学術振興会特別研究員（東京大学，マンチェスター大学）．
1995年神戸大学工学部助手．
1998年京都大学情報学研究科講師．2003年助教授．2007年より准教授．
博士（理学）． 並列処理，言語処理系などに興味を持つ．

助教 山口義幸
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

ハミルトン力学系、統計力学、非平衡状態
http://yang.amp.i.kyoto-u.ac.jp/~yyama/index-j.html
yyama AT amp.i.kyoto-u.ac.jp

１９９８年３月、多自由度ハミルトン系に関する研究により名古屋大学より博士号を授与される。
１９９８年４月、立命館大学にポストドクトラルフェローとして採用され、微分方程式における繰り込み群の研究を行う。
１９９９年４月、京都大学情報学研究科に助手として採用され、多自由度ハミルトン系の統計的・力学的研究を行う。

准教授 山下信雄
 知識グリッドコンピューティングコア
情報学研究科(数理工学専攻)

数理計画，均衡問題，オペレーションズリサーチ
http://www-optima.amp.i.kyoto-u.ac.jp/~nobuo/
nobuo AT i.kyoto-u.ac.jp

1993年東京大学工学部計数工学科卒業，
1996年奈良先端科学技術大学院大学情報科学研究科 博士後期課程短期修了．
1995年日本学術振興会特別研究員，
1997年京都大学大学院工学研究科助手，
1998年改組により情報学研究科 助手，
2005年同助教授となり，現在に至る．
数理計画および均衡問題の研究に従事．

特任助教 山本　真基
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

アルゴリズム，充足可能性問題，最悪/平均時間計算量
http://www.lab2.kuis.kyoto-u.ac.jp/~masaki.yamamoto/
masaki.yamamoto AT kuis.kyoto-u.ac.jp

2000年東工大・情報理工学研究科・博士前期課程修了．
2000年日本電気株式会社入社．
2003年同社退職．
2006年東工大・情報理工学研究科・博士後期課程修了．学位（理学）取得。
2006年より現職．
充足可能性問題の諸性質の研究，特に，最悪時間計算量・平均時間計算量の研究に従事．

教授 湯淺太一
 知識グリッドコンピューティングコア
情報学研究科（通信情報システム専攻）

プログラミング言語,　言語処理系,　記号処理
http://www.yuasa.kuis.kyoto-u.ac.jp/~yuasa/index_J.html
yuasa AT kuis.kyoto-u.ac.jp

1952年神戸生．1977年京都大学理学部卒業．
1982年同大学大学院理学研究科博士課程修了．
同年京都大学数理解析研究所助手．
1987年豊橋技術科学大学講師．
1988年同大学助教授，
1995年同大学教授，
1996年京都大学大学院工学研究科情報工学専攻教授．
1998年同大学院情報学研究科通信情報システム専攻教授となり現在に至る．
理学博士． 記号処理，プログラミング言語処理系，並列処理に興味を持っている．
著書「Common Lisp 入門（共著）」，「C言語によるプログラミング入門」，「コンパイラ」ほか．
情報処理学会，日本ソフトウェア科学会，電子情報通信学会，IEEE，ACM各会員． 情報処理学会フェロー．

GCOE事務局メンバー

GCOE教員