ウマタニ セイジ   Umatani Seiji
  馬谷 誠二
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   准教授
発表年月日 2022
発表テーマ Racket言語のための抽象解釈に向けて
発表学会名 第138回プログラミング研究発表会
学会区分 研究会・シンポジウム等
発表形式 口頭(一般)
単独共同区分 単独