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

OHORI Atsushi  大堀 淳

ORCIDConnect your ORCID iD *help
Researcher Number 60252532
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2022: 東北大学, 電気通信研究所, 名誉教授
2010 – 2021: 東北大学, 電気通信研究所, 教授
2008: Tohoku University, 電気通信研究所, 教授
2007: Tohoku University, 電気通位研究所, 教授
2005: Tohoku University, Research Institute of Electrical Communication, Professor, 電気通信研究所, 教授 … More
2000 – 2004: Japan Advanced Institute of Science and Technology Professor, 情報科学研究科, 教授
1997 – 1999: 京都大学, 数理解析研究所, 教授
1994 – 1999: 京都大学, 数理解析研究所, 助教授
1995: 京都大学, 数理解析研, 助教授 Less
Review Section/Research Field
Principal Investigator
Science and Engineering / Software / 計算機科学 / Basic Section 60050:Software-related / Software
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
プログラミング言語 / コンパイラ / 型理論 / 多相型システム / SML# / 最適化 / 証明論 / 型主導コンパイル / バイトコード / 計算機システム … More / ソフトウエア学 / 高信頼言語 / SML#言語 / 動的型付け機構 / 超並列処理 / 並列並行ゴミ集め(GC) / 関数型言語 / 超並列技術 / 軽量スレッド / マルチコアCPU / 並行並列GC / 関数型プログラミング言語 / programming environment / sofrware development method / database / programming language / component / ソフトウエア工学 / プログラム環境 / ソフトウエア構築技術 / データベース / コンポーネント / TYPE THEORY / DE-COMPILE / COMPILE / LOGIC / MACHINE CODE / Curry-Howard同型 / 機械語 / 逆コンパイル / コンパイル / 論理学 / 機械語コード / Polymorphism / Data Model / Compiler / Programming Language / Type Theory / 型推論 / ポリモルフィズム / データモデル / コンパイラー / コンパイル方式 / コード分析 / 実装方式 / プログラミング言語処理系 / コード検証 / コード最適化 / Krivine型システム / メモリー管理 / アクセス制御 / レジスタ割付 / 言語処理系 / 多相型レコード計算 … More
Except Principal Investigator
プログラミング言語 / タイプ理論 / 線形論理 / WWW / Linear Logic / Type Theory / プログラム意味論 / 形式的仕様 / 直観主義論理 / heterogeneous environment / wide-area network / Internet / Mobile agent / Mobile object / 分散プログラミング言語 / 分散プログラミングシステム / 広域分散システム / 分散システム / スクリプト言語 / アプレット / インターオペラビリティ / 分散プログラミング / 異機種環境 / 広域分散処理 / インターネット / モーバイルエージェント / モーバイルオブジェクト / Real Time System / Formal Verification / Formal specification / Proof Theroy / Programming Language / Functional Language / 情報科学の論理 / 形式的プログラム検証 / 実時間システム / 形式検証 / 形式仕様 / 証明論 / プログラム言語理論 / 関数型言語 / Cell Complex / Combinatrial Optimization / Data Programming Language / Database Consistency / Object Databases / Parallel Data Mining / Logical Data Analysis / Spatial Database / トランザクション処理 / データマイニング / 並列処理 / データ構造 / アルゴリズム / データベースモデル / 情報ベースモデル / データベース / 情報ベース / 凸胞複体 / 組み合わせ論的最適化 / データプログラミング言語 / 一貫性制約 / オブジェクトデータベース / 並列データマイニング / データの理論解析 / 空間データベース / Proof Theory / Intuitionistic Logic / Concurrency / Program Semantics / Program Verification / Programming Languages / Constructive Proof / プログラム言語 / 直観主義理論 / 線形理論 / 平行計算 / プログラム検証 / 構成的証明 / ソフトウェア開発 / 形式的検証 / 理論情報科学 Less
  • Research Projects

    (16 results)
  • Research Products

    (75 results)
  • Co-Researchers

    (31 People)
  •  Realizing massively parallel functional programming language by integrating parallel technologies into SML#, an ML-style functional languagePrincipal Investigator

    • 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
  •  Basic research on implementation technology for making SML# a practical polymorphic languagePrincipal Investigator

    • 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 Proof-Theoretical Foundations for Compiler ConstructionPrincipal Investigator

    • 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
  •  A Study on Proof System That Combines Verification and Optimization TechnologiesPrincipal Investigator

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      2007 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tohoku University
  •  高機能高信頼多相型プログラミング言語の実現Principal Investigator

    • Principal Investigator
      大堀 淳
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Tohoku University
      Japan Advanced Institute of Science and Technology
  •  高機能高信頼多相型プログラミング言語の実現Principal Investigator

    • Principal Investigator
      大堀 淳
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  A Framework for Integrating Programming Languages, Repository and Development EnvironmentPrincipal Investigator

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Tohoku University
      Japan Advanced Institute of Science and Technology
  •  高機能高信頼多相型プログラミング言語の表現Principal Investigator

    • Principal Investigator
      大堀 淳
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  高機能高信頼多相型プログラミング言語の実現Principal Investigator

    • Principal Investigator
      大堀 淳
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (C)
    • Review Section
      Science and Engineering
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  PROOF-THEORETICAL INVESTIGATION ON MACHINE CODE AND CODE GENERATIONPrincipal Investigator

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Applications of Type Theory and Linear Logic to Programming Language Theory

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Wide-Area Distributed Computing Based on a Mobile Object Computing Approach

    • Principal Investigator
      KATO Kazuhiko
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Models and Technologies for Advanced Information Bases

    • Principal Investigator
      MAKINOUCHI Akifumi
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kyushu University
  •  Application of type theory and linear logic for Programming Languages

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      Keio University
  •  Research on Programming Language Design Theory Based on Type TheoryPrincipal Investigator

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2008 2007 2004 Other

