結果整合性
level-triggering
at-least-once実行される冪等な処理