研究者

J-GLOBAL ID：200901024115956064 更新日: 2024年01月31日

大堀淳

オオホリアツシ | Ohori Atsushi

所属機関・部署：
職名：教授

研究分野 (3件)：データベース , 情報学基礎論 , ソフトウェア

研究キーワード (5件)：データベースプログラミング言語 , 型理論 , ML , コンパイラ , プログラミング言語

競争的資金等の研究課題 (19件)：

2018 - 2022 超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化
2014 - 2018 ML系多相型言語SML#の実用化技術に関する基礎研究
2012 - 2013 災害情報を迅速に伝達するための放送・通信連携基盤技術の研究開発
2010 - 2013 証明論に基づくコンパイラの系統的な構築法の研究
2007 - 2009 コード言語の最適化技術と検証技術を統合する証明システムの研究

全件表示

論文 (71件)：

Katsuhiro Ueno, Atsushi Ohori. Concurrent and parallel garbage collection for lightweight threads on multicore processors. Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management. 2022
Atsushi Ohori, Katsuhiro Ueno. A Compilation Method for Dynamic Typing in ML. Programming Languages and Systems. 2021. 140-159
大野一樹, 上野雄大, 大堀淳. 関数型言語SML#のためのネイティブコードレベルデバッグ環境の実現方式. 情報処理学会論文誌プログラミング(PRO). 2018. 11. 3. 1-13
Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima. Finitary Polymorphism for Optimizing Type-Directed Compilation. Proceedings of the ACM on Programming Languages. 2018. Volume 2, Issue ICFP. Article No. 81. 81:1-81:28
逢坂美冬, 上野雄大, 大堀淳. 部分動的レコードを活用した型付きテンプレートエンジンの実現. コンピュータソフトウェア. 2018. 35. 3. 3_79-3_95

MISC (13件)：

田畑憲太, 上野雄大, 大堀淳. コンパイラ実装言語で中間表現データ構造を記述するための言語機構. 情報処理学会論文誌プログラミング(PRO). 2016. 9. 4. 28-28
新田祐児, 上野雄大, 大堀淳. 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法. 情報処理学会論文誌プログラミング(PRO). 2016. 9. 4. 27-27
佐々木智啓, 上野雄大, 大堀淳. 自然結合制約を含む型推論アルゴリズムの実装方式. 日本ソフトウェア科学会大会論文集. 2016. 33. 389-393
佐藤友昭, 上野雄大, 大堀淳. SML#のよりシームレスな外部関数インターフェースの実現に向けて. 日本ソフトウェア科学会大会論文集. 2016. 33. 471-474
逢坂美冬, 上野雄大, 大堀淳. 部分動的レコードを活用した型付きテンプレートエンジンの試作. 日本ソフトウェア科学会大会論文集. 2016. 33. 151-156

書籍 (9件)：

ライブラリ情報学コア・テキスト 5 計算機システム概論 -基礎から学ぶコンピュータの原理とOSの構造-
サイエンス社 2010 ISBN:9784781912509
Programming Languages and Systems - APLAS 2003 Lecture Notes in Commuter Science vol. 2895
Springer 2003
プログラミング言語Standard ML入門
共立出版 2001
コンピュータサイエンス入門,アルゴリズムとプログラミング言語.
岩波書店 1999
Advances in Computing Sciences - Asian 98. Lecture Notes in Computer Science vol.1538
Springer 1998

講演・口頭発表等 (12件)：

関数型言語SML#の開発 - 我が国のソフトウェア産業新生へのささやかな貢献を目指して
(日本ソフトウェア科学会第30回大会 2013)
Development of SML#-making ML an ordinary practical language
(ACM International Conference on Functional Programming 2011)
Development of SML#-making ML an ordinary practical language
(ACM SIGPLAN Workshop on ML 2011)
SML#の実用的側面
(プログラミングおよびプログラミング言語ワークショップ (PPL2007) 2007)
プログラミング言語SML#の開発とその基礎理論 -多相型言語の基礎研究はもはや時代遅れか?-(招待講演)
(日本ソフトウェア科学会第23回大会 2006)

Works (1件)：

次世代高信頼プログラミング言SML#コンパイラの開発とリリース
共同開発者, 大堀淳, 上野雄大, 開発協力者多数 2006 - 現在

学歴 (2件)：

1984 - 1989 University of Pennsylvania School of Engineering and Applied Science Department of Computer and Information Science, Ph.D.課程修了
1976 - 1981 東京大学文学部哲学科卒業

学位 (1件)：

Ph.D (University of Pennsylvania)

経歴 (6件)：

2005/04 - 現在東北大学電気通信研究所教授
2000/04 - 2005/03 北陸先端科学技術大学院大学情報科学研究科教授
1993/08 - 2000/03 京都大学数理解析研究所助教授
1981/04 - 1993/08 沖電気工業株式会社システム本部を経て関西総合研究所ソフトウウェア技術者を経て特別研究室長
1989/10 - 1990/09 英国王立協会特別研究員グラスゴー大学会社派遣研究員

全件表示

委員歴 (57件)：

2011/10 - 現在日本学術会議連携会員
2007/12 - 現在 Asian Association for Foundations of Software Executive Committee Co-Chair
2004/04 - 現在日本ソフトウエア科学会評議員
2004 - 現在日本ソフトウエア科学会評議員
2002/10 - 現在 Higher-Order and Symbolic Computation Advisary Board Member

