Profile

Name :

藤井 舞花 / Maika Fujii

Current Position :

お茶の水女子大学 人間文化創成科学研究科 理学専攻 博士前期課程 浅井研究室

Master's student in Department of Computer Science, Graduate School of Humanities and Science, Advanced Science, Ochanomizu University , Asai Laboratory .

Research Interests :

  • プログラミング言語 / Programming Languages

  • 限定継続演算子 / Delimited-Control Operators

Publications

Refereed

English

  • Maika Fujii, Kenichi Asai. Derivation of a Virtual Machine for Four Variants of Delimited-Control Operators. The 6th International Conference on Formal Structure for Computation and Deduction (FSCD 2021), online, July 2021. implementation .


Japanese

  • 藤井舞花, 浅井健一. control/prompt の仮想機械導出. 第23回プログラミングおよびプログラミング言語ワークショップ論文集 (The 23rd JSSST Workshop on Programming and Programming Languages, PPL 2021), online, March 2021. paper , implementation .

Education

  • April 2017 - March 2021 お茶の水女子大学 理学部 情報科学科 / Ochanomizu University