大堀淳 OHORI Atsushi

研究者番号	60252532
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2022年度: 東北大学, 電気通信研究所, 名誉教授 2010年度 – 2021年度: 東北大学, 電気通信研究所, 教授 2008年度: 東北大学, 電気通信研究所, 教授 2007年度: 東北大学, 電気通位研究所, 教授 2005年度: 東北大学, 電気通信研究所, 教授 … もっと見る 2000年度 – 2004年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1997年度 – 1999年度: 京都大学, 数理解析研究所, 教授 1994年度 – 1999年度: 京都大学, 数理解析研究所, 助教授 1995年度: 京都大学, 数理解析研, 助教授隠す
審査区分/研究分野	研究代表者理工系 / ソフトウエア / 計算機科学 / 小区分60050:ソフトウェア関連 / ソフトウェア研究代表者以外計算機科学
キーワード	研究代表者プログラミング言語 / コンパイラ / 型理論 / 多相型システム / SML# / 最適化 / 証明論 / 型主導コンパイル / バイトコード / 計算機システム … もっと見る / ソフトウエア学 / 高信頼言語 / 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型システム / メモリー管理 / アクセス制御 / レジスタ割付 / 言語処理系 / 多相型レコード計算 … もっと見る研究代表者以外プログラミング言語 / タイプ理論 / 線形論理 / 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 / プログラム言語 / 直観主義理論 / 線形理論 / 平行計算 / プログラム検証 / 構成的証明 / ソフトウェア開発 / 形式的検証 / 理論情報科学隠す

超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東北大学
ML系多相型言語SML#の実用化技術に関する基礎研究研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2013 – 2017
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  東北大学
証明論に基づくコンパイラの系統的な構築法の研究研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学
コード言語の最適化技術と検証技術を統合する証明システムの研究研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2007 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学
高機能高信頼多相型プログラミング言語の実現研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東北大学
   北陸先端科学技術大学院大学
高機能高信頼多相型プログラミング言語の実現研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学
   北陸先端科学技術大学院大学
高機能高信頼多相型プログラミング言語の表現研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学
高機能高信頼多相型プログラミング言語の実現研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2001
- 研究種目
  
  特定領域研究(C)
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学
機械語コードおよびコード生成のための論理学的基礎の研究研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  北陸先端科学技術大学院大学
タイプ理論と線形理論のプログラム言語理論への応用
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  慶應義塾大学
モーバイルオブジェクト計算に基づいた広域分散プログラミングシステムに関する研究
- 研究代表者
  
  加藤和彦
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  慶応義塾大学
高度応用のための情報ベースモデルとその実現技術
- 研究代表者
  
  牧ノ内顕文 (牧之内顕文 / 牧之内顕史)
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
タイプ理論及び線形論理のプログラム言語理論への応用
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  国際学術研究
- 研究機関
  慶応義塾大学
型理論に基づくプログラミング言語設計理論の研究研究代表者
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学

[図書] SML#で始める実践MLプログラミング2021
- 著者名/発表者名
  大堀淳、上野雄大
- 総ページ数
  242
- 出版者
  共立出版
- ISBN
  9784320124714
- データソース
  KAKENHI-PROJECT-18K11233
[図書] コンパイラ―原理と構造―2021
- 著者名/発表者名
  大堀淳
- 総ページ数
  196
- 出版者
  共立出版
- ISBN
  9784320124783
- データソース
  KAKENHI-PROJECT-18K11233
[雑誌論文] 関数型言語SML#のためのコードレベルデバッグ環境の実現方式2018
- 著者名/発表者名
  大野一樹, 上野雄大, 大堀淳
- 雑誌名
  
  情報処理学会論文誌プログラミング（PRO）
  
  巻: vol. 11, no. 3 ページ: 1-13
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11233
[雑誌論文] 部分動的レコードを活用した型付きテンプレートエンジンの実現2018
- 著者名/発表者名
  逢坂美冬, 上野雄大, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 35 号: 3 ページ: 3_79-3_95
- DOI
  10.11309/jssst.35.3_79
- NAID
  130007488458
- ISSN
  0289-6540
