Journal club 輪講（数理情報工学）

2022年度4年夏学期

配属先の研究室で、専門分野に関する文献・論文を全員で分担しながら読み進めていきます。

テキスト 担当教員
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016. 定兼 邦彦 教授
W. Su, S. Boyd, and E. J. Candes, “A differential equation for modeling Nesterov’s accelerated gradient method: theory and insights,” J. Machine Learning Res., 17 (2016), 1–43. 松尾 宇泰 教授
Peyré, G. and Cuturi, M. (2019). Computational Optimal Transport: With Applications to Data Science, Now Publishers. 駒木 文保 教授
F. W. Warner, Foundations of Differential Manifolds and Lie Groups, Springer, Berlin, 1983. 平井広志 准教授
D. P. Dubhashi and A. Panconesi, Concentration of measure for the analysis of randomized algorithms, Cambridge Press 谷川 眞一 准教授
Michael A. Nielsen and Isaac L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, Cambridge University Press, 2010. 高安 敦 講師
R. B. Bapat: Graphs and Matrices, Springer, 2014. 佐藤一宏 講師
H. Nishimori, Statistical Physics of Spin Glasses and Information Processing: An Introduction (Oxford University Press, 2001). 泉田 勇輝 講師
Evarist Giné and Richard Nickl: Mathematical Foundations of Infinite-Dimensional Statistical Models (Cambridge Series in Statistical and Probabilistic Mathematics, Series Number 40). Cambridge University of Press, 2016. 鈴木 大慈 准教授
Izhikevich E.M. (2007) Dynamical Systems in Neuroscience: The Geometry of Excitability and Bursting. 郡 教授
D. Bertsekas, Nonlinear Programming, Athena Scientific, 1999. 武田 朗子 教授
L. Lovasz, Graphs and Geometry, AMS, 2019. 岩田 覚 教授

2021年度4年夏学期

テキスト 担当教員
Y. Nesterov. “Introductory Lectures on Convex Optimization”, Kluwer, 2004. 平井広志 准教授
N. Boumal. “An Introduction to Optimization on Smooth Manifolds,” 2020. 佐藤一宏 講師
J. Ding, A. Petzoldt, D. Schmidt, “Multivariate Public Key Cryptosystems”, Springer, 2020. 高木 剛 教授
Y. M. Bishop, S. E. Fienberg and P. W. Holland (1975) Discrete Multivariate Analysis: Theory and Practice, MIT Press. (2007 reprinted by Springer) 清 准教授
S. V. Borodachov, D. P. Hardin, and E. B. Saff, “Discrete Energy on Rectifiable Sets”, Springer-Verlag New York, 2019. 田中健一郎 准教授
D. Spielman, “Spectral and Algebraic Graph Theory”, December 2019. 谷川眞一 准教授
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016. 定兼 邦彦 教授
D. Bertsekas, Nonlinear Programming, Athena Scientific, 1999. 武田 朗子 教授
S. H. Strogatz, Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering, 2nd ed. Westview Press, 2014 泉田勇輝 講師
B. Bollobas: “Modern Graph Theory,” Springer-Verlag, 1998. 岩田 覚 教授
Peters, J., Janzing, D. and Schölkopf, B. (2017) Elements of Causal Inference: Foundations and Learning Algorithms, MIT Press. 駒木 文保 教授
Giuseppe Da Prato: “An Introduction to Infinite Dimensional Analysis,” Springer, 2006. 鈴木 大慈 教授

2020年度4年夏学期

