3.4
の評価: 記号
以後の説明のため、
front の衝突時刻以外の時刻
に対して、
を時刻
に存在する front 全体の集合、
を、front
に approach する
以外のすべての front (時刻
で存在するもの) の集合、
を、
に属する front の大きさ
全体の和とする (いずれも
に依存)。

(
2)
なお、
,
の
は、
front の大きさではなく、オブジェクトとしての front 自体を
意味し、(詳しくは 2.3 節参照)、
は
と
が approach することを
意味するものとする。
また、front に分解する前の膨張波
に対しても
,
を用いることがあるが、
その意味は自明であろう。
が膨張波
の分解 front の一つである場合、
明らかに
,
と
なる。
竹野茂治@新潟工科大学
2020-06-03