Haskell入門_1-1-1-column
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[Program]] ＞ [[Haskell]] ＞ [[Haskell入門]] ＞ 第1章 は...
RIGHT:2022-01-20 (木) 公開
//RIGHT:2022-01-20 (木) 更新
#html{{
<div class="alert alert-info">学習メモ</div>
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
#contents
//----------------------------------------
* 【Column】 ラムダ計算 [#b7db9edf]
関数型プログラミング言語は、「ラムダ計算」という計算モデ...
~
（参考）日経ソフトウエア 2008年3月号 55ページ
#html{{
<table class="table table-bordered">
<thead>
<tr><th colspan="2">分類</th><th>基礎となる計算モデル</th...
</thead>
<tbody>
<tr><td>命令型プログラミング言語</td><td>手続き型言語</td...
<tr><td rowspan="3">宣言的プログラミング言語</td><td>問合...
<tr><td>関数型言語</td><td>ラムダ計算</td><td>Lisp, Haske...
<tr><td>論理型言語</td><td>一階述語言語</td><td>Prolog</t...
</tbody>
</table>
}}
** ラムダ計算 [#oe3edaf5]
（参考）ラムダ計算 - Wikipedia https://w.wiki/3aqc
>ラムダ計算（ラムダけいさん、英語: lambda calculus）は、...
ラムダ算法とも言う。
関数を表現する式に文字ラムダ (λ) を使うという慣習からその...
アロンゾ・チャーチとスティーヴン・コール・クリーネによっ...
1936年にチャーチはラムダ計算を用いて一階述語論理の決定可...
ラムダ計算は「計算可能な関数」とはなにかを定義するために...
計算の意味論や型理論など、計算機科学のいろいろなところで...
>ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則...
ここでいう「ユニバーサルな」とは、全ての計算可能な関数が...
これは、ラムダ計算がチューリングマシンと等価な数理モデル...
チューリングマシンがハードウェア的なモデル化であるのに対...
** 型付きラムダ計算 [#c045cb30]
Haskellは、型付きラムダ計算に分類されます。
~
（参考） 型付きラムダ計算 - Wikipedia https://w.wiki/4iDA
>型付きラムダ計算（英: typed lambda calculus）とは、無名...
型付きラムダ計算は基礎的なプログラミング言語でもあり、ML...
また、カリー・ハワード同型対応によって数理論理学と証明論...
例えば単純な型付きラムダ計算はデカルト閉圏 (CCC) の言語で...
>ある観点から見れば、型付きラムダ計算は型を持たないラムダ...
** 「型」に関する参考ページ [#mcdf937d]
- 型の理論入門 （ 論理学入門 III ） | MaruLabo
https://www.marulabo.net/docs/type-theory-talkie/
- 型の理論 入門 - YouTube
https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNMNV-GK...
*** YouTube [#u418668a]
-「型の理論」入門（３）「型付きラムダ計算」 - YouTube
https://www.youtube.com/watch?v=p9dv0RH4s60
#html{{
<iframe width="560" height="315" src="https://www.youtube...
}}
終了行:
[[Program]] ＞ [[Haskell]] ＞ [[Haskell入門]] ＞ 第1章 は...
RIGHT:2022-01-20 (木) 公開
//RIGHT:2022-01-20 (木) 更新
#html{{
<div class="alert alert-info">学習メモ</div>
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
#contents
//----------------------------------------
* 【Column】 ラムダ計算 [#b7db9edf]
関数型プログラミング言語は、「ラムダ計算」という計算モデ...
~
（参考）日経ソフトウエア 2008年3月号 55ページ
#html{{
<table class="table table-bordered">
<thead>
<tr><th colspan="2">分類</th><th>基礎となる計算モデル</th...
</thead>
<tbody>
<tr><td>命令型プログラミング言語</td><td>手続き型言語</td...
<tr><td rowspan="3">宣言的プログラミング言語</td><td>問合...
<tr><td>関数型言語</td><td>ラムダ計算</td><td>Lisp, Haske...
<tr><td>論理型言語</td><td>一階述語言語</td><td>Prolog</t...
</tbody>
</table>
}}
** ラムダ計算 [#oe3edaf5]
（参考）ラムダ計算 - Wikipedia https://w.wiki/3aqc
>ラムダ計算（ラムダけいさん、英語: lambda calculus）は、...
ラムダ算法とも言う。
関数を表現する式に文字ラムダ (λ) を使うという慣習からその...
アロンゾ・チャーチとスティーヴン・コール・クリーネによっ...
1936年にチャーチはラムダ計算を用いて一階述語論理の決定可...
ラムダ計算は「計算可能な関数」とはなにかを定義するために...
計算の意味論や型理論など、計算機科学のいろいろなところで...
>ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則...
ここでいう「ユニバーサルな」とは、全ての計算可能な関数が...
これは、ラムダ計算がチューリングマシンと等価な数理モデル...
チューリングマシンがハードウェア的なモデル化であるのに対...
** 型付きラムダ計算 [#c045cb30]
Haskellは、型付きラムダ計算に分類されます。
~
（参考） 型付きラムダ計算 - Wikipedia https://w.wiki/4iDA
>型付きラムダ計算（英: typed lambda calculus）とは、無名...
型付きラムダ計算は基礎的なプログラミング言語でもあり、ML...
また、カリー・ハワード同型対応によって数理論理学と証明論...
例えば単純な型付きラムダ計算はデカルト閉圏 (CCC) の言語で...
>ある観点から見れば、型付きラムダ計算は型を持たないラムダ...
** 「型」に関する参考ページ [#mcdf937d]
- 型の理論入門 （ 論理学入門 III ） | MaruLabo
https://www.marulabo.net/docs/type-theory-talkie/
- 型の理論 入門 - YouTube
https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNMNV-GK...
*** YouTube [#u418668a]
-「型の理論」入門（３）「型付きラムダ計算」 - YouTube
https://www.youtube.com/watch?v=p9dv0RH4s60
#html{{
<iframe width="560" height="315" src="https://www.youtube...
}}
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
