まじな話Coq10はいらない。