研究者
J-GLOBAL ID：201901007129750359   更新日: 2024年04月07日

叢 悠悠

ソウ ユウユウ | Cong Youyou
所属機関・部署：
東京工業大学 情報理工学院

東京工業大学 情報理工学院 について


職名： 助教
研究分野 (1件)： ソフトウェア
研究キーワード (1件)： 型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論, 音楽情報処理
競争的資金等の研究課題 (3件)：
  • 2023 - 2028 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
  • 2021 - 2024 型理論に基づく音楽自動生成ツールの開発
  • 2019 - 2021 信頼性と表現力を兼ね備えたプログラミング言語の実装
論文 (39件)：
  • 角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール. 第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2023). 2024
  • Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers. 2024
  • Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara. Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). 2023
  • Youyou Cong. Weighted Refinement Types for Counterpoint Composition. Proceedings of the 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023). 2023
  • Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong. Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages. Proceedings of the 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023). 2023
もっと見る
講演・口頭発表等 (43件)：
  • Continuations from Three Angles
    (17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024)
  • One-Pass CPS Translation of Dependent Types
    (ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024) 2024)
  • 学習者自身が物理現象をモデル化するシミュレータ SimSym の提案
    (日本ソフトウェア科学会第40回大会 2023)
  • プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
    (日本ソフトウェア科学会第40回大会 2023)
  • Designing a Language for Learning Continuations
    (The Scheme and Functional Programming Workshop (Scheme 2023) 2023)
もっと見る
学歴 (3件)：
  • 2016 - 2019 お茶の水女子大学大学院 人間文化創成科学研究科 理学専攻 情報科学領域
  • 2014 - 2016 お茶の水女子大学大学院 人間文化創成科学研究科 理学専攻 情報科学コース
  • 2010 - 2014 お茶の水女子大学 理学部 情報科学科
学位 (1件)：
  • 博士(理学) (お茶の水女子大学)
経歴 (1件)：
  • 2019/04 - 現在 東京工業大学 情報理工学院 助教
委員歴 (61件)：
  • 2022 - 2026 ICFP Steering Committee (member-at-large)
  • 2024/02 - 2024/09 Scheme 2024 Program Co-Chair
  • 2021/04 - 2024/03 科学技術・学術政策研究所 NISTEP 専門調査員
  • 2022 - 2024 PRO 研究運営委員会 運営委員
  • 2022 - 2024 PRO 編集委員会 編集委員
全件表示
受賞 (9件)：
  • 2023/06 - 東京工業大学 東工大挑戦的研究賞 曖昧な仕様を保証するための型付きプログラミング言語の開発
  • 2023/02 - 東京工業大学 東工大教育賞 落伍者を出さないプログラミング教育の実践
  • 2022/03 - 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) ポスター賞(一般の部) 型を利用した音楽自動生成に向けて
  • 2021/03 - 第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021) ポスター賞(一般の部) Agda による対位法の形式化
  • 2018/01 - ACM POPL 2018 Student Research Competition, First Place in the Graduate Category Combining Control Operators and Dependent Types
全件表示
所属学会 (3件)：
情報処理学会 ,  日本ソフトウェア科学会 ,  ACM SIGPLAN
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM