『数学者が読んでいる本ってどんな本』

『数学者が読んでいる本ってどんな本』　小谷元子編　東京図書　2013.10
チェック済み
書泉グランデにおける数学者の書棚 2011年

１．砂田利一　明治大学総合数理学部
（解説本）本文で解説してある本
1　自然認識の限界について、宇宙の七つの謎　ボア＝レーモン　数学モデルを通して世界を理解できるが、なぜかは知らないだろう　還元主義の限界　岩波文庫　9F
1-2　確率の哲学的試論　ラプラス　岩波文庫　（因果的）決定論や還元主義から距離をおく　9F　大学文庫3752
2　多様体入門　松島与三　我が宇宙を記述するには　大学410.8Su23.5
3　シンメトリー　ヘルマン・ワイル　自然は本当に対称性を好むだろうか　大学新書庫１層414.9W64
×4　選択公理と数学　発生と論争、そして確立への道　増訂版　2005　現代数学の根源にある大前提を知ろう
×5　ユークリッド原論　追補版　共立　2011　幾何学の源に立ち戻ろう
6　伝奇集　ボルへス　岩波文庫　ボルヘスの迷宮から脱出できるか　県立　8階壁書架908ﾁ81　市立（全集）908ｼ9　大学文庫3522
7　ドクトル・クーガーの数学講座　１，２　久賀道郎　「深い」数学に誘う　県立
×8　ガウスの和　ポアンカレの和　数論の最前線から　小野孝　数論の数学的構造の理解が深遠な数の世界の入り口へ。珠玉の作品
×9　オイラーの主題による変奏曲　二次形式、楕円曲線、ホップ写像　小野孝　不定方程式の理論が現代数学へ
×10　雪の結晶はなぜ六角形なのか　小林禎作　寺田やロウソクの科学に匹敵
11　フェルマーの系譜　数論における着想の歴史　深化する数論の歴史　8F自然科学412ｼ
12　新版　『自然界における左と右』　ガードナー　1992　右と左の科学的考察　県立'92　8F自然科学429ｶ'80　市立'80　大学404.G22'92

（蔵書本）リストのみ本
1　代数函数論　増補版　岩澤健吉　岩波書店　1973　大学新書庫410.8G34.11'52
×2　行列の摂動　加藤敏夫ほか　丸善出版　1999　
3　代数幾何における位相的方法　POD版　竹内勝ほか　吉岡書店　2002　大学新書庫1層' 70
×4　選択公理と数学　増訂版　田中尚矢　遊星社　2005
5　フーリエ解析大全（上下）　朝倉　1996　8F自然科学413.5ｹ　大学413Ko79
×6　偏微分方程式　ジョンほか　丸善　2012　
7　確率論とエントロピー　エルゴード理論と情報量　ビッリングスリー　吉岡書店　1968　大学417.1B43
8　数学原論　リー群とリー環　３　ブルバキ　東京図書　1986　大学新書庫１層
×9　確率論入門コース　シナイ　丸善出版　2012
×10　ポストモダン解析学　原書第３版　jost 丸善出版　2009　
11　群とその表現　服部昭　共立　1967　大学410.8Ky5.18
12　線形位相空間と一般関数　山中健　共立　1966　大学410.8Ky5.16
13　モース理論　Milnor　吉岡書店　2004　大学新書庫415Mi28
14　特性類講義　Milnorほか　丸善出版　2012　大学新書庫415.7Mi28
15　復刊　リー環論　松島与三　共立　2010　大学新書庫１層410.8Ky5g.15b'56
16　多様体入門　松島　裳華房　1965　大学410.8Su23.5
×17　実解析と測度論の基礎　盛田健彦　培風館　2006
×18　非可換幾何学入門　岩波　1999
19　リーマン幾何学　酒井隆　裳華房　1992　県立　大学414.8Sa29
20　幾何学の散歩道　離散・組合せ幾何入門　Frankel 共立　1991　県立　大学414F4
21　可換体論　永田雅宜　裳華房　1967　大学新書庫1層
×22　モンスター　群のひろがり　原田耕一郎　岩波　1999
23　楕円関数論　楕円曲線の解析学　梅村浩　東京大学出版会　2000　大学413.57U72
24　復刊　数理論理学　松本和夫　共立　2001　大学410.96Ma81
×25　現代幾何学への道　ユークリッドの蒔いた種　砂田利一　岩波　2010
26　『バナッハ・タルスキーのパラドックス』　砂田利一　岩波　県立　8F410ｽ　市立　大学410Su72
27　ダイヤモンドはなぜ美しい？　離散調和解析入門　砂田利一　丸善出版　2012　県立
28　基本群とラプラシアン　幾何学における数論的方法　砂田利一　紀伊國屋書店　1988 　大学新書庫410.8Ki45.29
29　曲面の幾何　砂田利一　岩波　2004　県立　8F自然科学414.7ｽ　大学410.8I95.15'96
30　幾何入門（１，２）　砂田利一　岩波　2004　県立　大学410.8I95.13,14
×31　論理分析哲学　Wright　講談社　2000
32　確率の哲学的試論　Laplace　岩波文庫　1997　9F　大学文庫3752
×33　デカルト　理性の境界と周縁　谷川多佳子　岩波　1995
34　電磁気学　新装版　砂川重信　岩波　1987　県立　市立'79（~演習　市立'82）　大学427Su73
？35　相対性理論　Moller　みすず書房　1959
×36　熱力学　田崎晴明　培風館　2000
37　量子力学の数学的基礎　Neumann　みすず書房　1957　大学新書庫429.1N67
38　バビロニアの数学　室井和男　東京大学出版会　2000　県立　9F　大学410.2Mu73
39　近世数学史談　高木貞治　岩波　1995　県立　9F　大学文庫3623
40　ブルバキ　数学史　ちくま学芸文庫　2006　県立（新装版）　大学新書庫１層'70
41　数論　歴史からのアプローチ　Weil　日本評論社　1987　大学412W55
42　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　県立　市立　大学418.4Sh27
43　群の発見　原田耕一郎　岩波　2000　大学411.6H32
×44　ユークリッド原論　追補版　共立　2011
45　フェルマーの系譜　数論における着想　日本評論社　1994　8F自然科学412ｼ
46　数学史　武隈良一　培風館　1959　県立　大学新書庫１層
47　ソーニャ・コヴァレフスカヤ　自伝と追想　岩波　1978　県立'48　9F'70（ノンフィクション全集）　市立'79（ノンフィクション全集）
×48　アルゴリズムの数学　トラチャンブロート　東京図書　1994
49　面積と体積　ボルチャンスキーほか　東京図書　1994　大学414B63
50　シンメトリー　Weyl　紀伊國屋書店　1970　大学新書庫１層414.9W64
51　不完全性定理　野崎昭弘　ちくま学芸文庫　2006　大学410.4N98'96
52　『無限論の教室』　野矢茂樹　講談社現代新書　1998　県立　7FS410.1ﾉ　市立　大学112N97
×53　チェッリーニ自伝　岩波文庫　1993
54　ジョセフ・フーシェ　みすず書房　1969　9F？
55　エラスムスの勝利と悲劇　Zweig　みすず書房　1998　県立　9F　大学新書庫948Z9.15
56　伝奇集　Borges　岩波文庫　1993　県立　8階壁書架908ﾁ81　市立（全集）908ｼ9　大学文庫3522
57　ルバイヤート　岩波文庫　Khayyam　岩波　1979　県立
58　ジョンソン博士の言葉　Boswell みすず書房　2002　県立
×59　フェルメール　謎めいた生涯と全作品　小林頼子　角川　2008
60　ダーウィンの思想　人間と動物のあいだ　内井惣七　岩波新書　2009　県立　7FS467.5ｳ　市立467ｳ　大学文庫1202
61　この私、クラウディウス　みすず書房　2001　県立　7F外国文学933ｸ　市立
62　新訳　ローマ帝国衰亡史　普及版　Gibbon　PHP　2008　県立'76-'93　9F　大学新'95
63　自然認識の限界について、宇宙の七つの謎　Bois-Reymond　岩波文庫　1928　9F
64　ドクトル・クーガーの数学講座　１，２，３　久賀道郎　日本評論社　1992　県立
×65　ガウスの和　ポアンカレの和　数論の最前線から　小野孝　日本評論社　2008
×66　オイラーの主題による変奏曲　二次形式、楕円曲線、ホップ写像　小野孝　実教出版　1980
×67　雪の結晶はなぜ六角形なのか　小林禎作　ちくま学芸文庫　2013
68　新版　『自然界における左と右』　Gardner　紀伊國屋書店　1992　県立'92　8F自然科学429ｶ'80　市立'80　大学404.G22'92

２．黒川信重　東京工業大学大学院理工学研究科
（解説本）
1　宇宙の神秘　ケプラー　工作舎　最初の本　県立　大学新書庫440Ke55'86
×1-2　宇宙の調和　ケプラー　工作舎
×1-3　新年の贈り物　あるいは六角形の雪について　ケプラー　ケプラー予想
2　星界の報告　ガリレオ　岩波文庫　太陽黒点の減少・消滅は地球が寒冷化に向かっていることを示唆している　9F　市立　大学旧
×3　ユークリッド原論　追補版　共立出版　2011　最初の数学体系書
4　近世数学史談　高木貞治　共立　1970　岩波文庫　1995　ガウスの楕円関数研究を中心に　県立　9F　大学文庫3623
5　留数解析　留数による定積分と級数の計算　一松信　共立　1979　複素関数論ならこの本。スターリング公式のあざやかな取り扱い　大学410.8Su23.28
6　幾何学　発見的研究法　清宮俊雄　科学新興新社　1988　数学研究法を高校生に示した本　大学414Se18
×7　類体論と非可換類体論　１　フェルマーの最終定理・佐藤ーテイト予想解決への道　岩波　2009　非可換類体論予想の現状
8　新幾何学思想史　近藤洋逸　ちくま学芸文庫　2008　非ユークリッド幾何学（リーマン幾何学）　大学新書庫１層
9　初等整数論講義　第２版　高木貞治　共立　1971　整数論を学びたい人にすすめる。ゼータ関数やエル関数の特殊値まで桑往く　8F自然科学412ﾀ'84　大学新書庫１層'71
10　物の本質について　ルクレーティウス　岩波文庫　1961　事物の本性について　筑摩書房　1965　（原典同じ）　デモクリトスの原子論に基づき宇宙を解明しようとする本　9F
11　邪馬台国の滅亡　若井俊明　吉川弘文館　2010　九州の邪馬台国が日本を「平定」する大和勢力によって滅亡　県立
12　『日本語の源流を求めて』　大野晋　岩波新書　県立　7FS810.2ｵ　市立　大学文庫1091
12-2　古典基礎語辞典　角川学芸出版　2011　タミル語　県立　8F（禁帯出）　市立813.6ｵ 大学（禁帯出）
13　ソクラテス以前哲学者断片集　内山勝利　岩波　2008　確認しよう　県立　大学新書庫131.1So32
×14　群の表現論序説　高瀬幸一　岩波　2013　群の表現論入門に最適

（蔵書本）
1　宇宙の神秘　ケプラー　工作舎　1982　県立　大学新書庫440Ke55'86
×2　新年の贈り物　あるいは六角形の雪について　ケプラー　1611
3　ソクラテス以前哲学者断片集　内山勝利編　岩波　2008　県立　大学新書庫131.1So32
×4　群の表現論序説　高瀬幸一　岩波　2013
5　リーマン予想の１５０年　数学、この大きな流れ　黒川重信　岩波　2009　県立　8F自然科学413.5ｸ
6　オイラー、リーマン、ラマヌジャン　時空を超えた数学者の接点　黒川重信　岩波科学ライブラリー　2006　大学413.5Ku74
7　オイラー探検　黒澤　丸善出版　2007　県立　大学413.5Ku74
8　絶対数学　黒川重信ほか　日本評論社　2010　県立　8F自然科学413.5ｸ　市立413ｸ
×9　多重三角関数論講義　黒川重信　日本評論社　2010
×10　リーマン予想の数理物理　黒川重信ほか　サイエンス社　2011　
×11　ユークリッド原論　追補版　共立　2011
12　リーマンとアインシュタインの世界　新装版　　リワノワ　東京図書　1991　県立　市立　大学新書庫410.2L73
×13　ロバチェフスキーの世界　リワノフ　東京図書　1975
×14　ガロア理論入門　アルティン　東京図書　1974
×15　ガロア理論入門　アルティン　ちくま学芸文庫　2010
16　ピュタゴラス伝　イアンブリコス　国文社　2000　県立
17　復刻版　ギリシア数学史　ヒース　共立　1998　8F自然科学410.2ﾋ
18　初等整数論講義　第２版　高木貞治　共立　1971　8F自然科学412ﾀ'84　大学新書庫１層'71
19　近世数学史談　高木貞治　共立　1970　県立　9F　大学文庫3623
20　近世数学史談　高木貞治　岩波文庫　1995　県立　9F　大学文庫3623
×21　オイラー　その生涯と業績　フェルマン　シュプリンガー・ジャパン　2002
22　リーマン　人と業績　ラウグヴィッツ　丸善出版　1998　大学新書庫410.28R38
23　基本群とラプラシアン　幾何学における数論的方法　砂田利一　紀伊國屋書店　1988　大学新書庫410.8Ki45.29
24　谷山豊全集　増補版　日本評論社　1994　大学新書庫410.4Ta88
25　新幾何学思想史　近藤洋逸　ちくま学芸文庫　2008　大学新書庫１層
26　留数解析　留数による定積分と級数の計算　一松信　共立　1979　大学410.8Su23.28
27　体とガロア理論　藤崎源二郎　岩波　1991　県立　市立　大学410.8I95.6
28　群論　鈴木通夫　岩波　1977　大学新書庫410.8G34.18,19
29　幾何学　発見的研究法　清宮俊雄　科学振興社　1988　大学414Se18
30　解決！　フェルマーの最終定理　現代数論の軌跡　加藤和也　日本評論社　1995　県立
×31　類体論と非可換類体論　１　フェルマーの最終定理・佐藤　テイト予想解決への道　岩波　2009
32　数論入門Ⅰ、Ⅱ　ハーディ　丸善出版　2001　大学412H32
33　数学と裸の王様　ある夢と数学の埋葬　グロタンディーク　現代数学社　1990　県立　大学新書庫410.4G88
34　ライプニッツ著作集　２　数学論・数学　工作舎　1997　県立　大学旧
35　数学原論　代数３　ブルバキ　東京図書　1977　県立　大学新書庫１層
36　現代代数学　３巻　ヴェルデン　東京図書　1959　県立（１）　大学新書庫１層
37　無限の天才　夭折の数学者ラマヌジャン　カニーゲル　工作舎　1994　大学289.25R13
38　復刊　数論序説　小野孝　裳華房　1987　大学新書庫412O67
39　『シンメトリーの地図帳』　ソートイ　新潮社　2010　県立　8F411.6ﾃ　市立411ﾃﾞ　六411ﾃﾞ
40　連続群論（上下）　ポントリャーギン　岩波　1957　大学新書庫１層
41　現代数学の源流　上　複素関数論と複素整数論　佐武一郎　朝倉書店　2007　大学410.2Sa83.1
×42　佐藤幹夫の数学　木村達雄編　日本評論社　2007
43　ドクトル・クーガーの数学講義１，２　久賀道郎　日本評論社　1992　県立
44　数学の黎明　オリエントからギリシアへ　ウァルデン　みすず書房　1984　大学410.2V28
45　解読！アルキメデス写本　羊皮紙から甦った天才数学者　ネッツほか　光文社　2008　県立　8F自然科学410.2ﾈ　市立410ﾈ
46　円の数学　小林昭七　裳華房　1999　県立　8F自然科学414.1ｺ　市立　大学414.12Ko12
47　復刻　不可能の証明　津田丈夫　共立　2011　大学414Ts34
48　数学の秘密の本棚　イアン・スチュアート　ソフタバンク　2010　6FY241　大学410.4St5
×49　数学者的思考トレーニング　代数論　上野健爾　岩波　2010
50　連続群論入門　新装版　山内恭彦ほか　培風館　2010　大学新書庫１層'60
×51　線形代数と群の表現Ⅰ、Ⅱ　平井武　朝倉書店　2001
52　整数の分割　アンドリュース　数学書房　2006　大学412.3A48
×53　ガロア　偉大なる曖昧さの理論　梅村浩　現代数学社　2011
×54　素数からゼータへ、そしてカオスへ　小山信也　日本評論社　2010
55　数論への出発　増補版　藤崎源二郎ほか　日本評論　2004　大学412F66
56　『日本語の源流を求めて』　大野晋　岩波新書　2007　県立　7FS810.2ｵ　市立　大学文庫1091
57　古典基礎語辞典　大野晋編　角川　2011　県立　8F（禁帯出）　市立813.6ｵ 大学（禁帯出）
58　「絶対」の探求　バルザック　岩波文庫　1939　県立　9F
59　統道真伝（全集版）　安藤昌益　農村漁村文化協会　1983-1987　県立（全集、文庫）　9F（文庫）　8F書庫　市立　大学旧・對馬文庫
60　統道真伝　岩波文庫　1966　県立（全集、文庫）　9F（文庫）　8F書庫　市立　大学旧・對馬文庫
61　物理の歴史　朝永振一郎編　ちくま学芸文庫　2010　大学新書庫420.86
62　ヨハネス・ケプラー　近代宇宙観の夜明け　ケストラー　ちくま学芸文庫　2008　市立
63　星界の報告　ガリレイ　岩波文庫　1976　9F　市立　大学旧
64　邪馬台国の滅亡　若井敏明　吉川弘文館　2010　県立
65　だれが原子をみたか　江沢洋　岩波　2013　県立　市立'80　大学文庫080.I95g.G-281
66　イカロスになりそこねた男　ウェルズ　ジャストシステム　1996　9F
67　量子の海、ディラックの深淵　天才物理学者の華々しき業績と寡黙なる生涯　ファーメロ　早川書房　2010　県立　8F人文科学289.3ﾌ
68　事物の本性について　ルクレーティウス　筑摩書房　1965　9F
69　物の本質について　ルクレーティウス　岩波文庫　岩波　1961　9F
70　寺田寅彦随筆集　第２巻　岩波　1947　県立
71　完本　トムキンスの冒険　ガモフ　白揚社　1990　県立
72　可能現実存在　クザーヌス　国文社　1987　大学新書庫132.4N71
73　科学史のすすめ　広重徹編　筑摩書房　1970　市立
74　ルクレティウスのテキストにおける物理学の誕生　セール　法政大学出版局　1996　大学131.6Se85
×75　宇宙の調和　ケプラー　工作舎　2009
76　絶対製造工場　チャペック　平凡社　2010　県立　7F外国文学983ﾁ　市立989ﾁ
77　クラカチット　チャペック　青土社　2007　県立　７階壁書架983ﾁ

