[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
575: デフォルトの名無しさん [sage] 2024/11/03(日) 20:04:29.51 ID:H5/A1U4T ここまで表示的意味論の話題無し。 数学とプログラミングだったら必須じゃね？表示的意味論 http://mevius.5ch.net/test/read.cgi/tech/1710585705/575
577: デフォルトの名無しさん [] 2024/11/03(日) 20:24:44.88 ID:H5/A1U4T 俺も詳しくはないが、具体的に何を聞きたい？ やっぱりモナド？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/577
579: デフォルトの名無しさん [sage] 2024/11/03(日) 23:54:35.53 ID:H5/A1U4T プログラミングでできるけど表示的意味論で不可能な部分なんて大量にあるのでは。 表示的意味論なんて関数型プログラミングありきだし、命令型プログラミングの概念とかを直接的には全然反映できない。 命令型だろうがオブジェクト指向だろうが、いったん中間言語として関数型プログラミング言語に変換してさらに それを表示的意味論で数学にして、というようなことを最終的にやりたいんだろうとは思う。 一応表示的意味論で、入出力とかも扱えるし、既に表示的意味論的に定式化されている概念を駆使すれば、現実のプログラムの 概念を既に表示的意味論に定式化されている概念に還元させるということは原理的にはできるのかもしれない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/579
580: デフォルトの名無しさん [sage] 2024/11/03(日) 23:55:07.03 ID:H5/A1U4T でも、問題はプログラミング言語のいろんな特徴を反映させたデータ領域というのが、機能をひとつ追加するごとにその 定義の記述がめちゃくちゃ複雑になるというところにあると思う。つまり原理的にはできるかもしれないけれど、 現実的には不可能ってやつ。 結局、プログラミングでできる部分を数学にするにも、結局プログラミングしないといけないとかいう状況になる。 表示的意味論はそのプログラミングでできる部分をプログラミングするという意味のプログラミングの機能が乏しい。特にモジュール性がない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/580
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s