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