[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
559: デフォルトの名無しさん [] 2024/07/19(金) 13:53:04.91 ID:kaoCcgmG >>542 分解したら、Windows PCだったりして http://mevius.5ch.net/test/read.cgi/tech/1710585705/559
560: デフォルトの名無しさん [sage] 2024/07/19(金) 14:39:13.29 ID:bKXE7aT9 マルウェアがもれなく付いてきます http://mevius.5ch.net/test/read.cgi/tech/1710585705/560
561: デフォルトの名無しさん [] 2024/07/19(金) 23:54:46.97 ID:rC6z5NUh クラウドストライク略してクラスト 本気でストライク開始 http://mevius.5ch.net/test/read.cgi/tech/1710585705/561
562: デフォルトの名無しさん [] 2024/07/23(火) 09:18:20.47 ID:iSDzXJU2 半整数を定義してくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/562
563: デフォルトの名無しさん [sage] 2024/07/23(火) 10:43:32.92 ID:Kdzr5IGr 整数を半分にします http://mevius.5ch.net/test/read.cgi/tech/1710585705/563
564: デフォルトの名無しさん [] 2024/07/31(水) 00:58:55.05 ID:YsLojSCU >>562 Haskellだと分数型があるから、整数型と分数型のタプルにするとして、分数を型の方で1/2に限定できないから、四則演算の演算子の方に分数が1/2かどうかとか、半整数型で閉じてないから、計算結果の型を条件ごとに…肩を同じにしないといけないから無理だ。 分数型で統一して、半整数の条件満たしてるか判定した方が早そう。 専用演算子の返す値の型は…分数と半整数かどうかの判定結果のタプルかな？ (Ratio, Bool) 奇数・単偶数も見分けた方が良いだろうし、Boolの方を4値位のHeafIntFlg型？的なの作るか？ data HIFlg = HInt | Odd | SEven | AEven deriving Show type HInt = (Ratio, HIFlg) 試しに(Ratio,Bool)で作れそうか見てみた。(Haskellの分数型は%が/の代わり) ghci> (1+1%2,True) -- 1+1%2 = 1 + 1/2 (3 % 2,True) うん。 行けそうだね。 >562、ここまでお膳立てすれば後は出来るよね？じゃあねﾉｼ http://mevius.5ch.net/test/read.cgi/tech/1710585705/564
565: あぼーん [あぼーん] あぼーん http://mevius.5ch.net/test/read.cgi/tech/1710585705/565
566: デフォルトの名無しさん [sage] 2024/08/27(火) 18:58:40.55 ID:cp4Z1Add >>565 めっちゃ簡単よ http://mevius.5ch.net/test/read.cgi/tech/1710585705/566
567: デフォルトの名無しさん [] 2024/10/03(木) 09:59:27.49 ID:Z/ktGrzU NHK BS 熱血Bリーグ 司会者：「今日から彩雪さんが登場です」 ゲスト一同：「うぇーい」 司会者：「彩雪さんは高校の教師もしておられます」 一同：「うぇーい」 司会者：「彩雪さんは何の科目？」 彩雪：数学です ゲスト：「高校数学なんてついていけない」 司会者：「大学では何を専門に？」 彩雪：複素解析です 司会者：「複素解析？なんですそれは？」 彩雪：複素数は御存知ですか？ 一同：「・・・」 彩雪：「・・・」 http://mevius.5ch.net/test/read.cgi/tech/1710585705/567
568: デフォルトの名無しさん [sage] 2024/10/04(金) 13:34:20.62 ID:RixEjMnj 1729とは http://mevius.5ch.net/test/read.cgi/tech/1710585705/568
569: デフォルトの名無しさん [sage] 2024/10/05(土) 15:11:52.05 ID:u1hwkRNd >>568 誰もそんな話をしてないぞ ガイジ http://mevius.5ch.net/test/read.cgi/tech/1710585705/569
570: デフォルトの名無しさん [] 2024/10/20(日) 19:53:15.13 ID:Xkf3xe26 こういうのはLLMでどうにかならんの？ o1で推論能力かなり上がったらしいけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/570
571: デフォルトの名無しさん [] 2024/10/20(日) 20:30:20.00 ID:Rpp5gjxc 無理かな。 決定論的な数学（微分積分見たいな予測の方の数学）のラプラスの悪魔（すべての現在の状態が分かればすべてを予測可能）と 確率論的な数学のLLMの引数を無限にすれば万能関数になるってのは多分、別々の道を進んだ先が同じになるパターン。 現実的には無理だけど、その極限で全く別に見えた数学の分野が交差する瞬間と考えるとちょっと感動。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/571
572: デフォルトの名無しさん [sage] 2024/10/20(日) 21:00:22.63 ID:hJ3wIO0s 漠然としすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/572
573: デフォルトの名無しさん [sage] 2024/10/20(日) 21:03:05.38 ID:jAtz6juv eとπと素数やね http://mevius.5ch.net/test/read.cgi/tech/1710585705/573
574: デフォルトの名無しさん [sage] 2024/10/20(日) 21:09:32.76 ID:hJ3wIO0s >>571 それたんにNNのこと言ってだけで language modelでやる説明になってない http://mevius.5ch.net/test/read.cgi/tech/1710585705/574
575: デフォルトの名無しさん [sage] 2024/11/03(日) 20:04:29.51 ID:H5/A1U4T ここまで表示的意味論の話題無し。 数学とプログラミングだったら必須じゃね？表示的意味論 http://mevius.5ch.net/test/read.cgi/tech/1710585705/575
576: デフォルトの名無しさん [] 2024/11/03(日) 20:10:04.71 ID:W/WQS3jI 専門外（そもそも趣味なので専門以前）だが、確かに詳しい人が居たら聞いてみたい http://mevius.5ch.net/test/read.cgi/tech/1710585705/576
577: デフォルトの名無しさん [] 2024/11/03(日) 20:24:44.88 ID:H5/A1U4T 俺も詳しくはないが、具体的に何を聞きたい？ やっぱりモナド？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/577
578: デフォルトの名無しさん [] 2024/11/03(日) 21:59:26.71 ID:W/WQS3jI 表示的意味論でプログラミング不可能な部分とか、その逆にプログラミングで出来るけど表示的意味論では不可能な部分。 要するに表示的意味論的にスレタイの「数学」をプログラミング。は可能か否か。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/578
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
581: デフォルトの名無しさん [] 2024/11/04(月) 19:51:27.22 ID:rdTeenaM 原理的に可能でも、現実的には不可能…なるほど…。 もっと原理的にも不可能な部分が多いかと思っていたので意外でしたし、大変勉強になりました。 ありがとうございましたm(_ _)m http://mevius.5ch.net/test/read.cgi/tech/1710585705/581
582: デフォルトの名無しさん [] 2024/11/04(月) 19:59:50.07 ID:xJc0M/SU いや、知らんけど。俺も勉強中の身だからまともに受け取らないでほしい。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/582
583: デフォルトの名無しさん [sage] 2024/11/04(月) 20:17:23.94 ID:rgFUj3k3 それより「表示的意味論」てう用語は全角漢字6文字で長いから 君のその文章の中に頻繁に出てくるソレが読んでる間にゲシュタルト崩壊して頭に入ってこないんだよね これは日本語で専門分野の説明をする際の難しさの一因になってると思う 英語だとDenotational SemanticsらしいからDSでいいんじゃないかね http://mevius.5ch.net/test/read.cgi/tech/1710585705/583
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 419 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s