タグ: OCaml (2人)

氏名 住井 英二郎 SUMII Eijirou 所属 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 職名 准教授 学位 博士（情報理工学） 研究分野 全件表示 ...

学者・研究者　 OCaml　 プログラミング言語　

今井 宜洋 (Yoshihiro Imai) 有限会社ITプランニング システム開発部 有限会社ITプランニング勤務のプログラマ。 証明器の勉強会ProofCafeを主催。 関数型言語や形式手法を使った、高信頼なシステム開発の技術に興味があ...

OCaml　 Coq　 ocaml-nagoya　 形式手法