コンピューターは数学の望遠鏡

─ 証明はできるか？無限は見えるか？ ─



桂田 祐史
(明治大学理工学部)
2002年3月31日