まずタイムループ系の定義を教えてください