About me

I am a first-year master's student in Information Science,
at Ochanomizu University, Bekki lab.

Field of Study

Natural Language Processing, Type Theory

Contact

g1920504 [at] is.ocha.ac.jp

Activity

Manager of TEAra, an on-campus programming community

Manager and founder of O-tips, an on-campus competitive programming circle

Experience

  • 2020.05

    • STEP2020 education program @ Google Japan

    Algorithm / C++

  • 2020.08

    • HackU2020 vol.1

    iOS application for matching thesis questionnaires with login function / Firebase, Swift

  • 2020.11

    • JPhacks2020

    Web application to discover vocabulary / Python, Janome, PythonAnywhere

  • 2021.02-03

    • 3week internship program @ Cyber Agent

    API development as server-side development for games / Go

  • 2021.03

    • HackU2020 vol.5

    iOS application for matching travel plans / Firebase, Firebase Authentication, Swift, Figma

  • 2022.05-07

    • Build@Mercari2022 @ Mercari

    Automated question-answering chatbot to help both buyers and sellers / Go

  • 2022.08-

    • Software Development Internship @ Advance Soft

    Software applications for fluid analysis / Java

Publications

    • 2023.03

      • NLP2023

      [C9-3] Neural DTSに対する型検査アルゴリズムの実装の試み

      飯沼瑞稀、高橋 優太、田上 青空、戸次 大介 (お茶の水女子大学)

    • 2023.06 (in future)

      • JSAI2023

      [2L5-GS-3-04] 型検査アルゴリズムを用いた Neural DTS のための推論手続きの試み

      飯沼瑞稀、高橋 優太、田上 青空、戸次 大介 (お茶の水女子大学)

Skills

Programming Language

  • C++
  • Java
  • Python
  • Haskell
  • React

Other Skill

  • AWS (DynamoDB, S3, Lambda)
  • Office Software (PowerPoint, Word, Excel)
  • Adobe Software (PhotoShop, Illustrator, PremierPro)

githubID: imiinz1331
Twitter : @miju142857