QuickCheckの説明を改めた。
発表者ノートの経過時間をリセットできるように修正。