Changes to Schedule/ProofCafe_19

• 2012-03-24 09:31:54 UTC (yoshihiro503): fix
• 2012-03-24 09:31:36 UTC (yoshihiro503): fix
• 2012-03-24 09:29:24 UTC (yoshihiro503): 進んだところ
• 2012-03-24 09:13:41 UTC (yoshihiro503): 19回