ProofCafe勉強会で指摘された部分を修正