３．森重文　京都大学数理解析研究所
（解説本）
×1　数学まなびはじめ　第１集・第２集　日本評論社　2006　
×2　初等代数幾何講義　リード　岩波書店　1991　代数幾何入者
3　現代代数学（3巻）　東京図書　1959　自主ゼミで使用　県立（１）　大学新書庫１層
×4　石とりゲームの数理　一松信　森北出版　2003
5　復刻版　近世数学史談・数学雑談　高木貞治　共立　1996　数学者のドラマ・裏話　大学新書庫410.2Ta29
6　目で見る美しい量子力学　外村彰　実験の写真がすばらしい　大学421.3To63
7　凸体と代数幾何学　小田忠雄　紀伊國屋書店　2008　大学411.8O17
×8　記憶の切繪図　七十五年の回想　志村五郎　筑摩書房　2008　思い出
9　伝えたい大切なこと　産経新聞社編　東洋経済新報社　2006　楽しい　県立　市立（地域）
10　代数幾何学　広中平祐講義　京都大学学術出版会　2004　忘れられない授業　8F自然科学411.8ﾋ　大学411.8H71
11　可換体論　永田雅宜　裳華房　1967　役立つ　大学新書庫1層
12　集合・位相入門　松坂和夫　岩波　1968　無限を扱う議論がやっと理解できた　大学410.9Ma92
13　不等式　大関信雄ほか　槇書店　1967　楽しさ・難しさ　大学新書庫１層
14　定木による作図　コンパスによる作図　スモゴルジェフスキーほか　東京図書　1964　深い数学へも　大学新書庫１層

（蔵書本）
1　ヒルベルト　数学の問題　増補版　共立　1969　大学新書庫１層'72　大学新書庫410.8G34.4'69
2　代数幾何における位相的方法　吉岡書店　2002　大学新書庫1層' 70
3　双有理幾何学　Kollar　岩波　2008　大学410.8I95.16
4　現代ベクトル解析　ベクトル解析から調和積分へ　Nickerson　岩波　1965　大学新書庫１層
5　ガロアの理論　Postnikov　東京図書　1964　9F　大学新書庫411.7P84
×6　初等代数幾何講義　Lead　岩波　1991
7　現代代数学　３巻　Waerden　東京図書　1959　県立（１）　大学新書庫１層
8　復刊　近代代数学　秋月康夫ほか　共立　2012　大学新書庫１層
×9　特異点入門　石井志保子　シュプリンガー・ジャパン　1997
10　ルベーグ積分入門　伊藤清三　裳華房　1963　県立　大学410.8Su23.4
11　代数函数論　増補版　岩澤健吉　岩波　1973　大学新書庫410.8G34.11'52
12　凸体と代数幾何学　小田忠雄　紀伊國屋書店　2008　大学411.8O17
13　代数多様体論　川又雄二郎　共立　1997　大学410.8Ky5.19
×14　理工科系　代数学と幾何学　小松醇郎　共立　1966
15　行列と行列式　佐武一郎　裳華房　1958　大学新書庫１層
16　方程式論　園正造　至文堂　1948　大学新書庫１層
17　定本　解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
18　初等整数論講義　第２版　高木貞治　共立　1971　8F自然科学412ﾀ'84　大学新書庫１層'71
19　代数学講義　改訂新版　高木貞治　共立　1965　県立'46　大学新書庫１層'65
20　代数的整数論　第２版　高木貞治　岩波　1971　大学新書庫１層
21　複素函数論　辻正次　槇書店　1968　大学新書庫１層
22　保型形式と整数論　三宅敏恒　紀伊國屋書店　1976　大学新書庫410.8Ki45.7
23　代数幾何学　中井喜和ほか　共立　1957　大学新書庫１層
24　復刊　位相幾何学　ホモロジー　中岡稔　共立　1999　大学415.7N42
25　可換環論　永田雅宜　紀伊國屋書店　1974　大学新書庫410.8Ki45.1
26　可換体論　永田雅宜　裳華房　1967　大学新書庫１層
×27　理系のための線型代数の基礎　永田雅宜　紀伊國屋書店　1987
28　復刊　アーベル群・代数群　永田雅宜　共立　1999　大学410.8Ky5.6
×29　復刊　抽象代数幾何学　永田雅宜　共立　1999
30　大域変分法　長野正　共立　1971　大学新書庫413.9N16
31　復刊　現代代数学　服部昭　朝倉書店　2004　大学410.8KI42
×32　多変数解析函数論　一松信　培風館　1960
33　代数幾何学　広中平祐講義　京都大学　2004　8F自然科学411.8ﾋ　大学411.8H71
34　ゲージ理論とトポロジー　深谷賢治　丸善出版　2012　大学415.7F72
35　数学原論　可換代数３　ブルバキ　東京図書　1986　県立　大学新書庫１層
36　数学原論　代数３　ブルバキ　東京図書　1977　県立　大学新書庫１層
37　数学原論　代数４　ブルバキ　東京図書　1969　県立　大学新書庫１層
38　数学原論　代数５　ブルバキ　東京図書　1969　県立　大学新書庫１層
39　集合・位相入門　松坂和夫　岩波　1968　大学410.9Ma92
40　復刊　リー環論　松嶋与三　共立　2010　大学新書庫１層410.8Ky5g.15b'56
41　多様体入門　松嶋与三　裳華房　1965　大学410.8Su23.5
42　代数幾何学　宮西正宜　裳華房　1990　大学411.8Mi79
43　モース理論　Milor　吉岡書店　2004　大学新書庫415Mi28
44　モジュライ理論Ⅰ、Ⅱ　向井茂　岩波　2008　大学410.8I95.13-15
45　解析的整数論Ⅰ　素数分布論　本橋洋一　朝倉書店　2009　大学410.8A85t.1
×46　不変式論　森川寿　紀伊國屋書店
47　群と位相　横田一郎　裳華房　1971　8F自然科学415ﾖ　大学410.8.Ki59.5
48　谷山豊全集　増補版　日本評論社　1994　大学新書庫410.4Ta88
49　不等式　大関信雄　槇書店　1967　大学新書庫１層
50　定木による作図、コンパスによる作図　スモゴルジェフスキー　東京図書　1964　大学新書庫１層
51　ガロアの夢　群論と微分方程式　久賀道郎　日本評論社　1968　大学新書庫
×52　石とりゲームの数理　一松信　森北出版　1957
53　初等的に解いた高等数学の問題　1-4　Yalom　東京図書　1957　大学新書庫
54　復刻版　近世数学史談・数学雑談　共立　1996　大学新書庫410.2Ta29
55　量子群とヤン・バクスター方程式　シュプリンガー・ジャパン　1990　大学421.3J51
56　数学者ザリスキーの生涯　Prikh　シュプリンガー・ジャパン　1996　県立　9F
×57　ガロアの時代　ガロアの数学　第Ⅰ部、Ⅱ部　彌永昌吉　丸善出版　1999
58　数学者の２０世紀　彌永昌吉エッセイ集　岩波　2000　県立　9F
59　アンドレ・ヴェイユ自伝　ある数学者の修行時代　丸善出版　2012　県立'04
60　若き日の思い出　彌永昌吉　岩波　2005　県立
61　目で見る美しい量子力学　外村彰　サイエンス社　2010　大学421.3To63
62　確率論と私　伊藤清　岩波　2010　県立
63　志学数学　井原康隆　丸善出版　2012　大学410.7I25
64　『小数ができない大学生』　国公立大学も学力崩壊　岡部恒治　東洋経済新報社　2000　県立　8F372.1ｼ　市立
65　『博士の愛した数式』　小川洋子　新潮社　2003　7F日本文学ｵｶ　市立916ｸﾞ
66　クロフツ短編集　Crofts　東京創元社　1965　7FB933ｸ1,2
67　伝えたい大切なこと　産経　東洋経済新報社　2006　県立　市立（地域）
×68　記憶の切繪図　七十五年の回想　志村五郎　筑摩書房　2008
×69　数学をいかに使うか　志村五郎　ちくま学芸文庫　2010
×70　中国説話文学とその背景　志村五郎　ちくま学芸文庫　2006
71　無所属の時間で生きる　城山三郎　朝日新聞社　2002　県立　7F日本文学ｼﾛ'99　7FBｼﾛ　市立
×72　数学まなびはじめ　第１集、第２集　日本評論社　2006
73　算数軽視が学力を崩壊させる　西村和雄ほか　講談社　1999　県立　8F自然科学410.7ｻ
×74　視覚の地平　勝井三雄　宣伝会議　2003

４．上野健爾　四日市大学関孝和数学研究所
（解説本）
1　Topics in Complex Function Theory, Vol.1,2,3 C.L.Siegel, John Wiley & Sons 1969　この古典論は抽象的な数学を学ぶ際に役立つ。まずは、第１巻第１章をていねいに　大学新書庫４層
2　岩波　数学入門辞典　2005　わかりやすく書かれている。いもづる式にたどる　県立　8F一般（禁帯）　大学参考（禁帯）
3　オイラーの無限解析　海鳴社　2001　数学的には第４章から。オイラーの議論を現代の厳密な議論に書き換える努力をしてみる　大学新書庫413E83
4　微積分名作ギャラリー　ニュートンからルベーグまで　Dunham 日本評論社　2009　微積分の歴史　大学413.3D97
5　カッツ　数学の歴史　共立　2005　１９世紀以前は詳しい　県立　大学410.2Ka88
6　天秤の魔術師アルキメデスの数学　林栄治ほか　共立　2009　静力学的観点から数学の問題の答えは発見　県立
7　『数学ビギナーズマニュアル』　これだけは知っておきたい　佐藤文広　日本評論社　1994　数学を学ぼうとするひとは一読する必要あり　8F自然科学410ｻ　市立　大学410Sa85
8　谷山豊全集　増補版　日本評論社　1994　大学新書庫410.4Ta88
9　ガンマ関数入門　アーティン　日本評論社　2002　ガンマ関数を実函数の範囲で　大学413.57A79
10　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　ネピアによる対数の発見　県立　市立　大学418.4Sh27
11　『この数学書がおもしろい』　数学書房　2006 　県立　8F自然科学410ｺ
×12　この定理が美しい　数学書房　2009
×13　スピヴァック　多変数の解析学　古典理論への現代的アプローチ　新装版　東京図書　2007　多変数の微積分を多様体上野解析学として厳密に展開
14　現代の古典解析　微積分基礎課程　森毅　ちくま学芸文庫　2006　基本的なつぼを押さえた解説　大学新書庫１層
15　解析入門Ⅰ、Ⅱ　杉浦光夫　東京大学出版会　1980,85　辞書代わり　市立（１）　大学413Su48
16　ソリトンの数理　三輪哲二ほか　岩波　2007　見事に解説　県立　大学410.8I95T-4
17　ベルヌーイ数とゼータ関数　荒川恒男ほか　牧野書店　2001　ベルヌーイ数の数論への応用　大学412A63
18　複素函数論　Cartan　岩波書店　1965　普通は正則性もとにするが、本書は解析性をもとに複素函数論を展開した名著　大学新書庫１層
19　光厳院御集全釈　岩佐美代子　忘れられた北朝の天皇　県立
20　源氏物語　口語訳（８巻）　上野栄子　日本経済新聞社　2008　私の母の訳　県立　市立913.3ﾑ
21　人は愛するに足り、真心は信ずるに足る　アフガンとの約束　仲村哲ほか　岩波　2010　県立　8F社会科学333.8ﾅ　市立333ﾅ
22　『ことばの哲学　関口存男のこと』　池内紀　学問とは大学とは　県立　8F289.1ｾ　市立
p.83　（関口の文例の分類方法について）こういった分類の成立経過を数字であらわすと、ウィトゲンシュタインが『論理哲学論考』にほどこした整理法と、奇妙なほど一致する。１，２，３と分けていって、１から派生したものは１・１とする。そこから思考がすすんだものは１・１１、枝分かれした場合は１・１２，枝分かれを発展させれば１・１２１といったぐあいだ。とすると、ほぼ同じころに地球の両側で、日夜、奇妙なファイルの出し入れがつづけられたことになる。☆ルーマンのメモシステム（ツェッテルカステンｓ）に同じ
p.90　関口在男　独逸語文法
×23　エッシャー　グラフィックワーク　タッシェン・ジャパン　2004　

