
叢 悠悠
ソウ ユウユウ (Youyou Cong)
更新日: 06/10
基本情報
研究キーワード
1経歴
1-
2019年4月 - 現在
学歴
3-
2016年4月 - 2019年3月
-
2014年4月 - 2016年3月
-
2010年4月 - 2014年3月
委員歴
42-
2021年 - 現在
-
2022年 - 2024年
-
2022年 - 2024年
-
2020年 - 2023年
-
2022年
-
2022年
-
2022年
-
2022年
受賞
7-
2013年12月
論文
22-
Proceedings of the 6th International Conference on Formal Structure for Computation and Deduction 2021年7月 査読有り筆頭著者
-
日本ソフトウェア科学会第37回大会論文集 2020年9月
-
お茶の水女子大学自然科学報告 70(1-2) 1-30 2020年2月 筆頭著者
-
Proceedings of the Proceedings of the 7th ACM SIGPLAN Workshop on Functional Art, Music, Modeling & Design (FARM 2019) 2019年9月 査読有り筆頭著者
-
Proceedings of the ACM on Programming Languages 3(ICFP) 2019年9月 査読有り筆頭著者
-
日本ソフトウェア科学会第36回大会論文集 2019年8月
-
Ochanomizu University 2019年3月
-
第21回プログラミングおよびプログラミング言語ワークショップ論文集 2019年3月 査読有り筆頭著者
-
Proceedings of the 7th International Workshop on Trends in Functional Programming (TFPIE 2018) 17-34 2019年 査読有り
-
PACMPL 2(ICFP) 69:1-69:31 2018年9月 査読有り筆頭著者
-
第20回プログラミングおよびプログラミング言語ワークショップ論文集 2018年3月 査読有り
-
PACMPL 2(POPL) 22:1-22:33 2018年1月 査読有り
-
第19回プログラミングおよびプログラミング言語ワークショップ論文集 2017年3月 査読有り筆頭著者
-
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 42-54 2016年 査読有り筆頭著者
-
Proceedings of the 12th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 12) 137-148 2015年11月 査読有り筆頭著者
-
第17回プログラミングおよびプログラミング言語ワークショップ論文集 2015年3月 査読有り
-
Proceedings of ESSLLI 2014 Student Session 177-189 2014年8月 査読有り筆頭著者
-
人工知能学会第28回全国大会 2014年5月 筆頭著者
-
第16回プログラミングおよびプログラミング言語ワークショップ論文集 2014年3月 査読有り筆頭著者
-
言語処理学会第20回年次大会 2014年3月 筆頭著者
MISC
1-
研究報告自然言語処理(NL) 2013(19) 1-6 2013年11月7日
講演・口頭発表等
34-
TYPES 2022 2022年6月20日 招待有り
-
YOW! Lambda Jam 2022 2022年5月17日 招待有り
-
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月17日
-
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月17日
-
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月17日
-
11th International Workshop on Trends in Functional Programming in Education (TFPIE 2022) 2022年3月16日
-
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) 2022年3月7日
-
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) 2022年3月6日
-
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) 2022年3月6日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
The Scheme and Functional Programming Workshop (Scheme '21) 2021年8月27日
-
The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021) 2021年8月22日
-
The 6th Workshop on Type-Driven Development (TyDe 2021) 2021年8月22日
-
16th Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems 2021年7月13日
-
10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021) 2021年2月16日
-
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '21) 2021年1月
所属学協会
3-
2022年4月 - 現在
-
2020年9月 - 現在
-
2019年7月 - 現在
共同研究・競争的資金等の研究課題
2-
国立研究開発法人科学技術振興機構 ACT-X 2021年10月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 研究活動スタート支援 2019年8月 - 2021年3月