http://madscientist.jp/~ikegami/diary/20090604.html

[katzchang]

id:md2tak 査読としてのテストと、論文の結論を示すテストの2種類がありそう。

[sett-4]

フェルマー予想なんて「証明はスペースがないので書かん」とか、ソフトウエアでいえば、「こういうソフトウエア作れるだろ、JK」くらいの文章の意味しか持たない言明であった。こういうのが、数学でも許される。てい

[terazzo]

数学研究のアジャイルな進め方とは別に、アジャイル開発に於ける数学みたいなのもありそう。イメージとしては、型は変化するもの→LLの潜在的な型は多義的なので変化に強い、みたいなの(あくまでイメージです。)