• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ueno Katsuhiro  上野 雄大

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (7 results)
  • Research Products

    (85 results)
  • Co-Researchers

    (2 People)
  •  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

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation Book

  • [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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi