名古屋大学 情報基盤センター／大学院情報科学研究科
進学案内 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 最近，特に以下に重点を置いて研究を行っている．１点目は，表現論をベースにした量子系での情 報処理の数学的な取り扱いである．量子系は，意外に群論的対称性と相性がよく，一般に解析が困難 な問題であっても，群論的対称性があると，途端に問題の自由度が減少し，解析が容易になることが 多い．また，その対称性からユニバーサルに機能するプロトコルを構成することも可能であり，量子 ...
107
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 境界を持つコンパクト３次元多様体の多くには，その内部と境界にそれぞれ双曲構造と複 素構造が入る．この関係を研究するのがクライン群論である．この分野は，低次元トポロ ジーやリーマン面の変形理論（タイヒミュラー空間論） ，フラクタル集合などが密接に関連 している．この少人数クラスではクライン群の研究に必要な基本的概念や問題意識を身に 付けることを目標にする．具体的には，リーマン面とその普遍被覆変換群としてのフック ...
26
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名：中西 知樹（なかにし ともき） 2) 卒業研究のテーマ：表現論、楕円関数 3）目的：このクラスでは前期に群とリー代数の表現論を、後期に楕円関数をメインテーマ として学ぶ。群とリー代数の表現論とは複数（無限個）の線形写像たちのなす構造を理解す るための基本的な枠組みであり、また、楕円関数とはトーラス上の複素関数の理論である。 ともに現代数学の重要概念として、数学の理論上、あるいは数理物理などの応用上などさま ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 前 期は 、 Bollobas の Modern Graph Theory の第 ７章 から第 ９章 、お よび Ollivier の January 2005 invitation の A primer to geometric group theory の章を講読し、ランダ ム・グラフやグラフ上のランダムウォーク、および幾何学的群論の基礎事項を学習する。 後期は、 Ollivier の January 2005 invitation ...
31
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... この卒業研究では , アルゴリズムについての正しい理解と適切なデータ構造を用いたプロ グラミングを学ぶことを目的とする . 4) 到達目標： 基本的なアルゴリズム及びその意味・数学的背景を正しく理解し, 適切なデー タ構造とプログラム言語を用いて , アルゴリズムの実装ができることを最低限の到達目標と する . ...
12
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 量子群は 1980 年代に発展した数理物理学の可解模型に現れる S- 行列 , R- 行列の研究を 動機として、 1985 年頃に V.G.Drinfeld と神保道夫両氏によって独立に導入された代数系 である。量子群は通常の群ではなく、パラメータ q をもつ非可換環であり、さらに余積を もち、 Hopf 代数と呼ばれる構造を持っている。典型的な例は、 Lie 環の普遍展開環の q- 変 ...
46
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名： 川村 友美 （かわむら ともみ） 2) 卒業研究のテーマ： 結び目理論 3) 目的：結び目理論は主にトポロジーの一分野として発展してきました。近頃はそれにとど まらず他分野との関係についての研究も進んでいます。この卒業研究ではトポロジーの立場 から結び目理論の基礎を学ぶことを目的とします。一般的なトポロジーの知識は前提とはし ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 離散群（可算無限個の元をもつ群）は、そのケーレーグラフとよばれるグラフ（同時に距離空 間でもある）を考えることにより、幾何学的図形あるいは離散解析の舞台と考えることができ ます。 この少人数クラスでは、このようにみた離散群を幾何解析的な手法によって研究することを念 頭において、その基礎になる幾何学的な考え方をリーマン幾何学などの学習を通じて身につけ ...
48
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 情報理論は 1948 年の C. E. Shanon による「通信の数学的理論 (A Mathematical Theory of Communication) 」によって始まる。彼は確率論の手法を用い、ある種の通信路において通信 速度の限界 ( キャパシティ ) をエントロピーで与えた。この後、多くの研究者たちにより、様々 な通信路におけるキャパシティの評価が行われることとなる。これらキャパシティの評価に関 ...
49
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... この卒業研究の目的は、幾何学、とくに曲面や多様体の微分幾何的取り扱いの基礎を学ぶこと です。３年前期に曲面論を学習したと思いますが、その対象は 3 次元ユークリッド空間という 器に入っている曲面でした。卒業研究では、そのような曲面をより詳しく学ぶことから始めて、 器の空間の存在を仮定しない曲面である 2 次元リーマン多様体（進度によっては、さらに高次 ...
17
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 論理学は元々数学の基礎理論として作られて来たが，計算機科学における役割も大きい．プロ グラムの正しさを議論する上では，プログラムの性質を表現した論理は不可欠であり，そのた めに新しい論理が考案される事もある．例えば，ホア論理は手続き型プログラムの正しさを証 明するために作られた．また， 60 年代に発見されたカリー・ハワード同型は論理とプログラミ ...
47
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... ほとんどの学生が毎回出席していましたが、後半では 5 人ほどの欠席者が出たりしました。 Ｂ：コースデザインとの比較、引継事項 共通シラバスでは空間図形・行列・行列の基本変形と連立一次方程式・行列式について目標が掲 げられています．こちらの都合で順序を少し変え，行列の演算を先に教え，空間図形をその後に 教えました．それぞれのテーマについて全てのキーワードを扱い，多くの発展的内容も扱いまし ...
333
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... Ｃ：講義方法 ２コマの前半部分を講義に充て，後半は問題プリント（計 10 枚）を配布して演習を行った。た だし，予定した内容を終えることができず，講義の一部が休憩後の後半に食い込むことがしばし ばあった。線型代数学の基本中の基本を扱った最初の数回は，基礎的問題について指名した学生 に解答させ，その確認を行ったが，それ以降は最後に解答のポイントを解説するだけにとどめた。 講義内演習での質問は，限られた学生からだけであった。 TA ...
346
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 情報科学研究科 (計算機数理科学専攻・情報システム専攻・メディア科学専攻 複雑系科学専攻・社会システム情報学専攻） 情報文化学部 (自然情報科学・社会システム情報学科） その他： ...
351
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... • 教える以外の留意点：履修者名簿ならびに成績報告は３つのカテゴリーからなる。すなわち , 学部生 , 大学院生が学部科目として履修するもの , そして , 大学院生が大学院読み替え A 類科目と して履修するもの。学部生の名簿は web で提供され , 成績も web 入力。一方 , 後者２種は , 事務室 から紙で提供され紙で提出するが , 名簿に重複があったりして履修者の確定やレポートのチェック , ...
350
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... ほとんどの学生が毎回出席していました． Ｂ：コースデザインとの比較、引継事項 共通シラバスでは空間図形・行列・行列の基本変形と連立一次方程式・行列式について目標が掲 げられています．こちらの都合で順序を少し変え，行列の演算を先に教え，空間図形をその後に 教えました．それぞれのテーマについて全てのキーワードを扱い，多くの発展的内容も扱いまし た．具体的には，空間ベクトルに対する線形結合，線形独立・従属，三角行列，行列の分割，実対 ...
321
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... Ｂ：コースデザインとの比較、引継事項 結び目理論の基礎事項をいくつか紹介したのち， 1980 年代に Rudolph が導入した quasipositive links の概念と関連した研究を振り返ることを講義目的とし，予定内容は次の通りであった． 1. Knots, links, and their diagrams. 2. Braids, torus links, quasipositive links. 3. ...
304
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... ほとんどの学生が毎回出席していましたが、後半では 5 人ほどの欠席者が出たりしました。 Ｂ：コースデザインとの比較、引継事項 共通シラバスでは空間図形・行列・行列の基本変形と連立一次方程式・行列式について目標が掲 げられています．こちらの都合で順序を少し変え，行列の演算を先に教え，空間図形をその後に 教えました．それぞれのテーマについて全てのキーワードを扱い，多くの発展的内容も扱いまし ...
160
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 4. 目的、内容、到達目標： 様々な現象を数理的に解析して問題を解決しようとする場合の、最も基本的道具は微分 と積分です。微積分はニュートンによって古典力学に用いられて以降、その適用範囲を拡 げるために様々な方向に拡張されました。また問題を解く（求積する）ために代数的構造 や幾何学的視点が有用であることも次第に明らかになってきました。このような発展性を もつ微積分の ” 力 ” ...
32
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教官名： 粟田 英資 2) 卒業研究のテーマ： 解析力学 3）目的： 本卒業研究の主題である解析力学とは、ニュートン力学を座標系の選び方に依ら ない様に定式化したもので、いわゆる古典物理のかなめであると同時に量子物理の基礎にも なっています。 ニュートン力学はその誕生以来、数学、特に解析学や幾何学と互いに大き く影響をおよぼし合いながら発展してきました。数学を良く理解するためにも、物理の言葉 ...
13