ML²

Publications

Publications

Domestic Conferences

  1. Invited Talks and Presentations. Masaya Taniguchi. , The Japanese Society for Artificial Intelligence 2025 , May 2025
  2. 範疇文法と自由コンパクト2圏. Masaya Taniguchi. , Computer Science and Category Theory (CSCAT) , Kumamoto, Japan , March 2025
  3. Incremental Parsing: Categorial Grammars and Lambek-style Calculi. Masaya Taniguchi. , Substructural Logic Workshop in Ishikawa , May, 2022
  4. Finiteness and Cofiniteness of Languages Recognized by Constant-Precision Floating-Point Transformer Decoders. Nao Negishi, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui. , The 31st Annual Meeting of the Association for Natural Language Processing (NLP 2025) , March 2025
  5. Controlling Language Models Using Curriculum Learning. Masaya Taniguchi. , AIP Retreat , Tokyo , Mar 2025
  6. 弱いランベック計算への招待: 論理と形式言語. Masaya Taniguchi. , Logic Winter School III , Feb 2025
  7. Dynamic Search Strategy in Chain-of-Thought Reasoning by Language Models. Yoichi Aoki, Keion Kudo, Shusaku Sone, Itsuki Kuribayashi, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui. , The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024) , Kobe , Mar 2024
  8. Feature Analysis of Generated Texts by LLMs Based on Detector Judgments. Toko Miura, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui. , The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024) , Kobe , Mar 2024
  9. J-UniMorph: Systematization of Semantic Classification in Japanese Morphology. Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi. , The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024) , Kobe , Mar 2024
  10. Internal Mechanisms of Autoregressive Language Models in Arithmetic Reasoning. Yoichi Aoki, Keion Kudo, Itsuki Kuribayashi, Masaya Taniguchi, Shusaku Sone, Keisuke Sakaguchi, Kentaro Inui. , The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024) , Kobe , Mar 2024
  11. Context-sensitive Extension of Lambek Calculus. Masaya Taniguchi. , MLG Workshop , Miyagi , Feb 2024
  12. Computational Interpretation of Categorial Grammar. Masaya Taniguchi. , Linguistics Fest , Online , Jan 2024
  13. Programming Support with Proof Assistants: Bridging Linguistics and Engineering. Masaya Taniguchi. , San'in Workshop , Tottori , Jan 2024
  14. Lambek Calculus and Regular Grammar. Masaya Taniguchi. , SLACS (Symbolic Logic and Computer Science) 2024 , Aug 2024
  15. Lambek Calculus and Context-Free / Linear / Regular Grammars. Masaya Taniguchi. , Computation, Language, and Logic Workshop , Onjuku , Sep 2024
  16. Operad for Lambek Calculus. Masaya Taniguchi. , CSCAT (Computer Science and Category Theory) , Mar 2024
  17. Categorial Grammar and Free Compact 2-Categories. Masaya Taniguchi. , CSCAT (Computer Science and Category Theory) , Mar 2024
  18. Substructural Logic Weaker than Product-free Lambek Calculus. Masaya Taniguchi. , Math Logic Youth Conference , Oct 2024
  19. Mathematical Logic Approach for Incremental Parsing. Masaya Taniguchi. , AIP Retreat , Tokyo , Mar 2024
  20. Mathematics in Context Sensitive Language. Masaya Taniguchi. , AIP Math Retreat , Kanagawa , Feb 2024
  21. Structural Connection between Directional Implications and Type-Raising. Masaya Taniguchi. , Proof Theory and Computation , Kyoto , Dec 2023
  22. Rapid Introduction to Lambek Calculus. Masaya Taniguchi. , Young Researchers Logic Meeting , Chiba , Dec 2023
  23. Computational Complexity of Combinatory Categorical Grammar. Masaya Taniguchi. , Math Logic Youth Conference , Tokyo , Dec 2023
  24. Subjunctive Markers in Intensional Logic. Masaya Taniguchi. , SLACS (Symbolic Logic and Computer Science) 2024 , Aug 2019
  25. Introduction to Montague Grammar. Masaya Taniguchi. , Math Logic Youth Conference , Nov 2018

Thesis

  1. Incremental Parsing in Combinatory Categorial Grammar. Masaya Taniguchi. , Japan Advanced Institute of Science and Technology , March 2023

