検索
詳細検索
タグ:
OCaml
(2人)
住井英二郎
氏名 住井 英二郎 SUMII Eijirou 所属 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 職名 准教授 学位 博士(情報理工学) 研究分野 全件表示 ...
学者・研究者
OCaml
プログラミング言語
今井宜洋
今井 宜洋 (Yoshihiro Imai) 有限会社ITプランニング システム開発部 有限会社ITプランニング勤務のプログラマ。 証明器の勉強会ProofCafeを主催。 関数型言語や形式手法を使った、高信頼なシステム開発の技術に興味があ...
OCaml
Coq
ocaml-nagoya
形式手法