2020 - 2020 ACM ICFP Conference A Program Committee Member

2016/12 - 2017/11 日本学術振興会科学研究費委員会専門委員

2011/10 - 2017/09 日本学術会議連携会員

2016/01 - 2016/11 日本学術振興会科学研究費委員会専門委員

2013/08 - 2015/07 日本学術振興会特別研究員等審査会専門委員および国際事業委員会書面審査員

2002/10 - 2013 Higher-Order and Symbolic Computation (Journal) kluwer Academic Publishers Advisory Board Member

2011/12 - 2012/11 日本学術振興会科学研究費委員会専門委員

2007/12 - 2012 Asian Association for Foundations of Software (AAFS) Executive Committee Co-Chair

2010/12 - 2011/11 日本学術振興会科学研究費委員会専門委員

2010 - 2010 ACM POPL Symposium A Program Committee Member

2009/01 - 2010/01 The 37th ACM Symposium on Principles of Programming Languages (POPL 2010) Program Committee Member

2009/02 - 2009/12 科学技術振興機構研究領域の選定及び研究統括の指定に係る調査等に関する評価委員

2008/08 - 2009/09 The 14th ACM International Conference on Functional Programming (ICFP 2009) PProgram Committee Member

2008/08 - 2009/07 日本学術振興会特別研究員等審査会専門委員および国際事業委員会書面審査員

2009 - 2009 ACM ICFP Conference A Program Committee Member

2007/01 - 2008/04 International Symposium on Functional and Logic Programming (FLOPS), 2008 Program Committee Member

1993/12 - 2008/01 The Computer Journal Editorial Board Member

2006/04 - 2007/03 文部科学省科学技術政研究所研究科学技術動向研究センター専門調査員

1993 - 2007 The Computer Journal, (Oxford University Press) Editorial Board Member

2006/01 - 2006/12 日本学術振興会科学研究費委員会専門委員

2005/06 - 2006/03 科学技術動向研究センター専門調査員

2005 - 2005 Interntional Concerence on Typed Lambda Calculus and Its Applications A Program Committee Member

1999 - 2005 ACM TIC Workshop Organizing Committee Member

2004 - 2004 ECOOP Conference A Program Committee Member

2003/01 - 2003/12 The First Asian Symposium on Programming Languages and Systems Program Chair

1999/04 - 2003/03 日本ソフトウエア科学会理事

2003 - 2003 The First Asian Symposium on Programming Languages and Systems Program Chair

1999 - 2003 日本ソフトウエア科学会理事

1999/10 - 2002/09 ACM International Conference on Functional Programming Steering Committee Member

1999 - 2002 ACM ICFP Conference Steering Committee Member

1993/12 - 2002/01 Journal of Information Systems (Pregamon - Elsevier Science Press) Associate Editor

1993/12 - 2002/01 Journal of Information Systems Associate Editor

1993/10 - 2000/10 Journal of Theory and Practice of Object Systems Associate Editor

2000 - 2000 ACM ICFP Conference A Program Committee Member

1995 - 2000 Journal of Theory and Practice of Object Systems (Addison-Willy) Associate Editor

1998/01 - 1998/12 Asian Computer Science Conference Program Co-Chair

1998/01 - 1998/12 International Workshop on Types in Compilation Workshop Chair

1998 - 1998 ACM POPL Symposium A Program Committee Member

1998 - 1998 Asian Computer Science Conference Program Co-chair

1998 - 1998 International Workshop on Types in Compilation (in co-operation with ACM SIGPLAN) Workshop Chair

1997 - 1997 ECOOP Conference A Program Committee Member

1997 - 1997 ACM OOPSLA Conference. A Program Committee Member

1996/01 - 1996/12 Fuji International Workshop on Functional and Logic Programming Program Committee Co-chair

1996 - 1996 VLDB Conference A Program Committee Member

1996 - 1996 ACM OOPSLA Conference A Program Committee Member

1996 - 1996 ACM ICFP Conference A Program Committee Member

1996 - 1996 Fuji International Workshop on Functional and Logic Programming Program Co-chair

1995 - 1995 VLDB Conference A Program Committee Member

1994 - 1994 ECOOP Conference A Program Committee Member

1993/01 - 1993/12 The 4th International Workshop on Database Programming Languages Program Committee Co-chair

1993 - 1993 ACM SIGMOD Conference A Program Committee Member

1993 - 1993 The 4th International Workshop on Database Programming Languages Workshop Co-Chair

全件表示

受賞 (6件)：

2017/10 - 日本学術振興会科学研究費助成事業審査委員表彰
2017/09 - 日本ソフトウェア科学会第6回解説論文賞 "LR構文解析の原理
2011/09 - 日本ソフトウェア科学会日本ソフトウェア科学会基礎研究賞型システムを用いたプログラミング言語実現に関する研究
2010/09/14 - 日本ソフトウェア科学会日本ソフトウェア科学会フェロー
2009/06/11 - 日本ソフトウェア科学会日本ソフトウェア科学会第13回論文賞コンピュータソフトウェア第24巻第2号「表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装」

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

大堀 淳

大堀淳