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

---

447: 2024/10/03(木)19:56 ID:B2Xmf+Xl(3/9) AA×


[240|320|480|600|原寸|JPG|べ|ﾚｽ栞|ﾚｽ消]
447: [] 2024/10/03(木) 19:56:29.70 ID:B2Xmf+Xl 入出力があるプログラムをどう数学的に整合する概念に対応させるかについて書いてみる。 こういう説明が通るものなのか興味があるし。 まず、仮想的なシェルスクリプト風の行番号付き手続き型言語を想定して、 その言語で入出力があるプログラムを定義するとする。 000 procedure prog1(int n) { 001　double res 002　（なにか込み入った計算） .... 020　echo "hogehoge" 021　（なにか込み入った計算） .... 050　echo "fugafuga" 051　（なにか込み入った計算） ... 100　return res } このプログラムは実行 $(prog1) すると、行番号001版から順に評価していって複雑な計算をしつつ途中 hogehoge　　←　行番号０２０の命令を評価 fugafuga　　←　行番号０５０の命令を評価 と表示した上で、返り値 res を返す、という動作をする。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/447
入出力があるプログラムをどう数学的に整合する概念に対応させるかについて書いてみる こういう説明が通るものなのか興味があるし まず仮想的なシェルスクリプト風の行番号付き手続き型言語を想定して その言語で入出力があるプログラムを定義するとする なにか込み入った計算 なにか込み入った計算 なにか込み入った計算 このプログラムは実行 すると行番号版から順に評価していって複雑な計算をしつつ途中 行番号０２０の命令を評価 行番号０５０の命令を評価 と表示した上で返り値 を返すという動作をする

---

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

---

あと 228 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.042s