プロフィール最終更新日:
- はてなID
- yoshihiro503
- ニックネーム
- yoshihiro503
- 一行紹介
- 自己紹介
-
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。niconicoの配信基盤システムであるDMCを証明しています。
- 言語
| ホームページ 1 | http://proofcafe.org/~yoshihiro503/ |
|---|---|
 Twitter
|
http://twitter.com/yoshihiro503/ |