All Journal Article Presentation Book

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

    • Author(s)
      大堀 淳、上野 雄大
    • Total Pages
      242
    • Publisher
      共立出版
    • ISBN
      9784320124714
    • Data Source
      KAKENHI-PROJECT-18K11233
  • [Book] コンパイラ―原理と構造―2021

    • Author(s)
      大堀 淳
    • Total Pages
      196
    • Publisher
      共立出版
    • ISBN
      9784320124783
    • Data Source
      KAKENHI-PROJECT-18K11233
  • [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] 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] 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] 部分動的レコードを活用した型付きテンプレートエンジンの実現2018

    • Author(s)
      逢坂美冬, 上野雄大, 大堀淳
    • Journal Title

      コンピュータソフトウェア

      Volume: 印刷中

    • NAID

      130007488458

    • Peer Reviewed / Open Access
    • 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] 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] 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
  • [Journal Article] SML#へのC言語の埋め込み2012

    • Author(s)
      篠埜 功, 大堀 淳
    • Journal Title

      コンピュータ ソフトウェア

      Volume: 29 Pages: 193-203

    • NAID

      130004549267

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Journal Article] Embedding the C language into SML#2012

    • Author(s)
      篠埜功,大堀淳
    • Journal Title

      Computer Software

      Volume: 29 Issue: 2 Pages: 2_193-2_203

    • DOI

      10.11309/jssst.29.2_193

    • NAID

      130004549267

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Journal Article] 型代入を遅延する最適化型推論アルゴリズム2008

    • Author(s)
      上野雄大, 大堀淳
    • Journal Title

      コンピュータソフトウェア 25

      Pages: 101-113

    • NAID

      40022111605

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500021
  • [Journal Article] 制御フローの合流のための計算系2008

    • Author(s)
      上野雄大, 大堀淳
    • Journal Title

      情報処理学会論文誌プログラミング(PRO) 1

      Pages: 19-33

    • NAID

      110007970871

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500021
  • [Journal Article] 型代入を遅延する髄化型推論アルゴリズム2008

    • Author(s)
      上野雄大, 大堀淳
    • Journal Title

      コンピュータソフトウェア 25

      Pages: 101-113

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500021
  • [Journal Article] A Proof Theory for Machine Code2007

    • Author(s)
      Atsushi Ohori
    • Journal Title

      ACM Transactions on Programming Languages and Systems 29(6)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500021
  • [Journal Article] A Type Theory for Krivine-style Evaluation and Compilation2004

    • Author(s)
      K.Choi, A.Ohori
    • Journal Title

      In Proc.Asian Symposium on Programming Languages and Systems LNCS3302

      Pages: 213-228

    • Data Source
      KAKENHI-PROJECT-15300006
  • [Journal Article] A Type Theory for Krivine-style Evaluation and Compilation2004

    • Author(s)
      K.Choi, A.Ohori
    • Journal Title

      Asian Symposium on Programming Languages and Systems LNCS 3302

      Pages: 213-228

    • Data Source
      KAKENHI-PROJECT-16016240
  • [Journal Article] Register Allocation by Proof Transformation2004

    • Author(s)
      Atsushi Ohori
    • Journal Title

      Journal of Science of Computer Programming 50・1-3

      Pages: 161-187

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300006
  • [Journal Article] Register Allocation by Proof Transformation2004

    • Author(s)
      A.Ohori
    • Journal Title

      Journal of Science of Computer Programming 50・1-3

      Pages: 161-187

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300006
  • [Journal Article] A Static Type System for JVM Access Control

    • Author(s)
      T.Higuchi, A.Ohori
    • Journal Title

      CM Transactions on Programming Languages and Systems (採録決定)

    • NAID

      40022171331

    • Data Source
      KAKENHI-PROJECT-15300006
  • [Journal Article] A Static Type System for JVM Access Control

    • Author(s)
      T.Higuchi, A.Ohori
    • Journal Title

      ACM Transactions on Programming Languages and Systems (採録決定)

    • NAID

      40022171331

    • Data Source
      KAKENHI-PROJECT-16016240
  • [Presentation] 主要な型判定をもつMLの型理論と型推論アルゴリズム2023

    • Author(s)
      大堀 淳
    • Organizer
      日本ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
    • Data Source
      KAKENHI-PROJECT-18K11233
  • [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] 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-18K11233
  • [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] SML#の動的型付け機構2019

    • Author(s)
      大堀 淳、上野 雄大
    • Organizer
      日本ソフトウェア科学会第36回大会
    • 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] ML系言語とストリーミングデータベースの統合2018

    • Author(s)
      高城光平, 上野雄大, 大堀淳
    • Organizer
      The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
    • Data Source
      KAKENHI-PROJECT-18K11233
  • [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] SML#のためのコードレベルデバッグ環境の構築に向けて2017

    • Author(s)
      大野一樹, 上野雄大, 大堀淳
    • Organizer
      日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月20日
    • Data Source
      KAKENHI-PROJECT-25280019
  • [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] 多相関数を含むプログラムの抽象解釈を用いた最適化2017

    • Author(s)
      美馬久行, 上野雄大, 大堀淳
    • Organizer
      日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月21日
    • 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
      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] コンパイラ実装言語で中間表現データ構造を記述するための言語機構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] 自然結合制約を含む型推論アルゴリズムの実装方式2016

    • Author(s)
      佐々木智啓, 上野雄大, 大堀淳
    • Organizer
      日本ソフトウェア科学会 第33回大会
    • Place of Presentation
      東北大学電気通信研究所
    • Data Source
      KAKENHI-PROJECT-25280019
  • [Presentation] OSを関数型言語のみで開発するための検討と試作2016

    • Author(s)
      徳永航平, 上野雄大, 大堀淳
    • Organizer
      日本ソフトウェア科学会 第33回大会
    • Place of Presentation
      東北大学電気通信研究所
    • Data Source
      KAKENHI-PROJECT-25280019
  • [Presentation] SML#によるVertex-centricプログラミングに向けて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 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] 関数型言語からキーバリューストアへの型安全なアクセス機構2015

    • Author(s)
      上野雄大, 大堀淳
    • Organizer
      情報処理学会 第104回プログラミング研究発表会
    • Place of Presentation
      富山県教育文化会館(富山県富山市)
    • Year and Date
      2015-06-05
    • 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] 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
      第15回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      会津若松市
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] Rubyの操作的意味論の形式的定義に向けて2013

    • Author(s)
      深澤 優鷹, 上野 雄大, 森畑 明昌, 大堀 淳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
    • Place of Presentation
      会津若松市
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] Rubyの操作的意味論の形式的定義に向けて2013

    • Author(s)
      深澤優鷹,上野雄大,森畑明昌,大堀淳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
    • Place of Presentation
      福島県会津若松市
    • Year and Date
      2013-03-05
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] SML#のSQL統合へのgroup byの導入2013

    • Author(s)
      斎藤 皓, 上野 雄大, 森畑 明昌, 大堀 淳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション)
    • Place of Presentation
      会津若松市
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術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] Record Polymorphism: Its Development and Applications2013

    • Author(s)
      Atsushi Ohori
    • Organizer
      In Search of Elegance in the Theory and Practice of Computation Lecture Notes in Computer Science Volume 8000, 2013, pp 432-444
    • Place of Presentation
      University of Edinburgh , Edinburgh , Scotland
    • 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] 二次元最大重み和問題のプログラム変換に基づく解法2013

    • Author(s)
      小石真人,森畑明昌,大堀淳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      福島県会津若松市
    • Year and Date
      2013-03-04
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] 関数型言語SML#の開発 – 我が国のソフトウェア産業新生へのささやかな貢献を目指して2013

    • Author(s)
      大堀淳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-25280019
  • [Presentation] 変数参照関係を用いた関数型プログラムのコードリーディング支援2013

    • Author(s)
      遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-25280019
  • [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] Development of SML# - making ML an ordinary practical language (invited talk)2011

    • Author(s)
      Atsushi Ohori
    • Organizer
      ACM ML Workshop
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      2011-09-18
    • Data Source
      KAKENHI-PROJECT-22500023
  • [Presentation] velopment of SML¥#-making ML an ordinary practical language2011

    • Author(s)
      Atsushi Ohori
    • Organizer
      ACM SIGPLAN Workshop on ML
    • Place of Presentation
      Tokyo, Japan(invited tal)
    • Year and Date
      2011-09-18
    • 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-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-10
    • Data Source
      KAKENHI-PROJECT-22500023
  • [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
      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] 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.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  TAKAHASHI Masako (00015588)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  UENO Katsuhiro (60551554)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 51 results
  • 6.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  SATO Masahiko (20027387)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  MORIHATA Akimasa (10582257)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 12 results
  • 9.  MINAMIDE Yasuhiko (50252531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  ULIDOWSKI Ireneusz (40273528)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  MAKINOUCHI Akifumi (30221576)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  IWAMA Kazuo (50131272)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  KAKESHITA Tetsuro (10214272)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  IBARAKI Toshihide (50026192)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  KITSUREGAWA Masaru (40161509)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  KATO Kazuhiko (90224493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  MATSUBARA Katsuya (70302396)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  CHIBA Shigeru (80282713)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  OGAWA Mizuhito (40362024)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  GONDOW Katsuhiko (50262283)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  TAJIMA Keishi (60283876)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  天野 浩文 (80231992)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  ICHISUGI Yuuji
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  ウリドウスキー イレニウ
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  関口 龍郎
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 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