>仮想の時間軸と仮想の入力と仮想の出力を処理
ならば、それを定義してみせよ。