６．時間 Reactive Bananaでは時間は連続的であるが、ここで説明しているモデルでは、時間は離散的である。モデルでは、時間は0で始まる自然数を用いて、次の様に定めている。 -- | Natural numbers (poorly represented). type Nat = Int -- | The FRP mode…