際際滷shows by User: kaleidotheater / http://www.slideshare.net/images/logo.gif 際際滷shows by User: kaleidotheater / Sun, 23 Jun 2024 16:55:17 GMT 際際滷Share feed for 際際滷shows by User: kaleidotheater From Dependent Types to Natural Language Semantics /slideshow/from-dependent-types-to-natural-language-semantics/269837387 bekki2024lc-240623165517-63b0e313
In this talk, I will provide a comprehensive overview of Dependent Type Semantics (DTS), a proof-theoretic approach to natural language semantics based on dependent type theory. DTS marks a departure from the traditional model-theoretic semantic frameworks that have long been the standard, such as Montagovian intensional logic, discourse representation theory, and dynamic semantics. The key distinguishing feature of DTS is its ability to unify analyses of linguistic phenomena such as anaphora and presupposition through the process of type checking and proof search. This is consistent with the presupposition is anaphora paradigm that is widely discussed and analyzed in semantic studies. DTS computes the meaning of a given sentence through the principle of compositionality, coupled with the mechanism called unspecified types, which correspond to open proofs in proof assistants. This establishes a new correspondence between the meaning of natural language and type theory, shedding new light on both fields. I will also reflect on the extensive research and developments over the past decade. This will shed light on the future prospects of DTS and provide insights into its potential applications in computational linguistics.]]>
In this talk, I will provide a comprehensive overview of Dependent Type Semantics (DTS), a proof-theoretic approach to natural language semantics based on dependent type theory. DTS marks a departure from the traditional model-theoretic semantic frameworks that have long been the standard, such as Montagovian intensional logic, discourse representation theory, and dynamic semantics. The key distinguishing feature of DTS is its ability to unify analyses of linguistic phenomena such as anaphora and presupposition through the process of type checking and proof search. This is consistent with the presupposition is anaphora paradigm that is widely discussed and analyzed in semantic studies. DTS computes the meaning of a given sentence through the principle of compositionality, coupled with the mechanism called unspecified types, which correspond to open proofs in proof assistants. This establishes a new correspondence between the meaning of natural language and type theory, shedding new light on both fields. I will also reflect on the extensive research and developments over the past decade. This will shed light on the future prospects of DTS and provide insights into its potential applications in computational linguistics.]]> Sun, 23 Jun 2024 16:55:17 GMT /slideshow/from-dependent-types-to-natural-language-semantics/269837387 kaleidotheater@slideshare.net(kaleidotheater) From Dependent Types to Natural Language Semantics kaleidotheater In this talk, I will provide a comprehensive overview of Dependent Type Semantics (DTS), a proof-theoretic approach to natural language semantics based on dependent type theory. DTS marks a departure from the traditional model-theoretic semantic frameworks that have long been the standard, such as Montagovian intensional logic, discourse representation theory, and dynamic semantics. The key distinguishing feature of DTS is its ability to unify analyses of linguistic phenomena such as anaphora and presupposition through the process of type checking and proof search. This is consistent with the presupposition is anaphora paradigm that is widely discussed and analyzed in semantic studies. DTS computes the meaning of a given sentence through the principle of compositionality, coupled with the mechanism called unspecified types, which correspond to open proofs in proof assistants. This establishes a new correspondence between the meaning of natural language and type theory, shedding new light on both fields. I will also reflect on the extensive research and developments over the past decade. This will shed light on the future prospects of DTS and provide insights into its potential applications in computational linguistics. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2024lc-240623165517-63b0e313-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> In this talk, I will provide a comprehensive overview of Dependent Type Semantics (DTS), a proof-theoretic approach to natural language semantics based on dependent type theory. DTS marks a departure from the traditional model-theoretic semantic frameworks that have long been the standard, such as Montagovian intensional logic, discourse representation theory, and dynamic semantics. The key distinguishing feature of DTS is its ability to unify analyses of linguistic phenomena such as anaphora and presupposition through the process of type checking and proof search. This is consistent with the presupposition is anaphora paradigm that is widely discussed and analyzed in semantic studies. DTS computes the meaning of a given sentence through the principle of compositionality, coupled with the mechanism called unspecified types, which correspond to open proofs in proof assistants. This establishes a new correspondence between the meaning of natural language and type theory, shedding new light on both fields. I will also reflect on the extensive research and developments over the past decade. This will shed light on the future prospects of DTS and provide insights into its potential applications in computational linguistics.
From Dependent Types to Natural Language Semantics from Daisuke BEKKI
]]> 15 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2024lc-240623165517-63b0e313-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Dependent Type Semantics and its Davidsonian extensions /slideshow/dependent-type-semantics-and-its-davidsonian-extensions/268468777 bekki2022parisdts-240515090733-a3acfbea
Dependent type semantics (DTS; Bekki 2014, Bekki and Mineshima 2017) is a framework of proof-theoretic semantics of natural language based on dependent type theory, following the line of Sundholm (1986) and Ranta (1994). Unlike the previous works, DTS attains compositionality/lexicalization as required to serve as the semantic component for modern formal grammars by adopting mechanisms of underspecified types. In DTS, presupposition projection reduces to type checking, anaphora resolution/presupposition binding to proof search, suggesting further correspondences between natural language semantics and type theory. I will also discuss the extension of DTS to Davidsonian event semantics and its consequences for analyzing event anaphora.]]>
Dependent type semantics (DTS; Bekki 2014, Bekki and Mineshima 2017) is a framework of proof-theoretic semantics of natural language based on dependent type theory, following the line of Sundholm (1986) and Ranta (1994). Unlike the previous works, DTS attains compositionality/lexicalization as required to serve as the semantic component for modern formal grammars by adopting mechanisms of underspecified types. In DTS, presupposition projection reduces to type checking, anaphora resolution/presupposition binding to proof search, suggesting further correspondences between natural language semantics and type theory. I will also discuss the extension of DTS to Davidsonian event semantics and its consequences for analyzing event anaphora.]]> Wed, 15 May 2024 09:07:33 GMT /slideshow/dependent-type-semantics-and-its-davidsonian-extensions/268468777 kaleidotheater@slideshare.net(kaleidotheater) Dependent Type Semantics and its Davidsonian extensions kaleidotheater Dependent type semantics (DTS; Bekki 2014, Bekki and Mineshima 2017) is a framework of proof-theoretic semantics of natural language based on dependent type theory, following the line of Sundholm (1986) and Ranta (1994). Unlike the previous works, DTS attains compositionality/lexicalization as required to serve as the semantic component for modern formal grammars by adopting mechanisms of underspecified types. In DTS, presupposition projection reduces to type checking, anaphora resolution/presupposition binding to proof search, suggesting further correspondences between natural language semantics and type theory. I will also discuss the extension of DTS to Davidsonian event semantics and its consequences for analyzing event anaphora. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022parisdts-240515090733-a3acfbea-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Dependent type semantics (DTS; Bekki 2014, Bekki and Mineshima 2017) is a framework of proof-theoretic semantics of natural language based on dependent type theory, following the line of Sundholm (1986) and Ranta (1994). Unlike the previous works, DTS attains compositionality/lexicalization as required to serve as the semantic component for modern formal grammars by adopting mechanisms of underspecified types. In DTS, presupposition projection reduces to type checking, anaphora resolution/presupposition binding to proof search, suggesting further correspondences between natural language semantics and type theory. I will also discuss the extension of DTS to Davidsonian event semantics and its consequences for analyzing event anaphora.
Dependent Type Semantics and its Davidsonian extensions from Daisuke BEKKI
]]> 23 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022parisdts-240515090733-a3acfbea-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Dependent Types and Dynamics of Natural Language /slideshow/dependent-types-and-dynamics-of-natural-language-252110571/252110571 bekki2022inuilab-220703090141-ebe08c4d
Bekki,Daisuke; (2022). An invited talk at Inui Laboratory, Tohoku University, July 27.]]>
Bekki,Daisuke; (2022). An invited talk at Inui Laboratory, Tohoku University, July 27.]]> Sun, 03 Jul 2022 09:01:41 GMT /slideshow/dependent-types-and-dynamics-of-natural-language-252110571/252110571 kaleidotheater@slideshare.net(kaleidotheater) Dependent Types and Dynamics of Natural Language kaleidotheater Bekki,Daisuke; (2022). An invited talk at Inui Laboratory, Tohoku University, July 27. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022inuilab-220703090141-ebe08c4d-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Bekki,Daisuke; (2022). An invited talk at Inui Laboratory, Tohoku University, July 27.
Dependent Types and Dynamics of Natural Language from Daisuke BEKKI
]]> 185 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022inuilab-220703090141-ebe08c4d-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Dependent Types and Dynamics of Natural Language /slideshow/dependent-types-and-dynamics-of-natural-language/252110546 bekki2022ttsf-220703085413-cab8c1c2
An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25.]]>
An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25.]]> Sun, 03 Jul 2022 08:54:13 GMT /slideshow/dependent-types-and-dynamics-of-natural-language/252110546 kaleidotheater@slideshare.net(kaleidotheater) Dependent Types and Dynamics of Natural Language kaleidotheater An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022ttsf-220703085413-cab8c1c2-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25.
Dependent Types and Dynamics of Natural Language from Daisuke BEKKI
]]> 8 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022ttsf-220703085413-cab8c1c2-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Why parsing is a part of Language Faculty Science (by Daisuke Bekki) /slideshow/why-parsing-is-a-part-of-language-faculty-science-by-daisuke-bekki/240330443 bekki2020lfs-201219173251
An invited talk at the 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20]]>
An invited talk at the 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20]]> Sat, 19 Dec 2020 17:32:51 GMT /slideshow/why-parsing-is-a-part-of-language-faculty-science-by-daisuke-bekki/240330443 kaleidotheater@slideshare.net(kaleidotheater) Why parsing is a part of Language Faculty Science (by Daisuke Bekki) kaleidotheater An invited talk at the 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2020lfs-201219173251-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> An invited talk at the 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20
Why parsing is a part of Language Faculty Science (by Daisuke Bekki) from Daisuke BEKKI
]]> 46 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2020lfs-201219173251-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 A hybrid approach toward Natural Language Understanding (by Daisuke Bekki) /slideshow/a-hybrid-approach-toward-natural-language-understanding-by-daisuke-bekki/240137870 bekki2020claspv3-201215132620
An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), December 9, 2020.]]>
An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), December 9, 2020.]]> Tue, 15 Dec 2020 13:26:20 GMT /slideshow/a-hybrid-approach-toward-natural-language-understanding-by-daisuke-bekki/240137870 kaleidotheater@slideshare.net(kaleidotheater) A hybrid approach toward Natural Language Understanding (by Daisuke Bekki) kaleidotheater An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), December 9, 2020. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekki2020claspv3-201215132620-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), December 9, 2020.
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki) from Daisuke BEKKI
]]> 44 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekki2020claspv3-201215132620-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn /slideshow/day-5-2-prooftheoretic-turn/231733035 bekkimineshimaesslli2016-prooftheoreticturn-200410042151
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:21:51 GMT /slideshow/day-5-2-prooftheoretic-turn/231733035 kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-prooftheoreticturn-200410042151-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn from Daisuke BEKKI
]]> 45 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-prooftheoreticturn-200410042151-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5 /slideshow/day-5-introduction-to-day-5/231732986 bekkimineshimaesslli2016-day5intro-200410042058
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:20:58 GMT /slideshow/day-5-introduction-to-day-5/231732986 kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5 kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-day5intro-200410042058-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5 from Daisuke BEKKI
]]> 35 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-day5intro-200410042058-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka) /kaleidotheater/esslli2016-gq-plural esslli2016gqplural-200410041930
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:19:29 GMT /kaleidotheater/esslli2016-gq-plural kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka) kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/esslli2016gqplural-200410041930-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka) from Daisuke BEKKI
]]> 28 0 https://cdn.slidesharecdn.com/ss_thumbnails/esslli2016gqplural-200410041930-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types /slideshow/day-4-2-more-dependent-types/231732838 bekkimineshimaesslli2016-moretypes-200410041828
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:18:28 GMT /slideshow/day-4-2-more-dependent-types/231732838 kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-moretypes-200410041828-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types from Daisuke BEKKI
]]> 26 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-moretypes-200410041828-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 4-1: Common Noun /kaleidotheater/day-41-common-noun bekkimineshimaesslli2016-cn-200410041722
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:17:22 GMT /kaleidotheater/day-41-common-noun kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 4-1: Common Noun kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-cn-200410041722-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 4-1: Common Noun from Daisuke BEKKI
]]> 44 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-cn-200410041722-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day3: Presupposition /slideshow/day3-presupposition/231732745 bekkimineshimaesslli2016-presupposition-200410041624
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:16:24 GMT /slideshow/day3-presupposition/231732745 kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day3: Presupposition kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-presupposition-200410041624-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day3: Presupposition from Daisuke BEKKI
]]> 45 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-presupposition-200410041624-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS) /slideshow/day-2-dependent-type-semantics-dts/231732686 bekkimineshimaesslli2016-dts-200410041434
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:14:33 GMT /slideshow/day-2-dependent-type-semantics-dts/231732686 kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS) kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-dts-200410041434-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS) from Daisuke BEKKI
]]> 39 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-dts-200410041434-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory /kaleidotheater/day-1-from-natural-deduction-to-dependent-type-theory bekkimineshimaesslli2016-dependenttypes-200410041311
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]>
ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima]]> Fri, 10 Apr 2020 04:13:11 GMT /kaleidotheater/day-1-from-natural-deduction-to-dependent-type-theory kaleidotheater@slideshare.net(kaleidotheater) ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory kaleidotheater ESSLLI2016 Advanced Course "An Introduction to Dependent Type Semantics" by Daisuke Bekki and Koji Mineshima <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-dependenttypes-200410041311-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ESSLLI2016 Advanced Course &quot;An Introduction to Dependent Type Semantics&quot; by Daisuke Bekki and Koji Mineshima
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory from Daisuke BEKKI
]]> 98 0 https://cdn.slidesharecdn.com/ss_thumbnails/bekkimineshimaesslli2016-dependenttypes-200410041311-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Composing (Im)politeness in Dependent Type Semantics /slideshow/composing-impoliteness-in-dependent-type-semantics/55121018 2015lenls12main-151115043335-lva1-app6891
Talk at LENLS12]]>
Talk at LENLS12]]> Sun, 15 Nov 2015 04:33:35 GMT /slideshow/composing-impoliteness-in-dependent-type-semantics/55121018 kaleidotheater@slideshare.net(kaleidotheater) Composing (Im)politeness in Dependent Type Semantics kaleidotheater Talk at LENLS12 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2015lenls12main-151115043335-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Talk at LENLS12
Composing (Im)politeness in Dependent Type Semantics from Daisuke BEKKI
]]> 901 10 https://cdn.slidesharecdn.com/ss_thumbnails/2015lenls12main-151115043335-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Conventional Implicature via Dependent Type Semantics /slideshow/conventional-implicature-via-dependent-type-semantics/51605734 esslli2015civiadtsslide-150813223049-lva1-app6891
Guest lecture in "expressive content" course (by Eric McCready and Daniel Gutzmann) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]>
Guest lecture in "expressive content" course (by Eric McCready and Daniel Gutzmann) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]> Thu, 13 Aug 2015 22:30:49 GMT /slideshow/conventional-implicature-via-dependent-type-semantics/51605734 kaleidotheater@slideshare.net(kaleidotheater) Conventional Implicature via Dependent Type Semantics kaleidotheater Guest lecture in "expressive content" course (by Eric McCready and Daniel Gutzmann) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/esslli2015civiadtsslide-150813223049-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Guest lecture in &quot;expressive content&quot; course (by Eric McCready and Daniel Gutzmann) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.
Conventional Implicature via Dependent Type Semantics from Daisuke BEKKI
]]> 1147 8 https://cdn.slidesharecdn.com/ss_thumbnails/esslli2015civiadtsslide-150813223049-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Two types of Japanese scrambling in combinatory categorial grammar /slideshow/cg2015slide/51498214 cg2015slide-150811121056-lva1-app6891
Bekki, Daisuke. (2015). In Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]>
Bekki, Daisuke. (2015). In Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]> Tue, 11 Aug 2015 12:10:56 GMT /slideshow/cg2015slide/51498214 kaleidotheater@slideshare.net(kaleidotheater) Two types of Japanese scrambling in combinatory categorial grammar kaleidotheater Bekki, Daisuke. (2015). In Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cg2015slide-150811121056-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Bekki, Daisuke. (2015). In Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.
Two types of Japanese scrambling in combinatory categorial grammar from Daisuke BEKKI
]]> 872 7 https://cdn.slidesharecdn.com/ss_thumbnails/cg2015slide-150811121056-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Calculating Projections via Type Checking /slideshow/bekki-satotytles2015/51294221 bekkisatotytles2015-150805074841-lva1-app6891
Bekki Daisuke and Miho Sato (2015). A presentation in TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]>
Bekki Daisuke and Miho Sato (2015). A presentation in TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.]]> Wed, 05 Aug 2015 07:48:41 GMT /slideshow/bekki-satotytles2015/51294221 kaleidotheater@slideshare.net(kaleidotheater) Calculating Projections via Type Checking kaleidotheater Bekki Daisuke and Miho Sato (2015). A presentation in TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/bekkisatotytles2015-150805074841-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Bekki Daisuke and Miho Sato (2015). A presentation in TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.
Calculating Projections via Type Checking from Daisuke BEKKI
]]> 841 9 https://cdn.slidesharecdn.com/ss_thumbnails/bekkisatotytles2015-150805074841-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Dependent Types in Natural Language Semantics /slideshow/hakodate2015-julyslide/50179721 hakodate2015julyslide-150705111803-lva1-app6892
Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4.]]>
Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4.]]> Sun, 05 Jul 2015 11:18:03 GMT /slideshow/hakodate2015-julyslide/50179721 kaleidotheater@slideshare.net(kaleidotheater) Dependent Types in Natural Language Semantics kaleidotheater Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/hakodate2015julyslide-150705111803-lva1-app6892-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4.
Dependent Types in Natural Language Semantics from Daisuke BEKKI
]]> 1323 6 https://cdn.slidesharecdn.com/ss_thumbnails/hakodate2015julyslide-150705111803-lva1-app6892-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-kaleidotheater-48x48.jpg?cb=1736692323 mathematical/theoretical/computational linguistics Specialties: Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy www.is.ocha.ac.jp/~bekki/ https://cdn.slidesharecdn.com/ss_thumbnails/bekki2024lc-240623165517-63b0e313-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/from-dependent-types-to-natural-language-semantics/269837387 From Dependent Types t... https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022parisdts-240515090733-a3acfbea-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/dependent-type-semantics-and-its-davidsonian-extensions/268468777 Dependent Type Semanti... https://cdn.slidesharecdn.com/ss_thumbnails/bekki2022inuilab-220703090141-ebe08c4d-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/dependent-types-and-dynamics-of-natural-language-252110571/252110571 Dependent Types and Dy...