定義域は実数全体。Maximaを使ってもよい。