hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
niszet
Yusuke Kataoka
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
sasuseso
Ken Sonoda
tkob
antizigzag
リチャード伊真岡
職業Scalaプログラマのイマオカです。
PRINCIPIA
You can get notifications about events that your friends attend or organize via email or the highlight page.
Learn More (Japanese)