Ueno Katsuhiro 上野雄大

… Alternative Names

UENO Katsuhiro 上野雄大

Less

Researcher Number	60551554
Other IDs
Affiliation (Current)	2025: 新潟大学, 自然科学系, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2024: 新潟大学, 自然科学系, 准教授 2021: 新潟大学, 工学部, 准教授 2016 – 2020: 東北大学, 電気通信研究所, 准教授 2010 – 2015: 東北大学, 電気通信研究所, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Basic Section 60050:Software-related / Software / Software
Keywords	Principal Investigator 関数型言語 / コンパイラ / SML# / プログラミング言語 / 動的型付け / ガベージコレクション / Ruby / 並列計算 / コード分析 / 最適化 … More / 実装方式 / 静的解析 / 型検査 / 操作的意味論 / スクリプト言語 / プログラミングパラダイ / プログラム言語 / プログラミングパラダイム / プログラム言語論 … More Except Principal Investigator コンパイラ / SML# / 最適化 / プログラミング言語 / 高信頼言語 / SML#言語 / 動的型付け機構 / 型主導コンパイル / 超並列処理 / 並列並行ゴミ集め（GC） / 関数型言語 / 超並列技術 / 軽量スレッド / マルチコアCPU / 並行並列GC / 関数型プログラミング言語 / コンパイル方式 / コード分析 / 実装方式 / プログラミング言語処理系 / 証明論 Less

Development of a Functional Programming Language without Abstraction of Computing ResourcesPrincipal Investigator
- Principal Investigator
  
  上野雄大
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Niigata University
Development of Functional Language Capable of Parallel Computation on Multicore ProcessorsPrincipal Investigator
- Principal Investigator
  
  Katsuhiro Ueno
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Niigata University
  Tohoku University
Realizing massively parallel functional programming language by integrating parallel technologies into SML#, an ML-style functional language
- Principal Investigator
  
  Ohori Atsushi
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
A systematic approach for developing practical programming languagesPrincipal Investigator
- Principal Investigator
  
  Ueno Katsuhiro
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Basic research on implementation technology for making SML# a practical polymorphic language
- Principal Investigator
  
  OHORI Atsushi
- Project Period (FY)
  2013 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
A study on high-level and safe interoperability of programming languagesPrincipal Investigator
- Principal Investigator
  
  UENO Katsuhiro
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
A Study on Proof-Theoretical Foundations for Compiler Construction
- Principal Investigator
  
  OHORI Atsushi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tohoku University

[Book] SML#で始める実践MLプログラミング2021
- Author(s)
  大堀淳、上野雄大
- Total Pages
  242
- Publisher
  共立出版
- ISBN
  9784320124714
- Data Source
  KAKENHI-PROJECT-18K11233
[Book] SML#で始める実践MLプログラミング2021
- Author(s)
  大堀淳，上野雄大
- Total Pages
  242
- Publisher
  共立出版
- ISBN
  9784320124714
- Data Source
  KAKENHI-PROJECT-19K11893
[Journal Article] 関数型言語SML#のためのコードレベルデバッグ環境の実現方式2018
- Author(s)
  大野一樹, 上野雄大, 大堀淳
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: vol. 11, no. 3 Pages: 1-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11233
[Journal Article] 部分動的レコードを活用した型付きテンプレートエンジンの実現2018
- Author(s)
  逢坂美冬, 上野雄大, 大堀淳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 印刷中
- NAID
  130007488458
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25280019
[Journal Article] Finitary polymorphism for optimizing type-directed compilation2018
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
- Journal Title
  
  Journal Proceedings of the ACM on Programming Languages (PACMPL)
  
  Volume: Volume 2 Issue ICFP Issue: ICFP Pages: 1-29
- DOI
  10.1145/3236776
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11233
[Journal Article] Typed template engine based on partially dynamic records2018
- Author(s)
  逢坂美冬, 上野雄大, 大堀淳
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 3 Pages: 3_79-3_95
- DOI
  10.11309/jssst.35.3_79
- NAID
  130007488458
- ISSN
  0289-6540
- Year and Date
  2018-07-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11233, KAKENHI-PROJECT-15K15964
[Journal Article] A foreign language interface from ML to shell2016
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Journal Title
  
  New Generation Computing
  
  Volume: 34 Issue: 3 Pages: 239-256
- DOI
  10.1007/s00354-016-0303-1
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280019
[Journal Article] A Type Safe Access to Key-value Stores from Functional Languages2016
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 1 Pages: 141-151
- DOI
  10.2197/ipsjjip.24.141
- NAID
  130005119988
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280019
[Journal Article] Code Reading Assistance for Functional Programming based on Variable Def-use Relationships2015
- Author(s)
  遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