（蔵書本）
1　カッツ　数学の歴史　共立　2005　県立　大学410.2Ka88
×2　Kac 統計的独立性　数学書房　2011
×3　フーリエ解析入門　Stein　日本評論社　2007
4　曲面の幾何構造とモジュライ　河野俊丈　日本評論社　1997　大学新書庫414.53Ko76
5　複素函数論　Cartan　岩波　1965　大学新書庫１層
6　ベルヌーイ数とゼータ関数　荒川恒男ほか　牧野書店　2001　大学412A63
×7　グレブナ基底と代数多様体入門　Coxほか　丸善出版　2012
8　指数定理　古田幹雄　岩波　2008　大学410.8I95.17,18
×9　アラケロフ幾何　森脇淳　岩波　2008
×10　数学基礎論　新井敏康　岩波　2011
11　ソリトンの数理　三輪哲二ほか　岩波　2007　県立　大学410.8I95T-4
×12　作用素環入門　生西明夫ほか　岩波　2007
13　数学入門　遠山啓　岩波新書　9F　大学対馬文庫Ts080.I95s.363,396
14　幾何への誘い　小平邦彦　岩波　2009　県立　市立
15　岩波　数学入門辞典　青本　2005　県立　8F一般（禁帯）　大学参考（禁帯）
16　数学定数事典　Finch　朝倉書店　2010　県立
17　リーマンのゼータ関数　松本耕二　朝倉書店　2005　大学413.5Ma81
18　リーマン論文集　朝倉書店　 2004　大学新書庫410.4R38
×19　数学の歴史　和算と西欧数学の発展　小川束ほか　朝倉書店　2003
20　ルベーグ積分と関数解析　谷島賢二　朝倉書店　2002　大学410.8Ko98.13
×21　3次元の幾何学　小島定吉　朝倉書店　2002
×22　特異点とルート系　松沢淳一　朝倉書店　2002
23　π　魅惑の数　Delahaye　朝倉書店　2001　県立　8F自然科学414.1ﾄ　市立
24　数学とは何か　アティヤ科学・数学論集　朝倉書店　2010　県立
×25　線形代数と正多面体　小林正典　朝倉書店　2012
×26　新・フーリエ解析と関数解析学　新井仁之　培風館　2010
27　多変数複素解析入門　樋口禎一ほか　森北出版　2003　大学410.8Su23.51
×28　代数曲線と特異点　石川剛郎ほか　共立　2001
×29　ε-δ論法とその形成　中根美知代　共立　2010
30　復刊　整数論入門　ヴィノグラードフ　共立　2010　大学412V77
×31　復刊　行列論　遠山啓　共立　2010
32　天秤の魔術師アルキメデスの数学　林栄治ほか　共立　2009　県立
×33　オイラーの定数ガンマ　Havil　共立　2009
×34　離散凸解析の考えかた　室田一雄　共立　2007
35　数はどこから来たのか　Giusti　共立　1999　9F
36　ディラック作用素の指数定理　吉田朋好　共立　1998　大学410.8Ky5.22
37　整数論　斎藤秀司　共立　1999　大学410.8Ky5.20
38　近世日本数学史　関孝和の実像を求めて　佐藤賢一　東京大学出版会　2005　県立
39　楕円関数論　楕円曲線の解析学　梅村浩　東京大学出版会　2000　大学413.57U72
40　解析入門　Ⅰ、Ⅱ　杉浦光夫　東京大学出版会　1980,85　市立（１）　大学413Su48
41　エウクレイデス全集　第１巻　Euclid　東京大学出版会　2008　県立
42　線型代数学　増補改題版　佐竹一郎　裳華房　1974　大学411.3Sa83
×43　伊藤清の数学　高橋陽一郎編　日本評論社　2011
44　Dunham　微積分名作ギャラリー　ニューヨークからルベーグまで　日本評論社　2009　大学413.3D97
×45　数え上げ幾何と弦理論　Katz　日本評論社　2011
46　谷山豊全集　増補版　日本評論社　1994　大学新書庫410.4Ta88
×47　ガロワ理論　Cox　日本評論社　2008
48　ベルヌーイ家の人々　松原望　技術評論社　2011　県立　市立410ﾏ
49　『数学ビギナーズマニュアル』　これだけは知っておきたい　佐藤文広　日本評論社　2002　8F自然科学410ｻ　市立　大学410Sa85
50　ガンマ関数入門　Artin　日本評論社　2002　大学413.57A79
51　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　県立　市立　大学418.4Sh27
52　無限からの光　志賀浩二　日本評論社　1988　大学410.23Sh27
53　　『この数学書がおもしろい』　数学書房　2006 　県立　8F自然科学410ｺ
×54　この定理が美しい　数学書房　2009
×55　線形代数学　中村郁　数学書房　2007
56　整数の分割　Adnrews　数学書房　2006　大学412.3A48
×57　スピヴァック　多変数の解析学　古典理論への現代的アプローチ　新装版　東京図書　2007
58　『数学は言葉』　新井素子　東京図書　2008　県立　8F410ｱ　市立　大学410A62s
59　『計算とは何か』　新井素子　東京図書　2008　8F418ｱ　大学418A62
60　変化をとらえる　高橋陽一郎　東京図書　2008　県立　大学413Ta33
61　幾何学入門　Coxeter　ちくま学芸文庫　2009　大学414C89
62　現代の古典解析　微積分基礎課程　森毅　ちくま学芸文庫　筑摩書房　2006　大学新書庫１層
×63　ガロア理論入門　Artin　ちくま学芸文庫　2010
64　シュタイナー学校の数学読本　Ulin　ちくま学芸文庫　2011　8F社会科学375.4ｳ
65　πの歴史　Beckmann　ちくま学芸文庫　2006　県立　大学新書庫１層
66　幾何学基礎論　Hilbert　ちくま学芸文庫　2005　大学新書庫１層
67　新幾何学思想史　近藤洋逸　ちくま学芸文庫　2008　大学新書庫１層
×68　数学を生み出す魔法のるつぼ　Borwein　O'Reilly Japan　 2009
69　現代代数学（３巻）　Waerden　東京図書　1959　県立（１）　大学新書庫１層
×70　楕円関数論　復刻版　Hurwitz　丸善出版　2007
71　曲面の数学　長野正　培風館　2000　大学新書庫１層
72　ユークリッド幾何から現代幾何へ　小林昭七　日本評論社　1990　県立　大学414Ko12
73　複素多様体論　小平邦彦　岩波　1992　県立（３巻）　市立（３巻）　大学新書庫414.7KO17
74　代数函数論　増補版　岩澤健吉　岩波　1973　大学新書庫410.8G34.11'52
75　オイラーの無限解析　海鳴者　2001　大学新書庫413E83
76　数学フィールドワーク　上野健爾　日本評論社　2008　県立　8F自然科学410ｳ
77　円周率πをめぐって　上野健爾　日本評論社　1993　県立　大学414.12U45
78　複素数の世界　上野健爾　日本評論社　1999　大学413.52U45
79　代数幾何入門　上野健爾　日本評論社　1995　8F自然科学411.8ｳ　大学411.8U45
80　代数入門　上野健爾　岩波　2004　県立　大学410.8I95.7,8
81　測る　上野健爾　東京図書　2008　県立　市立414ｳ　大学414U45
82　数学の視点　上野健爾　東京図書　2009　大学410U45
×83　数学者的思考トレーニング　代数編　上野健爾　岩波　2010
×84　数学者的思考トレーニング　解析編　上野健爾　岩波　2012
85　光厳院御集全釈　岩佐美代子　風間書房　2000　県立
86　源氏物語　口語訳　上野栄子　日本経済新聞社　2008　県立　市立913.3ﾑ
87　人は愛するに足り、真心は信ずるに足る　中村哲　岩波　2010　県立　8F社会科学333.8ﾅ　市立333ﾅ
88　ことばの哲学　関口存男のこと　池内紀　青土社　2010　県立　8F人文科学289.1ｾ
×89　エッシャー　グラッフィクワーク　タッシェン・ジャパン　2004
90　数量化革命　Crosby　紀伊國屋書店　2003　県立　8F人文科学230.4ｸ
91　『神は数学者か？　万能な数学について』　Livio　早川書房　2011　県立　8F410.2ﾘ　市立410ﾘ
92　Topics in Complex Function Theory Vol. 1, 2, 3 ,Siegel, Jhon Wiley & Sons, 1969　大学新書庫４層

５．足立恒雄　早稲田大学名誉教授
（解説本）
1　初等整数論講義　高木貞治　共立　1931　今でも代数的整数論を志す者の必携書　8F自然科学412ﾀ'84　大学新書庫１層'71
1-2　数論　古典数論から類体論へ　河田　岩波　1992　イデアル論から２次形式類群を見る　県立　大学新書庫１層
2　整数論　吉岡書店　1971　代数的整数論はイデアル論が常識だが、因子論でやっためずらしい本　大学新書庫１層？
3　現代代数学　ヴェルデン　東京図書　1959　県立（１）　大学新書庫１層
×3-4　ガロア理論入門　アーティン　東京図書　ちくま学芸文庫
4　４６年目の光　視力を取り戻した男の奇跡の人生　認識とは何か　県立　8F人文科学289.3ﾒ　市立289ﾒ　大学289.3Ku78
5　混沌からの秩序　プリゴジン　みすず　1987　混沌こそがキーワードなのではないか　県立　大学新書庫402P93
6　形而上学　アリストテレス　西洋の学問へのギリシアの影響　県立'68　9F'79　大学新書庫１層'68
7　星界の報告　他一篇　ガリレオ　岩波文庫　9F　市立　大学旧
8　科学の価値　ポアンカレ　岩波文庫　理性への信頼　9F'79
9　数について　連続性と数の本質　デデキント　岩波文庫　集合論は本書から　9F'79　大学新書庫１層'69
×9-2　フレーゲ・デデキント・ペアノを読む　拙著　日本評論社　2013　併読
10　イヴァン雷帝　トロワイア　中央公論　9F　市立
11　湛山回想　石橋湛山　岩波文庫　偉大な哲人政治家　県立（全集）　9F　大学旧
11-2　石橋湛山評論集　岩波文庫　併読　県立　9F　市立書庫　大学旧
12　ヨハネス・ケプラー　近代宇宙観の夜明け　ちくま学芸文庫　2008　真の発見の不思議さ　市立？
×13　中世の自然学　グラント　みすず　1982　ヨーロッパ中世の科学史を勉強するには本書から
14　数学的世界観　現代数学の思想と展望　竹内外史　紀伊國屋書店　1982　単純なプラトニストではなくほっとする　9F
×15　無限、宇宙および諸世界について　ブルーノ　岩波文庫　古代の神秘思想にコペルニクス的宇宙論
×15-2　数学と自然科学の哲学　ワイル　岩波　ブルーノについて
×16　数学から社会へ＋社会から数学へ　数学者の目で世相を観る　足立恒雄　東京図書　2013　エッセイ＋ブックガイド

