|
意味論研究会オーガナイザー（1994年〜現在）
7th European Summer School in Logic, Language and Informationで授業担当（1995年Barcelona）
Workshop on Modal Logic, Substructural Logics, and Logics for Natural Language主催者（1995年千葉大学）
FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Scienceの開催責任者（1996年千葉大学）
国際誌Linguistics and PhilosophyのEditorial Boardの一員（1997年〜現在）
数学基礎論サマースクール講師（1998年箱根）
Dutch Graduate School in Logicで授業担当（1999年Utrecht）
Logical Aspects of Computational Linguistics 2001プログラム委員
6th International Colloquium on Grammatical Inference 2002プログラム委員
数学基礎論サマースクール講師（2003年静岡大学）
FGNancy: The 9th Conference on Formal Grammar (2004)プログラム委員
The 7th International Colloquium on Grammatical Inference 2004プログラム委員
ワークショップ：Lambda Calculus and Formal Grammarの主催者（2005年2月18日国立情報学研究所）
12th Workshop on Logic, Language, Information and Computation (2005)プログラム委員
FG-MOL 2005: The 10th conference on Formal Grammar and the 9th Meeting on Mathematics of Languageプログラム委員
SALT 16: Semantics and Linguistic Theory (2006)組織委員
ワークショップ：Second Workshop on Lambda Calculus and Formal Grammarの主催者（2006年2月2日国立情報学研究所）
FG-2006: The 11th Conference on Formal Grammarプログラム委員
ESSLLI 2007: The 19th European Summer School in Logic, Language and Informationプログラム委員
国際誌Research on Language and ComputationのEditorial Boardの一員（2007年〜現在）
ワークショップ：Third Workshop on Lambda Calculus and Formal Grammarの主催者（2007年1月29日国立情報学研究所）
Workshop on New Directions in Type-Theoretic Grammars (ESSLLI 2007)プログラム委員
|
|
- Makoto Kanazawa. 1998. Learnable Classes of Categorial Grammars. Stanford, California: CSLI Publications. viii+184 pages.
- Makoto Kanazawa. 1992. The Lambek calculus enriched with additional connectives. Journal of Logic, Language and Information 1(2), 141-171.
- Makoto Kanazawa. 1994. Weak vs. strong readings of doneky sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy 17(2), 109-158.
- Makoto Kanazawa. 1996. Identification in the limit of categorial grammars. Journal of Logic, Language and Information 5(2), 115-155.
- Mary Dalrymple, Makoto Kanazawa, Yookyung Kim, Sam Mchombo, and Stanley Peters. 1998. Reciprocal expressions and the concept of reciprocity. Linguistics and Philosopy 21(2), 159-210.
- Makoto Kanazawa. 2001. Singular donkey pronouns are semantically singular. Linguistics and Philosophy 24(3), 383-403.
- Makoto Kanazawa, Stefan Kaufmann, and Stanley Peters. 2005. On the lumping semantics of counterfactuals. Journal of Semantics 22(2), 129-151.
- Makoto Kanazawa. 2006. Computing interpolants in implicational logics. Annals of Pure and Applied Logic 142(1-3), 125-201.
- Makoto Kanazawa. 1994. Completeness and decidability of the mixed style of inference wih composition. In Paul Dekker and Martin Stokhof, editors, Proceedings of the Ninth Amsterdam Colloquium. Institute for Logic, Language and Computation, University of Amsterdam.
- Mary Dalrymple, Makoto Kanazawa, Sam Mchombo, and Stanley Peters. 1994. What do reciprocals mean? In Mandy Harvey and Lynn Santelmann, editors, Proceedings from Semantics and Linguistic Theory IV, Cornell University, Ithaca, N.Y.
- Dick de Jongh and Makoto Kanazawa. 1996. Angluin's theorem for indexed families of r.e. sets and applications. COLT '96: Proceedings of the Ninth Annual Conference on Computational Learning Theory, pages 193-204. ACM Press.
- Makoto Kanazawa. 2001. Learning word-to-meaning mappings in logical semantics. In Robert van Rooy and Martin Stokhof, editors, Proceedings of the Thirteenth Amsterdam Colloquium, pages 126-131. ILLC/Department of Philosophy, University of Amsterdam.
- Makoto Kanazawa. 2003. Computing word meanings by interpolation. In Paul Dekker and Robert van Rooy, editors, Proceedings of the Fourteenth Amsterdam Colloquium, pages 157-162. ILLC/Department of Philosophy, University of Amsterdam.
- Ryo Yoshinaka and Makoto Kanazawa. 2005. The complexity and generative capacity of lexicalized abstract categorial grammars. In Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot, editors, Logical Aspects of Computational Linguistics, LACL 2005. Lecture Notes in Artificial Intelligence 3492. Berlin: Springer.
- Makoto Kanazawa. Abstract families of abstract categorial languages. In Proceedings of WoLLIC 2006. Electronic Notes in Theoretical Computer Science 165, 65-80.
|
|
- Makoto Kanazawa. Dynamic generalized quantifiers and monotonicity. Workshop on Logic and Language, Stanford University, Stanford, California, May 1992.
- Makoto Kanazawa. On learning categorial grammars. Workshop on Grammar, Proof Theory and Complexity, Amsterdam, The Netherlands, January 1993.
- Makoto Kanazawa. Identification in the limit of categorial grammars. The Second CSLI Workshop on Logic, Language, and Comptation, Stanford University, Stanford, California, June 1993.
- Makoto Kanazawa. Completeness and decidability of the mixed style of inference with composition. The Ninth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 1993.
- Makoto Kanazawa. What makes categorial grammars learnable? The Third CSLI Workshop on Logic, Language, and Computation, Stanford University, Stanford, California, June 1994.
- Makoto Kanazawa. The Lambek calculus: recognizing power and complexity. Linear Logic 96 Tokyo Meeting, Keio University, Tokyo, April 1996.
- Dick de Jongh and Makoto Kanazawa. Angluin's theorem for indexed families of r.e. sets and applications. The Ninth Annual Conference on Computational Learning Theory, Desenzano del Garda, Italy, June 1996.
- Makoto Kanazawa. Characterization theorems in learnability theory. FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, Chiba, December 1996.
- Makoto Kanazawa. Donkey anaphora: singular vs. plural. Workshop on Quantification, Collectivity, and Reciprocity. ESSLLI'97, Aix-en-Provence, August 1997.
- Makoto Kanazawa. Developments in learnability theory. Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation. Hsi-Tou, Taiwan, June 1998.
- Makoto Kanazawa. Learning categorial grammars: identification in the limit and parameter setting. Logical Aspects of Computational Linguistics, Grenoble, France, December 1998.
- Makoto Kanazawa. Algorithmic learning of grammars and the language acquisition device. 11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, August 1999.
- Makoto Kanazawa. Learning word-to-meaning mappings in logical semantics. The Thirteen Amsterdam Colloquium, Amsterdam, December 2001.
- Makoto Kanazawa. Computation of meaning and logic. Second International Symposium on the Logic of Real-World Interactions, Tokyo, March 2003.
- Makoto Kanazawa. Computing word meanings by interpolation in logical semantics. Mathematics of Language 8, Indiana University, Bloomington, Indiana, June 2003.
- Makoto Kanazawa. Computing interpolants in implicational logics. Takeuti Symposium, Kobe University, Kobe, December 2003.
- Makoto Kanazawa. Computing word meanings by interpolation. The Fourteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 2003.
- Makoto Kanazawa. Abstract families of abstract categorial languages. Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 18, 2005.
- Makoto Kanazawa. Abstract categorial grammar and linear logic. Proof Theory Workshop, Keio University, Tokyo, Japan, March 23, 2005.
- Makoto Kanazawa. Semantics-Driven Learning of Lexicalized Grammars. The Fifteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, The Netherlands, December 20, 2005.
- Makoto Kanazawa. Semantics-Driven Learning of Lexicalized Grammars. Second Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 2, 2006.
- Makoto Kanazawa. Generation as Parsing in Abstract Categorial Grammars. Logic and Engineering of Natural Language Semantics 2006 (a satelite workshop of the 20th Annual Conference of JSAI), Tower Hall Funabori, Tokyo, Japan, June 6, 2006.
- Makoto Kanazawa. Abstract Families of Abstract Categorial Languages. 13th Workshop on Logic, Language and Computation. Stanford University, Stanford, California, July 19, 2006.
- Makoto Kanazawa. A Lambda Calculus Approach to Formal Grammar Learning. The 7th International Workshop on Computational Semantics. Tilburg University, Tilburg, The Netherlands, January 12, 2007.
- Makoto Kanazawa. Parsing and Generation as Datalog Queries. Third Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, Japan, January 29, 2007.
|