プロセスとパラメータ記述の数学的表現