414書誌情報ラマヌジャン型円周率公式の探索 : コンピュータを駆使して著者吉岡良雄 著出版社ブックコム出版年2025年ISBN9784911647004分類414 幾何学国立国会図書館サーチで確認する