Invited Talks and Presentations

  1. 続・弱いランベック計算: 有限言語のための範疇文法. Masaya Taniguchi. , 名古屋大学ロジックセミナー , Nagoya, Japan , April 2025
  2. Selling your Research: What We Did to Get People to Use Categorical Grammar. Masaya Taniguchi. , Discovery Evening , RIKEN, Saitama , Feb 2024
  3. Mathematics in Natural Language. Masaya Taniguchi. , Guest Lecture, Tohoku University , Dec 2024
  4. Lambek Calculus for Context-sensitive Language. Masaya Taniguchi. , Ookayama Mathematical Logic Seminar , Tokyo , Feb 2024
  5. Mathematics in Natural Language. Masaya Taniguchi. , Guest Lecture, Tohoku University , Dec 2023
  6. Decidability of Categorial Grammar. Masaya Taniguchi. , Matsuzaki Lab Seminar, Tokyo University of Science , Dec 2023
  7. Lambek Calculus from the View of Mathematical Linguistics. Masaya Taniguchi. , Hasegawa Lab Seminar, RIMS Kyoto University , Dec 2023
  8. Computability theory of Combinatory Categorial Grammar. Masaya Taniguchi. , The Young Researchers’ Meeting of Mathematical Logic , Tokyo , Sep 2023
  9. Bridging the Gap: Combinatorial Categorical Grammars and Proof Theory. Masaya Taniguchi. , Computational Logic Seminar, TU Wien , Jul 2023
  10. Proof Theoretic Linguistics. Masaya Taniguchi. , Sendai Logic Group Seminar, Tohoku University , May 2023
  11. CG for Ungrammatical Sentences: Proving the Unprovability. Masaya Taniguchi. , MiCS, Tohoku University , Miyagi, Japan , Oct 2022

Preprints

  1. FinchGPT: a Transformer based language model for birdsong analysis. Kosei Kobayashi, Kosuke Matsuzaki, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui, Kentaro Abe. , 2025 , https://arxiv.org/abs/2502.00344 , arXiv:2502.00344 , cs.CL
  2. Think-to-Talk or Talk-to-Think? When LLMs Come Up with an Answer in Multi-Step Reasoning. Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui. , 2024 , https://arxiv.org/abs/2412.01113 , arXiv:2412.01113 , cs.CL
  3. First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning. Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui. , 2024 , https://arxiv.org/abs/2406.16078 , arXiv:2406.16078 , cs.CL
  4. J-UniMorph: Japanese Morphological Annotation through the Universal Feature Schema. Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi. , 2024 , https://arxiv.org/abs/2402.14411 , arXiv:2402.14411 , cs.CL

International Conferences (Peer-reviewed)

  1. First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning. Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui. , Proceedings of EMNLP (Empirical Methods in Natural Language Processing) 2024 , 14255–14271 , Nov 2024
  2. J-UniMorph: Japanese Morphological Annotation through the Universal Feature Schema. Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi. , SIGMORPHON (Special Interest Group on Computational Morphology and Phonology) 2024 , 7–19 , Mexico City , Jun 2024
  3. Substructural Logics Weaker than Commutative Lambek Calculus. Masaya Taniguchi. , TACL (Topology, Algebra and Categories in Logic) 2024 , Barcelona , Jul 2024
  4. Left-branching Tree in CCG with D Combinator. Masaya Taniguchi, Satoshi Tojo. , LENLS (Logic and Engineering of Natural Language Semantics) 19 , Tokyo , Nov 2022
  5. Decidable Parsing Algorithm for Categorial Grammar with Type-raising. Masaya Taniguchi. , The Proof Theory Society Workshop , Utrecht , Nov 2022
  6. Losing a Head in Grammar Extraction. Masaya Taniguchi, Satoshi Tojo. , KSE (Knowledge and Systems Engineering Conference) 2022 , Nha Trang , Oct 2022
  7. Interactive CCG Parsing with Incremental Trees. Masaya Taniguchi, Satoshi Tojo, Koji Mineshima. , ESSLLI Workshop , Galway , Aug 2022
  8. Unprovability of Continuation-Passing Style Transformation in Lambek Calculus. Masaya Taniguchi. , ESSLLI Student Session , Galway , Aug 2022
  9. Incremental Derivations with Q Combinator in CCG. Masaya Taniguchi, Satoshi Tojo. , LENLS (Logic and Engineering of Natural Language Semantics) 18 , Online , Nov 2021
  10. Interactive Grammar Extraction from a Treebank. Masaya Taniguchi, Satoshi Tojo. , KICSS (International Conference on Knowledge, Information and Creativity Support Systems) 2021 , Bangkok , Nov 2021
  11. Interactive Grammar Extraction from a Treebank. Masaya Taniguchi, Satoshi Tojo. , KICSS (International Conference on Knowledge, Information and Creativity Support Systems) 2021 , Bangkok , Nov 2021
  12. Generic Framework to Uncross Dependency. Masaya Taniguchi, Satoshi Tojo. , AROB (International Symposium on Artificial Life and Robotics) 2020 , Beppu , Jan 2020
  13. Finding Grammar in Music by Evolutionary Linguistics. Hiroki Sudo, Masaya Taniguchi, Satoshi Tojo. , KICSS (International Conference on Knowledge, Information and Creativity Support Systems) 2018 , Phatthaya , Nov 2018

Journal Articles

  1. Interactive Grammar Extraction from a TreeBank. Masaya Taniguchi, Satoshi Tojo. , Journal of Intelligent Informatics and Smart Technology , Vol.8 , 2022 , (Peer-reviewed)