Daisuke BEKKI
17 SlideShares 3 Seguidores
Personal Information
Organização/Local de trabalho
Within 23 wards, Tokyo, Japan Japan
Cargo
Associate Professor at Ochanomizu University
Setor
Education
Site
www.is.ocha.ac.jp/~bekki/
Sobre
mathematical/theoretical/computational linguistics Specialties: Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy
Detalhes do contato
Marcadores
formal semantics dependent type theory linguistics type theory language faculty science generative grammar machine learning natural language processing formal expressives conventional implicature categorial grammar scrambling presupposition
Ver mais

Apresentações

(17)
Ver tudo

Dependent Types in Natural Language Semantics

Há 8 anos • 1315 Visualizações

Calculating Projections via Type Checking

Há 8 anos • 840 Visualizações

Two types of Japanese scrambling in combinatory categorial grammar

Há 8 anos • 857 Visualizações

Conventional Implicature via Dependent Type Semantics

Há 8 anos • 1142 Visualizações

Composing (Im)politeness in Dependent Type Semantics

Há 8 anos • 897 Visualizações

ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory

Há 4 anos • 74 Visualizações

ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)

Há 4 anos • 37 Visualizações

ESSLLI2016 DTS Lecture Day3: Presupposition

Há 4 anos • 38 Visualizações

ESSLLI2016 DTS Lecture Day 4-1: Common Noun

Há 4 anos • 42 Visualizações

ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types

Há 4 anos • 26 Visualizações

ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)

Há 4 anos • 28 Visualizações

ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5

Há 4 anos • 35 Visualizações

ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn

Há 4 anos • 39 Visualizações

A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)

Há 3 anos • 39 Visualizações

Why parsing is a part of Language Faculty Science (by Daisuke Bekki)

Há 3 anos • 41 Visualizações

Dependent Types and Dynamics of Natural Language

Há 1 ano • 7 Visualizações

Dependent Types and Dynamics of Natural Language

Há 1 ano • 179 Visualizações

Gostaram

(1)

Chainer GTC 2016

Shohei Hido • Há 8 anos
Personal Information
Organização/Local de trabalho
Within 23 wards, Tokyo, Japan Japan
Cargo
Associate Professor at Ochanomizu University
Setor
Education
Site
www.is.ocha.ac.jp/~bekki/
Sobre
mathematical/theoretical/computational linguistics Specialties: Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy
Marcadores
formal semantics dependent type theory linguistics type theory language faculty science generative grammar machine learning natural language processing formal expressives conventional implicature categorial grammar scrambling presupposition
Ver mais