中澤恒子
『語彙の統語・意味情報処理-日英辞書検索支援システムの構築にむけて』東京大学 1998
『前提に関する計算論理学的研究』東京大学 2002