OHORI Atsushi  大堀 淳

逢坂美冬, 上野雄大, 大堀淳

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

Volume: 印刷中

Open Access / Peer Reviewed

Katsuhiro Ueno, Atsushi Ohori

Journal of Information Processing

Volume: 24 Issue: 1 Pages: 141-151

1882-6652

English

Peer Reviewed / Acknowledgement Compliant

Katsuhiro Ueno, Atsushi Ohori

New Generation Computing

Volume: 34 Pages: 239-256

Acknowledgement Compliant / Peer Reviewed

遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳

Computer Software

Volume: 32 Issue: 1 Pages: 1_194-1_212

0289-6540

Japanese

Peer Reviewed / Open Access / Acknowledgement Compliant

篠埜 功, 大堀 淳

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

Volume: 29 Pages: 193-203

Peer Reviewed

篠埜功,大堀淳

Computer Software

Volume: Vol.29(2) Issue: 2 Pages: 193-203

0289-6540

Japanese

Peer Reviewed

上野雄大,大堀淳

Computer Software

Volume: 29(1) Issue: 1 Pages: 191-210

0289-6540

Peer Reviewed

上野雄大, 大堀淳

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

Pages: 101-113

Peer Reviewed

上野雄大, 大堀淳

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

Pages: 19-33

Peer Reviewed

上野雄大, 大堀淳

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

Pages: 101-113

Peer Reviewed

Atsushi Ohori

ACM Transactions on Programming Languages and Systems 29(6)

Peer Reviewed

K.Choi, A.Ohori

In Proc.Asian Symposium on Programming Languages and Systems LNCS3302

Pages: 213-228

K.Choi, A.Ohori

Asian Symposium on Programming Languages and Systems LNCS 3302

Pages: 213-228

Atsushi Ohori

Journal of Science of Computer Programming 50・1-3

Pages: 161-187

「研究成果報告書概要(欧文)」より

A.Ohori

Journal of Science of Computer Programming 50・1-3

Pages: 161-187

「研究成果報告書概要(和文)」より

T.Higuchi, A.Ohori

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

T.Higuchi, A.Ohori

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

大野一樹, 上野雄大, 大堀淳

日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月20日

Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno

ACM SIGPLAN Workshop on ML, Oxford University, 2017年9月7日

Int'l Joint Research

美馬久行, 上野雄大, 大堀淳

日本ソフトウェア科学会第34回大会, 慶応義塾大学日吉キャンパス, 2017年9月21日

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

Int'l Joint Research

田畑憲太, 上野雄大, 大堀淳

情報処理学会プログラミング研究会 第108回プログラミング研究発表会

東京大学(東京都目黒区）

2016-02-28

逢坂美冬, 上野雄大, 大堀淳

日本ソフトウェア科学会 第33回大会

東北大学電気通信研究所

Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori

ACM SIGPLAN Workshop on ML

Nara, Japan

Int'l Joint Research

佐々木智啓, 上野雄大, 大堀淳

日本ソフトウェア科学会 第33回大会

東北大学電気通信研究所

徳永航平, 上野雄大, 大堀淳

日本ソフトウェア科学会 第33回大会

東北大学電気通信研究所

美馬久行, 上野雄大, 大堀淳

日本ソフトウェア科学会 第33回大会

東北大学電気通信研究所

新田祐児, 上野雄大, 大堀淳

情報処理学会プログラミング研究会 第108回プログラミング研究発表会

東京大学(東京都目黒区）

2016-02-28

佐藤友昭, 上野雄大, 大堀淳

日本ソフトウェア科学会 第33回大会

東北大学電気通信研究所

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

奈良

Int'l Joint Research

上野雄大, 大堀淳

情報処理学会 第104回プログラミング研究発表会

富山県教育文化会館（富山県富山市）

2015-06-05

逢坂美冬, 菊地大介, 上野雄大, 大堀淳, 佐々木加奈子

情報処理学会 第104回プログラミング研究発表会

富山県教育文化会館（富山県富山市）

2015-06-05

斎藤皓, 上野雄大, 森畑明昌, 大堀淳

第16回プログラミングおよびプログラミング言語ワークショップ

熊本県阿蘇市阿蘇温泉「阿蘇の司 ビラパークホテル」

Katsuhiro Ueno, Atsushi Ohori

ACM SIGPLAN ML Family Workshop

Gothenburg, Sweden

2014-09-04

斎藤皓,上野雄大,森畑明昌,大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)

福島県会津若松市

2013-03-05

小石真人, 森畑明昌, 大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ

会津若松市

深澤 優鷹, 上野 雄大, 森畑 明昌, 大堀 淳

第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)

会津若松市

深澤優鷹,上野雄大,森畑明昌,大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)

福島県会津若松市

2013-03-05

斎藤 皓, 上野 雄大, 森畑 明昌, 大堀 淳

第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション)

会津若松市

藤井貴啓, 上野雄大, 森畑明昌, 大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ

会津若松市

上野雄大, 大堀淳

日本ソフトウェア科学会第30回大会

東京大学

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

藤井貴啓,上野雄大,森畑明昌,大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ

福島県会津若松市

2013-03-05

小石真人,森畑明昌,大堀淳

第15回プログラミングおよびプログラミング言語ワークショップ

福島県会津若松市

2013-03-04

大堀淳

日本ソフトウェア科学会第30回大会

東京大学

Invited

遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳

日本ソフトウェア科学会第30回大会

東京大学

Atsushi Ohori, Katsuhiro Ueno

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 307-319

Tokyo, Japan

2011-09-21

Atsushi Ohori

ACM ML Workshop

Tokyo, Japan

2011-09-18

Atsushi Ohori

ACM SIGPLAN Workshop on ML

Tokyo, Japan(invited tal)

2011-09-18

高橋和将,森畑明昌,上野雄大,大堀淳

第13回プログラミングおよびプログラミング言語ワークショップ

北海道札幌市

2011-03-09

高橋和将, 森畑明昌, 上野雄大, 大堀淳

第13回プログラミングおよびプログラミング言語ワークショップ

札幌市

2011-03-09

松島勇介,上野雄大,森畑明昌,大堀淳

第13回プログラミングおよびプログラミング言語ワークショップ

北海道札幌市(本発表は、学生の部発表賞を受賞)

2011-03-10

Atsushi Ohori, Katsuhiro Ueno

Proceedings of ACM International Conference of Functional Programming

Tokyo, Japan

2011-09-21

松島勇介, 上野雄大, 森畑明昌, 大堀淳

第13回プログラミングおよびプログラミング言語ワークショップ

札幌市

2011-03-10

逢坂美冬, 佐々木智啓, Charles Mejia Cruz, 上野雄大, 大堀淳

関数型言語SML#における64ビット対応への取り組み

名古屋大学

2014-09-07 – 2014-09-10

Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori

12th Asian Symposium of Programming Languages and Systems

Singapore

2014-11-17 – 2014-11-19

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

Katsuhiro Ueno, Atsushi Ohori

Symposium on Trends in Functional Programming

Soesterberg, Netherlands

2014-05-26 – 2014-05-28