数式の検証
【すうしきのけんしょう】
【suushikinokensyou】
公式求值