ホシノ ナオヒコ   Hoshino Naohiko
  星野 直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   職種   助教
発表年月日 2016
発表テーマ Memoryful geometry of interaction II: recursion and adequacy
会議名 Principle of Programming Languages
学会区分 国際学会
発表形式 口頭(一般)
単独共同区分 共同
発表者・共同発表者 Koko Muroya, Ichiro Hasuo