はじめに 輪講で『A=B』という超幾何級数の等式自動証明についての本を読みました。タイトルが簡素なとこが好き。 The Book "A=B" pdfが著者のページからダウンロードできる。こういうのいいよね。 超幾何級数の等式自動導出とは 超幾何級数とは、 という形…

まえがき 今は数理工学を学んでるけど院では科学寄りの分野に戻るつもりなので、さすがに一回くらい科学哲学を体系的に学ぶべきだろうと思って読み始めた。真面目に講義取ったり本読んだりをしたことはなかったけど、どこかしらで聞いた話がちらほらあったし…

『位相と論理』という本を読んだ。タイトル的に位相空間を使ったヤバい意味論をガンガンやる本かなあと思って読み始めたけど、実際には束論と位相の本だった。要するにStoneの表現定理+α。他の本でカバーされてる内容も多かったけど、束を前面に出した簡潔な…