（蔵書本）
1　代数的整数論　第２版　高木貞治　岩波　1971　大学新書庫１層
2　定本　解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
3　初等整数論講義　第２版　高木貞治　共立　1971　8F自然科学412ﾀ'84　大学新書庫１層'71
4　数の概念　高木貞治　岩波　1949　大学新書庫412Ta29
5　代数函数論　増補版　岩澤健吉　岩波　 1973　大学新書庫410.8G34.11'52
6　連続群論　Pontryagin　岩波　1957　大学新書庫１層
7　現代代数学（３巻）　Waerden　東京図書　1959　県立（１）　大学新書庫１層
？8　整数論　Borevich　吉岡書店　2004
9　代数学　彌永昌吉ほか　岩波　1968　大学新書庫１層
10　現代数学概説Ⅰ　彌永昌吉ほか　岩波　1961　大学新書庫１層
11　記号論理入門　前原昭二　日本評論社　1961　大学116.3Ma27
12　数学の基礎　島内剛一　日本評論社　1971　9F　大学新書庫１層
13　新装版　『集合とはなにか』　はじめて学ぶ人のために　竹内外史　ブルーバックス　2001　県立　市立
×14　素朴集合論　Halmos　ミネルヴァ書房　1975
15　ゲーデルと２０世紀の論理学　１　ゲーデルの２０世紀　田中一之編　東京大学出版会　2006　県立　大学410.9G55
16　ゲーデルと２０世紀の論理学　２　完全性定理とモデル理論　田中一之編　東京大学出版会　2006
17　ゲーデルと２０世紀の倫理学　３　不完全性定理と算術の体系　田中一之編　東京大学出版会　2007
18　ゲーデルと２０世紀の倫理学　４　集合論とプラトニズム　田中一之編　東京大学出版会　2007
×19　ユークリッド原論　追補版　共立　2011
20　デカルト著作集　１　白水社　2001　県立　8F人文科学135.1ﾃ1　大学新書庫135.23D64
21　ガウス　整数論　朝倉書店　1995　大学412G27
22　数について　連続性と数の本質　デデキント　岩波文庫　1961　9F'79　大学新書庫１層'69
23　フレーゲ著作集　１　○草書房　1999　大学410.96.F46
24　フレーゲ著作集　２　○草書房　2001
25　フレーゲ著作集　３　○草書房　2000
26　フレーゲ著作集　４　○草書房　1999
27　フレーゲ著作集　５　○草書房　2001
28　フレーゲ著作集　６　○草書房　2002
29　数の概念について　Peano　共立　1969　大学新書庫１層
30　復刻版　初等数学史　Cajori　共立　1997　8F自然科学410.2ｶ　市立？　大学新書庫１層
31　カッツ　数学の歴史　共立　2005　県立　大学410.2Ka88
32　数学史　1700-1900（３巻）　岩波　1985　大学410.2Su23
33　ブルバキ　数学史　ちくま学芸文庫　2006　県立（新装版）　大学新書庫１層'70
34　古代の精密科学　Neugebauer　恒星社厚生かく　1984　県立
35　ギリシア数学の始原　Sazbo　玉川大学出版部　1978　県立　大学新書庫410.2Sz
36　数論　歴史からのアプローチ　Weil　日本評論社　1987　大学412W55
37　中国数学史　銭宝琮　みすず書房　1990　県立　大学410.2C62
38　復刻版　近世数学史談・数学雑談　高木貞治　共立　1996　大学新書庫410.2Ta29
39　形而上学　アリストテレス　岩波書店　1959　県立'68　9F'79　大学新書庫１層'68
40　攻撃　悪の自然誌　Lorenz　みすず書房　1985　県立　大学新書庫481.7L88
41　『偶然と必然』　Monod　みすず書房　1972　大学旧
42　時間の矢　Morris　地人書館　1987　県立　8F人文科学112ﾓ　大学旧
43　混沌からの秩序　Prigogine　みすず書房　1987　県立　大学新書庫402P93
×44　論理分析哲学　Wright　講談社学術文庫　2000
45　科学革命の構造　Kuhn　みすず書房　1971　8F自然401ｸ　大学旧
46　プロレゴメナ　Kant　岩波文庫　2003　県立　8F書庫　大学旧2696
47　ニュートン（プリンキピア）　世界の名著　中央公論社　1979　８階書庫
48　天球回転論　Copernicus　みすず書房　1993　県立　8F自然科学440.2ｺ
×49　無限、宇宙および諸世界について　Bruno　岩波文庫　1982
50　星界の報告　ガリレイ　岩波文庫　1976　9F　市立　大学旧
51　天文対話　ガリレイ　岩波文庫　1959　9F'79　大学旧'59
52　新科学対話　ガリレイ　岩波文庫　1995　県立'37　9F'73
×53　閉じた世界から無限宇宙へ　Koyre　みすず書房　1973
×54　中世の自然学　Grant　みすず書房　1982
×55　ガリレオ研究　Koyre　法政大学出版局　1988
56　ヨハネス・ケプラー　近代宇宙観の夜明け　ちくま学芸文庫　2008　市立？
57　ギリシアの哲学者たち　Guthrie　理想社　1973　県立　大学131G97
58　ソフィスト　田中美知太郎　筑摩書房　1957　県立　大学新書庫121.9Ta84.3（全集）
59　論理的観点から　論理と哲学をめぐる九章　Quine　○草書房　1992　県立
60　科学の価値　Poincare　岩波文庫　1977　9F'79
61　ソクラテス以前以後　Cornford　岩波文庫　1995　9F　大学旧
62　数学者の哲学＋哲学者の数学　砂田利一ほか　東京図書　2011　8F自然科学410.1ｽ
63　無限のパラドクス　足立恒雄　ブルーバックス　2000　県立　9F　市立
×64　ルート２の不思議　足立恒雄　ちくま学芸文庫　筑摩書房　2007
65　無限の果てに何があるか　足立恒雄　光文社　2002　県立　市立
×66　数とは何か　そしてまた何であったか　足立恒雄　共立　2011
67　無限の考察　足立恒雄　講談社　2009　6FY241
68　『神は妄想である』　ドーキンス　早川書房　2007　県立　8F人文科学161ﾄ　市立161ﾄﾞ
69　『三十三年の夢』　宮崎滔天　岩波文庫　1993　県立（'82)　８階書庫（名著'84）　市立書庫'98　大学旧（岩波'93)
70　『呪の思想』　白川静　平凡社　2002　県立　8F人文科学122.0ｼ　市立　大学122.04Sh83
71　斎藤隆夫かく戦えり　草柳大蔵　　グラフ社　2006　県立
72　夢酔独言　勝小吉　平凡社　2000　県立　9F'00　市立'82　大学文庫（東洋文庫）138'69
73　逝きし世の面影　渡辺京二　平凡社　2005　県立　8F人文科学210.5ﾜ　市立210.5ﾜ
74　『ある明治人の記録』　会津人柴五郎の遺書　石光真人編　中公新書　1971　県立　7FS289.1ｼ　市立289ｼ
75　４６年目の光　視力を取り戻した男の奇跡の人生　Kurson　NTT　2009　県立　8F人文科学289.3ﾒ　市立289ﾒ　大学289.3Ku78
76　イヴァン雷帝　Tryoyat　中央公論社　1983　9F　市立
77　湛山回想　石橋湛山　岩波文庫　1985　県立（全集）　9F　大学旧
78　数学的世界観　現代数学の思想と展望　紀伊國屋書店　1982　9F
×79　数学から社会へ＋社会から数学へ　数学者の目で世相を観る　足立恒雄　東京図書　2013

６．小谷元子　東北大学大学院理学研究科
（解釈本）
1　宇宙の幾何　数学による宇宙の探求　翔泳社　1995　幾何は宇宙の地図を描く道具　県立
2　ダイヤモンドはなぜ美しい？　離散調和解析入者　砂田利一　丸善出版　2012　県立
×2-2　Topological Crystallography, With a View Towards Discrete Geometric Analysis, Toshikazu Sunada, Springer,2012　最小作用の原理が対称性として現れることは多くは数学的に証明できる。「標準的実現」
×3　２１世紀の数学　幾何学の未踏峰　宮岡礼子ほか　日本評論社　2004　未解決問題集
4　多様体入門　松島与三　裳華房　構造を入れるという発想　大学410.8Su23.5
4-2　多様体の基礎　松本幸夫　発見的手法　大学410.8Ki59.5
4-3　リーマン幾何学　酒井隆　裳華房　専門家向けで必要なことはすべて書かれている　県立　大学414.8Sa29
×4-4　重点解説　基礎微分幾何　塩谷隆　サイエンス社　位相空間論を知らずに読める微分幾何学入門書
×5　ポストモダン解析学　原書第３版　Jost　丸善出版　2009　優れた解析学の入門書
6　形の法則　自然界の形とパターン　Hildebrandtほか　東京化学同人　1994　変分法で自然の形の秘密に迫る　大学408Sc9.14
7　トポロジーの絵本　Francis　丸善　2005　絵巻物　県立　大学415.7F43
8　ガロアの夢　群論と微分方程式　久賀道郎　日本評論社　1968　名講義　大学新書庫
9　群の発見　原田耕一郎　岩波　2001　対称性を追求した「群」の発見　大学411.6H32
10　一般相対性理論　Dirac　ちくま学芸文庫　2005　美しい解説書　大学新書庫421.2D78
11　『磁力と重力の発見』　山本義隆　みすず　2003　県立　市立　大学423.02Y31
×11-2　熱学思想の史的展開　山本義隆　ちくま学芸文庫　2008　
×12　フラットランド多次元の冒険　Abbott　日経BP社　2009　高次元の世界
13　哲学の歴史　第１０巻　危機の時代の哲学　中央公論新社　2008　解説書　県立　市立130ﾃ10
14　『園芸家　１２カ月』　Capek 中央公論新社　1996　県立　9F　市立

（蔵書本）
1　多様体入門　松嶋与三　裳華房　1965　大学410.8Su23.5
2　リーマン幾何学　酒井隆　裳華房　1992　県立　大学414.8Sa29
3　重点解説　基礎微分幾何　塩谷隆　サイエンス社　2009
×4　ポストモダン解析学　原書第３版　Jost　丸善出版　2009
5　ルベーグ積分講義　新井仁之　日本評論社　2003　大学413.4A62
6　岩波　数学辞典　第４版　岩波　2007　県立（禁帯）　大学参考（禁帯）
7　岩波　数学入門辞典　岩波　2005　県立　8F一般（禁帯）　大学参考（禁帯）
8　モース理論　Milnor　吉岡書店　2004　大学新書庫415Mi28
×9　微分形式と代数トポロジー　Bott　シュプリンガー・ジャパン　1996
10　接続の微分幾何とゲージ理論　小林昭七　裳華房　1989　大学414.7Ko12
11　基本群とラプラシアン　幾何学における数論的方法　砂田利一　紀伊國屋書店　1988　大学新書庫410.8Ki45.29
12　ダイヤモンドはなぜ美しい？　離散調和解析入門　砂田利一　丸善出版　2012　県立
13　分割の幾何学　砂田利一　日本評論社　2000　大学414Su72
14　指数定理　古田幹雄　岩波　2008　大学410.8I95.17,18
15　シンプレクティック幾何学　深谷賢治　岩波　2008　県立　大学410.8I95.21
16　場の理論とトポロジー　河野俊丈　岩波　2008　大学410.8I95.22
17　特性類と幾何学　森田重之　岩波　2008　県立　大学410.8I95.23
×18　３次元幾何学とトポロジー　Thurston　培風館　1999
×19　２１世紀の数学　幾何学の未踏峰　宮岡礼子ほか　日本評論社　2004
×20　数論講義　Serre　岩波　1979
×21　確率論入門コース　Sinai　丸善出版　2012
22　ミクロからマクロへ１，２　舟木直久ほか　シュプリンガー・ジャパン　2002　大学421.4Mi25
23　ディリクレ形式とマルコフ過程　福島正俊　紀伊國屋書店　2008　大学新書庫１層
24　トポロジーの絵本　Francis　丸善出版　2005　県立　大学415.7F43
25　形の法則　自然界の形とパターン　Heldebrandt　東京化学同人　1994　大学408Sc9.14
26　ガロアの夢　群論と微部分方程式　久賀道郎　日本評論社　1968　大学新書庫
27　群の発見　原田耕一郎　岩波　2001　大学411.6H32
×28　現代幾何学への道　ユークリッドの蒔いた種　砂田利一　岩波　2010
29　新版　バナッハ・タルスキーのパラドックス　砂田利一　岩波　2009　県立'97　8F自然科学410ｽ'97　市立'97　大学410.9Su72'09
30　宇宙の幾何　数学による宇宙の探求　Osserman　翔泳社　1995　県立
31　一般相対性理論　Dirac ちくま学芸文庫　2011　大学新書庫421.2D78
×32　アインシュタイン論文選　ちくま学芸文庫　 2011
33　ゲージ場の量子論１，２　九後○一郎　培風館　1989　大学421.3KU22.23,24
×34　熱力学　田崎晴明　培風館　2000
35　統計力学１，２　田崎晴明　培風館　2008　大学420.8Sh59.37,38
36　固体物理学入門　第８版　Kittel　丸善出版　2005　大学428.4Ki79
×37　岩波講座　物理の世界　物の理　数の理　１~５　砂田利一　岩波　2004
×38　数学の自由性　高木貞治　ちくま学芸文庫　2010
39　科学と仮説　ポアンカレ　岩波文庫　1938　県立'65　9F'78　大学新書庫401P76'59
40　科学の価値　ポアンカレ　岩波文庫　岩波　1977　9F'79
41　改訳　科学と方法　ポアンカレ　岩波文庫　1953　県立'64　9F'79　大学文庫3996'53
42　スピンはめぐる　朝永振一郎　みすず書房　2008　県立　大学新書庫408Sh93.15
43　物理学とはなんだろうか　朝永振一郎　岩波　1979　県立　7FS420ﾄ1　大学旧
44　『磁力と重力の発見』（３巻）　山本義隆　みすず書房　2003　県立　市立　大学423.02Y31
×45　熱学思想の史的展開（３巻）　山本義隆　ちくま学芸文庫　2008
46　闘いの世紀を生きた数学者（上下）　ローラン・シュヴァルツ自伝　丸善出版　2006　県立
×47　この数学者に出会えてよかった　数学書房　2011
×48　数学の道しるべ　サイエンス社　2011
49　ブックガイド　文庫で読む科学　岩波書店　2007　県立　8F自然科学404ﾌ　大学407B87
×50　パラダイムとは何か　野家啓一　講談社　2008
51　哲学の歴史　第１０巻　危機の時代の哲学　中央公論新社　2008　県立　市立130ﾃ10
52　数学者の哲学＋哲学者の数学　歴史を通じ現代を生きる思索　砂田利一ほか　東京図書　2011　8F自然科学410.1ｽ
×53　フラットランド　多次元の冒険　Abbott　日経BP社 2009
54　夜中に犬に起こった奇妙な事件　Hddon　早川書房　2003　県立　7F児・文学J93ﾊ　市立933ﾊ
55　ムーンパレス　Auster　新潮社　1997　7F外国文学933ｵ　7FB933ｵ　市立
56　園芸家１２か月　チャペック　中公文庫　1996　県立　市民（BM書庫）　9F　市立
×57　Topological Crystallography, With a View Towards Discrete Geometric Analysis, Thosikazu Sunada, Springer, 2012
58　多様体の基礎　松本幸夫　東京大学出版会　1988　大学410.8Ki59.5

７．益川敏英　名古屋大学素粒子宇宙起源研究機構
（解説本）
1　古典力学の数学的方法　Arnol'd　岩波書店　2003　数学では抽象化　大学新書庫423A79
2　新版　バナッハ・タルスキーのパラドックス　砂田利一　岩波　2009　選択公理は強すぎるのではないか　県立'97　8F自然科学410ｽ'97　市立'97　大学410.9Su72'09
3　岩波　数学辞典　初版ー第４版　初版の1954年は秀逸　県立（禁帯）　大学参考（禁帯）
×4　三角法　中村芳彦　培風館　1957　高校のとき
5　連続群論入門　山内恭彦ほか　新数学シリーズ８　培風館　1960　よく書かれている。このシリーズは買う　大学新書庫１層'60
6　定木による作図／コンパスによる作図　商工出版社　1960　平行線の作図は秀逸　大学新書庫１層
7　岩波数学公式１~３　岩波全書　1956　パラパラと　8F自然科学410.3ﾓ1　大学410.38Mo48.1-3
8　自然科学者のための数学概論　増訂版改訂　寺沢寛一　岩波　1983　数学はどういうところに使えるのか　市立　大学410Te62
9　リー環の話　新版　佐竹一郎　日本評論社　2002　アマノジャック　大学411.72SA83'87
10　不動点定理とその周辺　中岡稔　岩波　1977　大学新書庫１層
11　連分数論Ⅰ、Ⅱ　柴田寛　岩波講座数学　1933　連分数で関数がきれいに表示。　県立　大学（権平文庫）G410.I95.3-4-1,2
×12　数学と自然科学の哲学　Weyl　岩波　1959　数学者の思考の視点を体感
13　特殊函数論　柴垣和三雄　共立　1968　特殊関数　大学新書庫１層

