3.4 の評価: 記号
以後の説明のため、
front の衝突時刻以外の時刻 に対して、
を時刻 に存在する front 全体の集合、
を、front に approach する 以外のすべての front (時刻 で存在するもの) の集合、
を、 に属する front の大きさ
全体の和とする (いずれも に依存)。
(
2)
なお、, の は、
front の大きさではなく、オブジェクトとしての front 自体を
意味し、(詳しくは 2.3 節参照)、
は と が approach することを
意味するものとする。
また、front に分解する前の膨張波 に対しても
,
を用いることがあるが、
その意味は自明であろう。
が膨張波 の分解 front の一つである場合、
明らかに
,
と
なる。
竹野茂治@新潟工科大学
2020-06-03