読者です 読者をやめる 読者になる 読者になる

いきるちから

気が向いたときに適当なことを書きます

超幾何級数の等式自動導出

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

『科学哲学』(サミール オカーシャ)

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

『位相と論理』を読んだ

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