relation tickはクロックが1であればclock'(次のstateにおけるclockの値)は0、0であれば1を設定する。