M. Taniguchi's Website

Profile

Masaya Taniguchi @ ESSLLI2022

Hi, I am TANIGUCHI Masaya 👋

Masaya Taniguchi graduated from Tokyo Tech High School of Science and Technology, and received B.S. from Gakushuin University, and M.S. from Japan Advanced Instituteof Science and Technology. He is a special postdoctoral researcher (SPDR) in Natural Language Understanding (NLU) team at Riken Advanced Intelligence Project (AIP). He is also a member of Natural Language Processing (NLP) group lead by Dr Kentaro Inui in Tohoku university. His research in-terests lie in the area of formal semantics of natural language, and programming language.

Research Interests

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

Supervisor

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

Journal

  • Masaya Taniguchi and Satoshi Tojo, “Interactive Grammar Extraction from a TreeBank”, JIIST vol. 8, 2022

International Conference (Refereed)

See also dblp.

  • Masaya Taniguchi and Satoshi Tojo, "Left-branching tree in CCG with D combinator", LENLS 19, 2022
  • Masaya Taniguchi, "Decidable Parsing Algorithm for Categorial Grammar with Type-raising", TPS 2022, 2022
  • Masaya Taniguchi and Satoshi Tojo, "Losing a Head in Grammar Extraction", KSE 2022, 2022
  • Masaya Taniguchi and Satoshi Tojo, and Koji Mineshima, "Interactive CCG Parsing with Incremental Trees", BriGaps ESSLLI, 2022
  • Masaya Taniguchi, "Unprovability of Continuation-Passing Style Transformation in Lambek Calculus", StuS ESSLLI, 2022
  • Masaya Taniguchi and Satoshi Tojo, "Incremental derivations with Q combinator in CCG", LENLS 18, 2021
  • Masaya Taniguchi and Satoshi Tojo, "Interactive Grammar Extraction from a Treebank", KICSS 2021, 2021
  • Masaya Taniguchi and Satoshi Tojo, "Generic Framework to Uncross Dependency", AROB 25, 2020
  • Hiroki Sudo, Masaya Taniguchi, and Satoshi Tojo, "Finding Grammar in Music by Evolutionary Linguistics", KICSS 2018, 2018
  • Song Yang, Masaya Taniguchi, Satoshi Tojo, "4-valued Logic for Agent Communication with Private / Public Information Passing", ICAART 11, 2018

Conference

  • Masaya Taniguchi, "ランベック計算LCと範疇文法CGの等価性", 第8回山陰基礎論と数学およびその周辺の研究集会, 2023
  • Masaya Taniguchi, "CG for Ungrammatical Sentences: Proving the Unprovability", MiCS, 2022, (invited)
  • Masaya Taniguchi, "Formalization of Categorial Grammar", TPP 2021, 2021
  • Masaya Taniguchi, "Continuations and Polymorphic Lambek Calculus", 論理・言語・代数系と計算機科学の周辺領域, 2021
  • Masaya Taniguchi, "CPS変換と多相範疇文法", SLACS 2020, 2020
  • Masaya Taniguchi, "Introduction to Montague Grammar", Foundation of Mathematics Junior Seminar, 2018
  • Masaya Taniguchi, "Subjunctive Markers and Delimited Continuations", SLACS 2019, 2019

And other local conferences.

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)
  • Teaching assistant for "Mathematics for Information Scientist" (June 2019 -- August 2019)
  • Teaching assistant for "Formal Language and Automata" (April 2020 -- June 2020)
  • Teaching assistant for "Mathematics for Information Scientist" (June 2020 -- August 2020)
  • Teaching assistant for "Formal Language and Automata" (April 2021 -- June 2021)
  • Teaching assistant for "Algebra for Computer Scientist" (June 2021 -- August 2021)
  • Teaching assistant for "Mathematical Logic" (October 2021 -- December 2021)
  • Teaching assistant for "Formal Language and Automata" (April 2022 -- June 2022)

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. This document is not published because it is not a master's thesis.
  • Doctor of Science in Information Science, Japan Advanced Institute of Science and Technology, 2023

Social Contribution Activities

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

Financial Support

  • JASSO Scholarship, Exemption from refund due to outstanding performance, April. 2018 -- March. 2020
  • JAIST Support Foundation Scholarship Grant (top 2 students in all first year students in the master's program, around 400 students), April. 2018 -- March. 2019
  • JAIST Scholarship M Program (top 25% of all second year students in the master's program, around 400 students), April. 2019 -- March. 2020
  • JAIST Doctoral Research Fellow (top 20% of all successful applicants for the doctoral program, around 100 students), April. 2020 -- March. 2021
  • JSPS 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, JAIST, 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 carry out research as a young researcher by engaging in research activities. The DRF program is open for applications as follows. Students who wish to apply should follow the procedures below.

  • JSPS 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 own innovative ideas. Ultimately, the program works to foster and secure excellent researchers.

  • [Declined] JSPS 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

Research Grant

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

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

Contact

  • E-mail: taniguchi (at) jaist.ac.jp, taniguchi (at) masaya.info

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 work is supported by Gitpod, GitHub, and GitHub suponsors.

Gitpod provides Professional Open Source license to me. GitHub provides GitHub Copilot to me. Note that I do not use this fantastic completion engine for my public code because of a concern about the OSS license compliance.