Ribeka Tanaka

contact address: 2-1-1 Otsuka, Bunkyo-ku, Tokyo 112-8610, Japan
e-mail: tanaka.ribeka at is.ocha.ac.jp


Current Position
PhD student in Department of Computer Science, Graduate School of Humanities and Sciences, Ochanomizu University.

Research Fellow of Japan Society for the Promotion of Science (JSPS Research Fellow DC1).

Committee member of Young Researcher Association for NLP studies (in Japan).

Areas of Specialization
computational linguistics; formal semantics; mathematical linguistics

Keywords for Research
generalized quantifiers, modality, dependent type theory, dependent type semantics

Education
Master of Science, Department of Computer Science, Graduate School of Humanities and Sciences, Ochanomizu University, Tokyo, March 2015.

Bachelor of Science, Department of Computer Science, Faculty of Science, Ochanomizu University, Tokyo, March 2013.

Publications 

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. Factivity and Presupposition in Dependent Type Semantics. To appear in Journal of Language Modeling.

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. On the interpretation of dependent plural anaphora in a dependently-typed setting. To appear in New Frontiers in Artificial Intelligence, Revised Selected Papers.

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. On the interpretation of dependent plural anaphora in a dependently-typed setting. In Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), Kanagawa, Japan, 2016.

Koji Mineshima, Ribekata Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, and Daisuke Bekki. Building compositional semantics and higher-order inference system for wide-coverage Japanese CCG parsers. In Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2016), pp. 2236--2242, Austin, United States, 2016.

Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. An inference problem set for evaluating semantic theories and semantic processing systems for Japanese. In Proceedings of the 12th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), pp. 67–-73, Kanagawa, Japan, 2015. 

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. Factivity and presupposition in Dependent Type Semantics. In Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI2015), Barcelona, Spain, 2015. 

Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. A framework for constructing multilingual inference problem. In Proceedings of 1st International Workshop on the Use of Multilingual Language Resources in Knowledge Representation Systems (MLKRep2015), Vienna, Austria, 2015. 

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. Resolving modal anaphora in Dependent Type Semantics. In Tsuyoshi Murata, Koji Mineshima, and Daisuke Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers, pp. 83–-98. Springer, 2015. 

Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. Resolving modal anaphora in Dependent Type Semantics. In Proceedings of the 11th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), pp. 43–-56, Tokyo, Japan, 2014. 

Ribeka Tanaka. A proof-theoretic approach to generalized quantifiers in dependent type semantics. In Proceedings of the ESSLLI 2014 Student Session, pp. 140–-151, Tu ̈bingen, Germany, 2014. 

Ribeka Tanaka, Yuki Nakano, and Daisuke Bekki. Constructive generalized quantifiers revisited. In Yukiko Nakano, Ken Satoh, and Daisuke Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27- 28, 2013, Revised Selected Papers, pp. 115–-124. Springer, 2014. 

Ribeka Tanaka, Yuki Nakano, and Daisuke Bekki. Constructive generalized quantifiers revisited. In Proceedings of the 10th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp. 69–- 78, Kanagawa, Japan, 2013. 

In Japanese

Talks

Interpretation of dependent pronouns and dependent types. New Landscapes in Theoretical Computational Linguistics, Ohio State University, United States, October 2016.

Generalized quantifiers in Dependent Type Semantics. Guest lecture in the course "An Introduction to Dependent Type Semantics" at 28th European Summer School in Logic, Language, and Information (ESSLLI2016), Bolzano-Bozen, Italy, Ausugst 2016.

Generalized quantifiers in Dependent Type Semantics. NYU Semantics Group, New York University, United States, October 2015.

Generalized quantifiers in Dependent Type Semantics. Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches, Ohio State University, United States, October 2015.

A proof-theoretic approach to generalized quantifiers in Dependent Type Semantics. The Kyoto Summer School in Logic, Language and Information (KSSLLI), Kyoto University, August 2014.

Honors and Awards

  • Ochanomizu University Ouinkai Research Award, May 2013.
  • Ochanomizu University Best Achievement Award 2012, December 2012.
  • Ochanomizu University Science and Math Student Support Project Outstanding Student Award, April 2012.

Links




田中リベカLast updated: March 8, 2017