情報数学分野

数理統計学

自然界や社会において、偶然によって支配される事象が数多く存在します。偶然によって生じる不確実性に、人間は長い間悩まされてきました。この不確実性に立ち向かう科学として、統計学は誕生しました。統計学を用いることにより、科学データの解析が可能になり、不確実性を考慮に入れて意思決定をすることが可能になります。いまや統計学は、自然科学、社会科学、人文科学、応用科学における様々な分野で応用されています。

統計学の骨格を数学的に構成する学問が、数理統計学です。現代社会において、科学データの解析に従事するためには、数理統計学に関する十分な知識と統計解析の豊富な演習が必要不可欠です。

筑波大学数学類では、数理統計学の講義と演習が、充実しています。講義では、統計学の数学的基礎となる分布論と推測理論を踏まえて、推定論と検定論を系統的に学習できます。演習では、統計解析に必要な計算機の知識も修得できます。また、セミナー形式の授業も充実し、具体的な事例を通じて、理論と応用の両面でデータ解析の知識を身につけることができます。

大学院においては、近代科学に現れるDNAデータや画像データなどの超高次元データを統計解析するための理論と方法論や、通常の数理統計学では扱わない非正則な場合の統計的推測理論を、セミナー形式で学ぶことができます。これらの研究について、世界の最先端における科学を身近で追及できることは、筑波大学数学専攻の大きな特徴といえます。

数学専攻には、こうした研究を行っている教員が揃っており、各種数学特別セミナー、講義、研究集会などを通じて様々な数学を学ぶことが出来ます。前期課程修了時には日本数学会などの一般講演を目標に、後期課程修了時には、国内外での研究集会における研究発表および国際的な学会誌や学術誌に掲載されるレベルの欧文の論文発表を具体的な目標にしています。数学専攻では、次世代の数学を担い、また数学を通して社会に貢献する人材の育成に努めています。

数理論理学

「正しい論証とは何か」を考える論理学は、哲学の一分科として古代から存在したことが知られています。しかし、論理学が数学の一部として認識されるようになったのは比較的最近のことです。それは、数学(例えば、17世紀に発見された当時の微積分)が複雑化・抽象化するとともに直観的な説明がかえって理解を難しくして、正しい論証に基づいた厳密な証明(例えば、19世紀に定式化されたε-δ論法)が必要とされたことと並行しています。そして1930年、ゲーデルが公理系と数学的構造を結びつける完全性定理を証明し、現代的な数理論理学=数学の一部としての論理学が始まりました。

筑波大学数学類では、全国的にも数少ない、数理論理学を本格的に学ぶためのコースを用意しています。まず完全性定理の証明を通じて、「数学における正しい論証とは何か」という問題に対する、1つの決定的な解答を学びます。セミナー形式の卒業研究では、完全性定理の基礎の上に立って、数理論理学の立場から4年間の大学数学を俯瞰し、集大成を行います。

大学院では、ゲーデルの先駆的研究から様々に分化発展した諸分野のうち、特にモデル理論と集合論を研究しています。モデル理論は、諸々の数学的構造(群、環、体、グラフ…)を統一的な視点から分類・研究する分野です。一方集合論は、現代数学のすべてを展開できるだけの大きな公理系を設定し、その枠組みの中で無限概念について研究する分野といえます。

数学専攻には、こうした研究を行っている教員が揃っており、各種数学特別セミナー、講義、研究集会などを通じて様々な数学を学ぶことが出来ます。前期課程修了時には日本数学会などの一般講演を目標に、後期課程修了時には、国内外での研究集会における研究発表および国際的な学会誌や学術誌に掲載されるレベルの欧文の論文発表を具体的な目標にしています。数学専攻では、次世代の数学を担い、また数学を通して社会に貢献する人材の育成に努めています。

計算機数学

人間と計算との関わりは古いですが、いわゆるdigital computerが出現するのは1940年代です。それ以前に既にそもそも計算できる関数はどんなものかに関する計算可能性の理論のような分野も成立していましたが、計算機の発達にともない、それに密接に関連したところで、色々な数学的研究がなされています。単なる数値計算にとどまらず、代数計算をとりあつかう計算代数学、実際に計算にどのくらいの手間がかかるかを研究する計算量の理論、計算機言語の色々な意味論と枚挙に暇がありません。2011年には、ついにこれまでのdigital computerとは全く違う、量子力学に基づく実用的な量子計算機も市場に投入されました。

筑波大学数学類では、2年次に「計算機演習」で、数式処理システム等に触れながら、数学への計算機の利用やプログラミングの基礎を学びます。そして、3年次の講義で、「ユークリッドの互除法」を軸に、数学の問題解決のためのさまざまなアルゴリズムや計算量など、実際の計算を視野に入れた数学の基礎を学びます。3年次の後半から4年次にかけてはそれぞれの教員について、選んだ分野を深く学びます。

大学院では、ゲームの必勝戦略を数学的に解析する「組み合わせゲーム理論」、符号理論・暗号理論に代表されるように代数や組合せ論の応用を研究する「応用代数」、数式を計算機上で扱い、数学や理工学の様々な問題を解くためのアルゴリズムやシステムを研究する「計算代数」、「理論計算機科学」ならびに「微分幾何学」の「圏論」の立場からの研究などがなされています。計算機環境も充実しています。

数学専攻には、こうした研究を行っている教員が揃っており、各種数学特別セミナー、講義、研究集会などを通じて様々な数学を学ぶことが出来ます。前期課程修了時には日本数学会などの一般講演を目標に、後期課程修了時には、国内外での研究集会における研究発表および国際的な学会誌や学術誌に掲載されるレベルの欧文の論文発表を具体的な目標にしています。数学専攻では、次世代の数学を担い、また数学を通して社会に貢献する人材の育成に努めています。