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

叢 悠悠

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

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


職名： 助教
研究分野 (1件)： ソフトウェア
研究キーワード (1件)： 型システム, 継続, 計算効果, プログラミング教育, 自然言語意味論, 音楽情報処理
競争的資金等の研究課題 (4件)：
  • 2023 - 2028 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
  • 2024 - 2028 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
  • 2021 - 2024 型理論に基づく音楽自動生成ツールの開発
  • 2019 - 2021 信頼性と表現力を兼ね備えたプログラミング言語の実装
論文 (43件)：
  • Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an Object-Oriented Programming Language with Delimited Control. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). 2024
  • Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. Daisy: A Block-Based Environment for Learning Data Modeling. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). 2024
  • Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). 2024
  • 角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール. 第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2023). 2024
  • Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers. 2024
もっと見る
講演・口頭発表等 (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 - 現在 東京科学大学(2024年9月まで東京工業大学) 情報理工学院 助教
委員歴 (68件)：
  • 2024/06 - 現在 Journal of Computer Languages Editorial Board
  • 2022 - 2026 ICFP Steering Committee (member-at-large)
  • 2025/01 - TFP 2025 Program Committee
  • 2025/01 - TFPIE 2025 Program Committee
  • 2025 - PPL 2025 組織委員(渉外担当)
全件表示
受賞 (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