公式が解決する気ないのはなんなんや?