@inproceedings{Mikami+2025_NALOMA,author={Mikami, Yosuke and Matsuoka, Daiki and Yanaka, Hitomi},title={Implementing a Logical Inference System for {J}apanese Comparatives},booktitle={Proceedings of the ESSLLI2025 Workshop Natural Logic Meets Machine Learning (NALOMA2025)},year={2025},month=aug,}
JK
Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses
Daiki Matsuoka, Daisuke Bekki, and Hitomi Yanaka
In Proceedings of the 31st Japanese/Korean Linguistics Conference, Nov 2024
@inproceedings{Matsuoka+2024_JK,author={Matsuoka, Daiki and Bekki, Daisuke and Yanaka, Hitomi},title={Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses},booktitle={Proceedings of the 31st Japanese/Korean Linguistics Conference},year={2024},month=nov,pages={#59},}
SuB
A propositions-as-types approach to the generalized crossover effect
Daiki Matsuoka, Daisuke Bekki, and Hitomi Yanaka
In Book of Abstracts of Sinn und Bedeutung 29, Sep 2024
@inproceedings{Matsuoka+2024_SuB,author={Matsuoka, Daiki and Bekki, Daisuke and Yanaka, Hitomi},title={A propositions-as-types approach to the generalized crossover effect},booktitle={Book of Abstracts of Sinn und Bedeutung 29},year={2024},month=sep,pages={74--76},}
LENLS
Appositive Projection as Implicit Context Extension in Dependent Type Semantics
Daiki Matsuoka, Daisuke Bekki, and Hitomi Yanaka
In Proceedings of Logic and Engineering of Natural Language Semantics 20 (LENLS20), Nov 2023
@inproceedings{Matsuoka+2023_LENLS,author={Matsuoka, Daiki and Bekki, Daisuke and Yanaka, Hitomi},title={Appositive Projection as Implicit Context Extension in Dependent Type Semantics},booktitle={Proceedings of Logic and Engineering of Natural Language Semantics 20 (LENLS20)},year={2023},month=nov,pages={82--87},}
NALOMA
Analyzing Relative Tense in Japanese with Dependent Type Semantics
Daiki Matsuoka, Daisuke Bekki, and Hitomi Yanaka
In Proceedings of the IWCS2023 Workshop Natural Logic Meets Machine Learning (NALOMA2023), Jun 2023
@inproceedings{Matsuoka+2023_NALOMA,author={Matsuoka, Daiki and Bekki, Daisuke and Yanaka, Hitomi},title={Analyzing Relative Tense in Japanese with Dependent Type Semantics},booktitle={Proceedings of the IWCS2023 Workshop Natural Logic Meets Machine Learning (NALOMA2023)},year={2023},month=jun,}
@inproceedings{Matsuoka+2025_ANLP_GCO-DTS,author={松岡大樹 and 戸次大介 and 谷中瞳},booktitle={言語処理学会第31回年次大会(NLP2025)},title={一般化交差効果に対する型理論的アプローチ},year={2025},month=mar,pages={B1-4},}
@inproceedings{Matsuoka+2025_ANLP_LLM-LFS,author={松岡大樹 and 盧捷 and 小林純一朗 and 川崎義史 and 大関洋平 and 谷中瞳},booktitle={言語処理学会第31回年次大会(NLP2025)},title={束縛変項照応を用いた大規模言語モデルのプロービング},year={2025},month=mar,pages={A5-2},}
@inproceedings{Kumon+2025_ANLP,author={三上燿輔 and 松岡大樹 and 谷中瞳},booktitle={言語処理学会第31回年次大会(NLP2025)},title={日本語比較表現のための論理推論システムの構築},year={2025},month=mar,pages={B2-4},}
@inproceedings{Matsuoka+2024_ANLP,author={松岡大樹 and 戸次大介 and 谷中瞳},booktitle={言語処理学会第30回年次大会(NLP2024)},title={依存型意味論における暗黙的な文脈拡張による慣習的推意の分析},year={2024},month=mar,pages={E3-3},}
@inproceedings{Kumon+2024_ANLP,author={九門涼真 and 松岡大樹 and 谷中瞳},booktitle={言語処理学会第30回年次大会(NLP2024)},title={ニューラル機械翻訳モデルにおける構成的汎化能力の評価},year={2024},month=mar,pages={B2-5},}
@inproceedings{Matsuoka+2023_JSAI,author={松岡大樹 and 戸次大介 and 谷中瞳},booktitle={2023年度人工知能学会全国大会（第37回）},title={依存型意味論を用いた日本語連体節のテンス解釈},year={2023},month=jun,pages={2E6-GS-6-02},}
Awards
The Dean's Award of the Graduate School of Information Science and Technology, The University of Tokyo (Master's Program)
Talks
An accommodation-based approach to conventional implicature
Semantics Research Group (Aug. 29, 2025)
Conventional implicatures in Dependent Type Semantics
A guest lecture at the ESSLLI2025 course "Composing Meaning via Dependent Types"
Type Theory as a Formal Basis of Natural Language Semantics
An invited talk at Yanaka Lab on May 21, 2025
Analyzing Relative Tense in Japanese with Dependent Type Semantics
The 2023 Tokyo Workshop on Theoretical and Computational Semantics