- 年月日
  2018-07-25
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18K11233, KAKENHI-PROJECT-15K15964
[雑誌論文] Finitary polymorphism for optimizing type-directed compilation2018
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
- 雑誌名
  
  Journal Proceedings of the ACM on Programming Languages (PACMPL)
  
  巻: Volume 2 Issue ICFP 号: ICFP ページ: 1-29
- DOI
  10.1145/3236776
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18K11233
[雑誌論文] 部分動的レコードを活用した型付きテンプレートエンジンの実現2018
- 著者名/発表者名
  逢坂美冬, 上野雄大, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 印刷中
- NAID
  130007488458
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25280019
[雑誌論文] A Type Safe Access to Key-value Stores from Functional Languages2016
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 雑誌名
  
  Journal of Information Processing
  
  巻: 24 号: 1 ページ: 141-151
- DOI
  10.2197/ipsjjip.24.141
- NAID
  130005119988
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25280019
[雑誌論文] A foreign language interface from ML to shell2016
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 雑誌名
  
  New Generation Computing
  
  巻: 34 号: 3 ページ: 239-256
- DOI
  10.1007/s00354-016-0303-1
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25280019
[雑誌論文] 変数参照関係を用いた関数型プログラムのコードリーディング支援2015
- 著者名/発表者名
  遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 32 号: 1 ページ: 1_194-1_212
- DOI
  10.11309/jssst.32.1_194
- NAID
  130004892318
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25280019
[雑誌論文] 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装2012
- 著者名/発表者名
  上野雄大,大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29 号: 1 ページ: 191-210
- DOI
  10.11309/jssst.29.1_191
- NAID
  130004549257
- ISSN
  0289-6540
- 査読あり
- データソース
  KAKENHI-PROJECT-22500023
[雑誌論文] SML#へのC言語の埋め込み2012
- 著者名/発表者名
  篠埜功, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29 ページ: 193-203
- NAID
  130004549267
- 査読あり
- データソース
  KAKENHI-PROJECT-22500023
[雑誌論文] SML#へのC言語の埋め込み2012
- 著者名/発表者名
  篠埜功,大堀淳
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29 号: 2 ページ: 2_193-2_203
- DOI
  10.11309/jssst.29.2_193
- NAID
  130004549267
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-22500023
[雑誌論文] 型代入を遅延する最適化型推論アルゴリズム2008
- 著者名/発表者名
  上野雄大, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア 25
  
  ページ: 101-113
- NAID
  40022111605
- 査読あり
- データソース
  KAKENHI-PROJECT-19500021
[雑誌論文] 制御フローの合流のための計算系2008
- 著者名/発表者名
  上野雄大, 大堀淳
- 雑誌名
  
  情報処理学会論文誌プログラミング(PRO) 1
  
  ページ: 19-33
- NAID
  110007970871
- 査読あり
- データソース
  KAKENHI-PROJECT-19500021
[雑誌論文] 型代入を遅延する髄化型推論アルゴリズム2008
- 著者名/発表者名
  上野雄大, 大堀淳
- 雑誌名
  
  コンピュータソフトウェア 25
  
  ページ: 101-113
- 査読あり
- データソース
  KAKENHI-PROJECT-19500021
[雑誌論文] A Proof Theory for Machine Code2007
- 著者名/発表者名
  Atsushi Ohori
- 雑誌名
  
  ACM Transactions on Programming Languages and Systems 29(6)
- 査読あり
- データソース
  KAKENHI-PROJECT-19500021
[雑誌論文] A Type Theory for Krivine-style Evaluation and Compilation2004
- 著者名/発表者名
  K.Choi, A.Ohori
- 雑誌名
  
  In Proc.Asian Symposium on Programming Languages and Systems LNCS3302
  
  ページ: 213-228
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] A Type Theory for Krivine-style Evaluation and Compilation2004
- 著者名/発表者名
  K.Choi, A.Ohori
- 雑誌名
  
  Asian Symposium on Programming Languages and Systems LNCS 3302
  
  ページ: 213-228
- データソース
  KAKENHI-PROJECT-16016240
[雑誌論文] Register Allocation by Proof Transformation2004
- 著者名/発表者名
  Atsushi Ohori
- 雑誌名
  
  Journal of Science of Computer Programming 50・1-3
  
  ページ: 161-187
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] Register Allocation by Proof Transformation2004
- 著者名/発表者名
  A.Ohori