（蔵書本）
1　益川敏英　現代の物質観とアインシュタインの夢　岩波科学ライブラリー　1995　県立　8F自然科学429.6ﾏ
2　ニュートリノと重力波　実験室と宇宙を結ぶ新しいメディア　日本物理学会編　裳華房　1997　県立
3　いま、もう一つの素粒子論入門　益川敏英　丸善　1998　県立　8F自然科学429.6ﾏ　市立
4　物質の窮極を探る　現代の統一理論　日本物理学会編　培風館　1982　大学429.6B95
×5　仁科芳雄博士生誕日記念科学講演会　第１３巻　現代の物質観　岡山物理を語る書い　科学振興仁科財団　2003
6　自然の謎と科学のロマン　上　平林久ほか　新日本出版社　2003　県立　8F自然科学404ｼ1　大学404Sh93.1
7　ゲーデルに挑む　証明不可能なことの証明　田中一之　東京大学出版会　2012　県立　市立410ﾀ
8　古典力学の数学的方法　Igorevich　岩波　2003　大学新書庫423A79
9　外微分形式の理論　積分不変式　Cartan　白水社　1964　大学新書庫１層
10　力学系入門　微分方程式からカオスまで　原書第２版　　Hirshc　共立　2007　大学413.6Sm1
×11　シュバレー　リー群論　ちくま学芸文庫　2012
×12　パンルヴェ方程式　岡本和夫　岩波　2009
13　現代数学の源流　上　複素関数論と複素整数論　佐武一郎　朝倉書店　2007　大学410.2Sa83.1
14　現代数学の源流　下　抽象的曲面とリーマン面　佐武一郎　朝倉書店　2009　大学410.2Sa83.2
15　シンメトリー　Weyl　紀伊國屋書店　1970　大学新書庫１層414.9W64
×16　増補版　金融・証券のためのブラック・ショールズ微分方程式　石村貞夫ほか　東京図書　2008
17　復刊　エルゴード理論入門　十時東生　共立　　2009　大学新書庫１層
×18　脳の情報表現　ニューロン・ネットワーク・数理モデル　銅谷賢治ほか　朝倉書店　2002
19　相対論の意味　附：非対称場の相対論　アインシュタイン　岩波　1958　大学421.2E39
×20　可換環と代数幾何入門　Kunz　共立　2009
×21　ミラー対称性入門　深谷賢治編　日本評論社　2009
×22　正則関数のなすヒルベルト空間　中路貴彦　岩波　2009
23　コホモロジーのこころ　加藤五郎　岩波　2003　県立
24　数論　講義と演習　Duverney　森北出版　2006　大学412D99
25　ブルバキとグロタンディーク　Aczel　日経BP社　2007　県立　市立289ｸﾞ
26　復刊　ホモロジー代数学　中山正ほか　共立　2010　大学新書庫１層
27　計算統計１　確率計算の新しい手法　岩波　2003　大学417.08To29.11
28　江戸の数学文化　川本享二　岩波科学ライブラリー　1999　県立　8F自然科学419.1ｶ　市立　大学419.1Ka95
29　リーマン予想の１５０年　黒川重信　岩波　2009　県立　8F自然科学413.5ｸ
×30　数の理論　Legendre　海鳴社　2008
31　４次元のトポロジー　増補新版　松本幸夫　日本評論社　2009　県立　大学410.8NY.9'79
×32　セルオートマトン　Schiff　共立　2011
33　ゲーム理論・入門　人間社会の理解のために　岡田章　有斐閣　2008　8F社会科331.1ｵ　市立
34　岩波　数学辞典　初版ー第４版　岩波　1954-2007　県立（禁帯）　大学参考（禁帯）
35　ゲーデル　不完全性定理　岩波文庫　2006　大学文庫4243
36　ブルバキ　数学史　ちくま学芸文庫　2006　県立（新装版）　大学新書庫１層'70
37　空間・時間・物質　Weyl　ちくま学芸文庫　2007　大学新書庫421.2W64
×38　巨大基数の集合論　Kanamori　シュプリンガー・ジャパン　1998
×39　佐藤幹夫の数学　木村達雄編　日本評論社　2007
40　特殊函数論　柴垣和三雄　共立　1968　大学新書庫１層
41　連分数論１，２　柴田寛　岩波　1933　県立　大学（権平文庫）G410.I95.3-4-1,2
42　新版　バナッハ・タルスキーのパラドックス　砂田利一　岩波　2009　県立'97　8F自然科学410ｽ'97　市立'97　大学410.9Su72'09
×43　結び目理論入門　Crowell 岩波　1967
44　バナッハとポーランド数学　Kaluza　丸善出版　2012　県立
×45　リーマン面　Weyl　岩波　2003
46　ホップ代数　阿部英一　岩波　1977　県立　大学新書庫410.8Su23.9
47　復刊　佐藤超函数入門　森本光生　共立　2000　8F自然科学415.6ﾓ　大学410.8Ky5.20
×48　数学と自然科学の哲学　Weyl　岩波　1959
49　量子力学の数学的基礎　Neumann　みすず書房　1957　大学新書庫429.1N67
50　リー群論　杉浦光夫　共立　2000　大学新書庫411.68Su48
×51　数学の基礎をめぐる論争　２１世紀の数学と数学基礎論のあるべき姿を考える　田中一之　シュプリンガー・ジャパン　1999
×52　四元数と八元数　幾何、算術、そして対称性　Conway　培風館　2006
53　現代ベクトル解析　ベクトル解析から調和積分へ　Nickerson　岩波　1965　大学新書庫１層
54　複素函数論　Cartan　岩波　1965　大学新書庫１層
55　外微分形式の理論　松田道彦　岩波　1976　大学新書庫１層
×56　リッチフローと幾何化予想　小林亮一　培風館　2011
×57　数学基礎論　新井敏康　岩波　2011
58　岩波講座　計算科学　別巻　2011　市立007ｲ7
×59　曲面結び目理論　鎌田聖一　丸善出版　2012
×60　指数型可解リー群のユニタリ表現　藤原英徳ほか　数学書房　2010
61　リー環の話　新版　佐竹一郎　日本評論社　2002　大学411.72SA83'87
62　四元数・八元数とディラック理論　森田克貞　日本評論社　2011　大学421.3Mo66
×63　明解　ゼータ関数とリーマン予想　Mortimer　講談社　2012
×64　逆問題の数理と解法　偏微分方程式の逆解析　東京大学出版会　1999
×65　代数曲線・代数曲面入門　複素代数幾何の源流　新装版　安藤哲也　数学書房　2011
66　寄り道の多い数学　大沢健夫　岩波科学ライブラリー　2010　6FY241　市立410ｵ　大学410O74
67　バナッハ・タルスキの逆説　豆と太陽は同じ大きさ？　Wapner　青土社　2009　県立　8F自然科学410.9ﾜ　大学410.9W37
×68　代数学１　基礎編　宮西正宜　裳華房　2010
×69　代数学２　発展編　宮西正宜　裳華房　2011
70　百年の難問はなぜ解けたのか　春日真人　新潮文庫　2011　県立　8F自然科学415.7ｶ　市立　大学415.7Ka79
×71　現代幾何学の流れ　砂田利一編　日本評論社　2007
72　物質の対称性と群論　今野豊彦　共立　2001　大学428Ko75
×73　伊藤清の数学　高橋陽一郎編　日本評論社　2011
74　絶対数学　黒川重信ほか　日本評論社　2010　県立　8F自然科学413.5ｸ　市立413ｸ
×75　数え上げ幾何と弦理論　Katz　日本評論社　2011
×76　ディジタル署名と暗号技術　第２版　Ford　ピアソンエデュケーション　2001
×77　代数学から学ぶ暗号理論　整数論の基礎から楕円曲線暗号の実装まで　宮地充子　日本評論社　2012
78　復刊　数論序説　小野孝　裳華房　1987　大学新書庫412O67
×79　計算神経科学への招待　臨時別冊　数理科学　銅谷賢治　サイエンス社　2007
×80　１４日間でわかる代数幾何学事始　海老原円　日本評論社　2011
×81　微分トポロジー　Hirsch　丸善出版　2012
×82　三角法　中村芳彦　培風館　1957
83　連続群論入門　山内恭彦ほか　培風館　1960　大学新書庫１層'60
84　定木による作図　コンパスによる作図　商工出版社 1960　大学新書庫１層
85　岩波　数学公式（新装版）　１~３　岩波　1987　8F自然科学410.3ﾓ1　大学410.38Mo48.1-3
86　自然科学者のための数学概論　増訂版改版　寺沢寛一　岩波　1983　市立　大学410Te62
87　不動点定理とその周辺　中岡稔　岩波　1977　大学新書庫１層

８．野崎昭弘　大妻女子大学名誉教授
1　解析概論　高木貞治　改訂第３版　岩波　1983　高１のときはじめて会ったほんものの本。第５章からおもしろく。　市立（専門）413ﾀ　大学413Ta29
2　コンピュータの数学　クヌースほか　共立　1993　分厚い本の方が考え方が身につく　県立
3　数学者の２０世紀　彌永昌吉のエッセイ集　1941-2000　岩波　2000　県立　9F
×4　ガロアの時代　ガロアの数学　第一部、第二部　彌永昌吉　丸善出版　1999,2002　ていねいに
5　近世数学の歴史　微積分の形成をめぐって　中村幸四郎　日本評論社　1980　通説はあてにならない　県立
6　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　原典をよく調べている　県立　市立　大学418.4Sh27
×7　ヒルベルト　現代数学の巨峰　Reid　岩波　2010　予備知識不要
8　魔術から数学へ　森毅　講談社　1991　脳が活性化　県立
9　数学ガール　結城浩　ソフトバンク　2007　おもしろい　県立（６巻）　6FY241（７巻）　市立410ﾕ（７巻）　大学410Y97.1-4
10　『デタラメにひそむ確率法則』　地震発生率８７％が意味するもの　小林道正　岩波　2012　地震発生確率の信頼性の乏しさ　県立　8F417.1ｺ　市立417ｺ　大学417.1Ko12
11　論理パラドクス　論証力を磨く９９問　三浦俊彦　二見書房　2002　刺激的。ほかに　戦争論理学、ゼロからの論証も　8F人文科学116ﾐ　大学116Mi67
×12　地中海世界を彩った人たち　柳沼重剛　岩波　2007　ギリシャ・ローマの古典から
13　透きとおった迷宮　吉田直哉　文藝春秋　1988　教養と人格　県立　9F　市立
14　『ヒロシマ市長』　<国家>から<都市>の時代へ　秋葉忠利　朝日新聞社　2012　元市長の提言　県立　市立318ｱ
15　『重金属のはなし』　鉄、水銀、レアメタル　渡邉泉　中公新書　2012　7FS436ﾜ　市立

（蔵書本）
1　定本　解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
2　初等整数論講義　第２版　高木貞治　共立　1971　8F自然科学412ﾀ'84　大学新書庫１層'71
3　代数学講義　改訂新版　高木貞治　共立　1965　県立'46　大学新書庫１層'65
4　数学とは何か　Courant　岩波　2001　8F自然科学410ｸ　市立　大学410C89
5　現代数学概説１　彌永昌吉　岩波　1961　大学新書庫１層
6　アルゴリズムの設計と解析　１，２　Aho　サイエンス社　1977　大学新書庫549.9Sa17.35,37
7　コンピュータの数学　Graham　共立　1993　県立
8　数値計算工学　森口繁一　岩波　1989　大学新書庫501.1Mo48
×9　アルゴリズムの基礎　進化するIT時代に普遍なな本質を見抜くもの　岩野和生　朝倉書店　2010
10　アルゴリズムクイックリファレンス　Heineman　オライリー　2010　大学007.64H51
11　『計算とは何か』　新井紀子ほか　東京図書　2008　8F418ｱ　大学418A62
12　数値計算の常識　伊理正夫ほか　共立　1985　大学418.1I63
×13　情報数学　組合せと整数およびアルゴリズム解析の数学　浅野孝夫　コロナ社　2009
×14　組合せ論プロムナード　山田裕　日本評論社　2009
×15　素数大百科　Caldwell　共立　2004
16　近世数学史談　高木貞治　岩波　1995　県立　9F　大学文庫3623
×17　ギリシア人の数学　伊東俊太郎　講談社学術文庫　1990
18　近世数学の歴史　微積分の形成をめぐって　中村幸四郎　日本評論社　1980　県立
19　魔術から数学へ　森毅　講談社学術文庫　1991　県立
20　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　県立　市立　大学418.4Sh27
21　ボクは算数しか出来なかった　小平邦彦　岩波現代文庫　2002　9F　大学旧
×22　ガロアの時代　ガロアの数学　１，２　彌永昌吉　丸善出版　1999
23　数学者の２０世紀　彌永昌吉エッセイ集　1941-2000　岩波　2000　県立　9F
×24　ヒルベルト　現代数学の巨峰　Reid　岩波　2010
25　『数理つれづれ』　森口繁一　岩波　2001　市立　大学410.4 Mo48
26　　『デタラメにひそむ確率法則』　地震発生率８７％が意味するもの　小林道正　岩波　2012　地震発生確率の信頼性の乏しさ　県立　8F417.1ｺ　市立417ｺ　大学417.1Ko12
27　数学ガール　結城浩　ソフトバンク　2007　県立（６巻）　6FY241（７巻）　市立410ﾕ（７巻）　大学410Y97.1-4
28　算数の究極奥義教えます　子どもに語りたい秘法　木村俊一　講談社　2003　県立　8F自然科学410.4ｷ
29　とっておきの数学パズル　Winkler　日本評論社　2011　6FY241
×30　続・とっておきの数学パズル　Winkler　日本評論社　2012
31　常用字解　白川静　平凡社　2013　県立　8F一般（禁帯）
32　新英和活用大辞典　勝俣　研究社　1958　8F書庫（禁帯）　市立（禁帯）　大学新書庫１層（禁帯）
33　『アーロン収容所』　会田雄次　中公新書　1973　県立（全集）　9F　大学旧915.9.A24
34　地獄の日本兵　飯田進　新潮新書　2008　7FS916ｲ
×35　行き急ぐ　内村剛介　講談社文芸文庫　2008
36　戦艦大和ノ最期　吉田満　講談社文芸文庫　1994　県立 9F 市立
37　『旅の絵本』１~７　安野光雅　福音館　1977　県立　7FJEｱﾝ　市立
38　村の広場　安野光雅　朝日新聞社　2002　県立　7F日本文学ｱﾝ　市立
39　天は人の上に人をつくらず　安野光雅　童話屋　2001　8F社会科学316.1ｱ
40　わが友の旅立ちの日に　安野光雅　山川　2012　県立　7F日本文学ｱﾝ　市立914.6ｱ
×41　翻訳困りっ話　柳瀬尚紀　河出書房新社　1992
×42　猫舌流　英語練習帖　柳瀬尚紀　平凡社新書　2001
43　言の葉三昧　柳瀬尚紀　朝日新聞社　2003　県立　8F一般804ﾔ
44　私の愛国心　香山リカ　ちくま新書　2004　7FS302.1ｶ
45　いまどきの「常識」　香山リカ　岩波新書　2005　県立　7FS304ｶ　大学文庫969
46　信じぬ者は救われる　香山リカほか　かもがわ出版　2008　8F自然科学404ｶ　市立404ｶ
47　「独裁」入門　香山リカ　集英社新書　2012　7FS361.4ｶ
48　透きとおった迷宮　吉田直哉　文藝春秋　1988　県立　9F　市立
×49　地中海世界を彩った人たち　柳沼重剛　岩波　2007
50　ヒロシマ市長　国家から都市の時代へ　秋葉忠利　朝日新聞　2012　県立　市立318ｱ
51　『ラッセルのパラドクス』　三浦俊彦　岩波新書　2005　県立　7FS133.5ﾗ　市立133ﾐ　大学文庫975
52　論理サバイバル　議論力を鍛える１０８問　三浦俊彦　二見書房　2003　8F人文科学116ﾐ
53　論理パラドクス　論証力を磨く９９問　三浦俊彦　二見書房　2002　8F人文科学116ﾐ　大学116Mi67
×54　ゼロからの論証　三浦俊彦　青土社　2006
55　心と脳　認知科学入門　安西祐一郎　岩波新書　2011　県立　7FS007.1ｱ　大学文庫1331
×56　おかしなデータブック　Houwink　朝日新聞　1978
57　　『重金属のはなし』　鉄、水銀、レアメタル　渡邉泉　中公新書　2012　7FS436ﾜ　市立
58　『生物と無生物のあいだ』　福岡伸一　講談社現代新書　2007　県立　7FS460.4ﾌ　市立460ﾌ　大学460.4.F82
59　クジャクの雄はなぜ美しい？　増補改定版　長谷川真理子　紀伊國屋書店　2005　県立　8F自然科学481.7ﾊ　市立
60　『宇宙は本当にひとつなのか』　村山斉　ブルーバックス　2011　県立　市立443ﾑ
61　超革命的中学生集団　平井和正ほか　早川書房　1974　9F
62　あの頃ぼくらはアホでした　東野圭吾　集英社文庫　1998　県立　7F日本文学ﾋｶ　市立914.6ﾋ
63　笑わない数学者　森博嗣　講談社文庫　1999　7F日本文学ﾓﾘ　市立
64　超現実数　Knuth　海鳴社　1978　（参考　至福の超現実数　大学410.4Kn8）
65　いつか罹る病気に備える本　塚崎朝子　講談社　2012　県立　市立492ﾂ
66　地震発生確率の怪　「地震予知」にだまされるな　小林道正　明石書房　2012　県立　市立453ｺ
67　アルゴリズムと計算量　野崎昭弘　共立　1987　大学007.6N98
68　不完全性定理　野崎昭弘　ちくま学芸文庫　2006　大学410.4N98'96
69　詭弁論理学　野崎昭弘　中公新書　1976　県立　9F
70　逆説論理学　野崎昭弘　中公新書　1980　県立　市立　大学410.9.N98
71　πの話　野崎昭弘　岩波現代文庫　2011　市立
72　１０人のゆかいなひっこし　安野光雅　童話屋 1981　県立　9F　市立
73　すうがく博物誌　森毅　童話屋　1995　県立　8F自然科学410.4ﾓ　市立
74　壺の中　安野雅一郎　童話屋　1982　9F　市立
75　赤いぼうし　野崎昭弘　童話屋　1984　県立　9F　市立
76　３びきのこぶた　森毅　童話屋　1985　7F児・絵本JEｱﾝ　市立
77　ふしぎなたね　安野光雅　童話屋　1992　県立　7F児・絵本JEｱﾝ　市立
78　アナログ？　デジタル？ピンポーン！　野崎昭弘　福音館　1994　県立　9F　市立
79　『はじまりの数学』　野崎昭弘　ちくまプリマー新書　2012　6FY241ノ
80　『ゲーデル、エッシャー、バッハ』　Hofstadter　白揚社　2005　大学141.5H81
×81　豊かさという幻想　「消費社会」批判　桜井書店　2013

