馬谷誠二

Umatani Seiji

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

研究分野 (1件)：ソフトウェア

研究キーワード (4件)：言語処理系 , プログラミング言語 , 言語処理系 , プログラミング言語

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

全件表示

論文 (21件)：

Ryusuke Nakashima and Masahiro Yasugi and Hiroshi Yoritaka and Tasuku Hiraishi and Seiji Umatani. Work-stealing Strategies That Consider Work Amount and Hierarchy. Journal of Information Processing. 2021. 29. 478-489
R. Nakashima, H. Yoritaka, M. Yasugi, T. Hiraishi, S. Umatani. Extending a Work-Stealing Framework with Priorities and Weights. 2019 IEEE/ACM 9th Workshop on Irregular Applications: Architectures and Algorithms (IA3). 2019. 9-16
Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, and Kento Emoto. HOPE: A Parallel Execution Model Based on Hierarchical Omission. Proceedings of the 48th International Conference on Parallel Processing ({ICPP} 2019). 2019. 1-11
Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani. Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs. Parallel Computing. 2018. 82. 19-36
中村真也,鵜川始陽,馬谷誠二. 規則違反コードの構造を反映した木パタンを用いるコード検査器. 情報処理学会論文誌プログラミング. 2016. 9. 4. 1-15

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

インタラクティブアプリケーション用の階層化された実行エンジン
(情報処理学会第86回全国大会 2024)
拡張性の高い遷移系を記述可能な領域特化言語
(日本ソフトウェア科学会第41回大会 2024)
レジスタマシンをターゲットとするコンパイラの依存型言語Agdaを用いた実装
(情報処理学会第86回全国大会 2024)
Racket上の多段階計算に基づく抽象解釈器の実装
(情報処理学会第86回全国大会 2024)
Lightweight DSL for Describing Extensible Transition Systems
(The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24) 2024)

経歴 (5件)：

委員歴 (29件)：

2025/03 - 日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL2025)プログラム委員

2024/09 - 日本ソフトウェア科学会第41回大会プログラム委員

2022/10 - 2024/06 情報処理学会論文賞選定ワーキンググループ委員

2024/03 - 情報処理学会第86回全国大会プログラム委員長

2019/04 - 2023/03 日本ソフトウェア科学会理事

2021/03 - 日本ソフトウェア科学会第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021)プログラム委員

2016/04 - 2020/03 情報処理学会プログラミング研究会編集委員

2020/03 - 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)プログラム委員

2017/04 - 2019/03 日本ソフトウェア科学会代表会員

2015/04 - 2019/03 日本ソフトウェア科学会プログラミング論研究会運営委員

2015/04 - 2019/03 情報処理学会プログラミング・シンポジウム幹事

2014/04 - 2018/03 情報処理学会プログラミング研究会運営委員

2016/08 - 日本ソフトウェア科学会第33回大会座長,サマースクール担当幹事

2015/08 - 日本ソフトウェア科学会第32回大会座長

2015/03 - 日本ソフトウェア科学会第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)共同プログラム委員長

2015/03 - 情報処理学会第77回全国大会座長

2015/01 - 情報処理学会第56回プログラミング・シンポジウム座長

2014/08 - 日本ソフトウェア科学会第31回大会プログラム委員,ソフトウェア論文特集担当,座長

2014/03 - 日本ソフトウェア科学会第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)プログラム委員および座長

2013/11 - 日本ソフトウェア科学会ソフトウェア論文賞選定委員

2012/08 - 日本ソフトウェア科学会第29回大会プログラム委員および座長

2011/08 - 日本ソフトウェア科学会第28回大会プログラム委員および座長

2011/03 - 日本ソフトウェア科学会第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)プログラミング委員および座長

2004/08 - 日本ソフトウェア科学会第21回大会座長

全件表示

受賞 (2件)：

所属学会 (3件)：

日本ソフトウェア科学会 , 情報処理学会 , ACM

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

馬谷 誠二