著者

趙燕結 櫻井 鉄也 杉浦 洋 鳥居 達生

雑誌

情報処理学会研究報告自然言語処理(NL)

巻号頁・発行日

vol.1997, no.29(1996-NL-118), pp.73-78, 1997-03-21

---

我々は自然言語処理とプログラミング言語処理の手法に基づいて,形式化された数式の文法,その文法を生成できるメタ言語,及びそれらの解釈系を作成し,数式の多義性を避けて,文脈依存的数式の意味解釈を行なう.