redoのサンプルコード