Soumettre la recherche
Mettre en ligne
型推論
•
2 j'aime
•
2,310 vues
Eita Sugimoto
Suivre
JOIss 2013 での発表
Lire moins
Lire la suite
Technologie
Signaler
Partager
Signaler
Partager
1 sur 29
Télécharger maintenant
Télécharger pour lire hors ligne
Recommandé
何が選ばれたかという情報から評価関数推定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
Recommandé
何が選ばれたかという情報から評価関数推定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次式とノルムで構成された最適化問題とその双対問題
京都大学大学院情報学研究科数理工学専攻
Contenu connexe
Tendances
第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
Tendances
(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
Similaire à 型推論
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
Similaire à 型推論
(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
Plus de 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
Plus de 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
ラムダ計算入門
ラムダ計算入門
Dernier
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
Toru Tamaki
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
taisei2219
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
iPride Co., Ltd.
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
Toru Tamaki
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
sugiuralab
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Yuma Ohgami
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
Hiroki Ichikura
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
Toru Tamaki
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
Ryo Sasaki
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
danielhu54
Dernier
(10)
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
型推論
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.
ご清聴ありがとうございました
Télécharger maintenant