Enviar pesquisa
Carregar
自然言語をラムダ式で解釈する体系PTQのHaskell実装
•
4 gostaram
•
2,360 visualizações
Masahiro Sakai
Seguir
2009-11-20 Haskell Night にて。
Leia menos
Leia mais
Educação
Vista de apresentação de diapositivos
Denunciar
Compartilhar
Vista de apresentação de diapositivos
Denunciar
Compartilhar
1 de 17
Baixar agora
Baixar para ler offline
Recomendados
英文読解①ミクロリーディング編
英文読解①ミクロリーディング編
山形の総合学習塾の英学伸/EIGAKUSHIN
Joint inference of named entity recognition and normalization for tweets
Joint inference of named entity recognition and normalization for tweets
Shunsuke Kozawa
Naacl2015unsupervised morph
Naacl2015unsupervised morph
Ace12358
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Masahiro Sakai
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
Recomendados
英文読解①ミクロリーディング編
英文読解①ミクロリーディング編
山形の総合学習塾の英学伸/EIGAKUSHIN
Joint inference of named entity recognition and normalization for tweets
Joint inference of named entity recognition and normalization for tweets
Shunsuke Kozawa
Naacl2015unsupervised morph
Naacl2015unsupervised morph
Ace12358
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Masahiro Sakai
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
Relaxed Dependency Analysis
Relaxed Dependency Analysis
Masahiro Sakai
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Masahiro Sakai
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Masahiro Sakai
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)
Masahiro Sakai
Introduction to Categorical Programming
Introduction to Categorical Programming
Masahiro Sakai
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
Masahiro Sakai
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
Masahiro Sakai
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
Mais conteúdo relacionado
Mais de Masahiro Sakai
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
Relaxed Dependency Analysis
Relaxed Dependency Analysis
Masahiro Sakai
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Masahiro Sakai
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Masahiro Sakai
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)
Masahiro Sakai
Introduction to Categorical Programming
Introduction to Categorical Programming
Masahiro Sakai
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
Masahiro Sakai
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
Masahiro Sakai
Mais de Masahiro Sakai
(20)
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Towards formal verification of neural networks
Towards formal verification of neural networks
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
How a CDCL SAT solver works
How a CDCL SAT solver works
Omega test and beyond
Omega test and beyond
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
自動定理証明の紹介
自動定理証明の紹介
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Relaxed Dependency Analysis
Relaxed Dependency Analysis
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming
Introduction to Categorical Programming
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
Último
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ssusere0a682
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
Último
(7)
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
自然言語をラムダ式で解釈する体系PTQのHaskell実装
1.
自然言語をラムダ式で 解釈する体系PTQ
のHaskell実装 酒井 政裕 @masahiro_sakai
2.
今日の話 自然言語は 関数型言語!
3.
元ネタ
The Proper Treatment of Quantification in ordinary English 1973 Richard Montague
4.
いきなりだけど Haskellで実装したので デモ
5.
6.
改めて今日の話 自然言語は 関数型言語!
7.
どういうことか? • 品詞は型 • 単語の並びは
関数適用
8.
品詞 (範疇) John ::
名詞 walk :: 動詞 John walks. :: 文
9.
素朴なアイディア type 動詞
= 名詞 → 文 type 名詞 = Entity type 文 = Bool
10.
素朴なアイディア John :: Entity walk
:: Entity → Bool John walks. ⇒ walk(John) :: Bool
11.
素朴なアイディア type 他動詞
= 名詞 → 動詞 find, love :: 他動詞
12.
素朴なアイディアでダメな場合 • John or
Mary walks. • Every man walks. Entity として解釈不能
13.
PTQのHack type 動詞 =
名詞 → 文 ではなく type 名詞 = 動詞 → 文
14.
要は高階関数 type 動詞
= Entity → Bool type 名詞 = 動詞 → 文 = (Entity → Bool) → Bool
15.
翻訳 John or Mary
⇒ λf → f John’ ∨ f Mary’ :: (Entity→Bool) → Bool John or Mary walks ⇒ (λf → f John’ ∨ f Mary’) walk’ = walk’(John’) ∨ walk’(Mary’)
16.
この先の話 • 冠詞と量化 (これが面白い) •
内包と外延 • 時制と様相 ただし、 • 他の文型 今回は省略
17.
PTQのHaskell実装 • HackageDB で
PTQ % cabal install PTQ • Haskellは記号処理が得意 • こういうのはちょー簡単
Baixar agora