テキスト 担当教員
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016.
大量データを高速に処理するためのデータ構造に関する教科書です． 		定兼邦彦 教授
E. Zeidler, “Applied Functional Analysis — Applications to Mathematical Physics,” Springer, 1995.
関数解析と非線形数学のの代表的教科書で，学部講義の若干の復習を行いつつ，不動点定理とその応用まで学びます．典型的な数学書の英文記法に慣れながら，数理情報工学コースであまり習わない（しかしながら応用数学で普遍的に使われる）不動点定理に触れるのがハイライトとなります． 		松尾宇泰 教授
B. Bollobas: “Modern Graph Theory,” Springer-Verlag, 1998.
現代的なグラフ理論の教科書．特に，代数的な取り扱いに重点を置いて学びます． 		岩田覚 教授
Laszlo Lovasz, “Graphs and Geometry”, AMS, 2019.
グラフを良い感じに描画する(または良い感じのグラフ描画の構造を理解する)ことが本書のテーマです。 		谷川眞一 准教授
C. Gros, “Complex and Adaptive Dynamical Systems,” Springer, 2015.
複雑・適応力学系に関するテキストです. 複雑ネットワーク, 力学系, 自己組織化臨界, パターン形成, ランダムブーリアンネットワークなどのテーマの中から興味のある章をピックアップしてその基礎を学びます. 		泉田勇輝 講師
R. B. Bapat and T. E. S. Raghavan, “Nonnegative matrices and applications,” Cambridge University Press, 2009.
様々な分野で重要な非負行列に関する性質が詳細に記述された全7章の本です．1章では行列ゲームの理論を詳しめに扱って，行列ゲームの理論を使って応用範囲の広いペロン・フロベニウスの定理を証明しています．2章は2重確率行列の話です．輪講では，1章全体と2章の進めるところまでやります． 		佐藤 一宏 講師
James Kraft and Lawrence Washington, “An Introduction to Number Theory with Cryptography”, CRC Press, 2018.
整数論を用いて構成される公開鍵暗号に関して、素因数分解や離散対数問題の困難性などを議論している入門書です。また、暗号解読で利用されるディオファントス方程式、代数的整数、素数の分布などの基礎も学びます。 		高木剛 教授
Eldar Y.C. and Kutyniok, G. ed. (2012). Compressed Sensing Theory and Applications, Camridge University Press.
信号処理，画像処理などさまざまな分野で近年注目を集めている圧縮センシング（Compressed Sensing）は スパース性を利用した統計手法として理解することができます．圧縮センシングの理論の基礎について学びます． 		駒木文保 教授
S. Strogatz著, “Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering” (Westview Press)
非線形ダイナミクスの入門書として世界的に読まれている名著。これの９章から、すなわち、カオスについて輪読します。数学的な詳細に入りすぎずに、カオスのエッセンスを学べます。カオスを勉強することは、この世界の複雑さについて考えるよい機会になると思います。First EditionとSecond Editionがありますが、First Editionを使用します。もし個人的に新たに購入したい人はSecond Editionで大丈夫です。 		郡 宏 教授
A. Berlinet and C. Thomas-Agnan: Reproducing Kernel Hilbert Spaces in Probability and Statistics. Springer, 2004.
再生核ヒルベルト空間は機械学習・統計学・数値解析などにおいて重要な役割を果たす関数空間です．特に機械学習では，カーネルリッジ回帰やSVM，分布埋め込み，ガウス過程回帰といった様々な手法で使われ，また深層学習とも深い関係があります．本書を通して再生核ヒルベルト空間の基本事項から，ガウス過程との関係，Mercer展開，統計への応用を学びます． 		鈴木大慈 准教授
S. V. Borodachov, D. P. Hardin, and E. B. Saff, “Discrete Energy on Rectifiable Sets”, Springer-Verlag New York, 2019.
本書の主題は「空間内の決められた範囲にある意味で最もバランスよく有限個の点を配置する方法」です．このような問題は，例えば数値解析分野においては，関数近似や数値積分を行う際に関数値を評価する標本点をどうとると近似精度が良くなるかという問題として現れます．それ以外にも，ポテンシャル論，幾何学，グラフ理論，符号理論などの様々な分野でも同種の問題が考えられています．本書では，点xとyの二点間相互作用を与える関数K(x,y)で定まる「離散エネルギー」が考えられ，これを最小にする点配置が考察の対象となっています．このような問題は古典的に思われるかもしれませんが，現在でも未解明の問題が色々あります．用いられる主な数学的方法は，まず，測度論，積分論，フーリエ解析などの解析学分野の基本的方法です．また，問題の性格から当然，最適化の考え方も重要です．かなり分量が多い本なので通読は無理だと思いますが，参加者の皆さんと相談をしながら，できるだけ興味深い部分を選んで読みたいと思っています． 		田中健一郎 准教授
M. P. do Carmo. “Riemannian Geometry”, Birkhauser Boston, 1992.
リーマン幾何の教科書です．リーマン多様体は情報幾何を学ぶうえでも重要で，最近では，そのうえで最適化理論が展開されています．特に，非正な曲率をもつリーマン多様体は，アルゴリズム・計算複雑度理論の観点からも関心がもたれ始めています． 		平井広志 准教授