９．高橋陽一郎　東京大学・京都大学名誉教授
（解説本）
1　Integration in Function Spaces and Some of Its Applications, Mark Kac, 1980　格調高い講義。カッツ。物理的に意味のあるのは確率分布と平均量　大学新書庫４層
1-2　漸近挙動入門　日本評論社　大学413Ta33
×1-3　カッツ：統計的独立性　数学書房
2　フーリエ解析大全　　Korner　朝倉書店　1996　おしゃべりな数学書　8F自然科学413.5ｹ　大学413Ko79
3　初等幾何学　寺阪英孝　数学演習講義　共立　1957　市立'73　大学新書庫１層'57
3-4　微分積分学　Ⅰ、Ⅱ　宇野利雄ほか　共立　1957　市立　大学新書庫410.8Su23E,6,7
×4　スミルノフ高等数学教程　１２巻　共立　1958-62　類をみないが、私は拾い読み　
5　物理数学　山内恭彦　岩波　1963　線型写像や固有値の意味など　大学新書庫１層
6　現代の古典解析　微分積分基礎課程　森毅　ちくま学芸文庫　2006　一刀両断　大学新書庫１層
×7　スピヴァック　多変数の解析学　古典理論への現代的アプローチ　新装版　東京図書　2007　ベクトル解析を高次元での解析に
8　複素関数入門　神保道夫　現代数学への入門　岩波　2003　研ぎ澄まれた入門書　県立　大学410.8I95.4
9　微分方程式入門　高橋陽一郎　東京大学出版会　1988　教養として、力学系の視点をも　大学413.6Ta33
10　力学　増訂第３版　ランダウ＝リフシッツ理論物理学教程　東京図書　1974　英訳第１版はフリー・アクセス　大学新書庫423L22
11　確率論とその応用　I　上下　Feller　紀伊國屋書店　 1960　入門書の不朽の名著　大学新書庫１層
12　多様体入門　松島与三　裳華房　1965　当時の教科書。　大学410.8Su23.5　今は　幾何学Ⅰ　多様体入門　東京大学出版会もある　
13　数値計算法の数理　杉原正顕ほか　岩波　1994　数学者にわかる数値計算　大学418.1Su34
14　自然科学者のための数学概論　寺沢寛一　岩波　1980　多くを学べる　市立　大学410Te62
15　曲面の数学　長野正　培風館　2000　おしゃれな本（×大域変分法　共立）　大学新書庫１層
×16　Ergodic Problems of Classical Mechanics, Benjamin,1968　古典力学のエルゴード問題　吉岡書店　2004　力学系・エルゴード理論理解の必読の名著
17　解析力学入門　斎藤利弥　至文堂　1964　著者の情熱　大学新書庫410.8Ki4219
18　From Fermat to Minkovski, Sharlau フェルマーの系譜　数論における着想の歴史　日本評論社　1994　美しい数学書　8F自然科学412ｼ
19　無限からの光芒　志賀浩二　日本評論社　1988　大学410.23Sh27
20　世界を変えた手紙　パスカル、フェルマーと確率の誕生　Devlin　岩波　2010　県立　8F自然科学417.1ﾃ　市立417ﾃﾞ

（蔵書本）
1　零の発見　数学の生い立ち　改版　吉田洋一　岩波新書　1986　県'79　9F　大学旧'39
2　初等幾何学　寺阪英孝　共立　1956　市立'73　大学新書庫１層'57
3　微分積分学１，２　宇野利雄ほか　共立　1956　市立　大学新書庫410.8Su23E,6,7
4　詳解　微積分演習１，２　福田安蔵ほか　共立　1957　県立　大学413.3Sh96.1,2
5　定本解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
6　数学における発見はいかになされるか１　機能と類比　Polya　丸善出版　1959　大学新書庫１層
7　数について　連続性と数の本質　Dedekind　岩波文庫　1961　9F'79　大学新書庫１層'69
8　数の概念　高木貞治　岩波　1949　大学新書庫412Ta29
9　復刊　整数論入門　ヴィノグラードフ　共立　2010　大学412V77
10　方法序説　デカルト　岩波文庫　1997　県立　8F人文科学135.2テ　大学旧
11　荘子　内編、外編、外編・雑編　福永光司　朝日新聞　1987　7FB124.2ｿ　大学120.8.7.7-9
12　荘子物語　諸橋轍次　講談社学術文庫　1988　県立　7F閉書庫　市立
13　星の王子さま　オリジナル版　岩波　2000　7F外国文学953ｻ
14　線型代数学　増補改題版　佐武一郎　裳華房　1974　大学411.3Sa83
15　線型代数入門　斎藤雅彦　東京大学出版会　1966　大学410.8Ki59.1
16　物理数学　山内恭彦　岩波　1963　大学新書庫１層
×17　スミルノフ高等数学教程　１２巻　共立　1958-
18　連続群論入門　新装版　山内恭彦ほか　培風館　2010　大学新書庫１層'60
19　連続群論　ポントリャーギン　岩波　1957　大学新書庫１層
20　解析入門　１，２　杉浦光夫　東京大学出版会　1980　市立（１）　大学413Su48
21　確率論とその応用１上下　Feller　紀伊國屋書店　1960　大学新書庫１層
22　数理物理学の方法　上　Courant　丸善出版　2013　大学新書庫１層'59
23　自然科学者のための数学概論　寺沢寛一　岩波　1960　市立　大学410Te62
24　ゲームの理論と経済行動　Neumann　ちくま学芸文庫　2011　9F
25　現代経済学の数学的方法　位相数学による分析入門　二階堂副包　岩波　1960　9F　大学新書庫331.1N73
26　サムエルソン経済学　岩波　1992　県立　市立'82　大学新書庫331.7SA59.1,2
27　情報理論の進歩　エントロピー理論の発展　国沢清典ほか　岩波　1965　大学新書庫401Ku45
×28　スピヴァック　多変数の解析学　古典理論への現代的アプローチ　新装版　東京図書　2007
29　現代の古典解析　微積分基礎課程　森毅　ちくま学芸文庫　2006　大学新書庫１層
30　
31　複素解析　Ahlfors　現代数学社　1982　大学413.5A21
32　複素函数論　Cartan　岩波　1965　大学新書庫１層　大学新書庫423A79
33　複素関数入門　神保道夫　岩波　2003　県立　大学410.8I95.4
34　常微分方程式　新版　ポントリャーギン　共立　1968　大学新書庫１層
35　常微分方程式　第２版　福原満州雄　岩波　1980　市立
36　古典力学の数学的方法　Igorevich　岩波　2003　大学新書庫423A79
37　力学　増訂第３版　ランダウ＝リフシッツ　東京図書　1974　大学新書庫423L22
38　解析力学入門　斎藤利弥　至文堂　1964　大学新書庫410.8Ki4219
39　現代数学概説１　彌永昌吉ほか　岩波　1961　大学新書庫１層
40　現代数学序説２　河田敬義ほか　岩波　1965　大学新書庫１層
41　集合論１ー３要約　ブルバキ　東京図書　1969　県立（２，３）　大学新書庫１層
42　位相１－５、要約　ブルバキ　東京図書　1968　大学新書庫１層
43　多様体入門　松嶋与三　裳華房　1965　大学410.8Su23.5
44　曲面の数学　長野正　培風館　1965　大学新書庫１層
45　ガロアの夢　群論と微分方程式　久賀道郎　日本評論社　1968　大学新書庫
46　モース理論　Milnor　吉岡書店　2004　大学新書庫415Mi28
47　Functional Analysis, Kosaku Yosida, Sprinnger,1998　大学新書庫４層'68
48　函数解析の基礎　原書第４版　Nikolaevich　岩波　1979　大学新書庫１層
×49　超関数の理論　原書第３版　Schwartz　岩波　1971
50　積分方程式入門　復刊　溝畑茂　朝倉書店　2004　大学410.8Ki59.14
51　確率過程　伊藤清　岩波　2007　大学417.1I89
52　確率論　丸山儀四郎　共立　1957　大学新書庫１層
53　復刊　エルゴード理論入門　十時東生　共立　2009　大学新書庫１層
54　確率論とエントロピー　エルゴード理論と情報量　Billingsley　吉岡書店　1968　大学417.1B43
×55　古典物理学２　豊田利幸ほか　新装版　現代物理学の基礎　岩波　2011
56　統計物理学　戸田盛和ほか　岩波　2011　県立'78　市立'78
×57　統計物理学　Landau　岩波　1957
58　数値計算法の数理　杉原正顕ほか　岩波　1994　大学418.1Su34
×59　離散凸解析　室田一雄　共立　2001
60　位相線型空間１，２、要約　ブルバキ　東京図書　1968　大学新書庫１層
61　積分１－５　ブルバキ　東京図書　1968　大学新書庫１層
62　From Fermat to Minkovski, Sharlau　Springer　1985　8F自然科学412ｼ
63　フェルマーの系譜　数論における着想の歴史　Scharlau　日本評論社　1994　8F自然科学412ｼ
64　無限からの光芒　志賀浩二　日本評論社　1988　大学410.23Sh27
65　新科学対話　ガリレイ　岩波文庫　1995　県立'37　9F'73
66　自然哲学の数学的原理　Newton　春秋社　1930　県立　大学新書庫１層
67　ニュートン（プリンキピア）　世界の名著３１　中央公論社　1979　9F
68　確率の解析的理論　Laplace　現代数学の系譜　共立　1986　大学新書庫410.8G34.12
69　常微分方程式　現代数学の系譜　ポアンカレ　共立　1970　大学新書庫１層
70　積分、長さおよび面積　現代数学の系譜　ルベーグ　共立　1969　大学新書庫１層
71　気体分子運動論　物理学古典論文叢書　東海大学　1971　大学新書庫１層
72　統計力学　物理学古典論文叢書　ボルツマン　東海大学　1970　大学420.8B97.6
×73　アインシュタイン選集　１　共立　1970
74　量子力學　ディラック　岩波　1954　大学（権平文庫）G429D78
75　微分方程式入門　高橋陽一郎　東京大学出版会　1988　大学413.6Ta33
76　力学と微分方程式　高橋陽一郎　岩波　2004　県立　大学410.8I95.5
77　微分と積分２　多変数への広がり　高橋陽一郎　岩波　2003　大学410.8I95.2
78　変化をとらえる　高橋陽一郎　東京図書　2008　県立　大学413Ta33
×79　確率論入門１　確率論教程シリーズ　池田信行ほか　培風館　2006
80　フーリエ解析大全（上下）　Korner　朝倉書店　1996　8F自然科学413.5ｹ　大学413Ko79
81　フーリエ解析大全　演習編（上下）　Korner　朝倉書店　2003　県立　大学413Ko79E
×82　Kac統計的独立性　数学書房　2011
×83　伊藤清の数学　高橋陽一郎編　日本評論社　2011
×84　東京大学公開講座５３　混沌　有馬朗人著者代表　東京大学　1991
85　Integration in Function Spaces and Some of Its Applications, Mark Kac, Pisa, 1980　大学新書庫４層
×86　Ergodic Problems of Classical Mechanics, Igorevich, BEnjamin, 1968
×87　古典力学のエルゴード問題　Igorevich　吉岡書店　2004
88　世界を変えた手紙　パスカル、フェルマーと確率の誕生　Devlin　岩波　2010　県立　8F自然科学417.1ﾃ　市立417ﾃﾞ

１０．深谷賢治　サイモンズ幾何・物理センター
（解説本）
1　復刊　微分位相幾何学　足立正久　共立　1999　優れた入門書　大学410.8Ky5.14
？1-2　埋め込みとは何か　岩波　？
2　無限からの光芒　志賀浩二　日本評論社　1988　著者の最高傑作　大学410.23Sh27
2-2　集合・位相・測度　朝倉書店　大学新書庫１層
2-3　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　県立　市立　大学418.4Sh27
×3　シュヴァレー　リー群論　ちくま学芸文庫　2012　多様体論の勉強にもいいのでは
4　シンプレクティック幾何学　深谷賢治　岩波　2008　県立　大学410.8I95.21
×5　古典力学のエルゴード問題　アーノルド　吉岡書店　2004　力学系の研究がわかる
6　接続の微分幾何とゲージ理論　小林昭七　裳華房　1989　ゲージ理論の最初に　大学414.7Ko12
7　４次元のトポロジー　増補新版　松本幸夫　日本評論社　2009　生き生き　県立　大学410.8NY.9'79
8　解析力学　１，２　山本義隆ほか　朝倉書店　1998　解析力学の決定版　大学420.8A85.1,2
9　モースリ理論　Milnor　吉岡書店　2004　モース理論の決定版教科書　大学新書庫415Mi28
9-2　特性類講義　ミルナー　大学新書庫415.7Mi28
10　函数解析の基礎　原書第４版　Nikolaevichほか　岩波　1979　関数解析の教科書のスタンダード　大学新書庫１層
×11　代数幾何学講義　Mumford　丸善出版　2006　スキームを勉強するには
×12　復刊　抽象代数幾何学　永田雅宜ほか　共立　1999　
13　組合せ位相幾何　本間龍雄　森北出版　2003　県立　大学410.8SU23
×14　リーマン幾何学　加須栄篤　培風館　2001　読みやすい
15　射影空間の幾何学　川又雄二郎　朝倉書店　2001　多様体の教科書と並行して読むとよい　大学新書庫414.4Ka95
×16　応用特異点論　泉屋周一　共立　1998　実解析の特異点
17　復刊　初等カタストロフィー　野口広ほか　共立　2002　日本語のちゃんとした本　大学新書庫１層

