所属
情報理工学院 助教
職名
助教
外部リンク
ソウ ユウユウ
叢 悠悠
cong youyou
学位
-
博士（理学） （ お茶の水女子大学 ）
研究キーワード
-
型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論, 音楽情報処理
研究分野
-
情報通信 / ソフトウェア / 型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論, 音楽情報処理
学歴
-
お茶の水女子大学 人間文化創成科学研究科 理学専攻 情報科学領域
2016年4月 - 2019年3月
-
お茶の水女子大学 人間文化創成科学研究科 理学専攻 情報科学コース
2014年4月 - 2016年3月
-
お茶の水女子大学 理学部 情報科学科
2010年4月 - 2014年3月
経歴
-
東京科学大学（2024年9月まで東京工業大学） 情報理工学院 助教
2019年4月 - 現在
国名：日本国
所属学協会
-
情報処理学会
2022年4月 - 現在
-
日本ソフトウェア科学会
2020年9月 - 現在
-
ACM SIGPLAN
2019年7月 - 現在
委員歴
-
SIGCSE TS 2026 ACM Student Research Competition Program Committee
2026年10月
団体区分：学協会
-
ACM SRC 2026 Grand Finals Program Committee
2026年4月
団体区分：学協会
-
POPL 2027 Program Committee
2026年3月
団体区分：学協会
-
TFPIE 2027 Program Chair
2026年2月
団体区分：学協会
-
PADL 2026 Program Committee
2025年10月
-
FLOPS 2026 Program Committee
2025年10月
団体区分：学協会
-
The <Programming> Conference Steering Committee
2025年9月 - 2028年9月
団体区分：学協会
-
TFP 2025 Program Committee
2025年1月
団体区分：学協会
-
TFPIE 2025 Program Committee
2025年1月
団体区分：学協会
-
PPL 2025 組織委員（渉外担当）
2025年
-
<Programming> 2026 Program Co-chair
2024年10月
団体区分：学協会
-
FSE 2025 Program Committee
2024年9月
団体区分：学協会
-
Journal of Computer Languages Editorial Board
2024年6月 - 現在
団体区分：学協会
-
Scheme 2024 Program Co-Chair
2024年2月 - 2024年9月
団体区分：学協会
-
TFPIE 2024 Program Committee
2024年1月
団体区分：学協会
-
OOPSLA 2024 Review Committee
2023年10月
-
ICSE-SEET 2024 Program Committee
2023年10月
-
PADL 2024 Program Committee
2023年10月
団体区分：学協会
-
PEPM 2024 Program Committee
2023年10月
団体区分：学協会
-
FARM 2023 Program Committee
2023年5月
団体区分：学協会
-
GPCE 2023 Publicity Chair
2023年3月
-
GPCE 2023 Program Committee
2023年3月
-
PX/23 Program Committee
2023年1月
-
<Programming> 2023 Workshops Co-Chair
2023年
-
TFP 2023 Program Committee
2023年
-
POPL 2023 Student Research Competition Selection Committee
2023年
-
TyDe 2023 Program Co-Chair
2022年12月
-
FARM Steering Committee
2022年9月
団体区分：学協会
-
PEPM Steering Committee
2022年1月
団体区分：学協会
-
ICFP Steering Committee (member-at-large)
2022年 - 2026年
-
PRO 研究運営委員会 運営委員
2022年 - 2024年
-
PRO 編集委員会 編集委員
2022年 - 2024年
-
APLAS 2022 Program Committee
2022年
-
PEPM 2022 Program Co-Chair
2022年
-
PPL 2022 組織委員（会場担当）
2022年
-
PPL 2022 プログラム委員
2022年
団体区分：学協会
-
POPL 2022 Virtualization Co-Chair
2022年
-
PX/22 Program Committee
2022年
-
MSFP 2022 Program Committee
2022年
-
FLOPS 2022 Program Committee
2022年
-
FARM 2022 Program Chair
2022年
-
SPLASH 2022 PLMW Co-organizer
2022年
-
REBLS 2022 Program Committee
2022年
-
GPCE 2022 Publicity Chair
2022年
-
GPCE 2022 Program Committee
2022年
-
SPLASH 2022 Hybridization Co-Chair
2022年
-
科学技術・学術政策研究所 NISTEP 専門調査員
2021年4月 - 2024年3月
-
PPL 2021 組織委員（会場副担当）
2021年
-
TFPIE 2021 Program Committee
2021年
-
ACM SRC 2021 Grand Finals Program Committee
2021年
-
ICFP 2021 Program Committee
2021年
-
Scheme 2021 Program Committee
2021年
-
PADL 2021 Program Committee
2021年
-
PEPM 2021 Program Committee
2021年
-
PX/21 Program Committee
2021年
-
OCaml 2021 Program Committee
2021年
-
ML 2021 Program Committee
2021年
-
IFL 2021 Program Committee
2021年
-
PPDP 2021 External Reviewer
2021年
-
SPLASH 2021 Hybridization Co-Chair
2021年
-
Haskell Symposium Steering Committee (member-at-large)
2020年 - 2023年
-
TyDe 2020 Program Committee
2020年
-
TFPIE 2020 Program Committee
2020年
-
PX/20 Program Committee
2020年
-
ICFP 2020 External Reviewer
2020年
-
ICFP 2020 Student Research Competition Chair
2020年
-
PPL 2020 組織委員（会場担当）
2020年
-
PPL 2020 プログラム委員
2020年
-
Haskell 2020 Program Committee
2020年
-
ML 2020 Program Committee
2020年
-
Scala 2020 Program Committee
2020年
-
FARM 2019 Program Committee
2019年
-
ICFP 2019 Research Artifacts Evaluation Committee
2019年
-
Onward! 2019 Program Committee
2019年
-
FSCD 2017 External Reviewer
2017年5月
論文
-
コレオグラフィックプログラミングのエフェクトおよびコエフェクトを用いた形式化 査読
松山 皓星, 叢 悠悠, 増原 英彦
情報処理学会論文誌 プログラミング 2026年5月
-
Students' Understanding of (Delimited) Continuations 査読
Filip Strömbäck, Youyou Cong, Kazuki Ikemori
Proceedings of the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026) 2026年2月
-
Continuations for All: Language Design Considerations for Accessible Continuations 査読
Youyou Cong, Filip Strömbäck, Kazuki Ikemori
Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025年10月
-
An Interactive Learning Environment for Program Design 査読
Kouta Kumamoto, Youyou Cong, Hidehiko Masuhara
Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025年10月
-
Daisy: An Exercise Environment for Learning Information Modeling 査読
Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara
Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025年10月
-
Continuations in Music 査読
Youyou Cong
Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday 2025年10月
-
Formalizing an Object-Oriented Programming Language with Delimited Control
Akane Taniguchi, Youyou Cong, Hidehiko Masuhara
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月
-
A Mostly CPS, Partly ANF Translation of Dependent Types
Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月
-
Daisy: A Block-Based Environment for Learning Data Modeling
Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) 2024年8月
-
コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール 査読
角田和広, 増原英彦, 叢悠悠
第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2024年3月
-
An Intrinsically Typed Compiler for Algebraic Effect Handlers 査読
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
2024年1月
-
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators 査読
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023) 2023年10月
-
Weighted Refinement Types for Counterpoint Composition 査読
Youyou Cong
Proceedings of the 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023) 2023年9月
-
Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages 査読
Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong
Proceedings of the 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023) 2023年7月
-
Program State Visualizer with User-Defined Representation Conversion 査読
Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong
First Workshop on Future Debugging Techniques (DEBT 2023) 2023年7月
-
エフェクトハンドラを持つ言語に対する依存型付きコンパイラ 査読
津山勝輝, 叢悠悠, 増原英彦
第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2023年3月
-
Towards a Reflection for Effect Handlers
Youyou Cong, Kenichi Asai
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2023) 2023年1月
-
Mio: a Block-Based Environment for Program Design 査読
Junya Nose, Youyou Cong, Hidehiko Masuhara
SPLASH-E 2022 2022年12月
-
First-Class Names for Effect Handlers 査読
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
Proceedings of the ACM on Programming Languages 6 ( OOPSLA2 ) 2022年12月
-
In Search of a Type Theory for Fuzzy Properties 査読
Youyou Cong
Proceedings of the International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19) 2022年11月
-
A Functional Abstraction of Typed Invocation Contexts 査読
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
Logical Methods in Computer Science (LMCS) 18 ( 3 ) 1 - 31 2022年9月
-
How many mutex bugs can a simple analysis find in Go programs?
Fumi Takeuchi, Hidehiko Masuhara, Youyou Cong, Keisuke Ishibashi
2022年9月
-
Interactive Visual Debugger with a Customizable View
Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong
2022年9月
-
Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation
日本ソフトウェア科学会第39回大会 2022年8月
-
Sound and Complete Type Inference for Closed Effect Rows.
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Trends in Functional Programming - 23rd International Symposium(TFP) 144 - 168 2022年
-
Towards Efficient Adjustment of Effect Rows.
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Trends in Functional Programming - 23rd International Symposium(TFP) 169 - 191 2022年
-
Threaded Code Generation with a Meta-Tracing JIT Compiler.
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
Journal of Object Technology 21 ( 2 ) 2 - 11 2022年
-
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong
Journal of Information Processing 30 451 - 463 2022年
-
A Functional Abstraction of Typed Invocation Contexts 査読
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
Proceedings of the 6th International Conference on Formal Structure for Computation and Deduction 2021年7月
-
Threaded Code Generation with a Meta-tracing JIT Compiler.
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
CoRR abs/2106.12496 2021年
-
Sanajeh: A DSL for GPGPU programming with Python objects
Jizhe Chenxin, Hidehiko Masuhara, Matthias Springer, Youyou Cong
日本ソフトウェア科学会第37回大会 2020年9月
-
Improving students’ understanding of mathematical induction via programming
Youyou Cong, Akiko Mito
お茶の水女子大学自然科学報告 70 ( 1-2 ) 1 - 30 2020年2月
-
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).
Junya Nose, Youyou Cong, Hidehiko Masuhara
Proceedings of the 2020 Scheme and Functional Programming Workshop(Scheme@ICFP) 78 - 78 2020年
-
On Teaching Type Systems as Macros (Lightning Talk).
Youyou Cong, Naoya Furudono, Hidehiko Masuhara
Proceedings of the 2020 Scheme and Functional Programming Workshop(Scheme@ICFP) 77 - 77 2020年
-
Compiling with Continuations, or without? Whatever. 査読
Proceedings of the ACM on Programming Languages 3 ( ICFP ) 2019年9月
-
Counterpoint by Construction 査読
Proceedings of the Proceedings of the 7th ACM SIGPLAN Workshop on Functional Art, Music, Modeling & Design (FARM 2019) 2019年9月
-
A Stack Hybridization for Meta-hybrid Just-in-time Compilation
伊澤 侑祐, 増原 英彦, 青谷 知幸, 叢 悠悠
日本ソフトウェア科学会第36回大会論文集 2019年8月
-
限定継続命令をもつ依存型付き言語の設計 査読
叢悠悠, 浅井健一
コンピュータ ソフトウェア 36 ( 2 ) 47 - 60 2019年4月
-
Abstracting Control with Dependent Types
叢悠悠
Ochanomizu University 2019年3月
-
動的変数をもつ依存型付き言語の設計 査読
叢悠悠, 浅井健一
第21回プログラミングおよびプログラミング言語ワークショップ論文集 2019年3月
-
Stepping OCaml 査読
Tsukino Furukawa, Youyou Cong, Kenichi Asai
Proceedings of the 7th International Workshop on Trends in Functional Programming (TFPIE 2018) 17 - 34 2019年
-
A dependently typed language with delimited control operators
Youyou Cong, Kenichi Asai
Computer Software 36 ( 2 ) 47 - 60 2019年
-
Handling delimited continuations with dependent types. 査読
Youyou Cong, Kenichi Asai
PACMPL 2 ( ICFP ) 69:1-69:31 2018年9月
-
限定継続命令をもつ依存型付き言語の設計 査読
叢悠悠, 浅井健一
第20回プログラミングおよびプログラミング言語ワークショップ論文集 2018年3月
-
Type-preserving CPS translation of Σ and Π types is not not possible. 査読
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
PACMPL 2 ( POPL ) 22:1-22:33 2018年1月
-
Agda による依存型付きラムダ計算に対する CPS 変換の実装 査読
叢悠悠, 浅井健一
第19回プログラミングおよびプログラミング言語ワークショップ論文集 2017年3月
-
Implementing a stepper using delimited continuations. 査読
Youyou Cong, Kenichi Asai
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 42 - 54 2016年
-
Focus, Inverse Scope, and Delimited Continuations 査読
Proceedings of the 12th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 12) 137 - 148 2015年11月
-
限定継続を用いた stepper の実装に向けて 査読
叢悠悠, 浅井健一, 戸次大介
第17回プログラミングおよびプログラミング言語ワークショップ論文集 2015年3月
-
Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations 査読
Proceedings of ESSLLI 2014 Student Session 177 - 189 2014年8月
-
叢悠悠, 浅井健一, 戸次大介
人工知能学会第28回全国大会 28 1 - 4 2014年5月
-
限定継続を用いた inverse scope の分析と実装
叢悠悠, 浅井健一, 戸次大介
言語処理学会第20回年次大会 2014年3月
-
限定継続を用いたフォーカスの分析と実装 査読
叢悠悠, 浅井健一, 戸次大介
第16回プログラミングおよびプログラミング言語ワークショップ論文集 2014年3月
-
限定継続を用いた only のフォーカスの分析と実装に向けて
叢悠悠, 浅井健一, 戸次大介
情報処理学会 第214回自然言語処理研究会 2013 ( 19 ) 1 - 6 2013年11月
-
複合機能表現「という」の分類にみる MCN コーパスの方法論検証
叢悠悠, 田中リベカ, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴, 川添愛, 戸次大介
第3回コーパス日本語学ワークショップ論文集 2013年2月
講演・口頭発表等
-
Types as a Specification Language for Creativity
Youyou Cong
The 6th International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2025) 2025年10月
-
Towards an Educational Fragment of Scala
Youyou Cong
The Scala Workshop 2025 2025年10月
-
Continuations from Three Angles 招待
Youyou Cong
17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024年5月
-
One-Pass CPS Translation of Dependent Types
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024) 2024年1月
-
学習者自身が物理現象をモデル化するシミュレータ SimSym の提案
木内康介, 増原英彦, 叢悠悠
日本ソフトウェア科学会第40回大会 2023年9月
-
プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
酒井 大我, 増原 英彦, 叢 悠悠
日本ソフトウェア科学会第40回大会 2023年9月
-
Designing a Language for Learning Continuations
Youyou Cong
The Scheme and Functional Programming Workshop (Scheme 2023) 2023年9月
-
Monadic Semantics of Bidirectional Effects
Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, Jonathan Immanuel Brachthäuser
The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022) 2022年9月
-
Towards Dependently-Typed Control Effects
Youyou Cong, Kenichi Asai
The 7th Workshop on Type-Driven Development (TyDe 2022) 2022年9月
-
Composing Music from Types 招待
Youyou Cong
TYPES 2022 2022年6月
-
Type-Guided Music Composition 招待
Youyou Cong
YOW! Lambda Jam 2022 2022年5月
-
Towards Efficient Adjustment of Effect Rows
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月
-
Understanding Algebraic Effect Handlers via Delimited Control Operators
Youyou Cong, Kenichi Asai
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月
-
Sound and Complete Type Inference for Closed Effect Rows
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月
-
Towards Type-Based Music Composition
Youyou Cong
11th International Workshop on Trends in Functional Programming in Education (TFPIE 2022) 2022年3月
-
デザインレシピに基づいた初学者のための学習環境
能勢純弥, 叢 悠悠, 増原英彦
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 2022年3月
-
型を利用した音楽自動生成に向けて
叢 悠悠
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 2022年3月
-
エラー生成クイズの提案と実施様子の観察結果の紹介
角田和広, 叢悠悠, 増原英彦
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 2022年3月
-
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
First Workshop on the Implementation of Type Systems (WITS 2022) 2022年1月
-
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
WITS 2022 2022年1月
-
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language,
日本ソフトウェア科学会第38回大会 2021年9月
-
WebAssemblyを対象にしたSchemeコンパイラの作成に向けて,
荒井滉平, 増原英彦, 叢悠悠
日本ソフトウェア科学会第38回大会 2021年9月
-
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,
津山勝輝, 叢悠悠, 増原英彦
日本ソフトウェア科学会第38回大会 2021年9月
-
エラーを起こさせる初学者向けプログラミングドリルの提案,
角田和広, 増原英彦, 叢 悠悠
日本ソフトウェア科学会第38回大会 2021年9月
-
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach
Junya Nose, Youyou Cong, Hidehiko Masuhara
10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021) 2021年2月
-
A Functional Abstraction of Typed Trails
Kenichi Asai, Youyou Cong, Chiaki Ishio
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '21) 2021年1月
-
Toward a Multi-Language and Multi-Environment Framework for Live Programming
Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa, Youyou Cong
LIVE 2020 2020年11月
-
Designing a Programming Environment Based on the Program Design Recipe
Junya Nose, Youyou Cong, Hidehiko Masuhara
The Scheme and Functional Programming Workshop (Scheme '20) 2020年8月
-
On Teaching Type Systems as Macros
Youyou Cong, Naoya Furudono, Hidehiko Masuhara
The Scheme and Functional Programming Workshop (Scheme '20) 2020年8月
-
Implementing a stepper using delimited continuations 国際会議
Youyou Cong, Kenichi Asai
The 27th New England Programming Languages and Systems Symposium (NEPLS 27) 2015年6月
-
動的束縛を用いた stepper の実装
叢悠悠, 浅井健一
第18回プログラミングおよびプログラミング言語ワークショップ 2016年3月
-
高校生向け OCaml プログラミング体験授業の設計
叢悠悠
第18回プログラミングおよびプログラミング言語ワークショップ 2016年3月
-
A half-day class in OCaml for non-CS major students 国際会議
Youyou Cong, Akiko Mito
The 5th Symposium on Trends in Functional Programming in Education (TFPIE 2016) 2016年6月
-
DrScheme の World ティーチパックを使ったゲームの作成
叢悠悠, 浅井健一
第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
-
Focus and Delimited Continuations 国際会議
Youyou Cong, Kenichi Asai, Daisuke Bekki
Workshop on Continuations and Scope 2015年5月
-
Only Control Effects and Dependent Types 国際会議
Youyou Cong, William J. Bowman
The 6th Workshop on Higher-Order Programming with Effects (HOPE 2017) 2017年9月
-
Combining Control Operators and Dependent Types 国際会議
Youyou Cong
POPL 2018 Student Research Competition 2018年1月
-
Shifting and Resetting in the Calculus of Constructions 国際会議
Youyou Cong, Kenichi Asai
The 19th Symposium on Trends in Functional Programming (TFP 2018) 2018年6月
-
Realizing Baseline JIT Compiler with Trace Tailoring: Toward a Hybrid JIT Compiler in RPython
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
16th Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems 2021年7月
-
Stepping OCaml 国際会議
Tsukino Furukawa, Youyou Cong, Kenichi Asai
The 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018) 2018年6月
-
Induction by Recursion: A Proofs-as-Programs Approach to Math Education 国際会議
Youyou Cong, Akiko Mito
The 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018) 2018年6月
-
Contextual Polymorphism Meets Bidirectional Effects
Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan, Immanuel Brachthäuser
The 6th Workshop on Type-Driven Development (TyDe 2021) 2021年8月
-
First-class Names for Effect Handlers
Ningning Xie, Youyou Cong, Daan Leijen
The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021) 2021年8月
-
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe
Junya Nose, Youyou Cong, Hidehiko Masuhara
The Scheme and Functional Programming Workshop (Scheme '21) 2021年8月
-
限定継続を使った計算効果プログラミング 招待
叢 悠悠
PPL サマースクール 2022 2022年8月
受賞
-
東工大挑戦的研究賞
2023年6月 東京工業大学 曖昧な仕様を保証するための型付きプログラミング言語の開発
叢 悠悠
-
東工大教育賞
2023年2月 東京工業大学 落伍者を出さないプログラミング教育の実践
脇田建, 叢悠悠
-
ポスター賞（一般の部）
2022年3月 第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 型を利用した音楽自動生成に向けて
叢 悠悠
-
ポスター賞（一般の部）
2021年3月 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） Agda による対位法の形式化
叢 悠悠
-
POPL 2018 Student Research Competition, First Place in the Graduate Category
2018年1月 ACM Combining Control Operators and Dependent Types
叢悠悠
-
PPL 2014 発表賞
2014年3月 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014) 限定継続を用いたフォーカスの分析と実装
叢悠悠
-
平成25年度お茶の水女子大学学生表彰
2013年12月 お茶の水女子大学
叢悠悠
-
平成24年度お茶の水女子大学理数学生応援プロジェクト優秀研究賞
2013年4月 お茶の水女子大学
叢悠悠, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴
-
平成24年度お茶の水女子大学学部生成績優秀者奨学金
2012年5月 お茶の水女子大学
叢悠悠
共同研究・競争的資金等の研究課題
-
高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて
研究課題/領域番号：25K14986 2025年4月 - 2029年3月
日本学術振興会 科学研究費助成事業 基盤研究(C)
浅井 健一, 叢 悠悠
配分額：4680000円 （ 直接経費：3600000円 、 間接経費：1080000円 ）
-
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
研究課題/領域番号：23K28058 2024年4月 - 2028年3月
日本学術振興会 科学研究費助成事業 基盤研究(B)
増原 英彦, 叢 悠悠, 田邉 裕大, 伊澤 侑祐
配分額：14300000円 （ 直接経費：11000000円 、 間接経費：3300000円 ）
-
型理論に基づく音楽自動生成ツールの開発
2021年10月 - 2024年3月
国立研究開発法人科学技術振興機構 ACT-X
叢 悠悠
担当区分：研究代表者
-
信頼性と表現力を兼ね備えたプログラミング言語の実装
研究課題/領域番号：19K24339 2019年10月 - 2021年3月
日本学術振興会 科学研究費助成事業 研究活動スタート支援 研究活動スタート支援
叢 悠悠
配分額：1950000円 （ 直接経費：1500000円 、 間接経費：450000円 ）
2021年度は、(1) 名前付きハンドラの理論と応用、(2) control/prompt 演算子の型システム、および (3) shift0/dollar 演算子と代数的効果・ハンドラの関係性について研究を行った。
名前付きハンドラは、同じエフェクトの異なるインスタンスを区別するための概念である。名前付きハンドラの形式化はいくつか存在するが、いずれも特殊な型判断や依存型を要求するため、既存の言語に導入することが困難である。本研究では、高階の多相型を用いて名前付きハンドラの型付けを行うことで、より単純な型システムを与えた。また、Microsoft Research の共同研究者および所属研究室の学生とともに、名前付きハンドラを用いたニューラルネットワークや型推論アルゴリズムの実装を行った。現在、これらの研究成果をまとめた論文を国際会議 OOPSLA 2022 に投稿中である。
control/prompt は浅いハンドラと類似した意味論を持つ制御演算子である。control/prompt の型システムは過去に与えられているが、捕捉した継続の呼び出し文脈に関する制約が課されている。本研究では、関数によって呼び出し文脈が表現された CPS 変換から型制約を導出することで、より一般的な型システムを与えた。この研究成果は国際会議 FSCD 2021 で発表しており、国際論文誌 LMCS の特集号への推薦論文として選ばれた。
shift0/dollar は深いハンドラと同等の表現力を持つ制御演算子である。本研究では、既存研究によって与えられた両者の間の相互変換を利用して、深いハンドラのプログラム変換と型システムを導出した。この研究成果は国際シンポジウム TFP 2022 で発表している。
担当経験のある科目（授業）
-
2020年5月 - 現在 機関名：東京工業大学
科目区分：学部専門科目 国名：日本国
この授業は「プログラミング講義」「プログラミング演習」「計算機科学講義」から成る。
プログラミング講義・演習では、デザインレシピに沿って問題を分析し、プログラムを設計することを学ぶ。
計算機科学講義では論理回路、機械語、低水準／高水準言語、計算複雑さ・計算可能性などを俯瞰する。さらに科学技術者倫理についても議論する。
この授業は数理・計算科学系でのすべての勉強・研究の出発点となるものである。 -
2019年10月 - 現在 機関名：東京工業大学
科目区分：学部専門科目 国名：日本国
この授業では、プログラムを完成させることに加え、計算機システムの機能を分析した上で、適切なステップを踏みつつ段階的にプログラムを完成させる過程を重視します。システムの分析し、その性質を記述し、技術的な問題点を明らかにしつつ、適切な実装手段を選択する能力を培います。