購入した本 ロバート・ブランダム (2020).『プラグマティズムはどこから来て、どこへ行くのか』[上 / 下], 加藤隆文, 田中凌, 朱喜哲, 三木那由他訳, 勁草書房. 『プラグマティズムはどこから来て、どこへ行くのか』 www.keisoshobo.co.jp www.keisoshobo.co…
購入した本 龍田真 (1992). 『型理論』(レクチャーノート/ソフトウェア学), 近代科学社. 大西建児ほか (2019). 『ソフトウェアテスト教科書 JSTQB Foundation 第4版』, 翔泳社. 井上直也, 村山公保, 竹下隆史, 荒井透, 苅田幸雄 (2019).『マスタリング TCP/I…
2024年になった。紆余曲折あって、今年は勉強をメインには取り組まない年にしたい、と思っているのだけれど、そうは言いつつ一年は長いので、どこかのタイミングで時間が取れて勉強することもあるだろうとも思っている。ので、簡単に目標を立てておく。 学術…
2023年も終わりなので、今年勉強したことを振り返ってみる。 学術関連 数学 群論 多様体 今後 物理学 熱力学 今後 論理学・計算機科学 オートマトン 今後 哲学・科学哲学 物理学の哲学 新書 今後 業務関連 プログラミング・IT技術 TypeScript Haskell 今後 …
すごいHaskell たのしく学ぼう! Miran Lipovača (2012)『すごいHaskell たのしく学ぼう!』, 田中秀行・村主崇行共訳, オーム社. shop.ohmsha.co.jp 前からHaskellの勉強をしたいと思っていたのだけれど、そう思うだけでまったくなにも進んでいなかったので…
現代思想 2023年7月号 www.seidosha.co.jp ちょうど『計算理論と数理論理学』の一番はじめのオートマトンの節を読み始めたところで、この特集号が出版されたのは私にとってはかなりよきタイミングだった。 まだざっとしか目を通していないのだけれど、河西棟…
『科学と仮説』 ポアンカレ(2021)『科学と仮説』, 伊藤邦武訳, 岩波書店. www.iwanami.co.jp A philosophy of Software Design John Ousterhout (2021). A philosophy of Software Design. 2nd Edition. Yaknyam Press. Software Design Book 『令和5年【春…
『手を動かしてまなぶ ε-δ論法』 藤岡敦 (2021), 『手を動かしてまなぶ ε-δ論法』, 裳華房. www.shokabo.co.jp
『計算理論と数理論理学』 田中一之 (2022), 『計算理論と数理論理学』, 共立出版. www.kyoritsu-pub.co.jp 『スピノザ: 読む人の肖像』 國分功一郎 (2023), 『スピノザ: 読む人の肖像』, 岩波書店. www.iwanami.co.jp
『トポロジーへの誘い: 多様体と次元をめぐって』 松本幸夫 (2021), 『トポロジーへの誘い: 多様体と次元をめぐって』[新装版], 日本評論社. www.nippyo.co.jp 本屋さんで軽く眺めたところ、多様体とトポロジーについて、いわゆる教科書的な厳密な感じではな…
Philosophpy of Physics: A Very Short Introduction David Wallace (2021). Philosophpy of Physics: A Very Short Introduction. Oxford: Oxford University Press. global.oup.com 最近、物理学の哲学をちょっとずつ勉強したいと思いはじめて、そのわりに…
Cambridge ElementsのPhilosophy of Physicsシリーズから、「物理学における理想化」をテーマにした本が出版されているのを見つけた。2023年1月26日までオープンアクセスで、無料で閲覧、ダウンロードができる。 Elay Shech. (2023). Idealizations in Physi…
1 2022年振り返り 1月~3月 3月~4月 5月~7月 夏休み 12月 2 2023年目標 2.1 数学・物理 2.2 プログラミング 1 2022年振り返り 1月~3月 Leonard Susskind & Art Friedman (2018), Special Relativity and Classical Field Theory: The Theoretical Minimum…