数理的演繹をめざす言葉の理解： 近似ではない言語処理はいつか可能になるか？