三次 方程式 判別 式 佐藤裁也 lori methia