関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新

---

450: 2024/10/03(木)20:00 ID:B2Xmf+Xl(6/9) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
450: [] 2024/10/03(木) 20:00:39.07 ID:B2Xmf+Xl 訂正 computationというか、今でいう「入出力の予約情報と返り値の情報がまとめられたもの」を 数学的にうまく正当化するということが達成することができるのであれば、 入出力つきのプログラムを、valueからcomputationへの対応 に割り当てるということが正当化できるはずだ、と考えられる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/450
訂正 というか今でいう入出力の予約情報と返り値の情報がまとめられたものを 数学的にうまく正当化するということが達成することができるのであれば 入出力つきのプログラムをからへの対応 に割り当てるということが正当化できるはずだと考えられる

---

上下前次1-新書関写板覧索設栞歴

---

あと 217 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.028s