Shinji KONO (kono@ie.u-ryukyu.ac.jp), University of the Ryukyus
code github
ZF
Automaton
CategoryExercise
galois