Yutaka Kitamura's repositories
PFN-intern-2018-ml
Submission for Preferred Networks Intern 2018 Coding Task of Machine Learning https://github.com/pfnet/intern-coding-tasks/tree/master/2018/ml
Language:Python000
CoqEx2014
Coq演習2014 http://qnighy.github.io/coqex2014/ 解答用
Language:Coq000
min-caml
moved from https://sourceforge.net/p/min-caml/code/
Language:OCamlNOASSERTION000