2019年度4年夏学期

テキスト 担当教員
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016.
大量データを高速に処理するためのデータ構造に関する教科書です． 		定兼邦彦 教授
X. Han and P. Kloeden, “Attractors Under Discretization,” Springer, Cham, 2017.
不動点やその周りの安定・不安定多様体の構造といった力学的挙動は，数値解法による離散化で変化することがあり，様々な困難を引き起こします． この問題に，数値解析学的・力学理論的知見を駆使して立ち向かう研究を概観します． 		松尾宇泰 教授
Martin J. Wainwright, “High-Dimensional Statistics”, Cambridge University Press, 2019.
高次元のパラメータを持つ統計モデルは近年注目を集めています．確率論を用いた高次元統計の推測理論について最新の教科書で学びます． 		駒木文保 教授
Amir Beck, “First-Order Methods in Optimization”, SIAM, 2017
勾配情報に基づく最適化法（一次最適化法）は古典的な手法であり，今なお盛んに研究がされています．この本を通して，一次最適化法の研究に必要な基本知識とともに，機械学習分野の影響による最近の研究の傾向について学びます． 		武田朗子 教授
Ronald Cramer, Ivan B. Damgard, Jesper B. Nielsen, “Secure Multiparty Computation and Secret Sharing”, Cambridge University Press, 2015.
情報理論的暗号技術の一つである秘密分散技術と、プライバシー保護データマイニングの基盤技術である秘密計算技術について、その基礎的事項を学びます。 		縫田光司 准教授
Seth Sullivant, “Algebraic Statistics,” American Mathematical Society, 2018.
統計学の諸問題に対して、多項式環などの代数的道具を使って取り組むための入門書です。 		清智也 准教授
Daniel Bernstein, Johannes Buchmann, Erik Dahmen (Eds.), “Post-Quantum Cryptography”, Springer, 2009.
ポスト量子暗号に関して、量子計算、ハッシュ関数署名、符号暗号、格子暗号、多変数多項式暗号などを学びます。 		高木剛 教授
L. C. Lau, R. Ravi, M. Singh, “Iterative Methods in Combinatorial Optimization,” Cambridge University Press, 2011.
最大最小定理の証明と近似アルゴリズムの設計の両面で有効な統一的な方法論として最近提唱された「反復法」を学びます．線形計画法と組合せ論を駆使して，古典的な結果に別証明を与え，新たなアルゴリズムを開発する手際を鑑賞します． 		岩田覚 教授
I. Kantor, J. Matousek, R. Samal: Mathematics++ –Selected Topics Beyond the Basic Courses, American Mathematical Society, 2015.
コンピュータ科学や離散数学への応用を念頭においた２０世紀数学のテキストです． 独立して読める章 1. Measure and Integral, 2. High-Dimensional Geometry and Measure Concentration, 3. Fourier Analysis, 4. Representation of Finite Group, 6. Polynomials, 7. Topology の中から，いくつか選んで輪読します．A科目○○数理工学の続編という位置付けです． 		平井広志 准教授
Albert Cohen and Ronald DeVore?: Approximation of high-dimensional parametric PDEs. Acta Numerica Volume 24 (2015), pp. 1-159.
多数のパラメータを含む偏微分方程式の解を近似する手法のサーベイ論文です．Part I と Part IIがあり，Part I で近似対象の関数の滑らかさと近似精度の関係を論じた後，Part IIで実際に偏微分方程式の解を近似する手法を論じています．（本当は通読したいところですが）輪講では，Part I の近似理論の部分を対象にしたいと思います．具体的には§2～§4（大体60ページ分）を予定しています．n項近似の精度の評価や、ある種の最良近似精度であるn-widthなどの近似理論に関する概念を学びます．関数解析的な議論が主に用いられる内容です． 		田中健一郎 准教授
Cedric Villani: Topics in Optimal Transportation. American Mathematical Society, 2003.
最適輸送理論・Wasserstein幾何は確率論の分野だけでなく機械学習や統計学において近年重要度を増しているトピックです．本書を通して最適輸送理論の基礎を学びます． 		鈴木大慈 准教授
Eick Demaine and Joseph O’Rourke: Geometric Folding Algorithms, Cambridge University Press, 2007.
リンケージやパネル模型などの挙動解析をアルゴリズム的視点から学びます。 		谷川眞一 准教授

