1N2-2 依存型意味論における型チェックの実装の試み

*セッションの無断動画配信はご遠慮下さい。

06月06日(Mon) 10:20〜12:00 N会場(130名-AIM3F E展示場)
1N2 自然言語処理・情報検索「自然言語処理(1)」

演題番号	1N2-2
題目	依存型意味論における型チェックの実装の試み
著者	佐藤未歩(お茶の水女子大学大学院人間文化創成科学研究科理学専攻) 戸次大介(お茶の水女子大学大学院人間文化創成科学研究科理学専攻情報科学コース)
時間	06月06日(Mon) 10:40〜11:00
論文	PDFファイル