/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2017ホーム
/
木下 恵梨子
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2017
氏名
木下 恵梨子
ふりがな
キノシタ エリコ
所属
お茶の水女子大学理学部情報科学科
発表リスト
05月24日(Wed) 15:50〜17:30 B会場(ウインクあいち-9F 901会議室)
題目
2B3-OS-07a-4 意味論の証明論的転回
著者
戸次 大介
峯島 宏次
金子 貴美
田中 リベカ
谷中 瞳
木下 恵梨子
伊藤 友里菜
簗 有紀子
論文
PDFファイル