Masaya Taniguchi

Masaya Taniguchi

JSPS Postdoctoral Research Fellow

RIKEN Advanced Intelligence Project (AIP)

Explainable AI Team, Center for Advanced Intelligence Project

Masaya Taniguchi is a JSPS Postdoctoral Research Fellow in the Explainable AI Team at RIKEN Advanced Intelligence Project (AIP). He earned his Bachelor of Science in Mathematics from Gakushuin University and his Master of Science and Ph.D. in Information Science from JAIST. His research focuses on formal semantics, categorial grammar, substructural logic, theorem proving, and the computational analysis of language.

researchmap J-GLOBAL Website Google Scholar GitHub Mastodon Sourcehut RubyGems PyPI NPM Clojars Deno

Research Interests

Research Areas

Discipline
Informatics
Field
Information theory
Keywords
Theorem Proving
Discipline
Natural sciences
Field
Basic mathematics
Keywords
Proof Theory
Discipline
Humanities & social sciences
Field
Linguistics
Keywords
Mathematical Linguistics

Curriculum Vitae

Supervisors

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

Education

  • Ph.D. (Information Science) — JAIST Apr 2020 - Mar 2023
    School of Advanced Science and Technology
  • M.S. (Information Science) — JAIST Apr 2018 - Mar 2020
    School of Advanced Science and Technology
  • B.S. (Mathematics) — Gakushuin University Apr 2014 - Mar 2018
    Faculty of Science

Experience

  • JSPS Postdoctoral Research Fellow at RIKEN Apr 2026 - Present
    Explainable AI Team, AIP
  • Visiting Reseacher at MBZUAI Jan 2026 - Jan 2026
    Department of NLP
  • Visiting Reseacher at Tohoku University Oct 2025 - Mar 2026
    Language AI Center
  • Special Post-Doctoral Researcher at RIKEN Apr 2023 - Mar 2026
    Natural Langauge Understanding Team, AIP
  • JSPS Doctoral Research Fellow DC2 at JAIST Apr 2021 - Mar 2023
  • Doctoral Research Fellow (DRF) at JAIST Apr 2020 - Mar 2021
  • Research Assistant at NII Aug 2016 - Sep 2021
  • Instructor at Gakushuin University Computer Centre Apr 2015 - Mar 2018
  • [Declined] JSPS Postdoctoral Fellowship (PD) at Japan Society for the Promotion of Science Apr 2023

Projects & Grants

  • 量子計算と機械学習の双方向発展を実現するシステム構築 JST (CREST) 研究参加者 (園田班) — 2025 – 2030
  • 形式言語に対する一意な文法の学習に関する研究 Tohoku University (TCPAI Grant) 研究協力者 — Sep 2025 - Mar 2026
  • Computational Analysis of Human Language Faculty: Bridging Grammaticality Judgments and Categorial Grammar JSPS (KAKENHI) — 4,810,000 JPY link Grant-in-Aid for Early-Career Scientists — Apr 2024 - Mar 2029
  • CCG/SMT: Higher Order Algorithm for Tree Structure RIKEN (Incentive Research) — 3,000,000 JPY Engineering — Apr 2024 - Mar 2026
  • Incremental Parsing and Theorem Proving RIKEN (Special Post-Doctoral Research Research Budget) — 3,500,000 JPY Engineering — Apr 2023 - Mar 2026
  • Polymorphic Combinatory Categorial Grammar for Incremental Parsing JSPS (Grants-in-Aid for Scientific Research Grant-in-Aid for JSPS Fellows) — 900,000 JPY link Grant-in-Aid for JSPS Fellows — Apr 2021 - Mar 2023

Teaching

  • Teaching Assistant at JAIST
    • Algebra for Computer Scientist Jun 2021 - Aug 2021
    • Mathematical Logic Oct 2021 - Dec 2021
    • Formal Language and Automata Apr 2019 - Jun 2019; Apr 2020 - Jun 2020; Apr 2021 - Jun 2021; Apr 2022 - Jun 2022
    • Mathematics for Information Scientist Jun 2019 - Aug 2019; Jun 2020 - Aug 2020

Awards

  • 東京都 産業教育奨励賞 2024
  • Outstanding Performance Award (Doctoral Course) — JAIST 2023
  • Tokyo Industrial Education Encouragement Award — TITECH HST, Tokyo 2014

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

Financial Support

  • JAIST Scholarship M Program — JAIST — top 25% of second-year master's students Apr 2019 - Mar 2020
  • JASSO Scholarship — Japan Student Services Organization — Exemption from refund due to outstanding performance Apr 2018 - Mar 2020
  • JAIST Support Foundation Scholarship Grant — JAIST Support Foundation — top 2 students in first-year master's program Apr 2018 - Mar 2019

Physical Skills

  • Kendo 3rd dan grade — Japanese Martial Arts
  • Issued by: All Japan Kendo Federation 2013

Social Contributions

  • Volunteer education support — Seirei Aiji En Orphanage, Ishikawa, Japan Jul 2021 - Feb 2023

Acknowledgements

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

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 Jul 2022