ただし、"formula_78" と "formula_93" は積分定数である。