The 10 most-read books by the students of the Faculty of Engineering and the Department of Information Science's Faculty of Science are summarized by department. (Survey period: April 1, 2019-March 31, 2022)
Department of Civil Engineering |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | マンガでわかるコンクリート / 石田哲也著 ; はるお作画 ; トレンド・プロ制作. -- オーム社, 2011.9. ★ | |
2 | 土質力学 / 足立格一郎著. -- 共立出版, 2002.6. -- (テキストシリーズ土木工学 ; 11). ★ | |
3 | ハイパフォーマンスコンクリート / 岡村甫, 前川宏一, 小澤一雅著. -- 技報堂出版, 1993.9. ★ | |
4 | 海岸工学 : 新編 / 堀川清司著. -- 東京大学出版会, 1991.7. | |
5 | 広場のデザイン : 「にぎわい」の都市設計5原則 / 小野寺康著. -- 彰国社, 2014.10. | |
6 | 「ほとんど無害」な計量経済学 : 応用経済学のための実証分析ガイド / ヨシュア・アングリスト, ヨーン・シュテファン・ピスケ著 ; 大森義明 [ほか] 訳. -- NTT出版, 2013.6. | |
7 | 土木デザイン論 : 新たな風景の創出をめざして / 篠原修著. -- 東京大学出版会, 2003.11. | |
7 | 社会基盤マネジメント / 堀田昌英, 小澤一雅編. -- 技報堂出版, 2015.8. | |
7 | まちを再生する公共デザイン : インフラ・景観・地域戦略をつなぐ思考と実践 / 山口敬太, 福島秀哉, 西村亮彦編著 ; 長谷川浩己 [ほか] 著. -- 学芸出版社, 2019.6. | |
10 | 地盤の液状化 : 発生原理と予測・影響・対策 / 石原研而著. -- 朝倉書店, 2017.4. | |
Department of Architecture |
Ranking | Details(Link to OPAC) | VOL |
1 | 形態デザイン講義 / 内藤廣著. -- 王国社, 2013.10. | |
2 | 見えがくれする都市 : 江戸から東京へ / 槙文彦他著. -- 鹿島出版会, 1980.6. -- (SD選書 ; 162). | |
3 | 町を住みこなす : 超高齢社会の居場所づくり / 大月敏雄著. -- 岩波書店, 2017.7. -- (岩波新書 ; 新赤版 1671). | |
4 | 建築意匠講義 / 香山壽夫著. -- 東京大学出版会, 1996.11. | |
4 | 建築光環境・視環境 / 平手小太郎著. -- 数理工学社. -- (新・建築学 ; TKA-9). | |
6 | コンパクト建築設計資料集成 / 日本建築学会編. -- 第3版. -- 丸善, 2005.3. | |
7 | 都市と建築のパブリックスペース : ヘルツベルハーの建築講義録 / ヘルマン・ヘルツベルハー著 ; 森島清太訳. -- 鹿島出版会, 2011.6. | : 新装版 |
7 | 建築構成学 : 建築デザインの方法 / 坂本一成 [ほか] 著. -- 実教出版, 2012.3. | |
9 | メイド・イン・トーキョー / 貝島桃代, 黒田潤三, 塚本由晴著. -- 鹿島出版会, 2001.8. | |
9 | 建築の「かたち」と「デザイン」 / 岸田省吾編著 ; 湯澤正信 [ほか著]. -- 鹿島出版会, 2009.8. | |
9 | 環境デザイン講義 / 内藤廣著. -- 王国社, 2011.1. | |
9 | 住まいと町とコミュニティ / 大月敏雄著. -- 王国社, 2017.4. | |
Department of Urban Engineering |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | 広域計画と地域の持続可能性 / 大西隆編著 ; 城所哲夫 [ほか] 著. -- 学芸出版社, 2010.3. -- (東大まちづくり大学院シリーズ). ★ | |
2 | 郊外の緑地環境学 / 横張真, 渡辺貴史編. -- 朝倉書店, 2012.6. -- (シリーズ「緑地環境学」 / 武内和彦編集 ; 3). ★ | |
2 | コミュニティデザイン学 : その仕組みづくりから考える / 小泉秀樹編. -- 東京大学出版会, 2016.9. | |
4 | 都市縮小時代の土地利用計画 : 多様な都市空間創出へ向けた課題と対応策 / 日本建築学会編. -- 学芸出版社, 2017.8. | |
4 | 都市計画の思想と場所 : 日本近現代都市計画史ノート = Thoughts and places on urbanism : notes on Japanese planning history / 中島直人著. -- 東京大学出版会, 2018.8. | |
6 | 「間にある都市」の思想 : 拡散する生活域のデザイン / トマス・ジーバーツ著 ; 澤田誠二 [ほか] 訳. -- 水曜社, 2017.12. -- (文化とまちづくり叢書). | |
7 | 都市計画学 : 変化に対応するプランニング / 中島直人 [ほか] 著. -- 学芸出版社, 2018.9. | |
7 | ストリートデザイン・マネジメント : 公共空間を活用する制度・組織・プロセス / 出口敦, 三浦詩乃, 中野卓編著 ; 中村文彦 [ほか] 著. -- 学芸出版社, 2019.3. | |
9 | 人口減少時代の住宅政策 : 戦後70年の論点から展望する / 山口幹幸, 川崎直宏編. -- 鹿島出版会, 2015.11. | |
10 | 日本近現代都市計画の展開 : 1868-2003 / 石田頼房著. -- 自治体研究社, 2004.4. | |
10 | 「まちなか」から始まる地方創生 : クリエイティブ・タウンの理論と実践 / 福川裕一, 城所哲夫著. -- 岩波書店, 2018.3. | |
Department of Mechanical Engineering・Department of Mechano-Informatics |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | ロボットインテリジェンス / 浅田稔, 國吉康夫著. -- 岩波書店, 2006.3. -- (岩波講座ロボット学 / 井上博允 [ほか] 編集委員 ; 4). ★ | |
2 | メカ屋のための脳科学入門 : 脳をリバースエンジニアリングする / 高橋宏知著 ; [正], 続 (記憶・学習/意識編). -- 日刊工業新聞社, 2016.3-2017.7. | [正] |
3 | Pythonで学ぶディープラーニングの理論と実装 / 斎藤康毅著. -- オライリー・ジャパン. -- (ゼロから作るdeep learning ; [1]). | |
4 | 画像認識 = Image recognition / 原田達也著. -- 講談社, 2017.5. -- (MLP機械学習プロフェッショナルシリーズ). | |
5 | 機械系のための数学 / 高木周著. -- 数理工学社. -- (新・工科系の数学 ; TKM-A10). | |
5 | 伝熱工学 = Heat transfer / 日本機械学会著. -- 日本機械学会. -- (JSMEテキストシリーズ). | |
7 | 伝熱工学 / 庄司正弘著. -- 東京大学出版会, 1995.3. -- (東京大学機械工学 ; 6). ★ | |
7 | 機械系大学院への四力問題精選 / 藤川重雄編. -- 培風館, 2008.4. ★ | |
9 | ロボットモーション / 内山勝, 中村仁彦著. -- 岩波書店, 2004.11. -- (岩波講座ロボット学 / 井上博允 [ほか] 編集委員 ; 2). | |
10 | 複素関数論 / 東京大学工学教程編纂委員会編 ; 藤原毅夫著 ; 1, 2. -- 丸善出版, 2013-2014. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . 基礎系数学). | 1 |
10 | メカ屋のための脳科学入門 : 脳をリバースエンジニアリングする / 高橋宏知著 ; [正], 続 (記憶・学習/意識編). -- 日刊工業新聞社, 2016.3-2017.7. | 続 (記憶・学習/意識編) |
10 | 自然言語処理編 / 斎藤康毅著. -- オライリー・ジャパン. -- (ゼロから作るdeep learning ; 2). | |
Department of Aeronautics and Astronautics |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | エンジン-ガソリン/ディーゼル / 若林克彦著. -- オーム社, 1989.8. -- (新機械設計製図演習 ; 3). ★ | |
2 | 粘性流体力学 / 日本航空宇宙学会編 ; 鈴木宏二郎, 安倍賢一, 亀田正治著. -- 丸善出版, 2017.7. -- (航空宇宙工学テキストシリーズ). | |
3 | 圧縮性流体力学 : 内部流れの理論と解析 / 松尾一泰著. -- 理工学社, 1994.11. | |
4 | 電気推進ロケット入門 / 栗木恭一, 荒川義博編. -- 東京大学出版会, 2003.5. ★ | |
5 | 流体力学 / 高野暲著. -- 岩波書店, 1975.1. | |
5 | 軽飛行機から超音速旅客機の概念設計まで / 李家賢一著. -- コロナ社, 2011.12. -- (航空機設計法 / 李家賢一著 ; [正]). | |
7 | 航空機力学入門 / 加藤寛一郎, 大屋昭男, 柄沢研治著. -- 東京大学出版会, 1982.11. ★ | |
8 | ジェットエンジン / 鈴木弘一著. -- 森北出版, 2004.10. ★ | |
9 | 工学基礎振動論 / 近藤恭平著. -- 培風館, 1993.5. ★ | |
9 | イオンエンジンによる動力航行 / 國中均, 中山宜典, 西山和孝共著. -- コロナ社, 2006.12. -- (宇宙工学シリーズ ; 8). | |
Department of Precision Engineering |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | エッセンシャル電磁気学 : エネルギーで理解する / 田口俊弘, 井上雅彦共著. -- 森北出版, 2012.9. | |
2 | 電磁波の物理 : その発生・伝播・吸収・増幅・共振を電磁気学で理解する / 遠藤雅守著. -- 森北出版, 2014.12. | |
3 | 圧電現象 / 森田剛著. -- 森北出版, 2017.3. | |
4 | カンデル神経科学 / Eric R. Kandel [ほか] 編 ; Sarah Mackアート・エディター. -- メディカル・サイエンス・インターナショナル, 2014.4. | |
5 | インバース・マニュファクチャリング ハンドブック : ポストリサイクルの循環型ものづくり / 木村文彦 [ほか] 編. -- 丸善, 2004.3. | |
6 | 演習大学院入試問題 / 姫野俊一, 陳啓浩共著 ; 数学 1 - 物理学 2. -- 第2版. -- サイエンス社, 1997.6-. | 数学 1 |
7 | ストロガッツ非線形ダイナミクスとカオス : 数学的基礎から物理・生物・化学・工学への応用まで / Steven H. Strogatz [著] ; 田中久陽, 中尾裕也, 千葉逸人訳. -- 丸善出版, 2015.1. | |
7 | ディジタル画像処理. -- 改訂新版. -- 画像情報教育振興協会, 2015.3. ★ | |
9 | 固体物理学入門 / Charles Kittel [著] ; 宇野良清 [ほか] 共訳 ; 上, 下. -- 第8版. -- 丸善, 2005.12. | 上 |
9 | 強化学習 = Reinforcement learning / 森村哲郎著. -- 講談社, 2019.5. -- (MLP機械学習プロフェッショナルシリーズ). | |
Department of Information and Communication Engineering・Department of Electrical and Electronic Engineering |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | 高電圧工学 / 日高邦彦著. -- 数理工学社. -- (新・電気システム工学 ; TKE-13). ★ | |
2 | コンピュータアーキテクチャ / 電子情報通信学会編 ; 坂井修一著. -- コロナ社, 2004.3. -- (電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; C-9). ★ | |
3 | 応用制御工学 / 堀洋一, 大西公平共著. -- 丸善, 1998.6. -- (電気・電子・情報・通信基礎コース). | |
4 | パワーエレクトロニクスの基礎 / 電気学会編集 ; 池田吉尭, 北村覺一, 正田英介執筆委員. -- 電気学会. -- (電気学会大学講座 / 電気学会編). | |
5 | 制御工学の基礎 / 堀洋一, 大西公平共著. -- 丸善, 1997.9. -- (電気・電子・情報・通信基礎コース). | |
6 | アナログCMOS集積回路の設計 / Behzad Razavi著 ; 黒田忠広監訳 ; 基礎編, 応用編, 演習編. -- 丸善, 2003.3-. ★ | 基礎編 |
7 | 伝送回路 / 滝保夫著. -- 第2版. -- 共立出版, 1978.12. | |
8 | 電磁界応用工学 / 小田哲治, 小野亮共著. -- 数理工学社. -- (新・電気システム工学 ; TKE-21). | |
9 | 電気機器学基礎 / 仁田旦三, 古関隆章共著. -- 数理工学社. -- (新・電気システム工学 ; TKE-8). | |
10 | MOSによる電子回路基礎 / 池田誠著. -- 数理工学社. -- (新・電子システム工学 ; TKR-4). ★ | |
10 | 情報セキュリティ基礎講義 / 松浦幹太著. -- コロナ社, 2019.3. -- (電子通信情報系コアテキストシリーズ / 電子通信情報系コアテキストシリーズ編集委員会 [編] ; C-2). | |
Department of Applied Physics |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | 固体電子論概論 / アシュクロフト, マーミン著 ; 松原武生, 町田一成訳. -- 吉岡書店, 1981.2. -- (物理学叢書 / 小谷正雄 [ほか] 編 ; 46 . { 固体物理の基礎 / アシュクロフト, マーミン著 ; 松原武生, 町田一成訳 } ; 上・1). ★ | |
2 | 磁性 / 金森順次郎著. -- 培風館, 1969.1. -- (新物理学シリーズ / 山内恭彦監修 ; 7). | |
3 | 固体のバンド理論 / アシュクロフト, マーミン著 ; 松原武生, 町田一成訳. -- 吉岡書店, 1981.9. -- (物理学叢書 / 小谷正雄 [ほか] 編 ; 47 . { 固体物理の基礎 / アシュクロフト, マーミン著 ; 松原武生, 町田一成訳 } ; 上・2). ★ | |
4 | 量子力学 / 猪木慶治, 川合光著 ; 1, 2. -- 講談社, 1994.2-1994.3. ★ | 2 |
5 | 相転移・臨界現象の統計物理学 / 西森秀稔著. -- 培風館, 2005.11. -- (新物理学シリーズ / 山内恭彦監修 ; 35). ★ | |
5 | 統計力学 / 田崎晴明著 ; 1, 2. -- 培風館, 2008.12. -- (新物理学シリーズ / 山内恭彦監修 ; 37-38). ★ | 2 |
7 | 量子力学とコンピュータ科学 / Michael A. Nielsen, Isaac L. Chuang共著 ; 木村達也訳. -- オーム社, 2004.12. -- (量子コンピュータと量子通信 / Michael A. Nielsen, Isaac L. Chuang共著 ; 木村達也訳 ; 1). | |
8 | 量子力学 / 猪木慶治, 川合光著 ; 1, 2. -- 講談社, 1994.2-1994.3. | 1 |
9 | 統計力学 / 阿部龍蔵著. -- 第2版. -- 東京大学出版会, 1992.3. | |
9 | トポロジカル絶縁体入門 / 安藤陽一著. -- 講談社, 2014.7. | |
Department of Mathematical Engineering and Infomation Physics |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | ルベーグ積分入門 / 伊藤清三著. -- 裳華房, 1963.4. -- (数学選書 ; 4). | |
2 | 量子力学とコンピュータ科学 / Michael A. Nielsen, Isaac L. Chuang共著 ; 木村達也訳. -- オーム社, 2004.12. -- (量子コンピュータと量子通信 / Michael A. Nielsen, Isaac L. Chuang共著 ; 木村達也訳 ; 1). | |
3 | フーリエ・ラプラス解析 / 東京大学工学教程編纂委員会編 ; 加藤雄介, 求幸年著. -- 丸善出版, 2017.3. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . 基礎系数学). | |
4 | 曲線と曲面の微分幾何 / 小林昭七著. -- 改訂版. -- 裳華房, 1995.9. ★ | |
4 | ディジタル信号処理工学 / 眞溪歩著. -- 昭晃堂, 2004.3. ★ | |
4 | パターン認識と機械学習 : ベイズ理論による統計的予測 / C.M. ビショップ著 ; 上, 下. -- 丸善出版, 2012.1. | 上 |
7 | 確率論 / 舟木直久著. -- 朝倉書店, 2004.11. -- (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 20). | |
8 | 情報理論 : 基礎と広がり / Thomas M. Cover, Joy A. Thomas著 ; 山本博資 [ほか] 訳. -- 共立出版, 2012.7. | |
9 | 微分幾何学とトポロジー / 東京大学工学教程編纂委員会編 ; 永長直人著. -- 丸善出版, 2016.9. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . 基礎系数学). | |
10 | 線形代数 / 東京大学工学教程編纂委員会編 ; 室田一雄, 杉原正顯著 ; 1, 2. -- 丸善出版, 2013.10-2015.9. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . 基礎系数学). | 1 |
Department of Materials Engineering |
Ranking | Details(Link to OPAC) | VOL |
1 | 入門転位論 / 加藤雅治著. -- 裳華房, 1999.8. -- (新教科書シリーズ). | |
2 | 熱力学 : 現代的な視点から / 田崎晴明著. -- 培風館, 2000.4. -- (新物理学シリーズ / 山内恭彦監修 ; 32). | |
2 | 半導体デバイス : 基礎理論とプロセス技術 / S.M. ジィー著 ; 南日康夫, 川辺光央, 長谷川文夫訳. -- 第2版. -- 産業図書, 2004.3. | |
4 | ベーシック電気化学 / 大堺利行, 加納健司, 桑畑進著. -- 化学同人, 2000.9. | |
5 | 材料の物理化学 / David V.Ragone [著] ; 寺尾光身監訳 ; 1, 2. -- 丸善, 1996. | 1 |
5 | ミクロ組織の熱力学. -- 日本金属学会. -- (講座・現代の金属学 / 日本金属学会編 ; 材料編 第2巻). | |
5 | マテリアルの力学的信頼性 : 安全設計のための弾性力学 / 榎学著. -- 内田老鶴圃, 2006.4. -- (材料学シリーズ / 堂山昌男, 小川恵一, 北田正弘監修). | |
5 | 鉄鋼の組織制御 : その原理と方法 / 牧正志著. -- 内田老鶴圃, 2015.12. | |
9 | 基礎高分子科学 / 高分子学会編 ; [正編], 演習編. -- 東京化学同人, 2006.7-2011.7. | [正編] |
9 | 高分子化学 / 西久保忠臣編. -- オーム社, 2011.3. -- (ベーシックマスター). | |
9 | 初歩から学ぶ固体物理学 / 矢口裕之著. -- 講談社, 2017.2. | |
Department of Applied Chemistry・Department of Chemical System Engineering・Department of Chemistry and Biotechnology |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | 高分子合成化学 / 井上祥平著. -- 改訂版. -- 裳華房, 2011.5. ★ | |
2 | ウォーレン有機化学 / J. Clayden, N. Greeves, S. Warren著 ; 石橋正己 [ほか] 訳 ; 上, 下. -- 第2版. -- 東京化学同人, 2015. | 下 |
3 | 基礎化学工学 / 化学工学会編. -- 培風館, 1999.1. ★ | |
4 | ウォーレン有機化学 / J. Clayden, N. Greeves, S. Warren著 ; 石橋正己 [ほか] 訳 ; 上, 下. -- 第2版. -- 東京化学同人, 2015. | 上 |
5 | アトキンス物理化学 / Peter Atkins, Julio de Paula著 ; 中野元裕 [ほか] 訳 ; 上, 下. -- 第10版. -- 東京化学同人, 2017.3-2017.9. | 下 |
6 | 化学反応論 / 東京大学工学教程編纂委員会編 ; 水野哲孝, 山口和也, 堂免一成著. -- 丸善, 2018.11. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . 基礎系化学 . 物理化学 = Physical chemistry ; 2). | |
7 | 基礎から学ぶ遺伝子工学 / 田村隆明著. -- 第2版. -- 羊土社, 2017.11. | |
8 | シュライバー・アトキンス無機化学 / M. Weller [ほか] 著 ; 田中勝久 [ほか] 訳 ; 上, 下. -- 第6版. -- 東京化学同人, 2016.9-2017.1. | 下 |
9 | 伝熱工学 = Heat transfer / 日本機械学会著. -- 日本機械学会. -- (JSMEテキストシリーズ). | |
10 | ハートウィグ有機遷移金属化学 / John F. Hartwig著 ; 上, 下. -- 東京化学同人, 2014.4-2015.3. | 下 |
Department of Systems Innovation |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | システム理論 = Systems theory / 大橋弘忠, 古田一雄著 ; 東京大学工学教程編纂委員会編 ; 1, 2. -- 丸善出版, 2015.6-. -- (東京大学工学教程 / 東京大学工学教程編纂委員会編 . システム工学). | 2 |
2 | 理工系のための経済学・ファイナンス理論 / 縄田和満著. -- 東洋経済新報社, 2003.3. ★ | |
2 | 演習流体力学 / 日本機械学会著. -- 日本機械学会. -- (JSMEテキストシリーズ). | |
4 | コンピュータによる熱移動と流れの数値解析 / スハス V. パタンカー原著 ; 水谷幸夫, 香月正司共訳. -- 森北出版, 1985.2. | |
5 | スバラシク実力がつくと評判の複素関数キャンパス・ゼミ : 大学の数学がこんなに分かる!単位なんて楽に取れる! / 馬場敬之著. -- 改訂2. -- マセマ出版社, [2014.9]. | |
5 | グローバル・ロジスティクス・ネットワーク : 国境を越えて世界を流れる貨物 / アジア物流研究会著 ; 柴崎隆一編. -- 成山堂, 2019.2. | |
7 | 材料力学 / 日本機械学会著. -- 日本機械学会. -- (JSMEテキストシリーズ). | |
8 | 現代数理統計学 / 竹村彰通著. -- 創文社, 1991.11. -- (現代経済学選書 / 熊谷尚夫監修 ; 8). | |
8 | 力学系 / C. ロビンソン著 ; 國府寛司, 柴山健伸, 岡宏枝訳 ; 上, 下. -- シュプリンガー・フェアラーク東京, 2001.12. | 上 |
8 | 最適化法 / 田村明久, 村松正和著. -- 共立出版, 2002.4. -- (工系数学講座 ; 17). | |
8 | 計量経済学 / 浅野皙, 中村二朗著. -- 第2版. -- 有斐閣, 2009.3. -- (Y21). | |
8 | 現代数理統計学の基礎 / 久保川達也著. -- 共立出版, 2017.4. -- (共立講座 数学の魅力 ; 11). | |
Department of Information Science, Faculty of Science |
Ranking | Details(Link to OPAC) ★:This book has been ranked in the top 10 every year for the past 5 years | VOL |
1 | 論理と計算のしくみ / 萩谷昌己, 西崎真也著. -- 岩波書店, 2007.6. ★ | |
2 | コンパイラの構成と最適化 / 中田育男著. -- 第2版. -- 朝倉書店, 2009.11. | |
2 | FPGAプログラミング大全 : Xilinx編 / 小林優著. -- 秀和システム, 2016.12. | |
4 | 数値計算の常識 / 伊理正夫, 藤野和建著. -- 共立出版, 1985.6. ★ | |
4 | 情報科学における論理 / 小野寛晰著. -- 日本評論社, 1994.4. -- (情報数学セミナー). | |
6 | グラフ・ネットワーク・組合せ論 / 藤重悟著. -- 共立出版, 2002.4. -- (工系数学講座 ; 18). ★ | |
7 | 最新コンパイラ構成技法 / Andrew W. Appel著 ; 神林靖, 滝本宗宏訳. -- 翔泳社, 2009.10. | |
8 | Category theory / Steve Awodey ; : hard, : pbk. -- 2nd ed. -- Oxford University Press, 2010. -- (Oxford logic guides ; 52). | |
9 | Categorical logic and type theory / Bart Jacobs. -- Elsevier Science, 1999. -- (Studies in logic and the foundations of mathematics ; v. 141). | |
10 | Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson ; : pbk. -- W. H. Freeman, c1979. -- (A series of books in the mathematical sciences). | |