（蔵書本）
1　擬微分作用素　熊ノ郷準　岩波　1974　大学新書庫410.8Su23.1
×2　古典力学のエルゴード問題　Igorevich　吉岡書店　2004
3　複素多様体論　小平邦彦　岩波　1992　県立（３巻）　市立（３巻）　大学新書庫414.7KO17
×4　応用特異点論　泉谷周一ほか　共立　1998
5　復刊　微分位相幾何学　足立正久　共立　1999　大学410.8Ky5.14
6　位相幾何学　服部昌夫　岩波基礎数学選書　岩波　2002　県立　市立　大学410.8I95.15'91
7　新しいトポロジー　本間龍雄　ブルーバックス　1973　県立　9F　大学新書庫１層
×8　共形場理論入門　山田泰彦　培風館　2006
9　接続の微分幾何とゲージ理論　小林昭七　裳華房　1989　大学414.7Ko12
10　復刊版　函数論　リーマン面と等角写像　楠幸男　朝倉書店　2011　大学413.5Su76.5
11　射影空間の幾何学　川又雄二郎　朝倉書店　2001　大学新書庫414.4Ka95
12　無限からの光芒　志賀浩二　日本評論社　1988　大学410.23Sh27
13　多様体の微分幾何学　丹野修吉　実教出版　1976　大学新書庫１層
×14　リーマン幾何学　加須栄篤　培風館　2001
×15　多変数解析函数論　一松信　培風館　1960
16　動く曲面を追いかけて　応用数理の最前線　儀我美一ほか　日本評論社　1996　大学414.7G43
17　集合・位相・測度　志賀浩二　朝倉書店　2006　大学新書庫１層
18　『数の大航海』　対数の誕生と広がり　日本評論社　志賀浩二　1999　県立　市立　大学418.4Sh27
19　４次元のトポロジー　増補新板　松本幸夫　日本評論社　2009　県立　大学410.8NY.9'79
20　解析力学１，２　山本義隆　朝倉書店　1998　大学420.8A85.1,2
21　ベクトルと行列　遠山啓　日本評論社　1965　8F自然科学411.3ﾄ
22　現代代数学　３巻　Waerden　東京図書　1959　県立（１）　大学新書庫１層
23　トポロジーと幾何学入門　Singer　培風館　1995　大学新書庫１層
24　フーリエ解析大全　Korner　朝倉書店　1996　8F自然科学413.5ｹ　大学413Ko79
25　力学系入門　Hirsch　岩波　1976　大学413.6Sm1
26　力学系入門　微分方程式からカオスまで　原書第２版　Hirsch　共立　2007　大学413.6Sm1
×27　なっとくする微積分　中島匠一　講談社　2001
28　非線形偏微分方程式　儀我美一ほか　共立　1999　大学410.8Ky5.25
29　ルベーグ積分講義　新井仁之　日本評論社　2003　大学413.4A62
×30　界面ダイナミクスの数理　太田隆夫　日本評論社　1997
×31　多角形の現代幾何学　増補版　小島定吉　牧野書店　1999　
32　古典力学の数学的方法　Igorevich　岩波　2003　大学新書庫423A79
33　位相空間論　Kelle　吉岡書店　1968　大学新書庫１層
34　非線形問題と複素幾何学　中島啓　岩波　2008　県立　大学410.8I95.20
35　微分位相幾何学　田村一郎　岩波　1992　県立　市立（2,3）　大学新書庫１層
36　モース理論　Milnor　吉岡書店　2004　大学新書庫415Mi28
37　復刊　位相幾何学　ホモロジー論　中岡稔　共立　1999　大学415.7N42
×38　リー群と表現論　小林俊行ほか　岩波　2005
39　複素函数論　Cartan　岩波　1965　大学新書庫１層
40　竹内外史　復刊　証明論入門　共立　2010　県立　大学410.9TA67
41　数学基礎論序説　Wilder　共立　1969　大学新書庫１層
42　太陽の誕生と死　Gamow　白楊社　1950　県立　8F自然科学408ｶ2
43　宇宙の創造　Gamow　白楊社　1952　県立　 F自然科学408ｶ7
44　数に語らせる　増山本三郎　岩波　1980　県立　大学新書庫１層
×45　力学系　丹羽敏雄　紀伊國屋書店　1981
46　数学入門　遠山啓　岩波新書　1959　9F　大学対馬文庫Ts080.I95s.363,396
×47　最小二乗法の歴史　安藤洋美　現代数学社　1995
48　相対論の意味　附：非対称場の相対論　アインシュタイン　岩波　1958　大学421.2E39
49　曲線と曲面の微分幾何　改訂版　小林昭七　裳華房　1995　大学414.7Ko12
50　幾何のおもしろさ　小平邦彦　岩波　1985　県立　市立　大学新書庫410.8Su23.7
×51　応用数学入門１－４　Borisovich 　東京図書　1970
52　科学技術のための微積分入門　基礎編、応用編　Borisovich　東京図書　1961　大学新書庫１層
53　特性類講義　Milnor　丸善出版　2012　大学新書庫415.7Mi28
×54　代数幾何学講義　Mumford　丸善出版　2006
×55　ケーラー多様体論入門　Weil　丸善出版　2012
56　関数解析学　Reiz　共立　1973　大学新書庫１層
57　函数解析の基礎　原書第４版　Nikolaevich　岩波　1979　大学新書庫１層
58　偏微分方程式論　溝畑茂　岩波　2002　大学新書庫410.8G34.9
×59　復刊　抽象代数幾何学　永田雅宜　共立　1999
60　葉層のトポロジー　田村一郎　岩波　1976　大学新書庫１層
×61　数論講義　Serre　岩波　1979
62　算数の先生　国元東九郎　ちくま学芸文庫　2011　県立
63　Morse理論の基礎　松本幸夫　岩波　2005　県立？　大学410.8I95.27
64　微分形式の幾何学　森田茂之　岩波　2005　県立　大学410.8I95.25,26
65　指数定理　古田幹雄　岩波　2008　大学410.8I95.17,18
66　組合せ位相幾何　本間龍雄　森北出版　2003　県立　大学410.8SU23
67　不等式　Hardy　丸善出版　2003　大学413.51H32
×68　力学と微分方程式　山本義隆　数学書房　2009
69　復刊　初等カタストロフィー　野口広　共立　2002　大学新書庫１層
×70　シュバレー　リー群論　ちくま学芸文庫　2012
71　代数解析学の基礎　柏原正樹ほか　紀伊國屋書店　1980　大学新書庫１層
72　シンプレクティック幾何学　深谷賢治　岩波　2008　県立　大学410.8I95.21

１１．高瀬正仁　九州大学基幹教育院
（解説本）
1　『春宵十話』　岡潔　光文社　2006　「情緒」の根底にはパリで出会った中谷治宇二郎との友情と喪失という体験が横たわっている　県立　市立
×2　Sur les Fonctions Analytiques de Plusieurs Variables, Kiyoshi Oka, 岩波　1961,増補　1983　論文集
3　復刻版　近世数学史談・数学雑談　高木貞治　共立　1996　大学新書庫410.2Ta29
4　ガウス　整数論　朝倉書店　1995　数学徒の師匠　大学412G27
5　定本　解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
×6　新式算術講義　高木貞治　ちくま学芸文庫　2008　最初の著作
×7　数学の自由性　高木貞治　ちくま学芸文庫　2010　最後の著作
×8　リーマン面　Weyl　岩波　2003　
9　曲線の事典　性質・歴史・作図法　磯田正美篇　共立　2009　県立　8F自然科学414.1ｷ　市立414ｷ　大学414.12Ta11
10　クライン　１９世紀の数学　共立　1995　県立
11　数論　歴史からのアプローチ　Weil　日本評論社　1987　大学412W55
×12　数学の創造　著作集自註　Weil　日本評論社　1983　ヴェイユはブルバキ唯一の歴史家
13　アンドレ・ヴェイユ自伝　ある数学者の修行時代　丸善出版　2012　最高の現代数学史　県立'04
14　シュヴァルツ解析学　７巻　東京図書　1971　ブルバキの解析教程　大学新書庫１層
×15　偉大な数学者たち　岩田義一　ちくま学芸文庫　2006　天才の人生と学問
16　一確率論研究者の回想　Levy　岩波　1973　現代確率論の根幹を回想　大学（権平文庫）G417L57
17　デカルト著作集　１　方法序説　白水社　2001　県立　8F人文科学135.2テ　大学旧
×18　ヒルベルト　現代数学の巨峰　Reid　岩波　2010　
19　解析教程　新装版　Hairerほか　丸善出版　2006　歴史的遺産に学ぶ微積分　大学413H15.1,2
×20　多変数解析函数論　一松信　培風館　1960

（蔵書本）
1　ガウスの遺産と継承者たち　ドイツ数学史の構想　高瀬正仁　海鳴社　1990　県立
×2　dxとdyの解析学　オイラーに学ぶ　高瀬正仁　日本評論社　2000
3　評伝岡潔　星の章　高瀬正仁　海鳴社　2000　県立　大学289.1O36.Ho
4　評伝岡潔　花の章　高瀬正仁　海鳴社　2204　県立　大学289.1O36.Ha
5　岡潔　数学の詩人　高瀬正仁　岩波新書　2008　7FS289.1ｵ　大学文庫1154
6　『高木貞治　日本近代数学の父』　高瀬正仁　岩波新書　2010　7FS289.1ﾀ
×7　無限解析のはじまり　わたしのオイラー　高瀬正仁　ちくま学芸文庫　2009
×8　ガウスの数論　わたしのガウス　高瀬正仁　ちくま学芸文庫　2011
9　岡潔とその時代　評伝岡潔　虹の章　みみずく舎　2013　県立
10　古典的難問に学ぶ微分積分　共立　2013　大学413.3Ta53
11　ガウス　整数論　朝倉書店　1995　大学412G27
×12　ガウスの数学日記　日本評論　2013
×13　アーベル／ガロア　楕円関数論　足立恒雄ほか　朝倉書店　1998
14　リーマン論文集　朝倉書店　2004　大学新書庫410.4R38
15　オイラーの無限解析　海鳴社　2001　大学新書庫413E83
×16　オイラーの解析幾何　海鳴社　2008
×17　数の理論　Legendre　海鳴社　2008
×18　ガウス数論論文集　ちくま学芸文庫　2012
19　ヤコビ楕円関数原論　講談社　2012　県立
×20　コーシー解析教程　みみずく舎　2011
×21　新式算術講義　高木貞治　ちくま学芸文庫　2008
22　定本解析概論　高木貞治　岩波　2010　市立（専門）413ﾀ　大学413Ta29
23　復刻版　近世数学史談・数学雑談　高木貞治　共立　1996　大学新書庫410.2Ta29
×24　数学の自由性　高木貞治　ちくま学芸文庫　2010
25　数学史 1700-1900（３冊）　岩波　1985　大学410.2Su23.1-3
26　直観幾何学　Hilbert　みすず書房　1966　大学旧
×27　リーマン面　Weyl　岩波　2003
×28　数学と自然科学の哲学　Weyl　岩波　1959
29　空間・時間・物質　Weyl　ちくま学芸文庫　2007　大学新書庫421.2W64
30　曲線の事典　性質・歴史・作図法　磯田正美編　共立　2009　県立　8F自然科学414.1ｷ　市立414ｷ　大学414.12Ta11
×31　確率論の基礎と発展　飛田武幸　共立　2011
×32　誤差論　Gauss　紀伊國屋書店　1981
33　自然科学者のための数学概論　増訂版改版　寺沢寛一　岩波　1983市立　大学410Te62
34　コーシー　微分積分学要論　共立　1969　大学新書庫１層
35　函数解析の基礎　Nikolaevich　岩波　1962　大学新書庫１層
36　解析入門１，２　杉浦光夫　東京大学出版会　1980　市立（１）　大学413Su48
×37　数理物理学の方法　Courant　丸善出版　2013
38　クライン　１９世紀の数学　共立　1995　県立
×39　数学の創造　著作集自註　Weil　日本評論社　1983
40　数論　歴史からのアプローチ　Weil;　日本評論社　1987　大学412W55
41　アンドレ・ヴェイユ自伝　ある数学者の修業時代　Weil　丸善出版　2012　県立'04
42　闘いの世紀を生きた数学者　ローラン・シュバルツ自伝　丸善出版　2006　県立
43　シュヴァルツ解析学　東京図書　1971　大学新書庫１層
44　輓近代数学の展望　秋月康夫　ちくま学芸文庫　2009　市立
45　ブルバキ数学史　ちくま学芸文庫　2006　県立　大学新書庫１層
46　日本の数学１００年史　岩波　1983　県立　市立　大学新書庫１層
×47　偉大な数学者たち　岩田義一　ちくま学芸文庫　2006
48　大数学者　小堀憲　ちくま学芸文庫　2010　市立
×49　ヒルベルト　現代数学の巨峰　Reid　丸善出版　2006
50　解析教程　新装版　Hairer　丸善出版　2006　大学413H15.1,2
51　微分積分学　数学解析第一編（２巻）　藤原松三郎　内田老鶴○　1049　大学新書庫１層
×52　多変数解析函数論　一松信　培風館　1960
×53　ユークリッド原論　追補版　共立　2011
54　デカルト著作集　１　方法序説　白水社　2011　県立　8F人文科学135.2テ　大学旧
55　復刻版　ギリシア数学史　Heath 共立　1998　8F自然科学410.2ﾋ
56　ライプニッツ著作集　２　数学論・数学　工作舎　1997　県立　大学旧
57　一確率論研究者の回想　Levy　岩波　1973　大学（権平文庫）G417L57
58　ヒルベルト　数学の問題　増補版　共立　1969　大学新書庫１層'72　大学新書庫410.8G34.4'69
59　数学の黎明　オリエントからギリシアへ　みすず書房　1984　大学410.2V28
60　日本の数学　西洋の数学　比較数学史の試み　村田全　ちくま学芸文庫　2008　県立　市立
61　科学史における数学　Bochner　みすず書房　1970　大学新書庫１層
62　銀の匙　中勘助　岩波文庫　1999　県立'75　9F'99　市立'79　大学旧'99
63　『春宵十話』　岡潔　光文社文庫　2006　県立　市立
×64　蓮田善明／伊東静雄　新学社　2005
×65　万人の学問をめざして　倉田令二朗の人と思想　日本評論社　2006
66　人間の建設　小林秀雄　岡潔　新潮文庫　2010　県立　8階壁書架918.6ｺ25　大学旧
67　現代畸人伝　保田與重郎　新学社　1999　市立
68　色彩論　Goethe　ちくま学芸文庫　2001　県立　大学新書庫425.7G56.ZU,1,2
69　精神の帰郷　ゲーテ時代の文芸と哲学の研究　Hoffmeister　ミネルヴァ書房　1985　大学134H81
70　現代語訳　正法眼蔵　（６巻）　玉城康四郎　大蔵出版　1993　大学新書庫188.84D81.1-6
71　仏教の根底にあるもの　玉城康四郎　講談社学術文庫　1986　9F
72　ヘルダーリン詩集　岩美文庫　2002　7FB941ﾍ　大学文庫080.3.3977 94
×73　Sur les Fonctions Analytiques de Plusieurs Varialbes　Kiyoshi Oka　岩波　1961

