Embed Notice

@rosylilly でアブスト読み直した限り、

* 今の法律から書き起こしやすいプログラミング言語を作ってみた
* コンパイラは形式検証済みなんだぜ
* 実際アメリカとフランスの法律にバグ見つけたよ

て感じの話ぽいんですが、最初のは「実行可能な実装する」とも書いてあって、自分はそれがまったくぴんと来てないです。だからちゃんと読んだら面白いかも。

と、ICFPはプログラミング言語だと有名ですね、コンテストも含め。実は先月、ふらっと現地に行ったばかりなんですが、ちゃんとコンテストの表彰式もやってました。