それなら数学表現型言語と呼ぶべきなような。