Keywords for Research
・ 形式意味論 / Formal Semantics
・ 依存型意味論 / Dependent Type Semantics
・ 様相論理 / Modal Logic
Qualifications
・ 2023 / 09 基本情報技術者試験 合格
・ 2024 / 03 中学校教諭一種免許状(数学)
・ 2024 / 03 高等学校教諭一種免許状(数学 / 情報)
・ 2025 / 07 応用情報技術者試験 合格
Internship
・ 2024 / 08 5days 株式会社野村総合研究所
・ 2024 / 08 5days 日本アイ・ビー・エム株式会社
・ 2024 / 09 10days 旭化成株式会社
Education
・ 2024 / 03 お茶の水女子大学 理学部 情報科学科
Bachelor's degree of Science from Ochanomizu University, Tokyo, JAPAN