教員紹介

清　智也（せい　ともなり）

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

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

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

[ホームページ]

略歴

研究テーマ

統計学の数理的側面（数理統計学）の研究をしています．
1. 計算代数統計：ホロノミック勾配法の統計学への応用
2. 稀事象や時系列データの統計的モデリング
3. 最適輸送写像による統計的モデリング

主な論文・著書

Sei, T. and Kume, A. (2015). Calculating the normalizing constant of the Bingham distribution on the sphere using the holonomic gradient method, Statistics and Computing, 25 (2), 321-332.

Sei, T. (2014). Infinitely imbalanced binomial regression and deformed exponential families, Journal of Statistical Planning and Inference, 149, 116-124.

Rueschendorf, L. and Sei, T. (2012). On optimal stationary couplings between stationary processes, Electronic Journal of Probability, 17 (17), 1-20.

Nakayama H., Nishiyama K., Noro M., Ohara K., Sei, T., Takayama, N. and Takemura A. (2011). Holonomic gradient descent and its application to the Fisher-Bingham integral, Advances in Applied Mathematics, 47 (3), 639-658.

教員紹介

駒木　文保（こまき　ふみやす）

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

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

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

[ホームページ]

略歴

研究テーマ

1. 理論統計
　ベイズ理論, 予測理論, 情報幾何

2. 統計的モデリング
　脳科学や地震学等のさまざまな分野における統計モデルとデータ解析手法の開発

主な論文・著書

Shibue, R. and Komaki, F. (2017). Firing rate estimation using infinite mixture models and its application to neural decoding,
Journal of Neurophysiology, vol. 118, 2902–29.

Yano, K. and Komaki, F. (2017). Asymptotically minimax prediction in infinite sequence models,
Electronic Journal of Statistics, vol. 11, 3165-3195.

Kojima, M. and Komaki, F. (2016). Relations between the conditional normalized maximum likelihood distributions and the latent information priors,
IEEE Transactions on Information Theory, vol. 62, pp. 539-553.

Matsuda, T. and Komaki, F. (2015). Singular value shrinkage priors for Bayesian prediction, Biometrika, vol. 102, pp. 843-854.

教員紹介

田中　健一郎（たなか　けんいちろう）

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

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

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

[ホームページ]

略歴

研究テーマ

数値解析，特に関数近似法・数値積分法に関係する近似理論とその応用．

関数近似・数値積分は，微分方程式の数値解法などをはじめとする様々な解析的数値計算技法の根幹を成す．これまで，主に解析関数に対する高精度な近似公式の設計および解析を，函数論的手法を用いて行ってきた．特に，高橋・森による二重指数関数型変換（DE変換）を用いた各種公式（DE公式，DE-Sinc近似など）の解析や応用は主なテーマの一つである．最近は，高精度な近似公式を設計する一般的方法の構築を目標として研究を進めている．

主な論文・著書

Ken’ichiro Tanaka, Tomoaki Okayama, and Masaaki Sugihara, Potential theoretic approach to design of accurate formulas for function approximation in symmetric weighted Hardy spaces, IMA Journal of Numerical Analysis, Volume 37, Issue 2 (2017), pp. 861-904 (doi:10.1093/imanum/drw022).

Ken’ichiro Tanaka, A fast and accurate numerical method for the symmetric Levy processes based on the Fourier transform and sinc-Gauss sampling formula, IMA Journal of Numerical Analysis, Volume 36, Issue 3 (2016), pp. 1362-1388 (doi:10.1093/imanum/drv038).

Ken’ichiro Tanaka and Alexis Akira Toda, Discretizing distributions with exact moments: error estimate and convergence analysis, SIAM Journal on Numerical Analysis, Volume 53, Issue 5 (2015), pp. 2158-2177 (doi:10.1137/140971269).

Sunao Murashige and Ken’ichiro Tanaka, A new method of convergence acceleration of series expansion for analytic functions in the complex domain, Japan Journal of Industrial and Applied Mathematics, Volume 32, Issue 1 (2015), pp. 95-117 (doi: 10.1007/s13160-014-0159-z).

Tomoaki Okayama, Ken’ichiro Tanaka, Takayasu Matsuo, and Masaaki Sugihara, DE-Sinc methods have almost the same convergence property as SE-Sinc methods even for a family of functions fitting the SE-Sinc methods Part I: Definite integration and function approximation, Numerische Mathematik, Volume 125, Issue 3 (2013), pp. 511-543 (doi: 10.1007/s00211-013-0540-x).

Ken’ichiro Tanaka, Masaaki Sugihara, Kazuo Murota, and Masatake Mori, Function classes for double exponential integration formulas, Numerische Mathematik, Volume 111, Issue 4 (2009), pp. 631-655 (doi: 10.1007/s00211-008-0195-1).

教員紹介

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

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

〒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.