Enviar pesquisa
Carregar
型推論
•
2 gostaram
•
2,311 visualizações
Eita Sugimoto
Seguir
JOIss 2013 での発表
Leia menos
Leia mais
Tecnologia
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 29
Baixar agora
Baixar para ler offline
Recomendados
前回は線形計画問題にして解いたが、もっと条件を緩めて目的関数の最小化問題にする。
何が選ばれたかという情報から評価関数推定2
何が選ばれたかという情報から評価関数推定2
Miyako Yuno
モデル勉強会 Soetaert and Herman "A practical guide to Ecological model" Chapter 4 Parameter
Model seminar shibata_100710
Model seminar shibata_100710
Kazuya Nishina
研究室のゼミの資料。研究に役立つC++入門。 四回目はテンプレート。
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
研究室のゼミの資料。研究に役立つC++入門。 三回目はクラス。
研究生のためのC++ no.3
研究生のためのC++ no.3
Tomohiro Namba
2011/11/19 第19回東京R言語勉強会@大森 発表資料
Tokyo.R #19 発表資料 「Rで色々やってみました」
Tokyo.R #19 発表資料 「Rで色々やってみました」
Masayuki Isobe
社内向けDataMining勉強会資料。原案。Rの導入について。 第一回の先陣を切る資料がこんなんでいいんかい。 講義のテキストの内容が薄かったのでだいぶ膨らませた。
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
Nozomu Kaneko
Recomendados
前回は線形計画問題にして解いたが、もっと条件を緩めて目的関数の最小化問題にする。
何が選ばれたかという情報から評価関数推定2
何が選ばれたかという情報から評価関数推定2
Miyako Yuno
モデル勉強会 Soetaert and Herman "A practical guide to Ecological model" Chapter 4 Parameter
Model seminar shibata_100710
Model seminar shibata_100710
Kazuya Nishina
研究室のゼミの資料。研究に役立つC++入門。 四回目はテンプレート。
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
研究室のゼミの資料。研究に役立つC++入門。 三回目はクラス。
研究生のためのC++ no.3
研究生のためのC++ no.3
Tomohiro Namba
2011/11/19 第19回東京R言語勉強会@大森 発表資料
Tokyo.R #19 発表資料 「Rで色々やってみました」
Tokyo.R #19 発表資料 「Rで色々やってみました」
Masayuki Isobe
社内向けDataMining勉強会資料。原案。Rの導入について。 第一回の先陣を切る資料がこんなんでいいんかい。 講義のテキストの内容が薄かったのでだいぶ膨らませた。
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
Nozomu Kaneko
スタートHaskellでの発表資料です。
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
第1回スタートHaskellで発表した予習のまとめ資料(訂正版)です。
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
Rubyの先祖でありながら、いまいちマイナーな存在であるプログラミング言語CLUの紹介です。合わせて日本で唯一CLUを使い続けた、東京工業大学理学部情報科学科木村泉研究室の取り組みについて簡単に触れます。
Rubyの御先祖CLUのお話(原本)
Rubyの御先祖CLUのお話(原本)
洋史 東平
社内勉強会用
Linqことはじめ
Linqことはじめ
Shoichi Yasui
@ わんくま同盟 東京勉強会 #32
わんくま東京#32 「null ヤバイのでなんとかする」
わんくま東京#32 「null ヤバイのでなんとかする」
Takeshi Kiriya
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
Nozomu Kaneko
2020/3/19 ざっくりPython速習用 関数、ライブラリ紹介
200319 eash python_shareslide_functions
200319 eash python_shareslide_functions
Hiroki Katayama
kagamicomput201808
kagamicomput201808
kagamicomput201808
swkagami
学内でやったアルゴリズムイントロダクションを教本としたComputer Science勉強会で発表したときのスライドです
[アルゴリズムイントロダクション勉強会] ハッシュ
[アルゴリズムイントロダクション勉強会] ハッシュ
Rei Takami
2016年度用に作成した研修テキストです。2015年度版を微修正しており、基本的に同じ内容です。演習用コードとあわせてご利用ください。
統計環境R_はじめの一歩2016
統計環境R_はじめの一歩2016
wada, kazumi
関数型LT▽たいかい
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
2016年度用に作成した研修テキストです。2015年度版を微修正しており、基本的に同じ内容です。演習用コードとあわせてご利用ください。
統計環境R_データ入出力編2016
統計環境R_データ入出力編2016
wada, kazumi
Incanterの紹介
Incanterの紹介
mozk_
主にデータの入出力について (デモコードあり)
Rプログラミング02 データ入出力編
Rプログラミング02 データ入出力編
wada, kazumi
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
JavaScript で学ぶ関数型プログラミングという本を読んでいる時の発表資料です
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
YOSHIKAWA Ryota
[Linux同好会 LT]Linq入門。
Linq To Fun
Linq To Fun
deflis
最新版はこちら: https://speakerdeck.com/yutannihilation/ggplot2zai-ru-men
ggplot2再入門(2015年バージョン)
ggplot2再入門(2015年バージョン)
yutannihilation
What is template
What is template
Akira Takahashi
kagami_comput2015_8
kagami_comput2015_8
swkagami
Pythonintro
Pythonintro
Mikio Kubo
「第15回組合せ最適化セミナー」講演スライド
1次式とノルムで構成された最適化問題とその双対問題
1次式とノルムで構成された最適化問題とその双対問題
京都大学大学院情報学研究科数理工学専攻
Mais conteúdo relacionado
Mais procurados
スタートHaskellでの発表資料です。
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
第1回スタートHaskellで発表した予習のまとめ資料(訂正版)です。
第3章 型とクラス
第3章 型とクラス
Yasuaki Takebe
Rubyの先祖でありながら、いまいちマイナーな存在であるプログラミング言語CLUの紹介です。合わせて日本で唯一CLUを使い続けた、東京工業大学理学部情報科学科木村泉研究室の取り組みについて簡単に触れます。
Rubyの御先祖CLUのお話(原本)
Rubyの御先祖CLUのお話(原本)
洋史 東平
社内勉強会用
Linqことはじめ
Linqことはじめ
Shoichi Yasui
@ わんくま同盟 東京勉強会 #32
わんくま東京#32 「null ヤバイのでなんとかする」
わんくま東京#32 「null ヤバイのでなんとかする」
Takeshi Kiriya
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
すごいHaskell 第7章 型や型クラスを自分で作ろう(後編)
Nozomu Kaneko
2020/3/19 ざっくりPython速習用 関数、ライブラリ紹介
200319 eash python_shareslide_functions
200319 eash python_shareslide_functions
Hiroki Katayama
kagamicomput201808
kagamicomput201808
kagamicomput201808
swkagami
学内でやったアルゴリズムイントロダクションを教本としたComputer Science勉強会で発表したときのスライドです
[アルゴリズムイントロダクション勉強会] ハッシュ
[アルゴリズムイントロダクション勉強会] ハッシュ
Rei Takami
2016年度用に作成した研修テキストです。2015年度版を微修正しており、基本的に同じ内容です。演習用コードとあわせてご利用ください。
統計環境R_はじめの一歩2016
統計環境R_はじめの一歩2016
wada, kazumi
関数型LT▽たいかい
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
2016年度用に作成した研修テキストです。2015年度版を微修正しており、基本的に同じ内容です。演習用コードとあわせてご利用ください。
統計環境R_データ入出力編2016
統計環境R_データ入出力編2016
wada, kazumi
Incanterの紹介
Incanterの紹介
mozk_
主にデータの入出力について (デモコードあり)
Rプログラミング02 データ入出力編
Rプログラミング02 データ入出力編
wada, kazumi
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
JavaScript で学ぶ関数型プログラミングという本を読んでいる時の発表資料です
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
【Topotal輪読会】JavaScript で学ぶ関数型プログラミング 2 章
YOSHIKAWA Ryota
[Linux同好会 LT]Linq入門。
Linq To Fun
Linq To Fun
deflis
最新版はこちら: https://speakerdeck.com/yutannihilation/ggplot2zai-ru-men
ggplot2再入門(2015年バージョン)
ggplot2再入門(2015年バージョン)
yutannihilation
What is template
What is template
Akira Takahashi
kagami_comput2015_8
kagami_comput2015_8
swkagami
Mais procurados
(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
Semelhante a 型推論
Pythonintro
Pythonintro
Mikio Kubo
「第15回組合せ最適化セミナー」講演スライド
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
Introduction to Functional Programming
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
わんくま同盟 東京勉強会 #22 2008/07/12
C++0x 言語の未来を語る
C++0x 言語の未来を語る
Akira Takahashi
大阪 PRML 勉強会使用スライド
Ml ch2
Ml ch2
Ryo Higashigawa
Prml 4
Prml 4
Satoshi Kawamoto
Boost.勉強会 #7 中3女子でもわかる constexpr
中3女子でもわかる constexpr
中3女子でもわかる constexpr
Genya Murakami
Semelhante 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
Mais 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
JOI夏季セミナー2012での発表
Summer seminar
Summer seminar
Eita Sugimoto
HaskellでBrainfuckインタプリタを作ったことについて、初心者向け
Functional Pearl + Brainfuck
Functional Pearl + Brainfuck
Eita Sugimoto
NPCAでLTしたスライド そのうちブログにちゃんとした解説とかを書くかも
ラムダ計算入門
ラムダ計算入門
Eita Sugimoto
Mais 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
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Key topics covered: - Understanding Ballerina's role in integrations: features and advantages - Designing and implementing REST APIs for integration - Designing and implementing GraphQL services with Ballerina - Monitoring and observing applications - Introduction to data integration
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
2022年10月27日に社内向けに開催した勉強会資料の社外公開版です(発表8分程度)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Syed Talal Wasim, Muzammal Naseer, Salman Khan, Ming-Hsuan Yang, Fahad Shahbaz Khan , "Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Grounding" arXiv2024 https://arxiv.org/abs/2401.00901v2
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
This is an introduction to MAPPO's paper.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
2024年5月8日 Power Platform 勉強会 #1 LT資料
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
Jue Wang, Wentao Zhu, Pichao Wang, Xiang Yu, Linda Liu, Mohamed Omar, Raffay Hamid, " Selective Structured State-Spaces for Long-Form Video Understanding" CVPR2023 https://openaccess.thecvf.com/content/CVPR2023/html/Wang_Selective_Structured_State-Spaces_for_Long-Form_Video_Understanding_CVPR_2023_paper.html
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
LoRaWANスマート距離検出センサー DS20Lカタログ
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
Último
(11)
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
型推論
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.
ご清聴ありがとうございました
Baixar agora