関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上
下
前
次
1-
新
490
(1)
: 2024/10/04(金)21:48
ID:tixO3LDq(13/22)
AA×
[
240
|320|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
490: [] 2024/10/04(金) 21:48:55.49 ID:tixO3LDq λ計算が数学的に正当化されてないというような話はしてなくて、 現実のプログラムをλ計算に反映させようと思っても入出力とか非決定計算の部分は表現しきれない そのλ計算からはみ出す部分をどう正当化させようかという話。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/490
計算が数学的に正当化されてないというような話はしてなくて 現実のプログラムを計算に反映させようと思っても入出力とか非決定計算の部分は表現しきれない その計算からはみ出す部分をどう正当化させようかという話
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 177 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.021s
