Enviar búsqueda
Cargar
型推論
•
2 recomendaciones
•
2,311 vistas
Eita Sugimoto
Seguir
JOIss 2013 での発表
Leer menos
Leer más
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 29
Descargar ahora
Descargar para leer sin conexión
Recomendados
何が選ばれたかという情報から評価関数推定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
Recomendados
何が選ばれたかという情報から評価関数推定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次式とノルムで構成された最適化問題とその双対問題
京都大学大学院情報学研究科数理工学専攻
Más contenido relacionado
La actualidad más candente
第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
La actualidad más candente
(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
Similar a 型推論
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
Similar a 型推論
(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
Más 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
Más 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
ラムダ計算入門
ラムダ計算入門
Último
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
FumieNakayama
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
博三 太田
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
FumieNakayama
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
Hiroshi Tomioka
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
akihisamiyanaga1
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
UEHARA, Tetsutaro
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
Yuki Kikuchi
Último
(8)
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
型推論
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.
ご清聴ありがとうございました
Descargar ahora