OHORI Atsushi 大堀淳

Researcher Number	60252532
Other IDs
External Links
Affiliation (Current)	2022: 東北大学, 電気通信研究所, 名誉教授
Affiliation (based on the past Project Information) *help	2010 – 2020: 東北大学, 電気通信研究所, 教授 2008: Tohoku University, 電気通信研究所, 教授 2007: Tohoku University, 電気通位研究所, 教授 2005: Tohoku University, Research Institute of Electrical Communication, Professor, 電気通信研究所, 教授 2000 – 2004: Japan Advanced Institute of Science and Technology Professor, 情報科学研究科, 教授 … More
Review Section/Research Field	Principal Investigator Science and Engineering / Software / 計算機科学 / Software / Basic Section 60050:Software-related Except Principal Investigator 計算機科学
Keywords	Principal Investigator プログラミング言語 / コンパイラ / 型理論 / 多相型システム / ソフトウエア学 / 計算機システム / バイトコード / 型主導コンパイル / 証明論 / 最適化 … More Except Principal Investigator プログラミング言語 / 線形論理 / タイプ理論 / 直観主義論理 / 形式的仕様 / プログラム意味論 / Type Theory / Linear Logic / WWW / 理論情報科学 / 形式的検証 / ソフトウェア開発 / 構成的証明 / プログラム検証 / 平行計算 / 線形理論 / 直観主義理論 / プログラム言語 / Constructive Proof / Programming Languages / Program Verification / Program Semantics / Concurrency / Intuitionistic Logic / Proof Theory / 空間データベース / データの理論解析 / 並列データマイニング / オブジェクトデータベース / 一貫性制約 / データプログラミング言語 / 組み合わせ論的最適化 / 凸胞複体 / 情報ベース / データベース / 情報ベースモデル / データベースモデル / アルゴリズム / データ構造 / 並列処理 / データマイニング / トランザクション処理 / Spatial Database / Logical Data Analysis / Parallel Data Mining / Object Databases / Database Consistency / Data Programming Language / Combinatrial Optimization / Cell Complex / 関数型言語 / プログラム言語理論 / 証明論 / 形式仕様 / 形式検証 / 実時間システム / 形式的プログラム検証 / 情報科学の論理 / Functional Language / Programming Language / Proof Theroy / Formal specification / Formal Verification / Real Time System / モーバイルオブジェクト / モーバイルエージェント / インターネット / 広域分散処理 / 異機種環境 / 分散プログラミング / インターオペラビリティ / アプレット / スクリプト言語 / 分散システム / 広域分散システム / 分散プログラミングシステム / 分散プログラミング言語 / Mobile object / Mobile agent / Internet / wide-area network / heterogeneous environment Less

超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化Principal Investigator
- Principal Investigator
  
  大堀淳
- Project Period (FY)
  2018 – 2021
- 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

[Book] SML#で始める実践MLプログラミング2021
- Author(s)
  大堀淳、上野雄大
- Total Pages
  242
- Publisher
  共立出版
- ISBN
  9784320124714
- 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] 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
- 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] Typed template engine based on partially dynamic records2018
- Author(s)
  逢坂美冬, 上野雄大, 大堀淳
- Journal Title
  
  Computer Software
  
  Volume: vol. 35, no. 3 Issue: 3 Pages: 3_79-3_95
- DOI
  10.11309/jssst.35.3_79
- NAID
  130007488458
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11233, KAKENHI-PROJECT-15K15964
[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 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] 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: Vol.29(2) Issue: 2 Pages: 193-203
- DOI
  10.11309/jssst.29.2_193
- NAID
  130004549267
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500023
[Journal Article] Design and Implementation of Lightweight First-class Overloading2012
- Author(s)
  上野雄大,大堀淳
- Journal Title
  
  Computer Software
  
  Volume: 29(1) 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] 型代入を遅延する最適化型推論アルゴリズム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] 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: 53 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

OHORI Atsushi 大堀 淳

Research Projects

Research Products

Co-Researchers

超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Proof-Theoretical Foundations for Compiler ConstructionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Proof System That Combines Verification and Optimization TechnologiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

高機能高信頼多相型プログラミング言語の実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

高機能高信頼多相型プログラミング言語の実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Framework for Integrating Programming Languages, Repository and Development EnvironmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

高機能高信頼多相型プログラミング言語の表現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

高機能高信頼多相型プログラミング言語の実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

PROOF-THEORETICAL INVESTIGATION ON MACHINE CODE AND CODE GENERATIONPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of Type Theory and Linear Logic to Programming Language Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Wide-Area Distributed Computing Based on a Mobile Object Computing Approach

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

Principal Investigator

Project Period (FY)

Research Category

OHORI Atsushi 大堀淳