- Journal Title
  
  Computer Software
  
  Volume: 32 Issue: 1 Pages: 1_194-1_212
- DOI
  10.11309/jssst.32.1_194
- NAID
  130004892318
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25280019
[Journal Article] Design and Implementation of Lightweight First-class Overloading2012
- Author(s)
  上野雄大,大堀淳
- Journal Title
  
  Computer Software
  
  Volume: 29 Issue: 1 Pages: 191-210
- DOI
  10.11309/jssst.29.1_191
- NAID
  130004549257
- ISSN
  0289-6540
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 型別名を保存する型推論アルゴリズム2024
- Author(s)
  佐藤季樹, 上野雄大
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] プログラムの意味解析技術の音楽の意味解析への応用に向けて2023
- Author(s)
  藤野遼河, 上野雄大
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ2023
- Author(s)
  上野雄大
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] SML#: Toward the ideal interoperability between languages and systems2023
- Author(s)
  Katsuhiro Ueno
- Organizer
  MoreVMs'23
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] プラレールによるプログラミングの可能性2023
- Author(s)
  上野雄大, 石垣凌
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] Concurrent and parallel garbage collection for lightweight threads on multicore processors2022
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  ISMM '22: ACM SIGPLAN International Symposium on Memory Management
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] Concurrent and parallel garbage collection for lightweight threads on multicore processors2022
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022), pp 29-42, DOI：https://doi.org/10.1145/3520263.3534652
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] A Compilation Method for Dynamic Typing in ML2021
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno
- Organizer
  19th Asian Symposium on Programming Languages and Systems, APLAS 2021 - Chicago, 2021/10/17-2021/10/18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] A compilation method for dynamic typing in ML2021
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno
- Organizer
  The 19th Asian Symposium on Programming Languages and Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] アトム変数を用いた名目単一化の実装2021
- Author(s)
  山上隼司, 菊池健太郎, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式2020
- Author(s)
  上野雄大
- Organizer
  日本ソフトウェア科学会第37回大会講演論文集
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] 関係代数を基礎とするプログラムに現れる名前解析システム2020
- Author(s)
  大堀淳，上野雄大
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式2020
- Author(s)
  上野雄大
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] 関係代数を基礎とするプログラムに現れる名前解析システム2020
- Author(s)
  大堀淳, 上野雄大
- Organizer
  日本ソフトウェア科学会第37回大会講演論文集
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] SML#の並列処理機能とその性能2020
- Author(s)
  上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第37回大会講演論文集
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] 外部データの解釈を文脈ごとに与える動的型付け機構2020
- Author(s)
  大堀淳, 上野雄大, 高城光平
- Organizer
  日本ソフトウェア科学会第37回大会講演論文集
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] 外部データの解釈を文脈ごとに与える動的型付け機構2020
- Author(s)
  大堀淳，上野雄大，高城光平
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] SML#の並列処理機能とその性能2020
- Author(s)
  上野雄大，大堀淳
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-19K11893
[Presentation] SML#の永続性拡張に向けて2019
- Author(s)
  大堀淳、上野雄大、大塚祐貴、高城光平
- Organizer
  日本ソフトウェア科学会第36回大
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] Progress report: Ruby 3における静的型解析の実現に向けて2019
- Author(s)
  遠藤侑介, 松本宗太郎, 上野雄大, 住井英二郎, 松本行弘
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019)
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] SML#の動的型付け機構2019
- Author(s)
  大堀淳、上野雄大
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] SML#とMassiveThreadsの統合による超並列言語の実現2019
- Author(s)
  上野雄大、大堀淳、田浦健次朗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] ML系言語とストリーミングデータベースの統合2018
- Author(s)
  高城光平, 上野雄大, 大堀淳
- Organizer
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] Finitary Polymorphism for Optimizing Type-Directed Compilation2018
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
- Organizer
  the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] Java PathFinderによるMLプログラムの捕捉されない例外の検証2018
- Author(s)
  魚谷孝太, 上野雄大, 大堀淳
- Organizer
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] 高水準IoTプログラミング環境の実現に向けて2018
- Author(s)
  大塚祐貴, Karim HAMDI, 上野雄大, 大堀淳
- Organizer
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018) （ポスター発表）
- Data Source
  KAKENHI-PROJECT-18K11233
[Presentation] 多相関数を含むプログラムの抽象解釈を用いた最適化2017
- Author(s)
  美馬久行, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] Making SML# a general-purpose high-performance language2017
- Author(s)
  Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno
- Organizer
  ACM SIGPLAN Workshop on ML
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] Making SML# a general-purpose high-performance language2017
- Author(s)
  Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno
- Organizer
  ACM SIGPLAN Workshop on ML, Oxford University, 2017年9月7日
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML#のためのコードレベルデバッグ環境の構築に向けて2017
- Author(s)
  大野一樹, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月20日
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] 多相関数を含むプログラムの抽象解釈を用いた最適化2017
- Author(s)
  美馬久行, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月21日
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML#のためのコードレベルデバッグ環境の構築に向けて2017
- Author(s)
  大野一樹, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects2016
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
- Organizer
  Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016), pp.18:1--18:25, DOI:10.4230/LIPIcs.ECOOP.2016.18
- Place of Presentation
  Rome, Italy
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] OSを関数型言語のみで開発するための検討と試作2016
- Author(s)
  徳永航平, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学電気通信研究所
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法2016
- Author(s)
  新田祐児, 上野雄大, 大堀淳
- Organizer
  情報処理学会プログラミング研究会第108回プログラミング研究発表会
- Place of Presentation
  東京大学(東京都目黒区）
- Year and Date
  2016-02-28
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML#のよりシームレスな外部関数インターフェースの実現に向けて2016
- Author(s)
  佐藤友昭, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学電気通信研究所
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects2016
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
- Organizer
  The European Conference on Object-Oriented Programming 2016 (ECOOP 2016)
- Place of Presentation
  ローマ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] 自然結合制約を含む型推論アルゴリズムの実装方式2016
- Author(s)
  佐々木智啓, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学電気通信研究所
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML# with typeful manipulation of JSON objects2016
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
- Organizer
  The European Conference on Object-Oriented Programming 2016 (ECOOP 2016)
- Place of Presentation
  ローマ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] SML#によるVertex-centricプログラミングに向けて2016
- Author(s)
  美馬久行, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学電気通信研究所
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors2016
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp. 421-433, DOI:10.1145/3022670.2951944
- Place of Presentation
  奈良
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] コンパイラ実装言語で中間表現データ構造を記述するための言語機構2016
- Author(s)
  田畑憲太, 上野雄大, 大堀淳
- Organizer
  情報処理学会プログラミング研究会第108回プログラミング研究発表会
- Place of Presentation
  東京大学(東京都目黒区）
- Year and Date
  2016-02-28
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] 部分動的レコードを活用した型付きテンプレートエンジンの試作2016
- Author(s)
  逢坂美冬, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学電気通信研究所
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML# with Natural Join2016
- Author(s)
  Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori
- Organizer
  ACM SIGPLAN Workshop on ML
- Place of Presentation
  Nara, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors2016
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  The 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- Place of Presentation
  奈良
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15964
[Presentation] 関数型言語からキーバリューストアへの型安全なアクセス機構2015
- Author(s)
  上野雄大, 大堀淳
- Organizer
  情報処理学会第104回プログラミング研究発表会
- Place of Presentation
  富山県教育文化会館（富山県富山市）
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] The SML# compiler backend: compiling ML to C-compatible low-level code2015
- Author(s)
  Katsuhiro Ueno
- Organizer
  Syntax and Semantics of Low-Level Languages (LOLA 2015)
- Place of Presentation
  Kyoto University（京都府京都市）
- Year and Date
  2015-07-05
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] 関数型言語による高水準なWebアプリケーション開発環境2015
- Author(s)
  逢坂美冬, 菊地大介, 上野雄大, 大堀淳, 佐々木加奈子
- Organizer
  情報処理学会第104回プログラミング研究発表会
- Place of Presentation
  富山県教育文化会館（富山県富山市）
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML#のSQL統合機能への行集約機能の実装2014
- Author(s)
  斎藤皓, 上野雄大, 森畑明昌, 大堀淳
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] Compiling SML# with LLVM a Challenge of Implementing ML on a Common Compiler Infrastructure2014
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  ACM SIGPLAN ML Family Workshop
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-04
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] Compiling SML# with LLVM: a Challenge of Implementing ML on a Common Compiler Infrastructure2014
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  ACM SIGPLAN Workshop on ML
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-04
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] Rubyの操作的意味論の形式的定義に向けて2013
- Author(s)
  深澤優鷹, 上野雄大, 森畑明昌, 大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- Place of Presentation
  会津若松市
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] SML#のSQL統合へのgroup byの導入2013
- Author(s)
  斎藤皓, 上野雄大, 森畑明昌, 大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション)
- Place of Presentation
  会津若松市
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 変数参照関係を用いた関数型プログラムのコードリーディング支援2013
- Author(s)
  遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] Rubyの操作的意味論の形式的定義に向けて2013
- Author(s)
  深澤優鷹,上野雄大,森畑明昌,大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- Place of Presentation
  福島県会津若松市
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- Author(s)
  藤井貴啓，上野雄大，森畑明昌，大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ PPL2013
