/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2016ホーム /

戸次 大介

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

Tweet #jsai30th このエントリーをはてなブックマークに追加

氏名戸次 大介
ふりがなべっき だいすけ
所属お茶の水女子大学 大学院人間文化創成科学研究科 理学専攻情報科学コース

発表リスト

06月06日(Mon) 10:20〜12:00 N会場(130名-AIM3F E展示場)
題目1N2-2 依存型意味論における型チェックの実装の試み
著者佐藤 未歩 戸次 大介
論文PDFファイル

06月08日(Wed) 13:20〜15:10 O会場(130名-AIM3F F展示場)
題目3O3-OS-04a-2 依存型意味論による時間に関する照応現象の記述に向けて
著者宇津木 舞香 戸次 大介
論文PDFファイル

06月08日(Wed) 13:20〜15:10 O会場(130名-AIM3F F展示場)
題目3O3-OS-04a-1 依存型意味論による複数照応の分析
著者田中 リベカ 峯島 宏次 戸次 大介
論文PDFファイル