[過去ﾛｸﾞ] プログラムを組むのに数学の勉強は必要か？数学板住民の意見は (83ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
63(1): 2024/11/07(木)22:52 ID:GuBZ+e11(5/5) AAS
ちなみに「計算効果」というのはあとから与えられた名称なので元論文には出てこない。相当するのはnotion of computationという概念かな。
圏論使った理論なんだからまず圏なさないといけないじゃん。普通は圏を成さないプログラムを圏にしようと思うとモナドが必要になる、では納得できないもん？
ちなみに動作機構の解釈とか、do表記の解釈とかは無いよ。あくまで表示的意味論を構造化するもんだから。そういうのは副産物的に便利なだけだと思う。
64: 2024/11/08(金)18:49 ID:cKORtqw5(1/2) AAS
>>63
「モナドが必要になる」は分かるんですよ。
純粋数学におけるモナドってどういう位置づけ？みたいな感覚でしょうか。
多分、純粋数学のどこでモナドって現れるの?が聞きたいのかも。
具体例がいくつかあれば、イメージ湧く気がします。
モノイドが数え上げや繰り返しによく表れる構造。みたいなのが欲しいのかも知れません。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.231s*