- 雑誌名
  
  Journal of Science of Computer Programming 50・1-3
  
  ページ: 161-187
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] A Static Type System for JVM Access Control
- 著者名/発表者名
  T.Higuchi, A.Ohori
- 雑誌名
  
  CM Transactions on Programming Languages and Systems (採録決定)
- NAID
  40022171331
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] A Static Type System for JVM Access Control
- 著者名/発表者名
  T.Higuchi, A.Ohori
- 雑誌名
  
  ACM Transactions on Programming Languages and Systems (採録決定)
- NAID
  40022171331
- データソース
  KAKENHI-PROJECT-16016240
[学会発表] 主要な型判定をもつMLの型理論と型推論アルゴリズム2023
- 著者名/発表者名
  大堀淳
- 学会等名
  日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] Concurrent and parallel garbage collection for lightweight threads on multicore processors2022
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 学会等名
  Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022), pp 29-42, DOI：https://doi.org/10.1145/3520263.3534652
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] A Compilation Method for Dynamic Typing in ML2021
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno
- 学会等名
  19th Asian Symposium on Programming Languages and Systems, APLAS 2021 - Chicago, 2021/10/17-2021/10/18
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] SML#の並列処理機能とその性能2020
- 著者名/発表者名
  上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第37回大会講演論文集
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] 外部データの解釈を文脈ごとに与える動的型付け機構2020
- 著者名/発表者名
  大堀淳, 上野雄大, 高城光平
- 学会等名
  日本ソフトウェア科学会第37回大会講演論文集
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] 関係代数を基礎とするプログラムに現れる名前解析システム2020
- 著者名/発表者名
  大堀淳, 上野雄大
- 学会等名
  日本ソフトウェア科学会第37回大会講演論文集
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] SML#の永続性拡張に向けて2019
- 著者名/発表者名
  大堀淳、上野雄大、大塚祐貴、高城光平
- 学会等名
  日本ソフトウェア科学会第36回大
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] SML#とMassiveThreadsの統合による超並列言語の実現2019
- 著者名/発表者名
  上野雄大、大堀淳、田浦健次朗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] SML#の動的型付け機構2019
- 著者名/発表者名
  大堀淳、上野雄大
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] 高水準IoTプログラミング環境の実現に向けて2018
- 著者名/発表者名
  大塚祐貴, Karim HAMDI, 上野雄大, 大堀淳
- 学会等名
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018) （ポスター発表）
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] ML系言語とストリーミングデータベースの統合2018
- 著者名/発表者名
  高城光平, 上野雄大, 大堀淳
- 学会等名
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] Java PathFinderによるMLプログラムの捕捉されない例外の検証2018
- 著者名/発表者名
  魚谷孝太, 上野雄大, 大堀淳
- 学会等名
  The 2nd. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
- データソース
  KAKENHI-PROJECT-18K11233
[学会発表] SML#のためのコードレベルデバッグ環境の構築に向けて2017
- 著者名/発表者名
  大野一樹, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月20日
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] Making SML# a general-purpose high-performance language2017
- 著者名/発表者名
  Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno
- 学会等名
  ACM SIGPLAN Workshop on ML, Oxford University, 2017年9月7日
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 多相関数を含むプログラムの抽象解釈を用いた最適化2017
- 著者名/発表者名
  美馬久行, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月21日
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects2016
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
- 学会等名
  Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016), pp.18:1--18:25, DOI:10.4230/LIPIcs.ECOOP.2016.18
- 発表場所
  Rome, Italy
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] コンパイラ実装言語で中間表現データ構造を記述するための言語機構2016
- 著者名/発表者名
  田畑憲太, 上野雄大, 大堀淳
- 学会等名
  情報処理学会プログラミング研究会第108回プログラミング研究発表会
- 発表場所
  東京大学(東京都目黒区）
- 年月日
  2016-02-28
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 部分動的レコードを活用した型付きテンプレートエンジンの試作2016
- 著者名/発表者名
  逢坂美冬, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML# with Natural Join2016
- 著者名/発表者名
  Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori
- 学会等名
  ACM SIGPLAN Workshop on ML
- 発表場所
  Nara, Japan
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 自然結合制約を含む型推論アルゴリズムの実装方式2016
- 著者名/発表者名
  佐々木智啓, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] OSを関数型言語のみで開発するための検討と試作2016
