github.io Agda Examples Shinji KONO (kono@ie.u-ryukyu.ac.jp), University of the Ryukyus code github ZF in Agda ZF Automaton in Agda Automaton