ホシノ ナオヒコ   Hoshino Naohiko
  星野 直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   職種   助教
発表年月日 2011
発表テーマ Semantics of higher-order quantum computation via geometry of interaction
会議名 Logic in Computer Science
学会区分 国際学会
発表形式 口頭(一般)
単独共同区分 共同
発表者・共同発表者 Ichiro Hasuo