Yui Tamura - 田村 優衣

About me

Current Position

お茶の水女子大学 人間文化創成科学研究科 理学専攻 情報科学コース 浅井研究室

Master's student in Information Sciences, Ochanomizu Univ, Asai Lab

Contact

tamura.yui [at] is.ocha.ac.jp

Research

Keywords for Research

  • 初心者プログラミング教育
  • 限定継続
  • reflection

Publications

The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP2026)
Yui Tamura, Kenichi Asai. A Typed and Unified Reflection for Shift and Shift0. [paper] [slide] [code]

第28回プログラミングおよびプログラミング言語ワークショップ (PPL2026)
田村 優衣, 浅井 健一. shift0/reset0 を含む型付き言語におけるCPS変換の正当性の証明. [paper] [slide] [code]

第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025)
田村 優衣, 浅井 健一. OCaml Blocklyチュートリアルの改良と専用記述言語. [paper] [slide]

Education

2025/04 - Present

お茶の水女子大学大学院 人間文化創成科学研究科 理学専攻 情報科学コース
Master of Science in Information Science, Ochanomizu University, Tokyo, Japan

2021/04 - 2025/03

お茶の水女子大学 理学部 情報科学科
Bachelor of Science, Ochanomizu University, Tokyo, Japan

Experience

Teaching Assistant

  • 関数型言語
  • リベラルアーツ演習Ⅱ ゲームプログラミング入門

Hackason