Organization
School of Computing Assistant Professor
Title
Assistant Professor
External link
cong youyou
Degree
-
博士（理学） ( お茶の水女子大学 )
Research Interests
-
type systems, continuations, computational effects, programming education, natural language semantics, music information processing
Research Areas
-
Informatics / Software / type systems, continuations, computational effects, programming education, natural language semantics, music information processing
Education
-
Ochanomizu University Graduate School of Humanities and Sciences Advanced Sciences
2016.4 - 2019.3
-
Ochanomizu University Graduate School of Humanities and Sciences Advanced Sciences
2014.4 - 2016.3
-
Ochanomizu University Faculty of Science Division of Information Sciences
2010.4 - 2014.3
Research History
-
Institute of Science Tokyo (Tokyo Institute of Technology until September 2024) School of Computing Assistant Professor
2019.4
Country：Japan
Professional Memberships
-
情報処理学会
2022.4
-
Japan Society for Software Science and Technology
2020.9
-
ACM SIGPLAN
2019.7
Committee Memberships
-
SIGCSE TS 2026 ACM Student Research Competition Program Committee
2026.10
Committee type：Academic society
-
ACM SRC 2026 Grand Finals Program Committee
2026.4
Committee type：Academic society
-
POPL 2027 Program Committee
2026.3
Committee type：Academic society
-
TFPIE 2027 Program Chair
2026.2
Committee type：Academic society
-
PADL 2026 Program Committee
2025.10
-
FLOPS 2026 Program Committee
2025.10
Committee type：Academic society
-
The <Programming> Conference Steering Committee
2025.9 - 2028.9
Committee type：Academic society
-
TFP 2025 Program Committee
2025.1
Committee type：Academic society
-
TFPIE 2025 Program Committee
2025.1
Committee type：Academic society
-
PPL 2022 Organizing Committee (Sponsorship)
2025
-
<Programming> 2026 Program Co-chair
2024.10
Committee type：Academic society
-
FSE 2025 Program Committee
2024.9
Committee type：Academic society
-
Journal of Computer Languages Editorial Board
2024.6
Committee type：Academic society
-
Scheme 2024 Program Co-Chair
2024.2 - 2024.9
Committee type：Academic society
-
TFPIE 2024 Program Committee
2024.1
Committee type：Academic society
-
OOPSLA 2024 Review Committee
2023.10
-
ICSE-SEET 2024 Program Committee
2023.10
-
PADL 2024 Program Committee
2023.10
Committee type：Academic society
-
PEPM 2024 Program Committee
2023.10
Committee type：Academic society
-
FARM 2023 Program Committee
2023.5
Committee type：Academic society
-
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
Committee type：Academic society
-
PEPM Steering Committee
2022.1
Committee type：Academic society
-
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 Organizing Committee (Local Arrangements)
2022
-
PPL 2022 Program Committee
2022
Committee type：Academic society
-
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 Organizing Committee (Local Arrangements Assistant)
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 Organizing Committee (Local Arrangements)
2020
-
PPL 2020 Program Committee
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
Papers
-
コレオグラフィックプログラミングのエフェクトおよびコエフェクトを用いた形式化 Reviewed
松山 皓星, 叢 悠悠, 増原 英彦
情報処理学会論文誌 プログラミング 2026.5
-
Students' Understanding of (Delimited) Continuations Reviewed
Filip Strömbäck, Youyou Cong, Kazuki Ikemori
Proceedings of the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026) 2026.2
-
Daisy: An Exercise Environment for Learning Information Modeling Reviewed
Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara
Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025.10
-
Continuations for All: Language Design Considerations for Accessible Continuations Reviewed
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 Reviewed
Kouta Kumamoto, Youyou Cong, Hidehiko Masuhara
Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025.10
-
Continuations in Music Reviewed
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
-
コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール Reviewed
角田和広, 増原英彦, 叢悠悠
第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2024.3
-
An Intrinsically Typed Compiler for Algebraic Effect Handlers Reviewed
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
2024.1
-
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong
First Workshop on Future Debugging Techniques (DEBT 2023) 2023.7
-
エフェクトハンドラを持つ言語に対する依存型付きコンパイラ Reviewed
津山勝輝, 叢悠悠, 増原英彦
第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 Reviewed
Junya Nose, Youyou Cong, Hidehiko Masuhara
SPLASH-E 2022 2022.12
-
First-Class Names for Effect Handlers Reviewed
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 Reviewed
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 Reviewed
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
Fathul Asrar Alfansuri, Hidehiko Masuhara, Luthfan Lubis, Youyou Cong
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 Reviewed
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
Proceedings of JSSST 2020 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
-
Counterpoint by Construction Reviewed
Youyou Cong, John Leo
Proceedings of the Proceedings of the 7th ACM SIGPLAN Workshop on Functional Art, Music, Modeling & Design (FARM 2019) 2019.9
-
Compiling with Continuations, or without? Whatever. Reviewed
Youyou Cong, Leo Osvald, Gregory Essertel, Tiark Romp
Proceedings of the ACM on Programming Languages 3 ( ICFP ) 2019.9
-
A Stack Hybridization for Meta-hybrid Just-in-time Compilation
Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani, Youyou Cong
Proceedings of JSSST 2019 2019.8
-
限定継続命令をもつ依存型付き言語の設計 Reviewed
叢悠悠, 浅井健一
コンピュータ ソフトウェア 36 ( 2 ) 47 - 60 2019.4
-
Abstracting Control with Dependent Types
Youyou Cong
Ochanomizu University 2019.3
-
動的変数をもつ依存型付き言語の設計 Reviewed
叢悠悠, 浅井健一
第21回プログラミングおよびプログラミング言語ワークショップ論文集 2019.3
-
Stepping OCaml Reviewed
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. Reviewed
Youyou Cong, Kenichi Asai
PACMPL 2 ( ICFP ) 69:1-69:31 2018.9
-
限定継続命令をもつ依存型付き言語の設計 Reviewed
叢悠悠, 浅井健一
第20回プログラミングおよびプログラミング言語ワークショップ論文集 2018.3
-
Type-preserving CPS translation of Σ and Π types is not not possible. Reviewed
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
PACMPL 2 ( POPL ) 22:1-22:33 2018.1
-
Agda による依存型付きラムダ計算に対する CPS 変換の実装 Reviewed
叢悠悠, 浅井健一
第19回プログラミングおよびプログラミング言語ワークショップ論文集 2017.3
-
Implementing a stepper using delimited continuations. Reviewed
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 Reviewed
Youyou Cong, Kenichi Asai, Daisuke Bekki
Proceedings of the 12th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 12) 137 - 148 2015.11
-
限定継続を用いた stepper の実装に向けて Reviewed
叢悠悠, 浅井健一, 戸次大介
第17回プログラミングおよびプログラミング言語ワークショップ論文集 2015.3
-
Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations Reviewed
Youyou Cong, Kenichi Asai, Daisuke Bekki
Proceedings of ESSLLI 2014 Student Session 177 - 189 2014.8
-
An Analysis of Focus and Inverse Scope by Delimited Continuations
28 1 - 4 2014.5
-
限定継続を用いた inverse scope の分析と実装
叢悠悠, 浅井健一, 戸次大介
言語処理学会第20回年次大会 2014.3
-
限定継続を用いたフォーカスの分析と実装 Reviewed
叢悠悠, 浅井健一, 戸次大介
第16回プログラミングおよびプログラミング言語ワークショップ論文集 2014.3
-
限定継続を用いた only のフォーカスの分析と実装に向けて
叢悠悠, 浅井健一, 戸次大介
情報処理学会 第214回自然言語処理研究会 2013 ( 19 ) 1 - 6 2013.11
-
複合機能表現「という」の分類にみる MCN コーパスの方法論検証
叢悠悠, 田中リベカ, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴, 川添愛, 戸次大介
第3回コーパス日本語学ワークショップ論文集 2013.2
Presentations
-
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 Invited
Youyou Cong
17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024.5
-
One-Pass CPS Translation of Dependent Types
Youyou Cong
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 Invited
Youyou Cong
TYPES 2022 2022.6
-
Type-Guided Music Composition Invited
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,
竹内史, 増原 英彦, Raffi Khatchadourian, 叢 悠悠
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 International conference
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 International conference
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 International conference
Youyou Cong, Kenichi Asai, Daisuke Bekki
Workshop on Continuations and Scope 2015.5
-
Only Control Effects and Dependent Types International conference
Youyou Cong, William J. Bowman
The 6th Workshop on Higher-Order Programming with Effects (HOPE 2017) 2017.9
-
Combining Control Operators and Dependent Types International conference
Youyou Cong
POPL 2018 Student Research Competition 2018.1
-
Shifting and Resetting in the Calculus of Constructions International conference
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 International conference
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 International conference
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
-
限定継続を使った計算効果プログラミング Invited
叢 悠悠
PPL サマースクール 2022 2022.8
Awards
-
東工大挑戦的研究賞
2023.6 東京工業大学 曖昧な仕様を保証するための型付きプログラミング言語の開発
叢 悠悠
-
Tokyo Tech Best Teacher Award
2023.2 Tokyo Institute of Technology Implementation of programming education that leaves no stragglers
Ken Wakita, Youyou Cong
-
ポスター賞（一般の部）
2022.3 第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 型を利用した音楽自動生成に向けて
叢 悠悠
-
Best Poster Award (Non-student)
2021.3 The 23rd Programming and Programming Languages Workshop (PPL 2021) A Formalization of Counterpoint in Agda
Youyou Cong
-
POPL 2018 Student Research Competition, First Place in the Graduate Category
2018.1 ACM Combining Control Operators and Dependent Types
Youyou Cong
-
PPL 2014 発表賞
2014.3 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014) 限定継続を用いたフォーカスの分析と実装
叢悠悠
-
平成25年度お茶の水女子大学学生表彰
2013.12 お茶の水女子大学
叢悠悠
-
平成24年度お茶の水女子大学理数学生応援プロジェクト優秀研究賞
2013.4 お茶の水女子大学
叢悠悠, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴
-
平成24年度お茶の水女子大学学部生成績優秀者奨学金
2012.5 お茶の水女子大学
叢悠悠
Research Projects
-
高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて
Grant number：25K14986 2025.4 - 2029.3
日本学術振興会 科学研究費助成事業 基盤研究(C)
浅井 健一, 叢 悠悠
Grant amount：\4680000 （ Direct Cost: \3600000 、 Indirect Cost：\1080000 ）
-
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
Grant number：23K28058 2024.4 - 2028.3
日本学術振興会 科学研究費助成事業 基盤研究(B)
増原 英彦, 叢 悠悠, 田邉 裕大, 伊澤 侑祐
Grant amount：\14300000 （ Direct Cost: \11000000 、 Indirect Cost：\3300000 ）
-
Developing a Music Generation Tool Based on Type Theory
2021.10 - 2024.3
Japan Science and Technology Agency ACT-X
Youyou Cong
Authorship：Principal investigator
-
Implementing a Reliable and Expressive Programming Language
Grant number：19K24339 2019.10 - 2021.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Research Activity start-up Grant-in-Aid for Research Activity start-up
Grant amount：\1950000 （ Direct Cost: \1500000 、 Indirect Cost：\450000 ）
Teaching Experience
-
Introduction to Computer Science
2020.5 Institution：Tokyo Institute of Technology
Level：Undergraduate (specialized) Country：Japan
This course consists of "Lecture and Exercise on Programming" and "Lecture on Computer Science".
Lecture/Exercise on Programming fosters skills to analyze problems and design programs based on program design recipes.
Lecture on Computer Science gives an overview of computer science, including logic circuit, machine code, low-level and high-level programming languages, and theory of computability and complexity. Ethical issues in science are also discussed.
This course is the starting point of all the studies in the Department of Mathematical and Computing Science. -
2019.10 Institution：Tokyo Institute of Technology
Level：Undergraduate (specialized) Country：Japan
This course emphasizes the process of completing a program, as well as the analysis of the functions of a computer system and the step-by-step completion of the program, taking the appropriate steps. Students will be able to analyze the system, describe its properties, identify technical problems, and select appropriate implementation methods.