金沢　誠

• TPPmark 2023 (Proof that the 9-in-a-row game is a draw)
• Friedman's Extended Kruskal Theorem

Learning context-free grammars from positive data and membership queries, 29th Workshop on Logic, Language, Information and Computation, Halifax, Canada, July 14, 2023.

A hierarchy of context-free languages learnable from positive data and membership queries, The 15th International Conference on Grammatical Inference, online, August 23, 2021.

What was wrong with the Chomsky hierarchy?, The 25th International Conference on Head-Driven Phrase Structure Grammar, Tokyo, Japan, June 30, 2018.

The strong, weak, and very weak finite context and kernel properties, 11th International Conference on Language and Automata Theory and Applications, Umea, Sweden, March 6, 2017.

Ogden's lemma, multiple context-free grammars, and the control language hierarchy, 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, March 16, 2016.

Syntactic features for regular constraints and an approximation of directional slashes in abstract categorial grammars, ESSLLI 2015 Workshop `Empirical Advances in Categorial Grammars', Barcelona, Spain, August 13, 2015.

Distributional learning and context/substructure enumerability in nonlinear tree grammars, The 20th Conference on Formal Grammar, Barcelona, Spain, August 9, 2015.

Distributional learning of formal languages: A logic-based approach, NLCS'15: Third Workshop on Natural Language and Computer Science, Kyoto, July 5, 2015.

A Generalization of Linear Indexed Grammars Equivalent to Simple Context-Free Tree Grammars, FG-2014: The 19th Conference on Formal Grammar, University of Tübingen, Tübingen, Germany, August 16, 2014.

Toward a Logic of Cumulative Quantification, Second Workshop on Natural Language and Computer Science, Vienna University of Technology, Vienna, Austria, July 17, 2014. (With Junri Shimada.)

Almost Affine Lambda Terms, Trends in Logic XIII, Łódź University, Łódź, Poland, July 4, 2014.

Monadic Quantifiers Recognized by Deterministic Pushdown Automata, 19th Amsterdam Colloquium, University of Amsterdam, The Netherlands, December 20, 2013. One of the lemmas is incorrect. See this correction.

The String Meaning Relations Definable by Lambek Grammars and Context-Free Grammars, FG-2013: The 18th Conference on Formal Grammar, Düsseldorf, Germany, August 11, 2013.

MIX Is Not a Tree-Adjoining Language, ACL 2012: 50th Annual Meeting of the Association for Computational Linguistics, Jeju, Korea, July 10, 2012.

The Copying Power of Well-Nested Multiple Context-Free Grammars, LATA 2010: 4th International Conference on Language and Automata Theory and Applications, Trier, Germany, May 27, 2010.

Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling, ESSLLI 2009, Bordeaux, France, July 27-July 31. Slides for Lecture 1, Lecture3, and Lecture 5. Notes for Lecture 1.

The Convergence of Well-Nested Mildly Context-Sensitive Grammar Formalisms, FG-2009: The 14th Conference on Formal Grammar, Bordeaux, France, July 25, 2009.

Datalog as a Uniform Framework for Parsing and Generation, Parsing with Categorial Grammars, ESSLLI 2009, Bordeaux, France, July 24, 2009.

The Pumping Lemma for Well-Nested Multiple Context-Free Languages, DLT 2009: 13th International Conference on Developments in Language Theory, Stuttgart, Germany, July 1, 2009.

A Lambda Calculus Characterization of MSO Definable Tree Transductions, The 10th Asian Logic Conference (ALC 10), Kobe University, Kobe, Hyogo, Japan, September 3, 2008.

A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars, TAG+9 2008, the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Tübingen, Germany, June 7, 2008.

Second-Order ACGs as Hyperedge Replacement Grammars, Workshop on New Directions in Type-Theoretic Grammars, ESSLLI 2007, Dublin, August 9, 2007.

Generating Control Languages with Abstract Categorial Grammars, FG 2007, Dublin, August 4, 2007.