- Place of Presentation
  御宿東鳳
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- Author(s)
  藤井貴啓, 上野雄大, 森畑明昌, 大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  会津若松市
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] Rubyの操作的意味論の形式的定義に向けて2013
- Author(s)
  深澤優鷹，上野雄大，森畑明昌，大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ PPL2013
- Place of Presentation
  御宿東鳳
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] SML#のSQL統合へのgroupbyの導入2013
- Author(s)
  斎藤皓,上野雄大,森畑明昌,大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- Place of Presentation
  福島県会津若松市
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 関数型言語からキーバリューストアへの型安全なアクセス機構2013
- Author(s)
  上野雄大, 大堀淳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- Author(s)
  藤井貴啓,上野雄大,森畑明昌,大堀淳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  福島県会津若松市
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] SML#を用いたWebアプリケーションの試作 - 関数型言語によるWebとデータベースのシームレスな連携に向けて2012
- Author(s)
  藤井貴啓，上野雄大，大堀淳
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- Author(s)
  松島勇介, 上野雄大, 森畑明昌, 大堀淳
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  札幌市
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] Making Standard ML a practical database programming language2011
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno
- Organizer
  Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 307-319
- Place of Presentation
  Tokyo, Japan
- Year and Date
  2011-09-21
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- Author(s)
  高橋和将,森畑明昌,上野雄大,大堀淳
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市
- Year and Date
  2011-03-09
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- Author(s)
  松島勇介,上野雄大,森畑明昌,大堀淳
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市(本発表は、学生の部発表賞を受賞)
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] Making standard ML a practical database programming language2011
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno
- Organizer
  Proceedings of ACM International Conference of Functional Programming
- Place of Presentation
  Tokyo, Japan
- Year and Date
  2011-09-21
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- Author(s)
  高橋和将, 森畑明昌, 上野雄大, 大堀淳
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  札幌市
- Year and Date
  2011-03-09
- Data Source
  KAKENHI-PROJECT-22500023
[Presentation] The Essence of Ruby
- Author(s)
  Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
- Organizer
  12th Asian Symposium on Programming Languages and Systems
- Place of Presentation
  National University of Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] A foreign language interface from ML to shell
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  Symposium on Trends in Functional Programming
- Place of Presentation
  Soesterberg, Netherland
- Year and Date
  2014-05-26 – 2014-05-28
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] SML# in Industry : A Practical ERP System Development
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
- Organizer
  ACM International Conference on Functional Programming
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-01 – 2014-09-03
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] 関数型言語SML#における64ビット対応への取り組み
- Author(s)
  逢坂美冬, 佐々木智啓, Charles Mejia Cruz, 上野雄大, 大堀淳
- Organizer
  関数型言語SML#における64ビット対応への取り組み
- Place of Presentation
  名古屋大学
- Year and Date
  2014-09-07 – 2014-09-10
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] The Essence of Ruby
- Author(s)
  Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
- Organizer
  12th Asian Symposium of Programming Languages and Systems
- Place of Presentation
  Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-25280019
[Presentation] SML# in Industry: A Practical ERP System Development
- Author(s)
  Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
- Organizer
  The 19th ACM SIGPLAN International Conference on Functional Programming
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-01 – 2014-09-03
- Data Source
  KAKENHI-PROJECT-24700021
[Presentation] A foreign language interface from ML to shell
- Author(s)
  Katsuhiro Ueno, Atsushi Ohori
- Organizer
  Symposium on Trends in Functional Programming
- Place of Presentation
  Soesterberg, Netherlands
- Year and Date
  2014-05-26 – 2014-05-28
- Data Source
  KAKENHI-PROJECT-25280019

1. OHORI Atsushi (60252532)

# of Collaborated Projects: 3 results

# of Collaborated Products: 51 results
2. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results

Ueno Katsuhiro 上野 雄大

UENO Katsuhiro 上野 雄大

Research Projects

Research Products

Co-Researchers

Development of a Functional Programming Language without Abstraction of Computing ResourcesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of Functional Language Capable of Parallel Computation on Multicore ProcessorsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realizing massively parallel functional programming language by integrating parallel technologies into SML#, an ML-style functional language

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A systematic approach for developing practical programming languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Basic research on implementation technology for making SML# a practical polymorphic language

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on high-level and safe interoperability of programming languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Proof-Theoretical Foundations for Compiler Construction

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] SML#で始める実践MLプログラミング2021

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] SML#で始める実践MLプログラミング2021

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] 関数型言語SML#のためのコードレベルデバッグ環境の実現方式2018

Author(s)

Journal Title

Data Source

[Journal Article] 部分動的レコードを活用した型付きテンプレートエンジンの実現2018

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Finitary polymorphism for optimizing type-directed compilation2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Typed template engine based on partially dynamic records2018

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Ueno Katsuhiro 上野雄大

UENO Katsuhiro 上野雄大