Coyotos/BitC に関わりたいなと思いながら Johns Hopkins の院に願書を出したら、「うん、君入れてもいいかも知れないけど Jonathan 今年で辞めるよ?」って言ってきた。間ぁ悪ぅ。どうも private firm として開発するつもりらしい。

今私は automated software verification からの派生で、力学系の simulation 言語で、系を記述する微分方程式を打ち込めば (一定の条件下でなら) 誤差を自動で見積もって計算結果の精度に関する警告あるいは保証をくれた上で数値的に解いてくれる、というも…