叢 悠悠
ソウ ユウユウ (Youyou Cong)
更新日: 10/24
基本情報
経歴
1-
2019年4月 - 現在
学歴
3-
2016年4月 - 2019年3月
-
2014年4月 - 2016年3月
-
2010年4月 - 2014年3月
委員歴
68-
2024年6月 - 現在
-
2022年 - 2026年
-
2025年1月
-
2025年1月
-
2025年
-
2024年10月
-
2024年2月 - 2024年9月
-
2024年9月
-
2021年4月 - 2024年3月
-
2022年 - 2024年
-
2022年 - 2024年
-
2024年1月
-
2023年10月
-
2023年10月
-
2023年10月
-
2023年10月
-
2023年5月
-
2023年3月
-
2023年3月
-
2020年 - 2023年
受賞
9-
2013年12月
論文
43-
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月
-
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月
-
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月 筆頭著者
-
第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2024年3月 査読有り
-
2024年1月 査読有り筆頭著者
-
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023) 2023年10月 査読有り
-
Proceedings of the 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023) 2023年9月 査読有り筆頭著者
-
Proceedings of the 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023) 2023年7月 査読有り
-
First Workshop on Future Debugging Techniques (DEBT 2023) 2023年7月 査読有り
-
第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2023年3月 査読有り
-
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2023) 2023年1月 筆頭著者
-
SPLASH-E 2022 2022年12月 査読有り
-
Proceedings of the ACM on Programming Languages 6(OOPSLA2) 2022年12月 査読有り
-
Proceedings of the International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19) 2022年11月 査読有り筆頭著者
-
Logical Methods in Computer Science (LMCS) 18(3) 1-31 2022年9月 査読有り筆頭著者
-
日本ソフトウェア科学会第39回大会 2022年8月
-
Journal of Information Processing 30 451-463 2022年
-
88Proceedings of the 6th International Conference on Formal Structure for Computation and Deduction 2021年7月 査読有り筆頭著者
講演・口頭発表等
43-
17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024年5月17日 招待有り
-
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024) 2024年1月16日
-
日本ソフトウェア科学会第40回大会 2023年9月14日
-
日本ソフトウェア科学会第40回大会 2023年9月12日
-
The Scheme and Functional Programming Workshop (Scheme 2023) 2023年9月9日
-
The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022) 2022年9月11日
-
The 7th Workshop on Type-Driven Development (TyDe 2022) 2022年9月11日
-
PPL サマースクール 2022 2022年8月30日 招待有り
-
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日
-
First Workshop on the Implementation of Type Systems (WITS 2022) 2022年1月22日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
所属学協会
3-
2022年4月 - 現在
-
2020年9月 - 現在
-
2019年7月 - 現在
共同研究・競争的資金等の研究課題
4-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2023年4月 - 2028年3月
-
国立研究開発法人科学技術振興機構 ACT-X 2021年10月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 研究活動スタート支援 研究活動スタート支援 2019年10月 - 2021年3月