今週北京からいらしてる中国人の研究者の人に話をしていただいた。話の内容は、なんか数値計算を形式化して正当性を証明したいみたいなこと(よくわからなかったけど)。印象的だったのは、そのとき「もっとも重要なことはApplicationだ」と繰り返し言っていた…