Location via proxy:   
[Report a bug]   [Manage cookies]                

GENGO.CC


HOME / CODE / LAB / PUBLICATIONS / LINKS

Profile

Masaya Taniguchi is a researcher position in Natural Language Understanding team at RIKEN Advanced Intelligence Project. 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 Techonology. Masaya Taniguchi's research primarily focuses on the formal semantics of natural language and programming languages. His keen interests lie in exploring and advancing the understanding of these domains.

Research Interests

  • Formal Semantics and formal grammar of natural language
  • Proof Theory of Substructural Logic
  • Theorem Proving (Isabelle/ HOL)

Academic work

  • Screener (Engineering), RIKEN Summer School, 2023.
  • Reviewer, Journal of Logic, Language and Linguistics
  • Secondary reviewer, The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation

Non-academic work

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

Teaching

I have an experience to teach the formal language theories and undergraduate level mathematics.

  • Teaching assistant for “Formal Language and Automata” (April 2019 — June 2019), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Mathematics for Information Scientist” (June 2019 — August 2019), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Formal Language and Automata” (April 2020 — June 2020), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Mathematics for Information Scientist” (June 2020 — August 2020), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Formal Language and Automata” (April 2021 — June 2021), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Algebra for Computer Scientist” (June 2021 — August 2021), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Mathematical Logic” (October 2021 — December 2021), Japan Advanced Institute of Science and Technology
  • Teaching assistant for “Formal Language and Automata” (April 2022 — June 2022), Japan Advanced Institute of Science and Technology

Degree

  • Bachelor of Science in Mathematics, Gakushuin University, 2018
  • Master of Science in Information Science, Japan Advanced Institute of Science and Technology, 2020

    I received my Master’s degree by writing a project research report, which is unpublished.

  • Doctor of Science in Information Science, Japan Advanced Institute of Science and Technology, 2023

Supervisor

  • Shinobu Hosono (Mathematics, Gakushuin University)
  • Satoshi Tojo (Information Science, Japan Advanced Institute of Science and Technology)

Social Contribution Activities

  • Volunteer education support at an orphanage Seirei Aiji En, Ishikawa, Japan, July. 2021 - February. 2023

Financial Support

  • JASSO Scholarship, Exemption from refund due to outstanding performance, April. 2018 — March. 2020
  • Japan Advanced Institute of Science and Technology Support Foundation Scholarship Grant (top 2 students in all first-year students in the master’s program, around 400 students), April. 2018 — March. 2019
  • Japan Advanced Institute of Science and Technology Scholarship M Program (top 25% of all second-year students in the master’s program, around 400 students), April. 2019 — March. 2020
  • Japan Advanced Institute of Science and Technology Doctoral Research Fellow (top 20% of all successful applicants for the doctoral program, around 100 students), April. 2020 — March. 2021
  • Japan Society for the Promotion of Science Research Fellow (Doctoral Course 2, DC2) (Linguistics, Humanities), Japan Society for the Promotion of Science, 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, Japan Advanced Institute of Science and Technology, April. 2020 — March. 2021

    The purpose of the Doctoral Research Fellowship is to admit outstanding and highly motivated students pursuing a doctoral degree and develop their ability to conduct research as young researchers by engaging in research activities. The DRF program is open for applications as follows.

  • Japan Society for the Promotion of Science Research Fellow (Doctoral Course 2, DC2) (Linguistics, Humanities), Japan Society for the Promotion of Science, April. 2021 — March. 2023

    Awarded to excellent young researchers, these fellowships offer the fellows an opportunity to focus on a freely chosen research topic based on their innovative ideas. Ultimately, the program works to foster and secure excellent researchers.

  • [Declined] Japan Society for the Promotion of Science Research Fellow (Postdoctoral Fellowship, PD) (Linguistics, Humanities), Japan Society for the Promotion of Science, April. 2023
  • RIKEN Special Postdoctoral Research Fellow (Natural Language Understanding Unit), RIKEN, April. 2023

    There is a pressing need to make the most of creative and basic research potential if we are to pioneer new frontiers in science and technology on a global scale. And for this our greatest hope lies with the work of talented and free-thinking young scientists. RIKEN's program for Special Postdoctoral Researchers (SPDR) was instituted to provide young and creative scientists the opportunity to be involved in autonomous and independent research that is in line with RIKEN objectives and research fields.

Research Grant and Research Budget

Awards

  • Tokyo Industrial Education Encouragement Award, TITECH HST, Tokyo, 2014
  • Outstanding Performance Award, Japan Advanced Institute of Science and Technology, 2023

Physical Skills

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

Extra Skills

  • 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

Social Media

Software products

I am an OSS developer joining many projects such as the interpreter of programming language, utilities for daily work, and some libraries. You can see these works on GitHub.

Acknowledgement

My OSS is supported by Gitpod and GitHub.

Gitpod provides Professional Open Source license to me. GitHub provides GitHub Copilot to me.