叢悠悠 (Youyou Cong) - マイポータル

基本情報

所属: 東京工業大学情報理工学院助教

学位: 博士（理学）(お茶の水女子大学)

J-GLOBAL ID: 201901007129750359
researchmap会員ID: B000356209

研究キーワード

型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論

研究分野

情報通信 / ソフトウェア / 型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論

経歴

2019年4月 - 現在

東京工業大学情報理工学院助教

学歴

2016年4月 - 2019年3月

お茶の水女子大学大学院人間文化創成科学研究科理学専攻情報科学領域
2014年4月 - 2016年3月

お茶の水女子大学大学院人間文化創成科学研究科理学専攻情報科学コース
2010年4月 - 2014年3月

お茶の水女子大学理学部情報科学科

委員歴

2021年 - 現在

NISTEP 専門調査員
2022年 - 2024年

PRO 研究運営委員会運営委員
2022年 - 2024年

PRO 編集委員会編集委員
2020年 - 2023年

Haskell Symposium Steering Committee (Member-At-Large)
2022年

SPLASH 2022 PLMW Co-organizer
2022年

APLAS 2022 Program Committee
2022年

SPLASH 2022 Hybridization Co-Chair
2022年

GPCE 2022 Program Committee
2022年

GPCE 2022 Publicity Chair
2022年

FARM 2022 Program Chair
2022年

FLOPS 2022 Program Committee
2022年

MSFP 2022 Program Committee
2022年

PX/22 Program Committee
2022年

PPL 2022 プログラム委員
2022年

PPL 2022 組織委員
2022年

PEPM 2022 Program Co-Chair
2022年

POPL 2022 Virtualization Co-Chair
2021年

SPLASH 2021 Hybridization Co-Chair
2021年

PPDP 2021 External Reviewer
2021年

IFL 2021 Program Committee

もっとみる

受賞

2021年3月

ポスター賞（一般の部） Agda による対位法の形式化第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）

叢悠悠
2018年1月

POPL 2018 Student Research Competition, First Place in the Graduate Category Combining Control Operators and Dependent Types ACM

叢悠悠
2014年3月

PPL 2014 発表賞限定継続を用いたフォーカスの分析と実装第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)

叢悠悠
2013年12月

平成25年度お茶の水女子大学学生表彰お茶の水女子大学

叢悠悠
2013年4月

平成24年度お茶の水女子大学理数学生応援プロジェクト優秀研究賞お茶の水女子大学

叢悠悠, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴
2012年5月

平成24年度お茶の水女子大学学部生成績優秀者奨学金お茶の水女子大学

叢悠悠
ポスター賞（一般の部）型を利用した音楽自動生成に向けて第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）

叢悠悠

論文

21

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月査読有り筆頭著者
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月筆頭著者
Counterpoint by Construction

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.

Proceedings of the ACM on Programming Languages 3(ICFP) 2019年9月査読有り筆頭著者
A Stack Hybridization for Meta-hybrid Just-in-time Compilation

伊澤侑祐, 増原英彦, 青谷知幸, 叢悠悠

日本ソフトウェア科学会第36回大会論文集 2019年8月
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年査読有り
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回全国大会 2014年5月筆頭著者
限定継続を用いたフォーカスの分析と実装

叢悠悠, 浅井健一, 戸次大介

第16回プログラミングおよびプログラミング言語ワークショップ論文集 2014年3月査読有り筆頭著者
限定継続を用いた inverse scope の分析と実装

叢悠悠, 浅井健一, 戸次大介

言語処理学会第20回年次大会 2014年3月筆頭著者

もっとみる

MISC

限定継続を用いたonlyのフォーカスの分析と実装に向けて

叢悠悠, 浅井健一, 戸次大介

研究報告自然言語処理（NL） 2013(19) 1-6 2013年11月7日

講演・口頭発表等

Composing Music from Types

Youyou Cong

TYPES 2022 2022年6月20日招待有り
Type-Guided Music Composition

Youyou Cong

YOW! Lambda Jam 2022 2022年5月17日招待有り
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月17日
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月17日
Understanding Algebraic Effect Handlers via Delimited Control Operators

Youyou Cong, Kenichi Asai

International Symposium on Trends in Functional Programming (TFP 2022) 2022年3月17日
Towards Type-Based Music Composition

Youyou Cong

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日
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara

WITS 2022 2022年1月22日
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language,

日本ソフトウェア科学会第38回大会 2021年9月2日
エラーを起こさせる初学者向けプログラミングドリルの提案,

角田和広, 増原英彦, 叢悠悠

日本ソフトウェア科学会第38回大会 2021年9月2日
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,

津山勝輝, 叢悠悠, 増原英彦

日本ソフトウェア科学会第38回大会 2021年9月2日
WebAssemblyを対象にしたSchemeコンパイラの作成に向けて,

荒井滉平, 増原英彦, 叢悠悠

日本ソフトウェア科学会第38回大会 2021年9月2日
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月27日
250

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月22日
40

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月22日
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月13日
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月16日
107

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月

もっとみる

担当経験のある科目(授業)

2020年5月 - 現在

計算機科学概論 (東京工業大学)
2019年10月 - 現在

プログラミング第一 (東京工業大学)

所属学協会

2022年4月 - 現在

情報処理学会
2020年9月 - 現在

日本ソフトウェア科学会
2019年7月 - 現在

ACM SIGPLAN

共同研究・競争的資金等の研究課題

型理論に基づく音楽自動生成ツールの開発

国立研究開発法人科学技術振興機構 ACT-X 2021年10月 - 2024年3月

叢悠悠
信頼性と表現力を兼ね備えたプログラミング言語の実装

日本学術振興会科学研究費助成事業研究活動スタート支援 2019年8月 - 2021年3月

叢悠悠