研究者紹介
写真



著書論文等全件
氏名
上野 雄大
UENO Katsuhiro
所属
電気通信研究所
システム・ソフトウェア研究部門
ソフトウェア構成研究室
大学院担当
大学院情報科学研究科
システム情報科学専攻

職名
准教授
学位
博士(情報科学)
研究分野
    全件表示
    研究課題
      全件表示
      研究キーワード
      プログラミング言語, コンパイラ, 関数型言語, ML, 型理論
      所属学会
        全件表示
        主要論文

        An efficient non-moving garbage collector for functional languages.[Proceeding of the 16th ACM SIGPLAN international conference on Functional programming,(2011)]Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo
        10.1145/2034574.2034802


        Making standard ML a practical database programming language.[Proceeding of the 16th ACM SIGPLAN international conference on Functional programming,(2011)]Atsushi Ohori, Katsuhiro Ueno
        10.1145/2034574.2034815


        SML#の外部関数インターフェース.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,27(2),(2010),142-168]上野雄大,大堀淳


        制御フローの合流のための計算系.[情報処理学会論文誌「プログラミング(PRO)」,1(3),(2008),19-33]上野雄大,大堀淳


        型代入を遅延する最適化型推論アルゴリズム.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,25(2),(2008),101-113]上野雄大,大堀淳


        全件表示
        学術関係受賞
          全件表示
          オープンキャンパス・研究所公開等
            全件表示
            データ更新日
            2016.11.25
            Englishこのページのトップへ
            copyright(c)2005 Tohoku University