International Activities
Chairs
Other Activities
- PC Member of: miniKanren
2025, TFP 2025, PEPM 2024, ESOP 2024, TASE 2023, BX 2022, TFP 2022, ICFP 2021, BX 2021, WPTE 2020, RC 2020, BX 2020, Haskell
2019, ICFP 2019, PEPM 2019,
BX 2019, RC 2017,
WFLP 2016, PPDP 2016, RC 2014, RC 2013
(deadlink), PEPM
2013, LOPSTR 2012,
RC 2012, BX 2012, LOPSTR 2011
- External Review Committee Member of: ICFP 2018, ICFP 2016
- Corporate Events Coordination Chair of ICFP
2011
Domestic Activities
委員長など
その他
- 日本ソフトウェア科学会 プログラミング論研究会 運営委員
2023/4/1〜現在
- 電子情報通信学会 通信ソサイエティ 和文マガジン B-plus 編集委員
2025/06/1〜現在
- PPLサマースクール2024
幹事
- プログラミングおよびプログラミング言語ワークショップ2024
組織委員
- プログラミングおよびプログラミング言語ワークショップ2021
プログラム委員
- 情報処理学会プログラミング研究会 幹事
2019/4/1〜2023/3/31(論文誌「プログラミング」編集委員も兼ねる)
- 情報処理学会東北支部 広報幹事 2019/4/1〜2020/3/31
- プログラミングおよびプログラミング言語ワークショップ2018
プログラム委員
- プログラミングおよびプログラミング言語ワークショップ2017
プログラム委員
- プログラミングおよびプログラミング言語ワークショップ2016
組織委員
- 情報処理学会第77回全国大会
プログラム委員
- 情報処理学会学会誌「情報処理」編集委員(FWG) 2011 4/1〜2015
3/31,2013 4/1〜2014 3/31同幹事,2014 4/1〜2015 3/31同主査
- 情報処理学会論文誌「プログラミング」編集委員 2013
4/1〜2017/3/31
- 情報処理学会プログラミング研究会 運営委員 2014 4/1〜2018/3/31
- 日本ソフトウェア科学会学会誌「コンピュータソフトウェア」編集委員
2013 4/1〜現在