generated at
kVerifierの実用化、及び仕様記述言語との連携

#仕様記述