BEKKI Daisuke

Last updated: Mar 21, 2013 at 16:28
BEKKI Daisuke
Ochanomizu University
Job title
Associate Professor

Academic & Professional Experience

Oct 2000
Sep 2003
専任研究員, 科学技術振興機構戦略的創造研究推進事業さきがけプログラム「情報と知」領域

Published Papers

Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks -
Daisuke BEKKI
In Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), JSAI International Symposia on AI 2010, Campus Innovation Center, Tokyo, Japan.   70-83   Nov 2010   [Refereed]
This paper aims to provide a logical background for Combinatory Categorial Grammar (CCG) and its typological discussions. Based on the Curry-Howard correspondence between Gentzen-style proof systems and Lambek Lamda Calculi, and those between Hil...
Daisuke BEKKI, Kenichi ASAI
New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Springer, Heidelberg   LNAI 6284 161-180   2010   [Refereed]
In phenomena which have been claimed to require “covert movements” in generative terms, a relevant lexical item seems to require a means to somehow refer to the meaning of its surroundings in order for the meaning of the whole sentence to be prope...
Daisuke BEKKI
New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 2008, Revised Selected Papers), Springer   LNAI 5447 193-208   2009   [Refereed]

Books etc

Mathematical Logic
BEKKI Daisuke
University of Tokyo Press   Mar 2012   ISBN:4130629158