ProofCafe の成果を反映した。