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

伊藤 友里菜

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

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

氏名伊藤 友里菜
ふりがないとう ゆりな
所属お茶の水女子大学理学部情報科学科

発表リスト

05月24日(Wed) 15:50〜17:30 B会場(ウインクあいち-9F 901会議室)
題目2B3-OS-07a-4 意味論の証明論的転回
著者戸次 大介 峯島 宏次 金子 貴美 田中 リベカ 谷中 瞳 木下 恵梨子 伊藤 友里菜 簗 有紀子
論文PDFファイル