教員紹介

中島　研吾（なかじま　けんご）

東京大学情報基盤センタースーパーコンピューティング研究部門
大学院情報理工学系研究科数理情報学専攻　兼担
教授

〒113-8658 東京都文京区弥生2-11-16 東京大学情報基盤センター別館3Fプロジェクト室2
Tel: 03-5841-2719 内線 22719
Fax: 03-5841-2708

E-mail：nakajima＠cc.u-tokyo.ac.jp

[ホームページ]

略歴

研究テーマ

大規模シミュレーションとそれを支える基盤技術，
実用的な科学・工学問題の解決を通じて新しいアルゴリズムを開発することを目指しています：

1．並列数値計算，並列アルゴリズム
2．数値線形代数，特に並列前処理
3. 計算力学，形状処理，可視化

主な論文・著書

Nakajima, K., Parallel Iterative Solvers of GeoFEM with Selective Blocking Preconditioning for Nonlinear Contact Problems on the Earth Simulator, ACM/IEEE Proceedings of SC2003, 2003

Nakajima, K., Parallel iterative solvers for finite-element methods using an OpenMP/MPI hybrid programming model on the Earth Simulator, Parallel Computing 31, 1048-1065, 2005

Nakajima, K., Strategies for Preconditioning Methods of Parallel Iterative Solvers in Finite-Element Applications on Geophysics, Advances in Geocomputing, Lecture Notes in Earth Science 119, 65-118, 2009

奥田洋司，中島研吾編著，並列有限要素解析〔I〕，培風館，2004

教員紹介

松尾　宇泰（まつお　たかやす）

東京大学大学院 情報理工学系研究科
数理情報学専攻
教授

〒113-8656 東京都文京区本郷 7-3-1 347号室
Tel: 03-5841-6911 内線 26911
Fax:

E-mail：matsuo＠mist.i.u-tokyo.ac.jp

[ホームページ]

略歴

研究テーマ

数値解析，特に微分方程式の「性質の良い」数値解法．

「性質の良い」数値解法とは，保存・散逸など何らかの (物理的) 性質を持つ微分方程式に対して，その性質を離散系でも再現する数値解法のことであり，汎用の数値解法に比べ定性的に正しい結果を与えるだけでなく，数値的安定性などの面でも有利であることが多い． 現在は主に保存・散逸系に対する高次 (高精度) 解法の研究を行っている．

主な論文・著書

Takayasu Matsuo and Daisuke Furihata,
Dissipative or Conservative Finite-Difference Schemes for Complex-Valued Nonlinear Partial Differential Equations,
J. Comput. Phys., 171 (2001), 425-447.

Takayasu Matsuo, Masaaki Sugihara, Daisuke Furihata, and Masatake Mori,
Spatially Accurate Dissipative or Conservative Finite Difference Schemes Derived by the Discrete Variational Method,
Japan J. Indust. Appl. Math., 19 (2002), 311–330.

Takayasu Matsuo,
High-order Schemes for Conservative or Dissipative Systems,
J. Comput. Appl. Math., 152 (2003), 305–317.

教員紹介

平井　広志（ひらい　ひろし）

東京大学大学院 情報理工学系研究科
数理情報学専攻
准教授

〒113-8656 東京都文京区本郷 7-3-1 工学部 6 号館 350 号室
Tel: 03-5841-7411
Fax: 03-5841-7411

E-mail：hirai＠mist.i.u-tokyo.ac.jp

[ホームページ]

略歴

研究テーマ

離散最適化と関連する離散数学を研究している．最近のテーマは，多品種流理論である．多品種流は，ネットワークに複数の種類の異なる「フロー」が流れている状況を扱う数学モデルで，VLSI設計，交通網，インターネット等の多くの工学的諸問題に動機付けられている．多品種流問題における各種問題クラスの計算複雑度の解明やアルゴリズム設計を目標として研究を進めている．また関連して現れる有限距離空間や施設配置問題も研究している．

主な論文・著書

H. Hirai: Metric packing for K3 + K3, Combinatorica 30, (2010), 295-326.

H. Hirai: Tight spans of distances and the dual fractionality of undirected multiflow problems, Journal of Combinatorial Theory, Series B 99, (2009), 843-868.

H. Hirai: A geometric study of the split decomposition, Discrete and Computational Geometry 36, (2006), 331-361.

教員紹介

定兼　邦彦（さだかね　くにひこ）

東京大学大学院 情報理工学系研究科
数理情報学専攻
教授

〒113-8656 東京都文京区本郷 7-3-1 6号館 341号室
Tel: 03-5841-6955 内線 26955
Fax: 03-5841-6955

E-mail：sada＠mist.i.u-tokyo.ac.jp

[ホームページ]

略歴

研究テーマ

・大量データ処理のためのアルゴリズムとデータ構造
・圧縮したままデータを処理できる圧縮方法，簡潔データ構造の理論と応用
・GPUなどのメニーコア環境での計算モデルとアルゴリズムの開発

主な論文・著書

Wing-Kai Hon, Kunihiko Sadakane, Wing-Kin Sung: Breaking a Time-and-Space Barrier in Constructing Full-Text Indices. SIAM J. Comput. 38(6): 2162-2178 (2009)

Kunihiko Sadakane: Compressed Suffix Trees with Full Functionality. Theory Comput. Syst. 41(4): 589-607 (2007)

Kunihiko Sadakane, Gonzalo Navarro: Fully-Functional Succinct Trees. ACM Transactions on Algorithms, 10(3), Article No. 16 (2014)

定兼 邦彦．簡潔データ構造，アルゴリズム・サイエンスシリーズ，共立出版，2018．

教員紹介

高木　剛（たかぎ　つよし）

東京大学大学院 情報理工学系研究科
数理情報学専攻
教授

〒113-8656 東京都文京区本郷7-3-1 工学部 6 号館 343 号室
Tel: 03-5841-6940 内線 26940
Fax:

E-mail：takagi@mist.i.u-tokyo.ac.jp

[ホームページ]

 

略歴

研究テーマ

情報社会の安全性を支える暗号理論と情報セキュリティの研究を進めている．

●暗号理論
量子計算機の時代においても解読困難となる新しい数学問題(符号理論，格子理論，多変数多項式，グラフ理論など)を応用したポスト量子暗号の研究をしている．

●情報セキュリティ
著作権保護，電子投票，仮想通貨など実社会での暗号利用を目的として，効率的な暗号アルゴリズムの設計と物理的攻撃などに対して安全な暗号実装技術の研究をしている．

主な論文・著書

高木 剛，暗号と量子コンピュータ -耐量子計算機暗号入門-, オーム社, 2019.

Tsuyoshi Takagi, Recent Developments in Post-Quantum Cryptography, IEICE Transaction, Vol.E101-A, No.1, pp.3-11, 2018.

Tsuyoshi Takagi (Ed), Post-Quantum Cryptography – 7th International Workshop, PQCrypto 2016, LNCS 9606, Springer, 2016.