Daisuke BEKKI
17 SlideShares 1 Painel de recortes 3 Seguidores 0 Seguindos
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á 7 anos • 1307 Visualizações
Calculating Projections via Type Checking
Há 7 anos • 838 Visualizações
Two types of Japanese scrambling in combinatory categorial grammar
Há 7 anos • 856 Visualizações
Conventional Implicature via Dependent Type Semantics
Há 7 anos • 1136 Visualizações
Composing (Im)politeness in Dependent Type Semantics
Há 7 anos • 897 Visualizações
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory
Há 3 anos • 56 Visualizações
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
Há 3 anos • 37 Visualizações
ESSLLI2016 DTS Lecture Day3: Presupposition
Há 3 anos • 30 Visualizações
ESSLLI2016 DTS Lecture Day 4-1: Common Noun
Há 3 anos • 40 Visualizações
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types
Há 3 anos • 26 Visualizações
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)
Há 3 anos • 28 Visualizações
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5
Há 3 anos • 35 Visualizações
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn
Há 3 anos • 38 Visualizações
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)
Há 2 anos • 37 Visualizações
Why parsing is a part of Language Faculty Science (by Daisuke Bekki)
Há 2 anos • 41 Visualizações
Dependent Types and Dynamics of Natural Language
Há 11 meses • 7 Visualizações
Dependent Types and Dynamics of Natural Language
Há 11 meses • 171 Visualizações
Gostaram (1)
Chainer GTC 2016
Shohei Hido • Há 7 anos
Apresentações (17)
Ver tudo
Dependent Types in Natural Language Semantics
Há 7 anos • 1307 Visualizações
Calculating Projections via Type Checking
Há 7 anos • 838 Visualizações
Two types of Japanese scrambling in combinatory categorial grammar
Há 7 anos • 856 Visualizações
Conventional Implicature via Dependent Type Semantics
Há 7 anos • 1136 Visualizações
Composing (Im)politeness in Dependent Type Semantics
Há 7 anos • 897 Visualizações
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory
Há 3 anos • 56 Visualizações
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
Há 3 anos • 37 Visualizações
ESSLLI2016 DTS Lecture Day3: Presupposition
Há 3 anos • 30 Visualizações
ESSLLI2016 DTS Lecture Day 4-1: Common Noun
Há 3 anos • 40 Visualizações
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types
Há 3 anos • 26 Visualizações
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)
Há 3 anos • 28 Visualizações
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5
Há 3 anos • 35 Visualizações
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn
Há 3 anos • 38 Visualizações
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)
Há 2 anos • 37 Visualizações
Why parsing is a part of Language Faculty Science (by Daisuke Bekki)
Há 2 anos • 41 Visualizações
Dependent Types and Dynamics of Natural Language
Há 11 meses • 7 Visualizações
Dependent Types and Dynamics of Natural Language
Há 11 meses • 171 Visualizações
Gostaram (1)
Chainer GTC 2016
Shohei Hido • Há 7 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