型理論(Type Theory)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 1987-12-01

著者

• 向井 国昭

  新世代コンピュータ技術開発機構

関連論文

• CILにおける言語情報の構造と操作のモデル
• 談話理解実験システムDUALS第3版における自然言語処理 (「第五世代コンピュータ」)
• DUALS-IIIにおける談話処理
• 半群作用を持つマージ構造とその上の単一化理論
• 数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法)
• 談話理解とロジック (「次世代自然言語処理技術」)
• 型理論(Type Theory)
• 遅延型論理演算に基づく制約型プログラミング
• 自然言語の形式的意味論

スポンサーリンク