Submit Search
Upload
Ta plスライド第4章
•
1 like
•
925 views
Kyoko Kadowaki
Follow
Education
Report
Share
Report
Share
1 of 9
Download now
Download to read offline
Recommended
型無しラムダ計算―OCamlによる実装―
型無しラムダ計算―OCamlによる実装―
Proktmr
こわくないScala
こわくないScala
Kota Mizushima
Scala is-unscared
Scala is-unscared
Kota Mizushima
Laravel5.1をつかったWebアプリケーション開発
Laravel5.1をつかったWebアプリケーション開発
kan-notice
Hott_1
Hott_1
Kyoko Kadowaki
PPL2016-9-3
PPL2016-9-3
Kyoko Kadowaki
Earth Day 2014
Earth Day 2014
Daina Lujan
ネット検索をしなくなる時代
ネット検索をしなくなる時代
Masakazu Mito
Recommended
型無しラムダ計算―OCamlによる実装―
型無しラムダ計算―OCamlによる実装―
Proktmr
こわくないScala
こわくないScala
Kota Mizushima
Scala is-unscared
Scala is-unscared
Kota Mizushima
Laravel5.1をつかったWebアプリケーション開発
Laravel5.1をつかったWebアプリケーション開発
kan-notice
Hott_1
Hott_1
Kyoko Kadowaki
PPL2016-9-3
PPL2016-9-3
Kyoko Kadowaki
Earth Day 2014
Earth Day 2014
Daina Lujan
ネット検索をしなくなる時代
ネット検索をしなくなる時代
Masakazu Mito
SIAMSEAS2015
SIAMSEAS2015
Ogugua Onyejekwe
Intoduction to Homotopy Type Therory
Intoduction to Homotopy Type Therory
Jack Fox
Agda による型推論器の定式化
Agda による型推論器の定式化
Kyoko Kadowaki
ホモトピー型理論入門
ホモトピー型理論入門
k h
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
証明プログラミング超入門
証明プログラミング超入門
Kyoko Kadowaki
証明プログラミング入門2
証明プログラミング入門2
Kyoko Kadowaki
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ssusere0a682
More Related Content
Viewers also liked
SIAMSEAS2015
SIAMSEAS2015
Ogugua Onyejekwe
Intoduction to Homotopy Type Therory
Intoduction to Homotopy Type Therory
Jack Fox
Agda による型推論器の定式化
Agda による型推論器の定式化
Kyoko Kadowaki
ホモトピー型理論入門
ホモトピー型理論入門
k h
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
証明プログラミング超入門
証明プログラミング超入門
Kyoko Kadowaki
証明プログラミング入門2
証明プログラミング入門2
Kyoko Kadowaki
Viewers also liked
(7)
SIAMSEAS2015
SIAMSEAS2015
Intoduction to Homotopy Type Therory
Intoduction to Homotopy Type Therory
Agda による型推論器の定式化
Agda による型推論器の定式化
ホモトピー型理論入門
ホモトピー型理論入門
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
証明プログラミング超入門
証明プログラミング超入門
証明プログラミング入門2
証明プログラミング入門2
Recently uploaded
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ssusere0a682
Recently uploaded
(7)
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
Ta plスライド第4章
1.
TaPL 第四章 門脇 香子
2.
算術式のML実装 • TaPLに出てくるコードはだいたいOCamlで書いて ある(いいよね?) • しかもOCamlのごく小さなサブセットのみである •
型システムを語るにあたってパターンマッチの無い Java,Schemeなどは厳しい。Cなどは論外
3.
4.1 構文 • 構文は以下のようになる •
17ページの実装の書き直し(info に関しては省略)
4.
4.1 構文 • 項が数値かどうか判定する関数 •
項が値であるか判定する関数
5.
4.2 評価 • 単一ステップの評価関数eval1 •
例外を発生させる必要がある
6.
4.2 評価 • 評価関数eval1 •
パターンマッチで明示的にwith を使っている ̶ nv1 が実際に数値であると きのみ評価規則が起動される
7.
4.2 評価 • 評価関数本体
eval • eval1が新しい評価を返し続けるうちはevalは再帰 的に呼び出される • これ以上評価できない項(正規形)になると止まる
8.
演習4.2.2 • 一応やっておきました
9.
4.3 最後に • コンパイラ,インタプリタの実装は以下の流れで行 われる •
今回は項を評価する段階を実装した ファイルI/O 字句解析 構文解析 評価 表示 文字 トークン 項 値
Download now