ラプラス変換
formula_8 is the Laplace transform of formula_9.