Suche senden
Hochladen
型推論
•
2 gefällt mir
•
2,311 views
Eita Sugimoto
Folgen
JOIss 2013 での発表
Weniger lesen
Mehr lesen
Technologie
Melden
Teilen
Melden
Teilen
1 von 29
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
何が選ばれたかという情報から評価関数推定2
何が選ばれたかという情報から評価関数推定2
Miyako Yuno
Model seminar shibata_100710
Model seminar shibata_100710
Kazuya Nishina
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
研究生のためのC++ no.3
研究生のためのC++ no.3
Tomohiro Namba
Tokyo.R #19 発表資料 「Rで色々やってみました」
Tokyo.R #19 発表資料 「Rで色々やってみました」
Masayuki Isobe
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
Nozomu Kaneko
Empfohlen
何が選ばれたかという情報から評価関数推定2
何が選ばれたかという情報から評価関数推定2
Miyako Yuno
Model seminar shibata_100710
Model seminar shibata_100710
Kazuya Nishina
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
研究生のためのC++ no.3
研究生のためのC++ no.3
Tomohiro Namba
Tokyo.R #19 発表資料 「Rで色々やってみました」
Tokyo.R #19 発表資料 「Rで色々やってみました」
Masayuki Isobe
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
Nozomu Kaneko
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
Rubyの御先祖CLUのお話(原本)
Rubyの御先祖CLUのお話(原本)
洋史 東平
Linqことはじめ
Linqことはじめ
Shoichi Yasui
わんくま東京#32 「null ヤバイのでなんとかする」
わんくま東京#32 「null ヤバイのでなんとかする」
Takeshi Kiriya
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
Nozomu Kaneko
200319 eash python_shareslide_functions
200319 eash python_shareslide_functions
Hiroki Katayama
kagamicomput201808
kagamicomput201808
swkagami
[アルゴリズムイントロダクション勉強会] ハッシュ
[アルゴリズムイントロダクション勉強会] ハッシュ
Rei Takami
統計環境R_はじめの一歩2016
統計環境R_はじめの一歩2016
wada, kazumi
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
統計環境R_データ入出力編2016
統計環境R_データ入出力編2016
wada, kazumi
Incanterの紹介
Incanterの紹介
mozk_
Rプログラミング02 データ入出力編
Rプログラミング02 データ入出力編
wada, kazumi
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
YOSHIKAWA Ryota
Linq To Fun
Linq To Fun
deflis
ggplot2再入門(2015年バージョン)
ggplot2再入門(2015年バージョン)
yutannihilation
What is template
What is template
Akira Takahashi
kagami_comput2015_8
kagami_comput2015_8
swkagami
Pythonintro
Pythonintro
Mikio Kubo
1次式とノルムで構成された最適化問題とその双対問題
1次式とノルムで構成された最適化問題とその双対問題
京都大学大学院情報学研究科数理工学専攻
Weitere ähnliche Inhalte
Was ist angesagt?
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
Rubyの御先祖CLUのお話(原本)
Rubyの御先祖CLUのお話(原本)
洋史 東平
Linqことはじめ
Linqことはじめ
Shoichi Yasui
わんくま東京#32 「null ヤバイのでなんとかする」
わんくま東京#32 「null ヤバイのでなんとかする」
Takeshi Kiriya
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
Nozomu Kaneko
200319 eash python_shareslide_functions
200319 eash python_shareslide_functions
Hiroki Katayama
kagamicomput201808
kagamicomput201808
swkagami
[アルゴリズムイントロダクション勉強会] ハッシュ
[アルゴリズムイントロダクション勉強会] ハッシュ
Rei Takami
統計環境R_はじめの一歩2016
統計環境R_はじめの一歩2016
wada, kazumi
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
統計環境R_データ入出力編2016
統計環境R_データ入出力編2016
wada, kazumi
Incanterの紹介
Incanterの紹介
mozk_
Rプログラミング02 データ入出力編
Rプログラミング02 データ入出力編
wada, kazumi
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
YOSHIKAWA Ryota
Linq To Fun
Linq To Fun
deflis
ggplot2再入門(2015年バージョン)
ggplot2再入門(2015年バージョン)
yutannihilation
What is template
What is template
Akira Takahashi
kagami_comput2015_8
kagami_comput2015_8
swkagami
Was ist angesagt?
(20)
第3章 型とクラス
第3章 型とクラス
第3章 型とクラス
第3章 型とクラス
Rubyの御先祖CLUのお話(原本)
Rubyの御先祖CLUのお話(原本)
Linqことはじめ
Linqことはじめ
わんくま東京#32 「null ヤバイのでなんとかする」
わんくま東京#32 「null ヤバイのでなんとかする」
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
200319 eash python_shareslide_functions
200319 eash python_shareslide_functions
kagamicomput201808
kagamicomput201808
[アルゴリズムイントロダクション勉強会] ハッシュ
[アルゴリズムイントロダクション勉強会] ハッシュ
統計環境R_はじめの一歩2016
統計環境R_はじめの一歩2016
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
統計環境R_データ入出力編2016
統計環境R_データ入出力編2016
Incanterの紹介
Incanterの紹介
Rプログラミング02 データ入出力編
Rプログラミング02 データ入出力編
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
Linq To Fun
Linq To Fun
ggplot2再入門(2015年バージョン)
ggplot2再入門(2015年バージョン)
What is template
What is template
kagami_comput2015_8
kagami_comput2015_8
Ähnlich wie 型推論
Pythonintro
Pythonintro
Mikio Kubo
1次式とノルムで構成された最適化問題とその双対問題
1次式とノルムで構成された最適化問題とその双対問題
京都大学大学院情報学研究科数理工学専攻
AI2018 8 ニューラルネットワークの基礎
AI2018 8 ニューラルネットワークの基礎
Hirotaka Hachiya
Lambda in template_final
Lambda in template_final
Cryolite
TaPL9
TaPL9
5th_person
[第2版]Python機械学習プログラミング 第14章
[第2版]Python機械学習プログラミング 第14章
Haruki Eguchi
パターン認識 05 ロジスティック回帰
パターン認識 05 ロジスティック回帰
sleipnir002
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
C++0x 言語の未来を語る
C++0x 言語の未来を語る
Akira Takahashi
Ml ch2
Ml ch2
Ryo Higashigawa
Prml 4
Prml 4
Satoshi Kawamoto
中3女子でもわかる constexpr
中3女子でもわかる constexpr
Genya Murakami
Ähnlich wie 型推論
(12)
Pythonintro
Pythonintro
1次式とノルムで構成された最適化問題とその双対問題
1次式とノルムで構成された最適化問題とその双対問題
AI2018 8 ニューラルネットワークの基礎
AI2018 8 ニューラルネットワークの基礎
Lambda in template_final
Lambda in template_final
TaPL9
TaPL9
[第2版]Python機械学習プログラミング 第14章
[第2版]Python機械学習プログラミング 第14章
パターン認識 05 ロジスティック回帰
パターン認識 05 ロジスティック回帰
関数プログラミング入門
関数プログラミング入門
C++0x 言語の未来を語る
C++0x 言語の未来を語る
Ml ch2
Ml ch2
Prml 4
Prml 4
中3女子でもわかる constexpr
中3女子でもわかる constexpr
Mehr von Eita Sugimoto
電源2
電源2
Eita Sugimoto
Semiotics
Semiotics
Eita Sugimoto
電源
電源
Eita Sugimoto
Lecture4
Lecture4
Eita Sugimoto
Lecture3
Lecture3
Eita Sugimoto
Lecture2
Lecture2
Eita Sugimoto
Lecture1
Lecture1
Eita Sugimoto
Summer seminar
Summer seminar
Eita Sugimoto
Functional Pearl + Brainfuck
Functional Pearl + Brainfuck
Eita Sugimoto
ラムダ計算入門
ラムダ計算入門
Eita Sugimoto
Mehr von Eita Sugimoto
(10)
電源2
電源2
Semiotics
Semiotics
電源
電源
Lecture4
Lecture4
Lecture3
Lecture3
Lecture2
Lecture2
Lecture1
Lecture1
Summer seminar
Summer seminar
Functional Pearl + Brainfuck
Functional Pearl + Brainfuck
ラムダ計算入門
ラムダ計算入門
Kürzlich hochgeladen
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
Kürzlich hochgeladen
(12)
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
型推論
1.
型推論付き言語 の実装 @__int
2.
型推論とは •型再構築とも •ex. 型なし項の型を推論する
3.
例 True True : Bool
4.
例 λx. λy. x (λ(x:
τ1). λ(y: τ2). (x: τ1)) : (τ1→ τ2→τ1)
5.
型推論の流れ 型なし項 型付き項 型付け 方程式 型制約 単一化 型付き項
6.
方程式の生成 型なし項 型付き項 型付け 方程式 型制約 単一化 型付き項
7.
必要な関数 C(Γ, t) =
(c, T)
8.
必要な関数 C(Γ, t) =
(c, T) 型環境
9.
必要な関数 C(Γ, t) =
(c, T) 型なし項型環境
10.
必要な関数 C(Γ, t) =
(c, T) 型なし項型環境 制約
11.
必要な関数 C(Γ, t) =
(c, T) 型なし項型環境 制約 型付き項
12.
単一化 型なし項 型付き項 型付け 方程式 型制約 単一化 型付き項
13.
必要な関数 U(c) = (S)
14.
必要な関数 U(c) = (S) 制約
15.
必要な関数 U(c) = (S) 制約
型変数の対応
16.
実行までの流れ 型付き項 型なし項
17.
評価 型付き項 型なし項 実行結果
18.
評価の流れ 型付き項 型付き de Bruijn項 結果 de
Bruijn index化 eval
19.
評価の流れ 型付き項 型付き de Bruijn項 結果 de
Bruijn index化 eval
20.
de Bruijn index λx.
λy. x λ. λ. 1
21.
de Bruijn index λx.
λy. x λ. λ. 1
22.
de Bruijn index λx.
x (λy. x) (λz. x) λ. 0 (λ. 1) (λ. 1)
23.
評価の流れ 型付き項 型付き de Bruijn項 結果 de
Bruijn index化 eval
24.
β-簡約 •(λ.t) v →β
[0 ↦ v] t •(実際はシフトなどが必要)
25.
実装 •型: 関数 +
Bool •値: λ項 + 真偽値, if 文
26.
実装 •自然数 •帰納的関数 •その他拡張
27.
実装 •自然数 •帰納的関数 •その他拡張
28.
まとめ •型システムたのしい •Haskell かわいい
29.
ご清聴ありがとうございました
Jetzt herunterladen