http://toki.nagomix.net/j/index.php 2009-08-18T11:49:58+0900 時崎研究室 on the web - RSS (RDF Site Summary). http://toki.nagomix.net/j/article.php?id=1276 2009-08-18T11:49:58+0900 　旅の荷物を整理していて出てきた、おみやげに買ったカフェ・ストラーダのＴシャツ。ふと気になってネット検索してみました。ああ。そうか、ここはケン・リベットがバリー・メイザーと話していて、フェルマーの最終定理に結びつく証明を思いついた場所だった... ]]>