H30年度4年夏学期

テキスト 担当教員
E. Zeidler, Applied Functional Analysis, Springer-Verlag, New York, 1995.
現代解析学で必須のツール，「関数解析」の代表的教科書のひとつです．この本の最初の部分（関数空間の設定から不動点定理まで）を読みながら，数学的な文章の読み方，書き方，および輪読の進め方を学びます． 		松尾宇泰 教授
P. Jain and P. Kar, “Non-convex Optimization for Machine Learning“, Foundations and Trends® in Machine Learning: Vol. 10: No. 3-4, pp 142-336, 2017.
最近，機械学習分野では，スパース最適化問題を始めとする様々な非凸最適化問題に対し，効率的な解法の研究が進められています．本テキストを通して，機械学習における非凸最適化の問題例や解法について学びます． 		武田朗子 教授
A. Clark, B. Alomair, L. Bushnell, and R. Poovendran, “Submodularity in Dynamics and Control of Networked Systems, Springer International Publishing Switzerland, 2016.
劣モジュラ最適化の基礎と応用に関する最近の研究動向を反映した専門書です．ネットワーク型システムの制御を題材に，劣モジュラ性が自然に現れる仕組みと，劣モジュラ性を利用したアルゴリズムの設計と解析を学びます． 		岩田覚 教授
Jonathan Katz, Yehuda Lindell, “Introduction to Modern Cryptography, Second Edition”, CRC Press, 2015.
共通鍵暗号，公開鍵暗号，電子署名といった基本的な暗号技術を中心に，安全性の計算量的仮定やより進んだ話題も交えつつ学びます． 		縫田光司 准教授
I. L. Dryden and K. V. Mardia, “Statistical Shape Analysis: with Applications in R,” 2nd ed., Wiley, 2016.
形状データを扱うための統計学について学びます． 		清智也 准教授
Michael Mitzenmacher and Eli Upfal, “Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis,” Cambridge University Press, 2nd ed., 2017.
乱択手法を利用した離散アルゴリズムの設計と解析を学習します． 		谷川眞一 准教授
Neal Koblitz, “Algebraic Aspects of Cryptography,” Springer, 1998.
暗号理論の代数的手法に関する教科書を使って，多変数多項式暗号，組合せ論的暗号，(超)楕円曲線暗号などを学びます． 		高木剛 教授
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016.
大量データを高速に処理するためのデータ構造に関する教科書です． 		定兼邦彦 教授
Hyvärinen, A., Hurri, J., and Hoyer, P.O. (2009) Natural Image Statistics, Springer-Verlag.
生物の視覚システムの計算論的モデルについて統計学の視点から扱っています．教科書は大学内からダウンロードできます． 		駒木文保 教授
R. J. Lipton and K. W. Regan, “Quantum Algorithms via Linear Algebra,” MIT Press, 2014.
量子アルゴリズムを勉強します． 		平井広志 准教授
S. Saitoh and Y. Sawano, “Theory of Reproducing Kernels and Applications”, Springer, 2016.
関数空間の一種である「再生核ヒルベルト空間（RKHS）」の基礎理論を，具体例を交えながら学びます．今日では，核（カーネル，kernel）を用いた方法は，数値解析はもちろん，データ解析や機械学習，画像処理などの様々な分野で用いられています．再生核ヒルベルト空間は，それらの数学的な基礎を与えるものです．テキストはやや分厚いですが，時間が限られているので，第1章の1.1～1.3, 第2章の2.1, 2.2を最低限の予定範囲とします．それ以外は進み具合を見ながら扱う項目を決める予定です． 		田中健一郎 准教授
M. Mohri, A. Rostamizadeh, and A. Talwalkar, “Foundations of Machine Learning,” The MIT Press, 2012.
学習理論の定番教科書を通してPAC-学習，Rademacher複雑度，VC次元といった基本的な概念を学びます． 		鈴木大慈 准教授

