研究者
J-GLOBAL ID：200901085016075705   更新日: 2024年09月30日

上野 雄大

ウエノ カツヒロ | Ueno Katsuhiro
所属機関・部署：
新潟大学 自然科学系 情報電子工学系列

新潟大学 自然科学系 情報電子工学系列 について


職名： 准教授
ホームページURL (1件)： https://www.pllab.ie.niigata-u.ac.jp/katsu/
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (5件)： 型理論 ,  ML ,  関数型言語 ,  コンパイラ ,  ソフトウェア開発
競争的資金等の研究課題 (8件)：
  • 2024 - 2029 計算資源の抽象化を必要としない関数型言語の開発
  • 2023 - 2024 ソフトウェアのビルド手続きを系統的に記述するための新たな枠組みの開発
  • 2019 - 2023 マルチコア並列計算に対応した関数型言語処理系の実現
  • 2018 - 2022 超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化
  • 2015 - 2019 実用プログラミング言語のための系統的言語開発基盤の実現
全件表示
論文 (31件)：
  • 佐藤 季樹, 上野 雄大. 型別名を保存する型推論アルゴリズム. 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024). 2024
  • Katsuhiro Ueno, Atsushi Ohori. Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors. Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management. 2022
  • Atsushi Ohori, Katsuhiro Ueno. A Compilation Method for Dynamic Typing in ML. APLAS 2021: Programming Languages and Systems. 2021. 140-159
  • 上野雄大. 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式. 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020). 2020
  • 遠藤侑介, 松本宗太郎, 上野雄大, 住井英二郎, 松本行弘. Progress report: Ruby 3における静的型解析の実現に向けて. 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019). 2019
もっと見る
MISC (4件)：
  • 上野雄大. 日本語は計算が書けるか. コンピュータソフトウェア. 2024. 41. 3. 3_90-3_91
  • 末永 幸平. 日本ソフトウェア科学会第40回大会 受賞者による受賞研究紹介. コンピュータソフトウェア. 2024. 41. 3. 3_76-3_86
  • 住井 英二郎. 日本ソフトウェア科学会第37回大会受賞者による受賞研究紹介. コンピュータソフトウェア. 2021. 38. 2. 2_5-2_13
  • 光来 健一, 上野 雄大. 日本ソフトウェア科学会第33回大会報告. コンピュータソフトウェア. 2017. 34. 1. 1_39-1_51
書籍 (1件)：
  • SML#で始める実践MLプログラミング
    共立出版 2021 ISBN:9784320124714
講演・口頭発表等 (3件)：
  • SML#: Toward the Ideal Interoperability between Languages and Systems
    (MoreVMs'23 2023)
  • SML#コンパイラを使いこなす
    (PPLサマースクール2018 2018)
  • The SML# compiler backend: compiling ML to C-compatible low-level code
    (Syntax and Smentics of Low-Level Languages (LOLA 2015) 2015)
Works (1件)：
  • SML#コンパイラ
    大堀 淳, 上野雄大, 開発協力者多数 2006 - 現在
学歴 (2件)：
  • 2006 - 2009 東北大学 大学院情報科学研究科 システム情報科学専攻
  • 2004 - 2006 北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻
学位 (1件)：
  • 博士(情報科学) (東北大学)
経歴 (4件)：
  • 2021/10 - 現在 新潟大学 自然科学系情報電子工学系列 准教授
  • 2016/06 - 2021/09 東北大学 電気通信研究所 准教授
  • 2009/04 - 2016/05 東北大学 電気通信研究所 助教
  • 2006/06 - 2008/03 東北大学 電気通信研究所 産学官連携研究員
委員歴 (24件)：
  • 2022/04 - 現在 情報処理学会プログラミング研究会 幹事
  • 2021/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • - 2024/09 The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) A program committee member
  • - 2023/09 The 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA’23) Local Arrangements Chair
  • - 2023/06 Libraries, Languages and Compilers for Array Programming (ARRAY 2023) A Program Committee Member
全件表示
受賞 (6件)：
  • 2023/12 - 日本ソフトウェア科学会 第40回大会優秀発表賞 Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ
  • 2021/01 - 日本ソフトウェア科学会 第37回高橋奨励賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/10 - 日本ソフトウェア科学会 第37回大会優秀発表賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/09 - 日本ソフトウェア科学会 第24回研究論文賞 部分動的レコードを活用した型付きテンプレートエンジンの実現
  • 2015/03 - 公益財団法人トーキン科学技術振興財団 トーキン財団奨励賞 高信頼プログラミング言語の実用化技術の研究および次世代言語処理系の開発
全件表示
所属学会 (2件)：
情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM