セミナー/コンサルティング

弊社での豊富な開発経験を基に、関数型プログラミング・定理証明系による高信頼な開発手法についてセミナー/コンサルテーションを行っています。 お問い合わフォームからご相談下さい。。

過去の実績例

  • F#で学ぶ関数型言語
  • 現場で活かす関数型プログラミング
  • Coqで学ぶ定理証明器入門
  • 定理証明と検証
  • Alloyで簡単形式手法