[[tsujii/lectures/2010]]
*自主ゼミのテキスト候補 [#m45d3dad]
以下は私（辻井）が思いついたものや同僚の先生に推薦してもらったものです．もちろん他にも良い本はたくさんあると思います．是非図書館にいって，本をいろいろ見てください．リストは今後も追加していきます．
&color(red){New! 溝口先生と中屋敷先生推薦の本を追加しました．};
&color(red){New! 題名から図書館の検索結果のページへのリンクを張りました．（溝口先生に作成していただきました．感謝いたします）};
- 高木貞治「[[初等整数論講義>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00943611]]」（佐藤先生推薦）
- 高木貞治「[[解析概論>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN01222138]]」「[[代数学講義>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN01584478]]」「[[初等整数論講義>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00943611]]」（中屋敷先生推薦）
--コメント：どれも名著でありそのような本を1冊でも読んでおくと
あとの宝になる。著者の語り口にも魅力がある。
- 小林昭七「[[曲線と曲面の微分幾何>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN13051666]]」
- アールフォルス「[[複素解析>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00942222]]」
- ファインマン「[[ファインマン物理学>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00260834]]」（原先生推薦）
- スメール「[[力学系入門>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00680090]]」（辻井 推薦）
- 久我道郎「[[ガロアの夢：群論と微分方程式> http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN03752471]]」（岩瀬先生推薦）
- 久我道郎「[[ガロアの夢：群論と微分方程式>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN03752471]]」（岩瀬先生推薦）
- 志賀浩二 [[数学の流れ30講>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BA81124422]]
--紹介文：このシリーズには「線形代数」や「微分積分」といった基礎的なものから「群論」や「固有値問題」などのもう少し進んだ話題まであります．いずれも記述が丁寧で，それぞれの分野への入門としてよいと思います．
- 長野 正「[[曲面の数学：現代数学入門>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN00773974]]」（植田先生推薦）
--紹介文：数学科で教育を受けると厳密性への「こだわり」が生まれる．これ自身は悪いことではないが，逆にこの「こだわり」を一旦持ってしまうと厳密ではない議論をなかなか受け入れられなくなるのが現実だ．他方で，数学研究者が何でもかんでも厳密性にこだわっているかと言えばそうではない．直感的に明らかなときにやればできる形式的な証明を書き下す馬鹿な真似はしない．厳密性とは直感が働かないときに頼りにする羅針盤のようなものなのである．それ故，数学科の学生に厳密な議論を行うトレーニングを強いる．羅針盤無しの航海など考えれないからだ．
この本は，本質を理解するのに不要な厳密な議論をうまく排除して説明するという，言えば簡単，実行は困難きわまりないことを実行した希有な本である．しかもありきたりの「解説本」ではなく，自分自身で計算しながら読まないと何もわからないという「数学書」なのである．この本は厳密な議論をするトレーニングを受けた直後では「こだわり」故に読みにくく，入学したての今が読むのにもっともふさわしい時期だと思う．この本に限らず１年生の今だからという本は他にもある．提供される講義・演習以外に友人と共に数学と格闘することを強く薦める．
-A.ヴェイユ『[[初学者のための整数論>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BN1250713X]]』
(田口先生推薦）邦訳は絶版。Original は
A.Weil, "Number Theory for Beginners" (Springer-Verlag)
--内容は、
整数論の全く初等的な話から始まつて、
途中 群の言葉とかも少し導入しつつ、また
平方剰余の相互法則とかも証明しつつ、
最後は
「4 で割つて 1 余る素数は二つの平方数の和に書ける」といふ綺麗な定理に辿り着きます。内容的にも面白く、代数の言葉遣ひも或る程度勉強出来るので「現代数学入門」的な要素もあり、それが 120ページぐらいの薄い本に compact に詰まつてゐるので(多少の忍耐力があれば) そんなに息切れせずに読み切れると思ひます。
- M.A.Arbib and E.G.Manes 「[[Arrows, Structures, and Functors>http://opac.lib.kyushu-u.ac.jp/cgi-bin/opc/opaclinki.cgi?ncid=BA0684630X]] -- The Categorical Imperative --」（溝口先生推薦）
--圏論(カテゴリー論)は, 数学のどの分野にも出て来ます. また, 計算機科学に
おいてもデータ構造やプログラム構造を表現するために利用します. 本書は,
やさしい圏論の入門書です. 特別な数学の予備知識は必要ありません. また,
例題には, 数学的対象対象だけでなく, 抽象的な計算機模型であるオートマ
トンやプログラム中で利用するスタックや木構造を表現するための代数系の
例も出て来ます.~
本文は英語ですが, 専門用語以外に出て来る単語は難しくありません.~
圏論は, 射の結合で射の性質を表現したり, 対象を特徴付けます. 集合論で,
同値類で割って商集合を作る, 群論で同値類(部分群)で割って商群を作る,
線形代数学で同値類(部分空間)で割って商空間を作るなどという同じような
概念があります. これらの概念を対象と射だけで特徴付ければ, すっきり
統一的に見えて来ます. 計算機科学で出て来る抽象的な計算機, オートマトンも
代数系ですので, 群や線形空間と同様に商や直積などが考察可能です. 代数系は
ユニバーサル代数として一般化され, 圏の間の関手によって定義を記述出来ます.
そして, その関手が随伴関手という2つの関手の対で特徴付けられることもわかります.~
理論を一般化すること. それは, プログラムを汎用化することに対応します.
数字を並べ替えるプログラム, 文字列を並べ替えるプログラム, 2つのプロ
グラムを作るよりは, 並べ替えの本質の部分を実現したプログラムと, 数字
の並べ替えの場合の比較部分, 文字列の並べ替えの場合の比較部分とに分離
しておいた方が良いのです. なぜならば, 数字や文字列以外のデータを並べ
替えプログラムが必要な場合には, そのデータの比較部分だけを作れば, 並
べ替えの部分を実現したプログラムは変更する必要がないからです.
問題を考える時に, 一般的なアルゴリズム部分とデータ固有の操作関数とに
分けて考えれるようになることが大切です. 圏論は, 数学の理論の中での一
般的な部分を抜き出して理論を構築していることに対応します.~
数学の勉強, 英語の勉強, プログラムの勉強, 一挙両得, いや三得です!
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
