やっぱ、coqって駄目だなw