2014年度 シラバス学部 2014年度 シラバス学部 2014年度 シラバス学部
| 2015/02/01 現在 |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
1年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
渡部 繁 |
| 担当教員名 ／Instructor |
前田 多可雄 , 浅井 和人 , 渡部 繁 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
理工系大学の基礎課程における数学は、線型代数と微積分の二コースについて学習するのが通例とな っている。本講義では、線型代数の前半部分を学習する。もう一方の柱である微積分と並行して履修 することが求められる。線型代数の理解なくして微積分の理解はありえないし、その逆もありえない からである。 線型代数は、和とスカラー倍によって不変な対象を調べる分野であって、高校では、ベクトルや行列 としてすでに現れている。歴史的には、連立一次方程式の解法を源泉としているが、中心テーマであ る行列の固有値問題は、連立線型微分方程式の理論に始まる。この講義では、固有値問題を考える上 で必要となる最小限の概念と、計算技術の習得とを目標にする。 受身になりがちな講義と並行して、学生の主体的学習の場として演習も行う。学生諸君の積極的参加 を期待する。 線型代数が扱うテーマは、コンピュータ理工学のあらゆる分野に現れる。グラフィックスひとつにし ても、その数理を理解する上で、線型代数は欠くことができない。確かに、数学はそれ自身のために 発展してきたという側面がある。しかし、工学や物理学等からの要請から生まれ、または発展してき たという側面もある。コンピュータ理工学を学ぼうとする諸君が、数学をここで学ぶのはそのためで ある。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
授業の目的と到達目標 この講義では、固有値問題を考える上で必要となる最小限の概念と、計算技術の習得とを目標にして、 以下のような内容を扱う。 まず、平面や空間のベクトル、二次行列から始めて、一般の数ベクトル、行列へと話をすすめる。次 いで、行列の基本変形と連立一次方程式、逆行列との関係について触れ、行列の取り扱いに慣れても らう。これに行列式と線型空間の基礎理論を加えて、固有値問題への準備は完了するのである。 到達目標 行列の階数を理解し、一次方程式系を解くことができる。 線型空間の基底、次元を理解し、線型部分空間が扱える。 |
| 授業スケジュール ／Class schedule |
１ 平面および空間のベクトル ２ 三次行列と空間における線型変換 ３ 行列の定義と演算 ４ 正方行列とくに正則行列、行列と線型写像 ５ 行列の基本変形と階数 ６ 一次方程式系（１） ７ 一次方程式系（２） ８ 行列式の定義 ９ 行列式の性質 １０ 行列式の展開と計算法 １１ 線型空間の定義と性質 １２ 線型空間の基底と次元（１） １３ 線型空間の基底と次元（２） １４ 線型部分空間 １５ 線型写像、とくに線型変換の性質 |
| 教科書 ／Textbook(s) |
斉藤正彦著 線型代数入門 （東京大学出版会） 水田義弘著 理工系 線形代数 （サイエンス社） |
| 成績評価の方法・基準 ／Grading method/criteria |
期末テスト （中間テスト、レポートの扱いは教員によって異なる。） |
| 履修上の留意点 ／Note for course registration |
履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
オフィスアワー 授業で指示する。 |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
1年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
渡部 繁 |
| 担当教員名 ／Instructor |
前田 多可雄 , 渡部 繁 , 渡邊 曜大 , 本田 親寿 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
線型代数 I の続きとして、固有値問題を扱う。前期と同様に、微積分 と並行して履修することが求められるが、その理由は I に述べた通りである。 たとえば、多変数関数の微積分において、行列や行列式が決定的な役割を 果たす様を見ることになる。また、固有値問題は、数列の漸化式を解く有 力な方法を提供する。線型代数と微積分とを有機的に結び付けて理解して おくことがいかに重要であるか、痛感することになるだろう。また、電 磁気学で必要不可欠なベクトル解析の下地もここで養われる。その他、演 習も含め基本的方針は、線型代数 I と変わるところはない。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
授業の目的と到達目標 行列の固有値問題の理解 固有値、 固有ベクトル、対角化 到達目標 行列の固有値、固有ベクトルが求められる。 行列の対角化ができる。 ユニタリ行列による正規行列の対角化ができる。 |
| 授業スケジュール ／Class schedule |
１ 内積 ２ 計量線型空間 ３ シュミットの直交化 ４ 固有値問題入門 --- 対角化の意義 ５ 固有値と固有ベクトル（１） ６ 固有値と固有ベクトル（２） ７ 行列の対角化（１） ８ 行列の対角化（２） ９ ユニタリ行列による正規行列の対角化（１） １０ ユニタリ行列による正規行列の対角化（２） １１ ユニタリ行列による正規行列の対角化（３） １２ 直交行列による実対称行列の対角化 １３ 二次形式 １４ 二次曲線 １５ 行列の指数関数 授業の順序は変更することがある。 |
| 教科書 ／Textbook(s) |
斉藤正彦著 線型代数入門 （東京大学出版会） 水田義弘著 理工系 線形代数 （サイエンス社） |
| 成績評価の方法・基準 ／Grading method/criteria |
期末テスト （中間テスト、レポートの扱いは教員によって異なる。） |
| 履修上の留意点 ／Note for course registration |
履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
オフィスアワー 授業で指示する。 |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
1年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
木原 浩 |
| 担当教員名 ／Instructor |
渡部 俊朗 , 木原 浩 , 小川 佳子 , 渡邊 曜大 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
本講義では、微積分の前半部分を学習する。もう一方の柱である線型代数と並行して履修することになるが、線型代数の理解なくして微積分の理解はありえない し、その逆もありえないからである。また物理では、早々に微積分が必要となり、さらにはベクトルに対する微積分まで登場する。これらを学習するためにも、 なるべく早い時期に、二つの基礎数学に接し、双方を有機的に結び付けて理解しておくことは重要である。 微積 分は、図形の面積、曲線への接線等の問題を出発点とし、ニュートンによる力学的考察に基づいて一定の基礎が築かれた。極限の概念がその根底にあるのは、い うまでもないことである。その後も、先人達によって整備された微積分は、その扱われ方の違いから、一変数と多変数のふたつにわけられる。本講義では、この うち一変数の微積分を扱う。基本的な計算技術に関しては、高校で学ぶ事柄と大差はなく、扱う関数の範囲を若干ひろげるだけのことである。異なるのは、極限 概念の取り扱いであるが、厳密な議論を行うには無理な点があるので、全面的な導入はしない。受身になりがちな講義と並行して、学生の主体的学習の場として 演習も行う。学生諸君の積極的参加を期待する。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
高校で習った微積分に よりしっかりした基礎付けを行いながら、 逆三角関数や関数の展開 積分の漸化式等のより高度な内容も紹介していく。 この教科は このあとで習う微積分II、確率統計学、フーリエ解析、複素関数論だけでなく、物理やコンピュータサイエンスのあらゆる分野に進むための基礎知識となる。 |
| 授業スケジュール ／Class schedule |
1. 実数の集合 2. 数列の極限 3. 関数の極限と連続関数 4. 導関数および指数関数と対数関数 5. 三角関数と逆三角関数および高次導関数 6. オイラーの公式 7. 微分、平均値の定理および関数の増減 8. テイラーの定理および関数の展開 9. 不定積分と漸化式 10. 有理関数の積分 11. 一階および二階の線型微分方程式 12. 定積分の定義および性質 13. 定積分の計算と定義の拡張、図形の計量 |
| 教科書 ／Textbook(s) |
栗田稔著「新講 微積分学」学術図書、１、４４２円 米田元 著 「理工系のための微分積分入門」 サイエンス社 １８９０円 |
| 成績評価の方法・基準 ／Grading method/criteria |
小テスト、期末テスト |
| 履修上の留意点 ／Note for course registration |
なし 履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
授業で指示する |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
1年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
木原 浩 |
| 担当教員名 ／Instructor |
渡部 俊朗 , 木原 浩 , 小川 佳子 , 三瓶 岳昭 , 土屋 貴裕 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
微積分Iに引続き、多変数関数の微積分を扱う。一変数のときと比べて、趣が異なるけれども、実際の計算は、一変数の場合に帰着してしまう。従って、授業を 大事にして基本さえおさえておけば、何ら恐れることはない。なお、基本的方針は、微積分 I と変わるところはない。また、線型代数 II の項も参照されたい。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
多変数の微積分の基礎の修得を目的とする。 １変数関数に対する微分は多変数関数に対する偏微分に拡張されるが その考え方 計算は難しくない。微分を１変数関数の極大極小問題に応用したように偏微分を多変数関数の極大極小問題に応用する。 また １変数関数に対する積分は多変数関数に対する重積分に拡張されるが やはりその考え方 計算は難しくない。特に１変数関数に対する置換積分にあたる変数変換の技法に習熟してほしい。 最後に 級数についても学ぶ。特に関数項級数は フーリエ変換、複素関数論の基礎にもなる。 |
| 授業スケジュール ／Class schedule |
1. 媒介変数による曲線の表示 2. 偏微分係数 3. 合成関数の微分法 4. 全微分および関数の展開 5. 関数の極大極小 6. 陰関数および曲線と曲面 7. 重積分およびその計算 8. 変数の変換による重積分 9. 面積および体積 10. 一次微分式と積分 11. 無限級数の収束、絶対収束と条件収束 12. 無限級数の和と積および関数列の極限 13. 整級数 |
| 教科書 ／Textbook(s) |
栗田稔著「新講 微積分学」学術図書、１４４２円 米田元 著 「理工系のための微分積分入門」 サイエンス社 １８９０円 |
| 成績評価の方法・基準 ／Grading method/criteria |
小テスト、期末テスト |
| 履修上の留意点 ／Note for course registration |
線型代数I、微積分I 履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
授業で指示する |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
2年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
前田 多可雄 |
| 担当教員名 ／Instructor |
前田 多可雄 , 土屋 貴裕 |
| 推奨トラック ／Recommended track |
CF,CM,VD,CN,VH,RC,BM |
| 履修規程上の先修条件 ／Prerequisites |
(M1 or M2) & (M3 or M4) |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
本講義では、一学年に学んだ微分積分の続きであり、解析学の基礎であるフーリエ解析について学習する。フーリエ解析は、フーリエによる熱伝導の研究が出発点であるが、思想的にはギリシャのピタゴラスによる音楽理論にはじまる。音や光などの波動の研究が関係しており、理工学において幅広く利用されている。コンピュータサイエンスにおいてもフーリエ解析（ラプラス変換を含む）は、システム理論、信号処理や通信理論の理解に欠かせない。むしろ、フーリエ解析なくしてこれらを学問的に扱うのは不可能である。フーリエ解析は、信号を多くの正弦波の重ね合わせとしてみる。またフーリエ解析の画像や波形の工学的応用アルゴリズムは、ディジタル信号処理の中で位置づけられる。数学の歴史では、フーリエ解析は、複素関数論とともに、近代解析学が生まれる一つの契機となった。フーリエ変換は、複素関数の演算に利用することも頻繁に行われている。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
本授業では、歴史的な発展にはふれないが、できるだけ応用に触れる形で行う。また演習問題を適宜出題するので、それの解答をレポートとして提出してもらう。 学生諸君は、一学年時の線形代数や微分積分を復習しつつ、工学の学習内容と関連させつつ、学習していただきたい。これらを真に学ぶことなくして、コンピュータサイエンスやコンピュータエンジニアリングを深く専攻することは不可能である。本授業は、真剣に大学の学術を学ぼうとする姿勢の学生にとって有意義なものとなるであろう。 |
| 授業スケジュール ／Class schedule |
0. イントロダクション、 1. 直交関数系、フーリエ級数 2. 任意区間のフーリエ級数、複素フーリエ級数、ベッセルの不等式 3. 演習 4. フーリエ係数、フーリエ級数の収束条件 5. フーリエ級数の収束、パーセバルの等式 6. 演習 7. フーリエ積分、フーリエ変換の性質 、フーリエ積分の収束、 8. 合成積（たたみこみ） 、パーセバルの等式 9. 演習 10. ラプラス変換 11. 定数係数常微分方程式の解法 12. 演習 13. 離散的フーリエ変換 14. 高速フーリエ変換(FFT) 15. 総合演習 |
| 教科書 ／Textbook(s) |
洲之内源一郎：フーリエ解析とその応用（サイエンスライブラリ、理工系の数学１２）、サイエンス社 |
| 成績評価の方法・基準 ／Grading method/criteria |
期末試験を基本とし、これに講義毎の小テスト及び演習毎のレポートを総合的に加味し最終評点をつける。 |
| 履修上の留意点 ／Note for course registration |
先修科目：M-3 微積分I又はM-4 微積分 II, M-1 線形代数 I又はM-2 線形代数 II 重要な関連科目：M-6 複素解析、A-8 ディジタル信号処理、A-3 画像処理学 履修規程上の先修条件：M1 線形代数 I または M2 線形代数 II M3 微積分 I または M4 微積分 II |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
「フーリエの冒険」,ヒッポファミリークラブ、3,500円＋税 金谷健一著「これならわかる応用数学教室」,共立出版、2,900円＋税 |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
2年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
浅井 和人 |
| 担当教員名 ／Instructor |
杉山 雅英 , 木原 浩 , 浅井 和人 |
| 推奨トラック ／Recommended track |
CF,CM,VD,CN,RC |
| 履修規程上の先修条件 ／Prerequisites |
M5 |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
複素関数とは，広い意味では複素数から複素数への写像，すなわち複素変数複素数値関数であるが，通常複素関数論と言えば， さらに解析性と呼ばれる性質をもつ関数を扱う． 解析性とは，局所的に（十分小さい円の内部で）収束するべき級数で展開されるという性質であり， それはまたそこにおいて関数が正則（複素変数として微分可能）ということと同値となる． 本講では，まず複素関数を導入した後，その正則性とCauchy--Riemannの関係式を学ぶ．次に複素平面上の曲線に沿った 複素積分を定義した上で，Cauchyの積分定理，積分公式などを導く． さらにその応用としてTaylor展開および Laurent展開を得る． 前者はべき級数による関数の展開であって，複素関数論におけるもっとも基本的な結果である． 後者は特異点や留数定理の研究に応用される．また，最大値の原理, 微分方程式のべき級数による解法， Roucheの定理による零点の個数計算など，直接応用に役立つ事柄も数多く導かれる． この理論を学ぶとき，必要な定理が次から次へと自然に導かれていくことに感銘を受けるだろう．それゆえ複素関数論は， 数学のなかでも美しい体系を持っていると言われる．その中でも最も印象に深いことは， 解析性をもつ関数は，極めて小さい領域における振る舞いによって，全領域での振る舞いが決まってしまうという事実である． このことは，あらゆる生物が1つの細胞から全体を復元できることと似ている． 解析性という性質は，私たちが一般に実関数としてなじみの深い関数: 多項式，有理関数，指数関数，対数関数，三角関数，およびそれらを組合せて得られるものすべてが持っている性質である． それゆえ複素関数論は，種々の分野において容易に応用されるという特徴を持つ． 電磁気学，流体力学，熱伝導論や，コンピュータサイエンスにおけるシステム理論，信号処理等，さまざまな応用分野において， 複素関数論の素養は極めて重要な要件と言える． |
| 授業の目的と到達目標 ／Objectives and attainment goals |
正則な関数について理解し，Cauchyの積分定理，積分公式を種々の問題に応用できるようにする. 解析関数をTaylor級数， Laurent級数に展開できることを学ぶ. 留数定理を積分計算に応用する. 到達目標: 正則な関数，Cauchy--Riemannの関係式，複素積分，Cauchyの積分定理，Cauchyの積分公式，Taylor級数，Laurent級数， 特異点，留数定理. |
| 授業スケジュール ／Class schedule |
（以下は一例であり，詳細は各クラス毎に異なる） 1. 複素平面，無限遠点 2. 正則な関数，Cauchy-Riemannの関係式 3. 調和関数 4. 指数関数，三角関数，対数関数，べき根，一般のベキ 5. 複素積分 6. Cauchyの積分定理，正則関数の積分 7. Cauchyの積分公式，Liouvilleの定理, 最大値の原理 8. 複素数列，級数 9. 関数列, 関数項を持つ級数, 一様収束 10. ベキ級数と収束域 11. Taylor展開 12. Laurent展開，零点，特異点 13. 留数定理 14. 種々の（実）定積分への応用 15. 微分方程式のベキ級数解 |
| 教科書 ／Textbook(s) |
ハンドアウト（各教員による）および，以下の教科書 杉山クラス: なっとくする複素関数，(2000)，講談社，小野寺嘉孝 著 浅井クラス: ハンドアウトを主たる教科書とする．参考書としては，なっとくする複素関数，(2000)，講談社，小野寺嘉孝 著 木原クラス: 工学基礎，複素関数論，サイエンス社，矢嶋徹，及川正行 共著 |
| 成績評価の方法・基準 ／Grading method/criteria |
先修科目: 微積分I 重要な関連科目: 微積分II，フーリエ解析，電磁気学 |
| 履修上の留意点 ／Note for course registration |
期末試験，小テスト，レポートを総合的に判断する． 詳細は担当教員によって異なるのでホームページ等で確認すること． 履修規程上の先修条件：M5 フーリエ解析 |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
杉山クラスの授業用ホームページ: http://web-int.u-aizu.ac.jp/~sugiyama/Lecture/CA/2014/welcome.html 浅井クラスの授業用ディレクトリ: ~k-asai/classes/holm/ 浅井クラスのハンドアウトと演習問題: http://web-ext.u-aizu.ac.jp/~k-asai/classes/class-texts.html |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
2年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
渡部 俊朗 |
| 担当教員名 ／Instructor |
渡部 俊朗 , 木原 浩 , 土屋 貴裕 |
| 推奨トラック ／Recommended track |
CF,CM,CN,VH,RC,BM,SE |
| 履修規程上の先修条件 ／Prerequisites |
M3 or M4 |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
Statistics is the most useful area in mathematics. However, it is not well known for students. It is important when we learn an elementary course of probability theory and Statistics. |
| 授業の目的と到達目標 ／Objectives and attainment goals |
As a study of random variation and statistical inference, Probability and Statistics are important in computer science and other wide areas of Mathematical sciences. The words of error, mean, variance, correlation, estimation are used most often. But, their definitions are not well known and badly understanded. In this course, we explicitly explain these words and concepts of Probability and Statistics. They are useful knowledge for students. Moreover, statistical analysis is the basis on solve statistic problems in research and business. |
| 授業スケジュール ／Class schedule |
1. basis of statistics 2. 1-dim data 3. 2-dim data 4. probability 5. random variable 6. probability distribution 7. multi-dimensional probability distribution 8. Law of large number 9. sample distribution 10. sample from Gaussian distribution 11. estimation 1 12. estimation 2 13. hypothesis test 1 14. hypothesis test 2 15. exercise |
| 教科書 ／Textbook(s) |
Tokei kaiseki Nyumon (Kyoritu Press) |
| 成績評価の方法・基準 ／Grading method/criteria |
Test and reports |
| 履修上の留意点 ／Note for course registration |
M3 Calculus I or M4 Calculus II Formal prerequisites:M3 Calculus I or M4 Calculus II |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
An Introductiion to Probability Theory and its Application, Vol 1 Tokeigaku Nyumon (Tokyo Univ Press) |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
2年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
浅井 信吉 |
| 担当教員名 ／Instructor |
浅井 信吉 , 杉山 雅英 , 浅井 和人 |
| 推奨トラック ／Recommended track |
CF,CM |
| 履修規程上の先修条件 ／Prerequisites |
(M1 or M2) & F3 |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
本科目では代数的な演算を定義した種々の集合とその性質について学ぶ．定義される演算が満たす条件に応じて，それら集合は，群，環，体などと呼ばれる．代数的な演算を抽象的に取り扱うことで，これらの対象について一般的に論じられる性質を学ぶことができる．これは，コンピュータサイエンスの基礎として「アルゴリズムとデータ構造」や「離散系論」などを学ぶとき，様々な具体的な問題を抽象化してアルゴリズムや離散系として論ずるのと同様である．一見すると形式的な抽象理論のように感じらるが，実際には整数，実数や行列などの具体的な集合の持つ共通な代数的な性質の一般化である．それらの議論の応用として，符号理論，公開鍵暗号や乱数生成などの実際的な問題について学ぶ．講義では定理の証明をなるべく分かりやすく述べると共に，定理の持つ意味やその応用を述べる．また抽象的に考える力，演繹する思考法を学ぶ．理解を助け深めるため，例題（計算問題，証明問題）及び課題（宿題）などを課す．講義内容の確認のためのクイズ，小テストを適宜実施する． |
| 授業の目的と到達目標 ／Objectives and attainment goals |
代数的構造を理解しそれから導かれる様々な応用例を理解する． 以下の項目を学習する：代数的演算と構造，半群，群，正規部分群，剰余群，準同型定理，有限群，直積（直和）分解，対称群，一般線形群，環，全行列環，イデアルと剰余環，準同型定理，中国の剰余定理， 素イデアルと極大イデアル，局所化 (可逆化)，単項イデアル環，一意分解環，ユークリッド整域，多項式環，体，体の拡大，代数拡大，最小分解体，有限体，作図可能性, M 系列, 符号理論 |
| 授業スケジュール ／Class schedule |
授業スケジュールはクラスによって異なるので注意すること．以下の述べた授業スケジュールは例である．詳しい情報はクラスの web を参照すること． 01 代数系へのプロムナード 02 整数と多項式の剰余と代数系 03 群(1): ラグランジュの定理 04 群(2): 剰余群と準同型定理 05 群(3): 群の構造の解析 06 群の応用: 三山崩し 07 中間試験 08 環と体(1): イデアル，剰余環 09 環と体(2): 多項式環 10 環と体(3): 可逆化 11 応用(1): 商体と演算子法 12 環と体(4): 体の拡大 13 応用(2): 作図可能性 14 応用(3): M 系列乱数の生成 15 応用(4): 誤り訂正符号 |
| 教科書 ／Textbook(s) |
クラスにより教科書が異なるので注意すること． - 杉山，N.浅井クラス 杉原，今井，工学のための応用代数，共立出版 (1999). - K.浅井クラス 平林隆一, 工学基礎 代数系とその応用, 数理工学社 (2006). |
| 成績評価の方法・基準 ／Grading method/criteria |
クラスにより評価法が異なる．詳細はクラス担当者に確認すること． - 杉山，N.浅井クラス 定期試験 (中間テスト/期末テスト) クイズ/宿題 - K.浅井クラス 期末試験 小テスト レポート |
| 履修上の留意点 ／Note for course registration |
先修科目: 線形代数I, 離散系論 重要な関連科目: 情報理論 履修規程上の先修条件：M1 線形代数 I または M2 線形代数 II F3 離散系論 |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
杉山クラスの授業用ホームページ: http://web-int.u-aizu.ac.jp/~sugiyama/Lecture/AA/2014/welcome.html K.浅井クラスの授業用ホームページ: 授業用ディレクトリー: ~k-asai/classes/aalg ハンドアウトL: http://web-ext.u-aizu.ac.jp/~k-asai/classes/class-texts.html - D.W.ハーディ，C.L.ウォーカー, 応用代数学入門, ピアソンエデュケーション． - 水野弘文, 情報代数の基礎, 森北出版. - 伊理正夫, 藤重悟, 応用代数, コロナ社. - 小野寛晰, 情報代数, 共立出版. - ヘルマン・ヴァイル, シンメトリー, 紀伊国屋書店. - 一松信, 石取りゲームの数理, 森北出版. - J.ロットマン, ガロア理論, Springer. - 渡辺，草場，代数の世界，朝倉出版. - 細井，情報科学のための代数系入門，産業図書. - 宮崎興二, かたちと空間，朝倉書店. - 内田, 有限体と符号理論, サイエンス社. - 草場, ガロワと方程式, 朝倉書店. - E.アルティン, ガロア理論入門, 東京図書. - ブライアンヘイズ, ベッドルームで群論を, みすず書房. - D.M.デイビス, 美しい数学, 青土社． N.浅井クラスの授業用ホームページ: http://web-int.u-aizu.ac.jp/~nasai/Lecture/AA/2014/welcome.html |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
3年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
ローター シュミット |
| 担当教員名 ／Instructor |
ローター シュミット |
| 推奨トラック ／Recommended track |
CF |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
The course has three parts: (1) Review of Boolean Logic and Propositional Logic. ============================================= This serves as a review to bring students with different prerequisites to the same level. Topics discussed include: Mathematical propositions and truth values in {0=false,1=true}; Set theory; Boolean algebras as generalizing principle of the latter two subjects; Stone's Theorem. Some computer applications of the material is discussed as well. (2) Fuzzy Sets and Applications. =========================== Here the structure of (1) is generalized to truth values in the full interval [0,1] in IR. This allows to define fuzzy subsets of a given set, the embedding of regular sets into the set of fuzzy subsets. A special case of fuzzy subsets are fuzzy relations. The main application of this chapter is the rigorous development of the Tamura classification method based upon a given fuzzy relation. An indication how to use this method in image reconstruction is given. See: http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5408605 (3) Model Theory. ================= In mathematics, model theory is the study of (classes of) mathematical structures (e.g., groups, fields, graphs, universes of set theory) using tools from mathematical logic. A theory is built which allows to say in a proper calculus: One can verify a formula or theorem in any set interpretation, if and only if one can find a formal proof of that formula or theorem by means of strict textual manipulations according to a fixed set of proof-rules without referring to special properties of any example. This is known as Goedel's completeness theorem. |
| 授業の目的と到達目標 ／Objectives and attainment goals |
To learn Logic and Applications from three perspectives: classical Boolean Logic, Fuzzy Logic, and Model Theory (logic of proofs, first order logic). |
| 授業スケジュール ／Class schedule |
Boolean Logic I-IV. Fuzzy Logic and Relations V-VIII. Model Theory IX-XV. |
| 教科書 ／Textbook(s) |
[1] Online Lecture Notes (email L@LMSchmitt.de for the link). [2] Pattern Classification Based on Fuzzy Relations, S. Tamura et al,: IEEE Transactions on Systems, Man and Cybernetics, 1971 [3] Mathematical Logic (Springer Undergraduate Texts in Mathematics) H.-D. Ebbinghaus, J. Flum, W. Thomas |
| 成績評価の方法・基準 ／Grading method/criteria |
Required for admission to final exam: [a] sufficient attendance and [b] participation in online quizzes (this is for training only). The final exam determines the grade. |
| 履修上の留意点 ／Note for course registration |
Rather self-contained course. Understanding basic logic and real numbers is welcome. Formal prerequisites:None |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
Online Lecture Notes (email L@LMSchmitt.de for the link). |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
2年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
丁 数学 |
| 担当教員名 ／Instructor |
丁 数学 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
現代数学の基礎となす位相幾何の諸概念とその応用について講述する。オイラー標数やベッチ数というグローバル的な構造と関係する離散不変量とその計算方法、そして、幾何学的な対象（位相空間）から代数的な対象（ホモロジー群）が導かれる仕組みとその性質を理解し、閉曲面などの具体的な幾何学的対象に対してホモロジー群を実際に計算できることを目標とする。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
抽象的な意味での曲線や曲面の定義，オイラー数やベッチ数、ホモロジーといったグローバル的な概念と基本性質、計算方法などを理解と応用する。 |
| 授業スケジュール ／Class schedule |
１．概論：トポロジーと現代数学、現代理工学；１次元のトポロジー：ケーニヒスベルクの橋と一筆書き問題 ２．１次元のトポロジー：連結性とオイラーーポアンカレの定理（１） ３．１次元のトポロジー：ユークリッド空間への埋め込み（１）、多角形のジョルダンの定理 ４．2次元のトポロジー：閉曲面、閉曲面の展開図 ５．2次元のトポロジー：閉曲面の分類、 ６．2次元のトポロジー：連結性とオイラーーポアンカレの定理（２） ７．2次元のトポロジー：ユークリッド空間への埋め込み（２）；（多次元次元へ一般化：複体と多面体） ８．前半内容の復習と中間試験 ９．群と準同型、同型 １０．部分群とカネール、イメージ、準同型定理 １１．鎖群と鎖複体 １２．ホモロジー群 １３．0次元ホモロジー群 １４．1次元ホモロジー群 １５．連結性とオイラーーポアンカレの定理（３） |
| 教科書 ／Textbook(s) |
瀬山士郎著「トポロジー：柔らかい幾何学」 増補版 日本評論社 |
| 成績評価の方法・基準 ／Grading method/criteria |
出席状況とクイズ（15%）、演習レポート（授業の前に前回のレポートを提出すること）（20%）、中間試験（30%）、学期末試験（再試験なし）（35%） |
| 履修上の留意点 ／Note for course registration |
線形代数 I 履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
小宮克弘著 「位相幾何入門」裳華房 川久保勝夫著 「トポロジーの発想」講談社 Stephen Barr 「Experiments in Topology」 Dover Publications, INC |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 前期 ／First Semester |
|---|---|
| 対象学年 ／Course for; |
3年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
ローター シュミット |
| 担当教員名 ／Instructor |
ローター シュミット |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
We study the ideas of topology from the application perspective of analysis. For this purpose, the definition of the real numbers IR is reviewed and it is shown how the sub-axiom in IR relates to the existence of limits. In the major part of the course, the relationship between (1) limits in IR^n (2) the canonical topology in IR^n (3) continuous functions is discussed. The relationship between these structures is studied extensively. As an application, we show, e.g., that compactness and associated uniform continuity are the ingredients which make integration work. The second major part of this course introduces a rigorous treatment of the concept of continuous deformation (homotopy) and the fundamental groups which one can construct using homotopy equivalence classes of continuous functions on a set with a given topology. As an application we show the fundamental theorem of algebra at the end of the course. |
| 授業の目的と到達目標 ／Objectives and attainment goals |
Learn topological concepts in the context of the geometry in finite dimensional vector spaces and the natural (Euclidean) norm including embedded objects such as the torus in IR^3. Relate the concepts of supremum, limit, topology and continuous functions. Show how these concepts and homotopy apply in other mathematical disciplines. |
| 授業スケジュール ／Class schedule |
Review of IR, sup, IR^n (I-II). Limits (III-IV). Topology and relation to limits (V-VI). Continuous functions and relation to limits and topology (VII-IX). Applications to concepts in Analysis (X). Homotopy and associated groups (XI-XIV). Fundamental Theorem of Algebra and other applications (XV). |
| 教科書 ／Textbook(s) |
[1] A Geometric Introduction to Topology (Dover Books on Mathematics) C. T. C. Wall [2] Analysis I (Addison-Wesley) S. Lang |
| 成績評価の方法・基準 ／Grading method/criteria |
Required for admission to final exam: [a] sufficient attendance and [b] participation in online quizzes (this is for training only). The final exam determines the grade. |
| 履修上の留意点 ／Note for course registration |
This is a follow-up course on topology and the reader is supposed to be familiar with the introductory course on topology given in UoA. Formal prerequisites:None |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
Lecture Notes can be obtained from L.M.Schmitt on CD. (email: L@LMSchmitt.de) |
| 科目一覧へ戻る |
| 開講学期 ／Semester |
2014年度／Academic Year 後期 ／Second Semester |
|---|---|
| 対象学年 ／Course for; |
3年 |
| 単位数 ／Credits |
2.0 |
| 責任者 ／Coordinator |
陳 文西 |
| 担当教員名 ／Instructor |
陳 文西 |
| 推奨トラック ／Recommended track |
－ |
| 履修規程上の先修条件 ／Prerequisites |
－ |
| 更新日／Last updated on | 2014/09/27 |
|---|---|
| 授業の概要 ／Course outline |
地理情報システム（GIS）やコンピュータグラフィックス（CG）、コンピュータ援用設計（CAD）、パターン認識などでは大量の幾何図形データを高速に処理しなければならない。本科目では、コンピュータでこのような幾何学的な問題を取り扱うための効率的なアルゴリズムとデータ構造の設計と解析を勉強する。 本授業は実世界の問題を提起し、計算幾何学と結びつけ、直観的な考え方から出発し、アルゴリズムを導き出し、適切なデータ構造を用いて問題を解く手法を説明する。 プログラミング宿題の他に、プロジェクト研究課題を設け、計算幾何学知識を活かせて、実際の問題解決へのアプローチを身に付けながら計算幾何学の素晴らしさを楽しむ。 |
| 授業の目的と到達目標 ／Objectives and attainment goals |
計算幾何学の基本となるデータ構造やアルゴリズムを理解し、具体的な問題に対して応用できるようにする。 |
| 授業スケジュール ／Class schedule |
第一章 基本概念 主要な幾何学的問題、典型的なデータ構造とアルゴリズムの復習 第二章 線分交差 直交線分と任意線分の交差検出 第三章 凸包 定義と計算方法（直接法、包装法、Graham走査法、逐次添加法等） 第四章 ボロノイ図 定義、性質と構成方法（直接法、逐次添加法、分割統治法、Fortune走査法） 第五章 ドローネ三角形分割 基本概念、関連術語、求め方（正当な三角形分割法、平面双対法、逐次添加法） 第六章 幾何的領域探索 直交領域探索の概念、1と2次元領域探索 第七章 多角形の三角形分割 問題の提起、基本概念、平面走査法 |
| 教科書 ／Textbook(s) |
? Computational Geometry - Algorithms and Applications M. Berg, M. Kreveld, M. Overmars, and O. Schwarzkopf 著 Springer-Verlag 又はその和訳版 ? コンピュータ・ジオメトリ－計算幾何学：アルゴリズムと応用 M. ドバーグ、M. ファン・クリベルド、M. オーバマーズ、O. シュワルツコップ 著 浅野 哲夫訳、近代出版社 又は ? 計算幾何学入門 - 幾何アルゴリズムとその応用 譚学厚、平田富夫 著 森北出版 |
| 成績評価の方法・基準 ／Grading method/criteria |
? 宿題 50% プログラミング問題、4回。 プログラムの実装を通じて、計算幾何学のデータ構造とアルゴリズムに関する知識を深める。 又は ? プロジェクト研究 50% １回。 冬休み期間を利用して、実用性のある課題を提出し、色々なリソースから調査活動を展開し、総合的に実際問題解決へのアプローチを勉強する。 及び ? 期末試験 50% １回。基本概念についての理解程度を検証する |
| 履修上の留意点 ／Note for course registration |
プログラミング言語（C又はJAVA） データ構造とアルゴリズムの基礎 履修規程上の先修条件：なし |
| 参考(授業ホームページ、図書など) ／Reference (course website, literature, etc.) |
参考ホームページ 授業用 http://i-health.u-aizu.ac.jp/CompuGeo/index.html 和文サイト http://www.ise.chuo-u.ac.jp/ise-labs/imai-lab/ http://www.simplex.t.u-tokyo.ac.jp/kika.html 英文サイト http://compgeom.cs.uiuc.edu/~jeffe/compgeom/compgeom.html http://geometryalgorithms.com/ http://mathworld.wolfram.com/ http://www.diku.dk/hjemmesider/studerende/duff/Fortune/ 参考図書 計算幾何学 浅野哲夫 著 朝倉出版 計算幾何学 今井浩、今井圭子 著 共立出版株式会社 Computational Geometry in C J. O'Rourke 著 Cambridge University Press データ構造（アルゴリズムシリーズ１） 浅野哲夫 著 近代科学社 Algorithm in C, Vol. 2（又は同邦訳版） Robert Sedgewick 著 Addison-Wesley |