大堀 淳
オオホリ アツシ (Atsushi Ohori)
更新日: 2024/09/21
基本情報
- 所属
- 東北大学 電気通信研究所 システム・ソフトウェア研究部門 ソフトウェア構成研究室 ソフトウエア構成研究分野 教授
- 学位
-
Ph.D(University of Pennsylvania)
- J-GLOBAL ID
- 200901024115956064
- researchmap会員ID
- 5000088077
- 外部リンク
データ更新中。（2019年9月14日更新開始。）
発表論文の現在のスナップショットは、例えば、Google Scholar のプロファイル
https://scholar.google.co.jp/citations?user=CJWX8GsAAAAJ&hl=ja&oi=ao
をご参考までにご参照ください。
発表論文の現在のスナップショットは、例えば、Google Scholar のプロファイル
https://scholar.google.co.jp/citations?user=CJWX8GsAAAAJ&hl=ja&oi=ao
をご参考までにご参照ください。
研究キーワード
5経歴
6-
2005年4月 - 現在
-
2000年4月 - 2005年3月
-
1993年8月 - 2000年3月
-
1981年4月 - 1993年8月
-
1989年10月 - 1990年9月
-
1984年9月 - 1989年7月
学歴
2-
1976年4月 - 1981年3月
委員歴
57-
2011年10月 - 現在
-
2004年4月 - 現在
-
2004年 - 現在
-
2020年 - 2020年
-
2016年12月 - 2017年11月
-
2011年10月 - 2017年9月
-
2016年1月 - 2016年11月
-
2013年8月 - 2015年7月
-
2011年12月 - 2012年11月
-
2010年12月 - 2011年11月
-
2010年 - 2010年
-
2009年2月 - 2009年12月
-
2008年8月 - 2009年7月
-
2009年 - 2009年
受賞
6-
2017年10月
-
2010年9月
論文
72-
Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management 2022年6月14日
-
Programming Languages and Systems 140-159 2021年
-
情報処理学会論文誌プログラミング（PRO） 11(3) 1-13 2018年9月 査読有り
-
Proceedings of the ACM on Programming Languages Volume 2, Issue ICFP(Article No. 81) 81:1-81:28 2018年9月 査読有り
-
コンピュータソフトウェア 35(3) 79-95 2018年7月 査読有り
-
ACM SIGPLAN NOTICES 51(9) 421-433 2016年9月 査読有り
-
NEW GENERATION COMPUTING 34(3) 239-256 2016年8月 査読有り
-
Proceedings of the 30th European Concerence on Object Oriented Programming (ECOOP 2016), Leibniz International Proceedings in Informatics (LIPIcs) 56(18) 1-25 2016年7月 査読有り
-
Journal of Information Processing 24(1) 141-151 2016年1月15日 査読有り
-
Computer Software 32(1) 194-212 2015年
-
コンピュータソフトウェア 32(1) 194-212 2015年 査読有り
-
ACM SIGPLAN NOTICES 49(9) 167-173 2014年9月 査読有り
-
Programming Languages and Systems 78-98 2014年 査読有り
-
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014 8475 186-202 2014年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8000 432-444 2013年 査読有り
-
コンピュータソフトウェア 29(1) 191-210 2012年 査読有り
-
コンピュータ ソフトウェア 29(2) 193-203 2012年 査読有り
-
ACM SIGPLAN NOTICES 46(9) 196-208 2011年9月 査読有り
-
ACM SIGPLAN NOTICES 46(9) 307-319 2011年9月 査読有り
MISC
14-
情報処理学会論文誌プログラミング（PRO） 9(4) 28-28 2016年9月12日
-
情報処理学会論文誌プログラミング（PRO） 9(4) 27-27 2016年9月12日
-
日本ソフトウェア科学会大会論文集 33 389-393 2016年9月7日
-
日本ソフトウェア科学会大会論文集 33 471-474 2016年9月7日
-
日本ソフトウェア科学会大会論文集 33 151-156 2016年9月7日
-
日本ソフトウェア科学会大会論文集 33 255-260 2016年9月7日
-
情報処理学会論文誌プログラミング（PRO） 8(4) 2015年12月4日
-
コンピュータソフトウェア 31(1) 30-42 2014年
-
日本ソフトウェア科学会大会論文集 30 25-32 2013年9月10日
-
Computer Software 29(1) 191-210 2012年
-
日本ソフトウェア科学会大会論文集 27 20p 2010年9月13日
-
日本ソフトウェア科学会大会論文集 27 1-4 2010年9月13日
-
情報科学技術フォーラム講演論文集 8(1) 317-318 2009年8月20日
-
情報処理 49(11) 1246-1250 2008年11月
書籍等出版物
9-
サイエンス社 2010年4月10日 (ISBN: 9784781912509)
-
共立出版 2001年9月
-
岩波書店 1999年
-
共立出版 1997年
-
World Scientific 1996年11月
講演・口頭発表等
12-
日本ソフトウェア科学会第30回大会 2013年9月10日
-
ACM International Conference on Functional Programming 2011年9月19日
-
ACM SIGPLAN Workshop on ML 2011年9月18日
-
プログラミングおよびプログラミング言語ワークショップ (PPL2007) 2007年3月8日
-
日本ソフトウェア科学会第23回大会 2006年9月13日
-
ソフトウエア工学の基礎ワークショップ(FOSE 2005) 2005年11月10日
-
「機能と構成」領域シンポジウム２００３−先進情報システムとその構成に向けてー 2003年12月12日
-
The Second Asian Workshop on Foundations of Software 2003年12月1日
-
International Lisp Conference 2003年10月12日
-
Workshop On Proof-Carrying Code 2000年6月28日
-
The 4th International Symposium on Functional and Logic Programming 1999年11月11日
-
International Symposium on Theoretical Aspects of Computer Software 1997年9月23日
Works(作品等)
1-
2006年1月 - 現在 コンピュータソフト
共同研究・競争的資金等の研究課題
19-
科学研究費助成事業 基盤研究(C) 2018年4月 - 2022年3月
-
科学研究費助成事業 基盤研究(Ｂ) 2014年4月 - 2018年3月
-
総務省 情報通信ネットワークの耐災害性強化のための研究開発の推進に関する委託研究 研究分担者 2012年3月 - 2013年3月
-
科学研究費助成事業 基盤研究(C) 2010年4月 - 2013年3月
-
科学研究費助成事業 基盤研究(C) 2007年4月 - 2009年3月
-
文部科学省 リーディングプロジェクト「e-Society社会基盤ソフトウェアの総合開発」委託研究 2003年4月 - 2007年3月
-
科学研究費助成事業 特定領域研究 公募研究研 2004年4月 - 2006年3月
-
科学研究費助成事業 基盤研究（B） 2003年4月 - 2006年3月
-
科学研究費助成事業 科学研究費助成事業 特定領域研究 公募研究研 （単年度，新規） 2003年4月 - 2004年3月
-
科学研究費助成事業 特定領域研究公募研究（単年度，新規） 2002年4月 - 2003年3月
-
科学研究費助成事業 特定領域研究（C）公募研究 2001年10月 - 2002年3月
-
科学研究費助成事業 基盤研究(C) 2000年4月 - 2002年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 1998年 - 2000年
-
科学研究費助成事業 重点領域研究 計画班 研究分担者 1996年4月 - 1999年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 1999年 - 1999年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1997年 - 1997年
-
科学研究費助成事業 一般研究（C） 1994年4月 - 1996年3月
-
日本学術振興会 科学研究費助成事業 国際学術研究 1995年 - 1996年