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