- 著者名/発表者名
  徳永航平, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML#によるVertex-centricプログラミングに向けて2016
- 著者名/発表者名
  美馬久行, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法2016
- 著者名/発表者名
  新田祐児, 上野雄大, 大堀淳
- 学会等名
  情報処理学会プログラミング研究会第108回プログラミング研究発表会
- 発表場所
  東京大学(東京都目黒区）
- 年月日
  2016-02-28
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML#のよりシームレスな外部関数インターフェースの実現に向けて2016
- 著者名/発表者名
  佐藤友昭, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors2016
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 学会等名
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp. 421-433, DOI:10.1145/3022670.2951944
- 発表場所
  奈良
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 関数型言語からキーバリューストアへの型安全なアクセス機構2015
- 著者名/発表者名
  上野雄大, 大堀淳
- 学会等名
  情報処理学会第104回プログラミング研究発表会
- 発表場所
  富山県教育文化会館（富山県富山市）
- 年月日
  2015-06-05
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 関数型言語による高水準なWebアプリケーション開発環境2015
- 著者名/発表者名
  逢坂美冬, 菊地大介, 上野雄大, 大堀淳, 佐々木加奈子
- 学会等名
  情報処理学会第104回プログラミング研究発表会
- 発表場所
  富山県教育文化会館（富山県富山市）
- 年月日
  2015-06-05
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML#のSQL統合機能への行集約機能の実装2014
- 著者名/発表者名
  斎藤皓, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第16回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] Compiling SML# with LLVM a Challenge of Implementing ML on a Common Compiler Infrastructure2014
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 学会等名
  ACM SIGPLAN ML Family Workshop
- 発表場所
  Gothenburg, Sweden
- 年月日
  2014-09-04
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML#のSQL統合へのgroupbyの導入2013
- 著者名/発表者名
  斎藤皓,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 二次元最大重み和問題のプログラム変換に基づく解法2013
- 著者名/発表者名
  小石真人, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] Rubyの操作的意味論の形式的定義に向けて2013
- 著者名/発表者名
  深澤優鷹, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] Rubyの操作的意味論の形式的定義に向けて2013
- 著者名/発表者名
  深澤優鷹,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] SML#のSQL統合へのgroup byの導入2013
- 著者名/発表者名
  斎藤皓, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション)
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- 著者名/発表者名
  藤井貴啓, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 関数型言語からキーバリューストアへの型安全なアクセス機構2013
- 著者名/発表者名
  上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] Record Polymorphism: Its Development and Applications2013
- 著者名/発表者名
  Atsushi Ohori
- 学会等名
  In Search of Elegance in the Theory and Practice of Computation Lecture Notes in Computer Science Volume 8000, 2013, pp 432-444
- 発表場所
  University of Edinburgh , Edinburgh , Scotland
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- 著者名/発表者名
  藤井貴啓,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 二次元最大重み和問題のプログラム変換に基づく解法2013
- 著者名/発表者名
  小石真人,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-04
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 関数型言語SML#の開発 – 我が国のソフトウェア産業新生へのささやかな貢献を目指して2013
- 著者名/発表者名
  大堀淳
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学
- 招待講演
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] 変数参照関係を用いた関数型プログラムのコードリーディング支援2013
- 著者名/発表者名
  遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] Making Standard ML a practical database programming language2011
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno
- 学会等名
  Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 307-319
- 発表場所
  Tokyo, Japan
- 年月日
  2011-09-21
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] Development of SML# - making ML an ordinary practical language (invited talk)2011
- 著者名/発表者名
  Atsushi Ohori
- 学会等名
  ACM ML Workshop
- 発表場所
  Tokyo, Japan
- 年月日
  2011-09-18
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] velopment of SML￥#-making ML an ordinary practical language2011
- 著者名/発表者名
  Atsushi Ohori
- 学会等名
  ACM SIGPLAN Workshop on ML
- 発表場所
  Tokyo, Japan(invited tal)
