16/07/10 09:12:36.34 1POR/mwl.net
>>664 つづき
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
吉永正彦 北海道大学 数学部門
(抜粋)
「周期と実数の0-認識問題: Kontsevich-Zagier の予想」（数学書房）>>406
読んだ。ざっと斜め読みだが
要するに、キーワードは「アルゴリズム」だな
従来の代数とか解析とか幾何とか全部人が考えるのと違って、「アルゴリズム作ってそこに乗せる（あとは人がやらなくても良い）」という視点
なるほどね。そういう視点の数学研究は、いままで知らなかったな。新鮮な切り口ですね
（思い出すと、有限単純群の分類理論で、散在単純群をコンピュータで構成したみたいな話はあったけど、あれとはちょっと違う気がする）