TANIGUCHI Masaya is a first-year Ph.D. student in Tojo laboratory, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology. His supervisor is Satoshi Tojo. He did a Bachelor of Science in Mathematics at Gakushuin University, and did a Master of Science in Information Science at Japan Advanced Institute of Science and Technology. His research interests lie in the area of formal semantics of natural language, and programming language.
- Continuations in natural language
- Montague semantics
- Formal semantics of natural language
- Programming language
- Hiroki Sudo, Masaya Taniguchi, and Satoshi Tojo. "Finding Grammar in Music by Evolutionary Linguistics."
- Song Yang, Masaya Taniguchi, Satoshi Tojo, “4-valued Logic for Agent Communication with Private / Public Information Passing”, Proceedings of the 11th International Conference on Agent and Artificial Intelligence，Vol. 1，pp. 54-61，2019
- Masaya Taniguchi, Introduction to Montague Grammar, Foundation of Mathematics Junior Seminar, Okinawa, Japan, November. 2018
- Masaya Taniguchi, Subjunctive Markers and Delimited Continuations, Symbolic Logic and Computer Science, Kyoto, Japan, November. 2019
- Masaya Taniguchi, Generic Framework to Uncross Dependency, 25th International Symposium on Artificial Life and Robotics, Beppu, Japan, January. 2020
- 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)
- Instructor, Gakushuin University Computer Centre, April. 2015 - March. 2018
- Research Assistant, National Institute of Informatics, August. 2016 - Now
- Doctoral Research Fellow, Japan Advanced Institute of Science and Technology, April. 2020 - March. 2021
- JSPS Research Fellow DC2 (Linguistics), Japan Society for the Promotion of Science, April. 2021 - March. 2023
I am a member of following organization on GitHub.
- Roswell (intended to be a launcher for a major lisp environment that just works)
- Textlint (The pluggable natural language linter for text and markdown. )
- ISLISP Dev(ISLISP Implementation)
- The Tectonic Project (A modernized, complete, embeddable TeX/LaTeX engine, powered by XeTeX and TeXLive)