１２．田中一之　東北大学大学院理学研究科数学専攻
（解説本）
×1　形式論理学　その展望と限界　Jeffrey　産業図書　1995　入門＋アルファの良書　タブロー法
1-2　Computability and Logic, Cambridge Univ. Press　大学新書庫４層
？2　Mathematical Logic, Shoenfiled,
×3　Subsystems of Second Order Arithmetic, Simpson,Springer 1999　ヒルベルトほかの「数学の基礎」（県立　大学410.96H58）の現代版続編を謳う
4　『「数」の日本史』　われわれは数とどう付き合ってきたか　伊達宗行　日経新聞社　2002　被ばく線量のわかりやすい基準の用意の提言　県立　8F410.2ﾀ　大学410.21D44　縄文尺
5　若き数学者への手紙　Stewart　日経BP社　2007　数学世界の内側　県立
6　宮廷人と異端者　ライプニッツとスピノザ、そして近代における神　Stewart　2011　県立
7　とっておきの数学パズル　Winkler　日本史　2011　6FY241
8　現代数学小事典　寺阪英孝篇　ブルーバックス　1977　数学基礎論はよい　県立　9F　市立　大学新書庫410.3G34
×9　選択公理と数学　発生と論争、そして確立への道　増訂版　田中尚夫　遊星社　2005　
×10　記号論理学の基礎　Hilbertほか　大阪教育図書　1954　１階論理の原典
11　プリンキピア・マテマティカ序論　Whiteheadほか　哲学書房　1988　原本はオンラインでも見られる　大学410.9W68
12　数学の基礎　復刻版　Hilbertほか　丸善出版　2007　第１巻第１章は数学基礎論の考え方を知るために必読　県立　大学410.96H58
13　『ゲーデルの定理』　利用と誤用の不完全ガイド　Franzen　みすず書房　2011　ゲーデルは何を証明し、何を証明しなかったのか　市立410ﾌ
14　ゲーデルに挑む　証明不可能なことの証明　田中一之　東京大学出版会　2012　数学基礎論の勉強をはじめる　県立　市立410ﾀ

（蔵書本）
1　とっておきの数学パズル　Winkler　日本評論社　2011　6FY241
×2　続・とっておきの数学パズル　Winkler　日本評論社　2012
3　薔薇の名前　Eco　東京創元社　1990　県立　7階壁書架973ｴ1　市立　大学973.E19.1
4　リスボンへの夜行列車　Mercier　早川書房　2012　県立　7F外国文学943ﾒ　市立943ﾒ
5　若き数学者への手紙　Stewart　日経BP社　2007　県立
6　宮廷人と異端者　ライプニッツとスピノザ、そして近代における神　Stewart　書○心水　2011
7　ルイス・キャロルの意味論　宗宮喜代子　大修館書店　2001　県立　8F一般801.2ｿ　市立
8×　パラドクスの数理　Bunch 共立　1984
9　「数」の日本史　われわれは数とどう付き合ってきたか　伊達宗行　日本経済新聞社　2007　県立　8F自然科学410.2ﾀ　大学410.21D44
10　知恵の輪読本　その名作・分類・歴史から解き方、進め方、作り方まで　秋山久義　新紀元社 2003　県立　7F趣味H798ｱ　市立
11　和算以前　大矢真一　中公新書　1980　県立　市立
×12　選択公理と数学　発生と論争、そして確立への道　増訂版　田中尚夫　遊星社　2005
13　数学基礎論の世界　ロジックの雑記帳から　竹内外史　日本評論社　1972　大学新書庫１層
14　無限からの光芒　志賀浩二　日本評論社　1988　大学410.23Sh27
15　ゲーデルの夢　竹内外史　河合文化教育研究所　1990　県立
×16　数の直観にはじまる　数理と情報　十川治江ほか　工作舎　1977
×17　数学のたのしみ　2006秋　現代数学のひろがり　ゲーデルと現代ロジック　日本評論社　2006
18　現代数学小事典　ブルーバックス　寺阪英孝編　1977　県立　9F　市立　大学新書庫410.3G34
19　フレーゲ入門　生涯と哲学の形成　野本和幸　○草書房　2003　県立
20　新装版　『集合とはなにか』　はじめて学ぶ人のために　竹内外史　ブルーバックス　2001　県立　市立
×21　神の数学　カントールと現代の集合論　Ludwig　哲学書房　1988
22　現代数理論理学入門　Crossley　共立　1977　県立
×23　数理論理学　鹿島亮　朝倉書店　2009　
24　情報科学における論理　小野寛晰　日本評論社　1994　8F自然科学410.9ｵ　大学410.96O67
25　離散系の数学　野崎昭弘　近代科学社　1980　県立　大学新書庫007Ko78
×26　公理的集合論　篠田寿一　河合文化教育研究所　1996
×27　モデルの理論　坪井明人　河合文化教育研究所　　1997
×28　帰納的関数と術語　篠田寿一　河合文化教育研究所　1997
×29　形式論理学　その展望と限界　Jeffrey　産業図書　1995　
30　復刊　証明論入門　竹内外史　共立　2010　県立　大学410.9TA67
×31　記号論理学の基礎　Hilbert　大阪教育図書　1954
×32　ゲームとしての確率とファイナンス　Shafer　岩波　2006
×33　数学基礎論　新井敏康　岩波　2011
34　ヒルベルト　幾何学の基礎　クライン　エルランゲン・プログラム　共立　1970　大学新書庫１層
×35　巨大基数の集合論　Kanamori　シュプリンガー・ジャパン　1998
36　数学の基礎　復刻版　Hilbert　丸善出版　2007　県立　大学410.96H58
×37　集合論　独立性証明への案内　Kunen　日本評論社　2008
38　プリンキピア・マテマティカ序論　Whitehead　哲学書房　1988　大学410.9W68
39　リーディングス　数学の哲学　ゲーデル以後　飯田隆編　○草書房　1995
40　中国数学史　銭宝○　みすず書房　1990　県立　大学410.2C62
41　ライプニッツ著作集　１　論理学　工作舎　1988　県立　大学旧
42　ライプニッツ著作集　２　数学論・数学　工作舎　1997　県立　大学旧
43　ゲーデルに挑む　証明不可能なことの証明　田中一之　東京大学出版会　2012　県立　市立410ﾀ
44　『ゲーデルの定理』　利用と誤用の不完全ガイド　Franzen　みすず書房　2011　市立410ﾌ
45　ゲーデルと２０世紀の論理学　１－４　田中一之　東京大学出版会　2006　県立　大学410.9G55
×46　数学基礎論講義　不完全性定理とその発展　田中一之ほか　日本評論社　1997
47　数学のロジックと集合論　田中一之他　培風館　2003　大学410.9Ta84
×48　確かさを求めて　数学の基礎についての哲学論考　Giaquinto　培風館　2007
×49　逆数学と２階算術　田中一之　河合文化教育研究所　1997
×50　数の体系と超準モデル　田中一之　裳華房　2002
×51　数学の基礎をめぐる論争　２１世紀の数学と数学基礎論のあるべき姿を考える　田中一之編　シュプリンガー・ジャパン　1999
×52　Subsystems of Second Order Arithmetic, Simpson, Springer, 1999
×53　Mathematical Logic, Shoenfiled, Addison-Wesley, 1967,2001

１３．円城塔　小説家（東北大学物理学科卒）
（解説本）
1　岩波　数学入門辞典　岩波　2005　県立　8F一般（禁帯）　大学参考（禁帯）
2　麗しのオルタンス　Roubaud　東京創元社　2009　背景は渦巻状の置換　7FB953ﾙ
3　ノヴァーリス作品集　３巻　ちくま文庫　2006　数学への強い憧れ　大学948.68N97.1-3
4　あなたの人生の物語　Chiang　早川書房　2003　背景は変分原理。　9F
5　インドラの真珠　Mumfordほか　日本評論社　2013　意外としらない　県立
6　折り紙のすうり　O'Rourke　近代科学社　2012　県立　市立414ｵ　大学414.13O71
×7　Kac統計的独立性　数学書房　2011　賢い人の人生を曲げてしまう
8　『ゲーデルの定理』　利用と誤用の不完全ガイド　Franzen　みすず書房　2011　市立410ﾌ
×9　水滴系のカオス　Shaw　岩波　2006　カオスが手作り
10　数論の３つの真珠　Khinichin　日本評論社　2000　8F自然科学412ﾋ　大学412KH
×11　マーチン・ガードナーの数学ゲーム　Ⅰ、Ⅱ　新装版　日経サイエンス　2010,11
×12　熱力学　現代的な視点から　田崎晴明　培風館　2000　日本の熱力学理解が突出しているのはこの本のおかげ
×13　フラットランド　多次元の冒険　Abbott　日経BP　2009
×13-2　プラニバース　Dewdney　工作舎　1989　
14　人生　使用法　Perec　水声社　1992　県立
15　ポオ　詩と詩論　Poe 東京創元社　1979　ポオは「大○」を形式的に書いたと主張　7FB931ﾎ
16　伝奇集　Borges　岩波文庫　1993　県立　8階壁書架908ﾁ81　市立（全集）908ｼ9　大学文庫3522
17　ガラテイア　2.2　Powers　みすず書房　2001　機械的に小説を読む本　県立　7F外国文学933ﾊ　市立
18　高い城の男　Dick　早川書房　1984　易経を用いて（確率的に）書いたとのうわさも　7FB933ﾃ
19　宿命の交わる城　Calvino　河出書房新社　2004　県立　７階壁書架973ｶ
20　帝都最後の恋　占いのための手引き書　Pavic　松○社　2009　タロットを利用した組み合わせ小説　市立
21　虚数　Lem 国書刊行会　1998　７階壁書架983ﾚ　市立
22　完全な真空　Lem　国書刊行会　1989　県立　市立

（蔵書本）
1　岩波　数学入門辞典　岩波　2005　県立　8F一般（禁帯）　大学参考（禁帯）
2　インドラの真珠　Mumford　日本評論社　2013　県立
3　折り紙のすうり　O'’Rourke　近代数学社　2012　県立　市立414ｵ　大学414.13O71
×4　kac　統計的独立性　数学書房　2011
5　フーリエ解析大全　Korner 朝倉書店　1996　8F自然科学413.5ｹ　大学413Ko79
6　確率論とその応用　１　上　Feller　紀伊國屋書店　1960　大学新書庫１層
×7　熱力学　現代的な視点から　田崎晴明　培風館　2000
×8　熱学思想の史的展開　３巻　山本義隆　ちくま学芸文庫　2008
9　『ゲーデルの定理』　利用と誤用の不完全ガイド　Franzen　みすず書房　2011　市立410ﾌ
10　大沢流手づくり統計力学　大沢文夫　名古屋大学出版会　2011　大学421.4O74
×11　水滴系のカオス　Shaw　岩波　2006
×12　ベイズ統計と統計物理　伊庭幸人　岩波　2003
13　数論の３つの真珠　Yakovlevich　日本評論社　2000　8F自然科学412ﾋ　大学412KH
14　天書の証明　Aigner　丸善出版　2002　県立　大学410A24
×15　マーチン・ガードナーの数学ゲーム　１　新装版　日経サイエンス　2010
×16　マーチン・ガードナーの数学ゲーム　２　新装版　日経サイエンス　2011
17　天体力学のパイオニアたち　Diacu 丸善出版　2004　県立
18　ゲーデル　不完全性定理　林晋ほか　岩波　2006　大学文庫4243
19　『四次元が見えるようになる本』　根上生也　日本評論社　2012　県立　市立415ﾈ
×20　この本の名は？　Merrill　日本評論社　2013
21　白と黒のとびら　川添愛　東京大学出版会　2013　県立　市立007ｶ
×22　フラットランド　多次元の冒険　Abbott　日経BP社　2009
×23　プラニバース　dewdney　工作社　1989
×24　計算機と脳　Neumann　ちくま学芸文庫　2011
25　サイバネティクス　Wiener　岩波文庫　2011　県立'57　大学文庫45637'11　大学旧'75
26　伝奇集　Borges　岩波文庫　1993　県立　8階壁書架908ﾁ81　市立（全集）908ｼ9　大学文庫3522
27　麗しのオルタンス　Roubaud　東京創元社　2009　7FB953ﾙ
28　人生使用法　Perec　水声社　1992　県立
29　わが友ピエロ　Queneau　月曜社　1942　県立
30　宿命の交わる城　Calvino　河出文庫　2004　県立　７階壁書架973ｶ
31　ノヴァーリス作品集　３巻　ちくま文庫　2006　大学948.68N97.1-3
32　ポオ　詩と詩論　創元推理文庫　1979　7FB931ﾎ
33　ライプニッツ著作集　１　論理学　工作舎　1988　県立　大学旧
34　記憶術　Yates　水声社　1993　大学新書庫130.2Y66
35　順列都市（上下）　Egan　ハヤカワ文庫　1999　7FB933ｲ
36　万物理論　Egan　ハヤカワ文庫　2004　7FB933ｲ
×37　ディアスポラ　Egan　ハヤカワ文庫　2005
38　ひとりっ子　Egan　ハヤカワ文庫　2006　7FB933ｲ
×39　プランク・ダイヴ　Egan　ハヤカワ文庫　2011
40　あなたの人生の物語　Chiang　ハヤカワ文庫　2003　9F
41　虚数　Lem　国書刊行会　1998　７階壁書架983ﾚ　市立
42　完全な真空　Lem　国書刊行会　1989　県立　市立
43　モーフィー時計の午前零時　若島正　編　国書刊行会　2009　市立933ﾓ
44　ガラティア 2.2　Powers みすず書房　2001　県立　7F外国文学933ﾊ　市立
45　高い城の男　Dick　ハヤカワ文庫　1984　7FB933ﾃ
46　帝都最後の恋　占いのための手引き書　　Pavic　松○社　2009　市立
47　大きな森の小さな密室　小林泰三　創元推理文庫　2011　県立　７階壁書架913.6ﾎ05
48　『ノックス・マシン』　法月綸太郎　角川書店　2013　県立　7Fﾉﾘ　市立913.6ﾉﾘ