TAG 方程式と不等式