Introduction of researcher

Revision    1
As of  2007.3.31      
 
[Name]  Kanazawa Makoto

No Image
[Doctoral degrees] 
1994, Ph.D., Stanford University
[Affiliation / Position]  Associate Professor, Multimedia Information Research Division
[Room]  1613-1A
[Telephone]  +81-3-4212-2651
[Facsimile]  +81-3-3556-1916
[Personal home page]  http://research.nii.ac.jp/~kanazawa/index.html
[JST ReaD]  http://read.jst.go.jp
[Research fields] 
Mathematical Linguistics, Logic, Natural Language Semantics


<> Outline of current research
<> Education
<> Career
<> Awards
<> Teaching positions
<> Courses
<> Academic societies
<> Public activities
<> Most important publications (Top 10)
<> Most important activities (Top 10)
<> Refereed publications, published books
<> Patents / softwares / other works
<> Other publications
<> Speeches and oral presentations
<> Teaching experience
<> Other activities in the past
<> Competitive research funds


[Outline of current research] 

Formal properties of a grammar formalism based on the lambda calculus

Application of Datalog query evaluation algorithms for parsing and generation

Proof theory of implicational logics
[Education] 

March 1988, Bachelor of Letters, Linguistics, University of Tokyo

June 1993, Master of Arts in Linguistics, Stanford University

June 1994, Doctor of Philosophy in Linguistics, Stanford University
[Career] 

July 1994, Associate Professor, Faculty of Letters, Chiba University

April 2000, Associate Professor, Interfaculty Initiative in Information Studies, University of Tokyo

April 2004, Associate Professor, National Institute of Informatics
[Awards] 

none
[Teaching positions] 

1994-2000, Chiba University

1996, Part-time lecturer, Tokyo Woman's Christian University

2000-2004, University of Tokyo

2005-, SOKENDAI
[Courses] 

Mathematical Linguistics
[Academic societies] 

Organizer, Semantics Research Group, 1994-present

Lecturer, 7th European Summer School in Logic, Langauge and Information, Barcelona, 1995

Organizer, Workshop on Modal Logic, Substructural Logics, and Logics for Natural Langauge, Chiba University, 1995

Organizer, FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, 1996

Editorial Board, Linguistics and Philosophy, 1997-present

Lecturer, Foundations of Mathematics Summer School, Hakone, 1998

Lecturer, Dutch Graduate School in Logic, Utrecht, 1999

Program Committee, Logical Aspects of Computational Linguistics 2001

Program Committee, 6th International Colloquium on Grammatical Inference 2002

Lecturer, Foundations of Mathematics Summer School, Shizuoka University, 2003

Program Committee, FGNancy: The 9th Conference on Formal Grammar (2004)

Program Committee: The 7th International Colloquium on Grammatical Inference 2004

Organizer, Lambda Calculus and Formal Grammar. National Institute of Informatics, Tokyo, February 18, 2005.

Program Committee, 12th Workshop on Logic, Language, Information and Computation (2005)

Program Committee: FG-MOL: The 10th conference on Formal Grammar and the 9th Meeting on Mathematics of Language

Organizing Committee: SALT 16: Semantics and Linguistic Theory (2006)

Organizer: Second Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 2, 2006

Program Committee: FG-2006: The 11th Conference on Formal Grammar

Program Committee: ESSLLI 2007: The 19th European Summer School in Logic, Language and Information

Editorial Board, Research on Language and Computation, 2007-present

Organizer: Third Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, January 29, 2007

Program Commttee: Workshop on New Directions in Type-Theoretic Grammars (ESSLLI 2007)
[Public activities] 

none
[Most important publications (Top 10)] 

none
[Most important activities (Top 10)] 

none
[Refereed publications, published books] 

  1. Makoto Kanazawa. 1998. Learnable Classes of Categorial Grammars. Stanford, California: CSLI Publications. viii+184 pages.

  2. Makoto Kanazawa. 1992. The Lambek calculus enriched with additional connectives. Journal of Logic, Language and Information 1(2), 141-171.

  3. Makoto Kanazawa. 1994. Weak vs. strong readings of doneky sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy 17(2), 109-158.

  4. Makoto Kanazawa. 1996. Identification in the limit of categorial grammars. Journal of Logic, Language and Information 5(2), 115-155.

  5. 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.

  6. Makoto Kanazawa. 2001. Singular donkey pronouns are semantically singular. Linguistics and Philosophy 24(3), 383-403.

  7. Makoto Kanazawa, Stefan Kaufmann, and Stanley Peters. 2005. On the lumping semantics of counterfactuals. Journal of Semantics 22(2), 129-151.

  8. Makoto Kanazawa. 2006. Computing interpolants in implicational logics. Annals of Pure and Applied Logic 142(1-3), 125-201.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. Makoto Kanazawa. Abstract families of abstract categorial languages. In Proceedings of WoLLIC 2006. Electronic Notes in Theoretical Computer Science 165, 65-80.
