いきるちから

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