ホシノ ナオヒコ   Hoshino Naohiko
  星野 直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   職種   助教
研究課題 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて
実施形態 科学研究費補助金
研究委託元等の名称 日本学術振興会
研究種目名 若手B
代表分担区分 研究代表者