Basic-of-programming_3-3
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[プログラミングの基礎]] ＞ 第3章 変数の定義
*3.3 変数の実行方法 [#s93d7aea]
OCamlインタープリターにおけるプログラムの実行は、変数を値...
これは、私達が数学で変数を使って計算するのとまったく同じ...
~
*練習問題 [#sbf1c048]
(p.17) 問題3.2
# let e = 2.7182 ;; (* float *) ;;
val e : float = 2.7182
# 1.0 +. e *. 2.0 ;;
- : float = 6.4364
1.0 +. e *. 2.0
という式はどのように実行（簡約）されるのでしょうか？
+ 1.0 +. e *. 2.0
+ 1.0 +. 2.7182 *. 2.0
+ 1.0 +. 5.4364
+ 6.4364
**簡約 [#je76ac8a]
ラムダ計算の式を実行することを「簡約」（reduction）と言い...
（参考）
-ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
https://tarao.hatenablog.com/entry/20100208/1265605429
終了行:
[[プログラミングの基礎]] ＞ 第3章 変数の定義
*3.3 変数の実行方法 [#s93d7aea]
OCamlインタープリターにおけるプログラムの実行は、変数を値...
これは、私達が数学で変数を使って計算するのとまったく同じ...
~
*練習問題 [#sbf1c048]
(p.17) 問題3.2
# let e = 2.7182 ;; (* float *) ;;
val e : float = 2.7182
# 1.0 +. e *. 2.0 ;;
- : float = 6.4364
1.0 +. e *. 2.0
という式はどのように実行（簡約）されるのでしょうか？
+ 1.0 +. e *. 2.0
+ 1.0 +. 2.7182 *. 2.0
+ 1.0 +. 5.4364
+ 6.4364
**簡約 [#je76ac8a]
ラムダ計算の式を実行することを「簡約」（reduction）と言い...
（参考）
-ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
https://tarao.hatenablog.com/entry/20100208/1265605429
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
