購入した本 ロバート・ブランダム (2020).『プラグマティズムはどこから来て、どこへ行くのか』[上 / 下], 加藤隆文, 田中凌, 朱喜哲, 三木那由他訳, 勁草書房. 『プラグマティズムはどこから来て、どこへ行くのか』 www.keisoshobo.co.jp www.keisoshobo.co…

購入した本 龍田真 (1992). 『型理論』(レクチャーノート/ソフトウェア学), 近代科学社. 大西建児ほか (2019). 『ソフトウェアテスト教科書 JSTQB Foundation 第4版』, 翔泳社. 井上直也, 村山公保, 竹下隆史, 荒井透, 苅田幸雄 (2019).『マスタリング TCP/I…

すごい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 最近、物理学の哲学をちょっとずつ勉強したいと思いはじめて、そのわりに…