佐藤未歩

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

氏名	佐藤未歩
ふりがな	さとうみほ
所属	お茶の水女子大学大学院人間文化創成科学研究科理学専攻

発表リスト

06月06日(Mon) 10:20〜12:00 N会場(130名-AIM3F E展示場)

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

著者佐藤未歩戸次大介

論文 PDFファイル