- 年月日
  2011-09-18
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- 著者名/発表者名
  高橋和将,森畑明昌,上野雄大,大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  北海道札幌市
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- 著者名/発表者名
  高橋和将, 森畑明昌, 上野雄大, 大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  札幌市
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- 著者名/発表者名
  松島勇介,上野雄大,森畑明昌,大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  北海道札幌市(本発表は、学生の部発表賞を受賞)
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] Making standard ML a practical database programming language2011
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno
- 学会等名
  Proceedings of ACM International Conference of Functional Programming
- 発表場所
  Tokyo, Japan
- 年月日
  2011-09-21
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- 著者名/発表者名
  松島勇介, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  札幌市
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 関数型言語SML#における64ビット対応への取り組み
- 著者名/発表者名
  逢坂美冬, 佐々木智啓, Charles Mejia Cruz, 上野雄大, 大堀淳
- 学会等名
  関数型言語SML#における64ビット対応への取り組み
- 発表場所
  名古屋大学
- 年月日
  2014-09-07 – 2014-09-10
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] The Essence of Ruby
- 著者名/発表者名
  Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
- 学会等名
  12th Asian Symposium of Programming Languages and Systems
- 発表場所
  Singapore
- 年月日
  2014-11-17 – 2014-11-19
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] SML# in Industry : A Practical ERP System Development
- 著者名/発表者名
  Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
- 学会等名
  ACM International Conference on Functional Programming
- 発表場所
  Gothenburg, Sweden
- 年月日
  2014-09-01 – 2014-09-03
- データソース
  KAKENHI-PROJECT-25280019
[学会発表] A foreign language interface from ML to shell
- 著者名/発表者名
  Katsuhiro Ueno, Atsushi Ohori
- 学会等名
  Symposium on Trends in Functional Programming
- 発表場所
  Soesterberg, Netherlands
- 年月日
  2014-05-26 – 2014-05-28
- データソース
  KAKENHI-PROJECT-25280019

1. 萩谷昌己 (30156252)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 岡田光弘 (30224025)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 林晋 (40156443)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 高橋正子 (00015588)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 上野雄大 (60551554)

共同の研究課題数: 3件

共同の研究成果数: 51件
6. 米澤昭憲 (00133116)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 佐藤雅彦 (20027387)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 森畑明昌 (10582257)

共同の研究課題数: 1件

共同の研究成果数: 12件
9. 南出靖彦 (50252531)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. イレニウスウリドウスキ (40273528)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 牧ノ内顕文 (30221576)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 岩間一雄 (50131272)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 掛下哲郎 (10214272)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 茨木俊秀 (50026192)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 喜連川優 (40161509)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 加藤和彦 (90224493)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 松原克弥 (70302396)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 千葉滋 (80282713)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 小川瑞史 (40362024)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 片山卓也 (70016468)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 権藤克彦 (50262283)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 田島敬史 (60283876)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 天野浩文 (80231992)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 一杉裕志

共同の研究課題数: 1件

共同の研究成果数: 0件
25. ウリドウスキーイレニウ

共同の研究課題数: 1件

共同の研究成果数: 0件
26. PARIGOT Michel

共同の研究課題数: 1件

共同の研究成果数: 0件
27. HUET Gerard

共同の研究課題数: 1件

共同の研究成果数: 0件
28. JOUANNAUD Jean-Pierre

共同の研究課題数: 1件

共同の研究成果数: 0件
29. CURIEN Pierre-Luis

共同の研究課題数: 1件

共同の研究成果数: 0件
30. GIRARD Jan-Yves

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 関口龍郎

共同の研究課題数: 1件

共同の研究成果数: 0件

大堀 淳 OHORI Atsushi

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ML系多相型言語SML#の実用化技術に関する基礎研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明論に基づくコンパイラの系統的な構築法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

コード言語の最適化技術と検証技術を統合する証明システムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高機能高信頼多相型プログラミング言語の実現研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高機能高信頼多相型プログラミング言語の実現研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高機能高信頼多相型プログラミング言語の表現研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高機能高信頼多相型プログラミング言語の実現研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

機械語コードおよびコード生成のための論理学的基礎の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

タイプ理論と線形理論のプログラム言語理論への応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モーバイルオブジェクト計算に基づいた広域分散プログラミングシステムに関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

大堀淳 OHORI Atsushi