Aoi Iimura

Keywords for Research

 ・   形式意味論 /    Formal Semantics

 ・   依存型意味論    /    Dependent Type Semantics

 ・   様相論理     /    Modal Logic

Publications

 ・   NLP2024   [paper]

飯村葵,  戸次大介.  依存型意味論によるモダリティと照応の統一的分析に向けて. 言語処理学会第30回年次大会発表論文集, pp.408-413. 2024.

 ・   NLP2025   [paper]

飯村葵,  水野輝之,  戸次大介.  Modal DTSによる様相従属化の分析. 言語処理学会第31回年次大会発表論文集, pp.464-469. 2025.

 ・   IWCS2025  Workshop   [paper]

Aoi Iimura,  Teruyuki Mizuno,  Daisuke Bekki.  Modal Subordination in Dependent Type Semantics. In Proceedings of the Workshop on the Bridges and Gaps between Formal and Computational Linguistics, pp.15-19. 2025.

Qualifications

 ・   2023 / 09 基本情報技術者試験  合格

 ・   2024 / 03 中学校教諭一種免許状（数学）

 ・   2024 / 03 高等学校教諭一種免許状（数学 / 情報）

 ・   2025 / 07 応用情報技術者試験  合格

Internship

 ・   2024 / 08    5days   株式会社野村総合研究所

 ・   2024 / 08    5days   日本アイ・ビー・エム株式会社

 ・   2024 / 09    10days   旭化成株式会社