[Patents / softwares / other works] 

none
[Other publications] 

  1. Makoto Kanazawa. 2004. Review of Michael R. Brent, ed., Computational Approaches to Language Acquisition. Journal of Logic, Language and Information 13(3), 377-378.

  2. Makoto Kanazawa. 1992. Puzzles about conjunctions and disjunctions in certain intensional contexts. In A. Ikeya, editor, The Proceedings of the Sixth Japanese-Korean Joint Conference on Formal Linguistics.

  3. Makoto Kanazawa. 2005. Computing interpolants in implicational logics. NII Technical Report. NII-2005-003E (Feb. 2005). National Institute of Informatics, Tokyo.

  4. Makoto Kanazawa and Ryo Yoshinaka. 2005. Lexicalization of Second-Order ACGs. NII Technical Report. NII-2005-012E (Jul. 2005). National Institute of Informatics, Tokyo.

[Speeches and oral presentations] 

  1. Makoto Kanazawa. Dynamic generalized quantifiers and monotonicity. Workshop on Logic and Language, Stanford University, Stanford, California, May 1992.

  2. Makoto Kanazawa. On learning categorial grammars. Workshop on Grammar, Proof Theory and Complexity, Amsterdam, The Netherlands, January 1993.

  3. Makoto Kanazawa. Identification in the limit of categorial grammars. The Second CSLI Workshop on Logic, Language, and Comptation, Stanford University, Stanford, California, June 1993.

  4. Makoto Kanazawa. Completeness and decidability of the mixed style of inference with composition. The Ninth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 1993.

  5. Makoto Kanazawa. What makes categorial grammars learnable? The Third CSLI Workshop on Logic, Language, and Computation, Stanford University, Stanford, California, June 1994.

  6. Makoto Kanazawa. The Lambek calculus: recognizing power and complexity. Linear Logic 96 Tokyo Meeting, Keio University, Tokyo, April 1996.

  7. 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.

  8. Makoto Kanazawa. Characterization theorems in learnability theory. FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, Chiba, December 1996.

  9. Makoto Kanazawa. Donkey anaphora: singular vs. plural. Workshop on Quantification, Collectivity, and Reciprocity. ESSLLI'97, Aix-en-Provence, August 1997.

  10. Makoto Kanazawa. Developments in learnability theory. Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation. Hsi-Tou, Taiwan, June 1998.

  11. Makoto Kanazawa. Learning categorial grammars: identification in the limit and parameter setting. Logical Aspects of Computational Linguistics, Grenoble, France, December 1998.

  12. Makoto Kanazawa. Algorithmic learning of grammars and the language acquisition device. 11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, August 1999.

  13. Makoto Kanazawa. Learning word-to-meaning mappings in logical semantics. The Thirteen Amsterdam Colloquium, Amsterdam, December 2001.

  14. Makoto Kanazawa. Computation of meaning and logic. Second International Symposium on the Logic of Real-World Interactions, Tokyo, March 2003.

  15. Makoto Kanazawa. Computing word meanings by interpolation in logical semantics. Mathematics of Language 8, Indiana University, Bloomington, Indiana, June 2003.

  16. Makoto Kanazawa. Computing interpolants in implicational logics. Takeuti Symposium, Kobe University, Kobe, December 2003.

  17. Makoto Kanazawa. Computing word meanings by interpolation. The Fourteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 2003.

  18. Makoto Kanazawa. Abstract families of abstract categorial languages. Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 18, 2005.

  19. Makoto Kanazawa. Abstract categorial grammar and linear logic. Proof Theory Workshop, Keio University, Tokyo, Japan, March 23, 2005.

  20. Makoto Kanazawa. Semantics-Driven Learning of Lexicalized Grammars. The Fifteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, The Netherlands, December 20, 2005.

  21. Makoto Kanazawa. Semantics-Driven Learning of Lexicalized Grammars. Second Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 2, 2006.

  22. 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.

  23. Makoto Kanazawa. Abstract Families of Abstract Categorial Languages. 13th Workshop on Logic, Language and Computation. Stanford University, Stanford, California, July 19, 2006.

  24. 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.

  25. 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.

[Teaching experience] 

none
[Other activities in the past] 

none
[Competitive research funds] 

  (1) Grant in aid for scientific research

  • Grant-in-aid for scientific research, 1998-1999.
  • Grant-in-aid for scientific research (postdoctoral fellowship for foreign researchers), 2006-2007.
  (2) Public funding

  none
  (3) Others

  • Research grant from the Kayamori Foundation for Informational Science Advancement, 2002.