Masaya Taniguchi is a researcher in the Natural Language Understanding (NLU) team at RIKEN Advanced Intelligence Project (AIP). Additionally, he is a member of TohokuNLP, led by Dr. Kentaro Inui, at Tohoku University. He earned his Bachelor of Science in Mathematics from Gakushuin University and his Master of Science and Ph.D. in Information Science from Japan Advanced Institute of Science and Technology (JAIST). His research primarily focuses on the formal semantics of natural language and programming languages.

Papers

• Google Scholar

Research Interests

• Formal Semantics and formal grammar of natural language
• Proof Theory of Logic
• Theorem Proving (Isabelle/HOL, ACL2)
• Learnability, Expressibility of Language Models

Academic Work

• Screener (Engineering), RIKEN Summer School, 2023, 2024
• Reviewer, Journal of Logic, Language and Linguistics (JoLLI)
• Secondary reviewer, The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC)
• Commented on 数学セミナー2021年2月号 “直観主義論理上の逆数学◎根元多佳子”

Non-academic Work

• “特集 Vimの基本大全 第3章 ファイル操作”, Software Design, July 2022

Teaching Experience

Teaching Assistant at JAIST

• Formal Language and Automata (April 2019 — June 2019)
• Mathematics for Information Scientist (June 2019 — August 2019)
• Formal Language and Automata (April 2020 — June 2020)
• Mathematics for Information Scientist (June 2020 — August 2020)
• Formal Language and Automata (April 2021 — June 2021)
• Algebra for Computer Scientist (June 2021 — August 2021)
• Mathematical Logic (October 2021 — December 2021)
• Formal Language and Automata (April 2022 — June 2022)

Education

Degrees

• Bachelor of Science in Mathematics, Gakushuin University, 2018
• Master of Science in Information Science, JAIST, 2020
  Received Master’s degree by writing an unpublished project research report
• Doctor of Science in Information Science, JAIST, 2023

Supervisors

• Shinobu Hosono (Mathematics, Gakushuin University)
• Satoshi Tojo (Information Science, JAIST)

Social Contribution

• Volunteer education support at Seirei Aiji En Orphanage, Ishikawa, Japan (July 2021 - February 2023)

Financial Support

• JASSO Scholarship (Exemption from refund due to outstanding performance), April 2018 — March 2020
• JAIST Support Foundation Scholarship Grant (top 2 students in first-year master’s program), April 2018 — March 2019
• JAIST Scholarship M Program (top 25% of second-year master’s students), April 2019 — March 2020
• JAIST Doctoral Research Fellow (top 20% of doctoral program applicants), April 2020 — March 2021
• Japan Society for the Promotion of Science (JSPS) Research Fellow (Doctoral Course 2, DC2), April 2021 — March 2023

Research Experience

• Instructor, Gakushuin University Computer Centre (April 2015 — March 2018)
• Research Assistant, National Institute of Informatics (August 2016 — September 2021)
• Doctoral Research Fellow, JAIST (April 2020 — March 2021)
• JSPS Research Fellow (Doctoral Course 2, DC2) (April 2021 — March 2023)
• [Declined] JSPS Postdoctoral Fellowship (PD)
• RIKEN Special Postdoctoral Research Fellow (Natural Language Understanding Unit), April 2023 — Present

Research Grants and Budgets

• Polymorphic Combinatory Categorial Grammar for Incremental Parsing

  • 800,000 JPY in 2021
  • 700,000 JPY in 2022
  • JSPS Fellows Grant, April 2021 — March 2023

• Research Budget for Special Postdoctoral Researcher

  • 1,500,000 JPY in 2022
  • RIKEN, April 2023 — March 2026

• Computational analysis of human language functions: bridging grammaticality judgments and categorical grammar

  • 3,700,000 JPY total
  • JSPS Grant, April 2024 — March 2029

• CCG/SMT: Higher Order Algorithm for Tree Structure

  • 3,000,000 JPY total
  • RIKEN Incentive Research Projects, April 2024 — March 2026

Awards

• Tokyo Industrial Education Encouragement Award, TITECH HST, Tokyo, 2014
• Outstanding Performance Award, JAIST, 2023

Physical Skills

• Japanese Martial Arts, Kendo 3rd dan grade, All Japan Kendo Federation, 2013

Professional Certifications

• Fundamental Information Technology Engineer Examination, Information-technology Promotion Agency, Japan, 2011
• Hazardous Materials Engineer’s License, Class B, Group 4, Japan Fire Engineering Qualification Center, 2013

Online Presence

• Mastodon: taniguchi
• GitHub: tani
• Sourcehut: tani
• RubyGems: taniguchi
• PyPI: taniguchi
• NPM: taniguchi
• Clojars: taniguchi
• Deno: tani

Acknowledgements

My open-source software is supported by:

• Gitpod - Professional Open Source license
• GitHub - GitHub Copilot