Daisuke BEKKI
17 SlideShares 1 Clipboard 3 Followers 0 Folgens
Personal Information
Unternehmen/Arbeitsplatz
Within 23 wards, Tokyo, Japan Japan
Beruf
Associate Professor at Ochanomizu University
Branche
Education
Webseite
www.is.ocha.ac.jp/~bekki/
Info
mathematical/theoretical/computational linguistics Specialties: Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy
Kontaktdetails
Tags
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
Mehr anzeigen
Präsentationen (17)
Alle anzeigen
Dependent Types in Natural Language Semantics
Vor 7 Jahren • 1307 Aufrufe
Calculating Projections via Type Checking
Vor 7 Jahren • 838 Aufrufe
Two types of Japanese scrambling in combinatory categorial grammar
Vor 7 Jahren • 856 Aufrufe
Conventional Implicature via Dependent Type Semantics
Vor 7 Jahren • 1136 Aufrufe
Composing (Im)politeness in Dependent Type Semantics
Vor 7 Jahren • 897 Aufrufe
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory
Vor 3 Jahren • 56 Aufrufe
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
Vor 3 Jahren • 37 Aufrufe
ESSLLI2016 DTS Lecture Day3: Presupposition
Vor 3 Jahren • 30 Aufrufe
ESSLLI2016 DTS Lecture Day 4-1: Common Noun
Vor 3 Jahren • 40 Aufrufe
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types
Vor 3 Jahren • 26 Aufrufe
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)
Vor 3 Jahren • 28 Aufrufe
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5
Vor 3 Jahren • 35 Aufrufe
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn
Vor 3 Jahren • 38 Aufrufe
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)
Vor 2 Jahren • 37 Aufrufe
Why parsing is a part of Language Faculty Science (by Daisuke Bekki)
Vor 2 Jahren • 41 Aufrufe
Dependent Types and Dynamics of Natural Language
Vor 11 Monaten • 7 Aufrufe
Dependent Types and Dynamics of Natural Language
Vor 11 Monaten • 171 Aufrufe
Gefällt mir (1)
Chainer GTC 2016
Shohei Hido • Vor 7 Jahren
Präsentationen (17)
Alle anzeigen
Dependent Types in Natural Language Semantics
Vor 7 Jahren • 1307 Aufrufe
Calculating Projections via Type Checking
Vor 7 Jahren • 838 Aufrufe
Two types of Japanese scrambling in combinatory categorial grammar
Vor 7 Jahren • 856 Aufrufe
Conventional Implicature via Dependent Type Semantics
Vor 7 Jahren • 1136 Aufrufe
Composing (Im)politeness in Dependent Type Semantics
Vor 7 Jahren • 897 Aufrufe
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory
Vor 3 Jahren • 56 Aufrufe
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
Vor 3 Jahren • 37 Aufrufe
ESSLLI2016 DTS Lecture Day3: Presupposition
Vor 3 Jahren • 30 Aufrufe
ESSLLI2016 DTS Lecture Day 4-1: Common Noun
Vor 3 Jahren • 40 Aufrufe
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types
Vor 3 Jahren • 26 Aufrufe
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)
Vor 3 Jahren • 28 Aufrufe
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5
Vor 3 Jahren • 35 Aufrufe
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn
Vor 3 Jahren • 38 Aufrufe
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)
Vor 2 Jahren • 37 Aufrufe
Why parsing is a part of Language Faculty Science (by Daisuke Bekki)
Vor 2 Jahren • 41 Aufrufe
Dependent Types and Dynamics of Natural Language
Vor 11 Monaten • 7 Aufrufe
Dependent Types and Dynamics of Natural Language
Vor 11 Monaten • 171 Aufrufe
Gefällt mir (1)
Chainer GTC 2016
Shohei Hido • Vor 7 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Within 23 wards, Tokyo, Japan Japan
Beruf
Associate Professor at Ochanomizu University
Branche
Education
Webseite
www.is.ocha.ac.jp/~bekki/
Info
mathematical/theoretical/computational linguistics Specialties: Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy
Tags
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
Mehr anzeigen