H29年度4年夏学期

テキスト 担当教員
Johannes Buchmann, “Introduction to Cryptography,” Springer, 2004.
暗号理論の名著として知られる教科書を使って、暗号数理で必要とされる計算代数理論の基礎および公開鍵暗号やディジタル署名の構成と安全性評価(暗号解読法)などに関して学びます。 		高木剛 教授
G. Navarro, “Compact Data Structures: A Practical Approach,” Cambridge University Press, 2016.
大量データを高速に処理するためのデータ構造に関する教科書です． 		定兼邦彦 教授
J. Lee, “A First Course in Combinatorial Optimization”, Cambridge University Press, 2004.
組合せ最適化の勉強をします．0. Polytopes and Linear Programming, 1. Matroids and the Greedy Algorithm, 3. Matroid Intersectionを読みます．余裕があれば4. Matchingに進みます． 		平井広志 准教授
J. M. Sanz-Serna, “Symplectic Runge-Kutta Schemes for Adjoint Equations, Automatic Differentiation, Optimal Control, and More,” SIAM Review, 58 (2016), 3-33.
数値解析や制御理論など様々な分野で登場するアジョイント法に関して，数値解析の立場から書かれたユニークなサーベイ論文です．数値解法，変分，解析力学，感度解析，自動微分など様々な概念がひとつの研究として結晶化する様子を見ます． 		松尾宇泰 教授
K. Atkinson, W. Han, “Theoretical Numerical Analysis – A Functional Analysis Framework”, 3rd ed, Springer-Verlag New York, 2009.
関数解析的手法による数値計算法の解析が解説されている本です．最初の方は関数解析の基礎がまとめられています．主にこの最初の部分を読んで関数解析の基礎を学び，時間的に可能なら，中盤以降の数値計算法に関する題材の中からいくつかを取り上げて扱う予定です． 		田中健一郎 准教授
Shwartz, A. and Weiss, A. (1995). Large Deviations for Performance Analysis: Queues, Communications and Computing, Chapman & Hall.
確率論で重要な大偏差原理の入門的内容について学びます． 		駒木文保 教授
J. Pearl, M. Glymour, and N.P. Jewell, “Causal Inference in Statistics: A Primer,” Wiley, 2016.
統計的因果推論の入門書です。 		清智也 准教授
Ian Goodfellow, Yoshua Bengio and Aaron Courville,　”Deep Learning,” MIT Press, 2015
深層学習の原理と応用について学びます。 		山西健司 教授
A.W. van der Vaart, “Asymptotic Statistics”, Cambridge University Press, 1998.
統計学や機械学習において確率変数の収束は基本的な概念です．本書の輪読を通して確率変数の収束に関する詳細およびその応用（中心極限定理，推定量の収束）を学びます． 		鈴木大慈 准教授
J. A. De Loera, R. Hemmecke, M. Koeppe: “Algebraic and Geometric Ideas in the Theory of Discrete Optimization,” SIAM, 2013.
離散最適化（整数計画法）のための代数的・幾何的手法を紹介しています．特に，第1章と第2章を読んで，線形計画法，凸最適化，数の幾何学がどのように整数計画法の理論の中で使われていくかを学びます． 		岩田覚 教授
R. Diestel, “Graph Theory (Fourth Edition)”, Springer, 2010.
グラフ理論の標準的な教科書の一つです．連結度・平面グラフ・彩色数に関する代表的な定理を学習し，さらに時間的に可能ならば極値問題を学ぶ予定です． 		谷川眞一 准教授
V. Shoup, A Computational Introduction to Number Theory and Algebra (Second Edition), Cambridge University Press, New York, 2009.
暗号理論を理解する上で必要となる素体，整数環，および多項式環上でのアルゴリズムを勉強します．特に，素数判定アルゴリズム，素因数分解アルゴリズム，離散対数問題を解くアルゴリズムに関して，詳しく勉強します． 		國廣昇 准教授