「数学」をプログラミングするには

レス数が1000を超えています。これ以上書き込みはできません。
1デフォルトの名無しさん
垢版 |
2024/03/16(土) 19:41:45.98ID:nuwGv9us
たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
2024/03/16(土) 20:29:40.05ID:TBzj9DHS
>>1
証明を記述するための言語がある。CoqとかAgdaとか
あと単発質問はスレを立てるまでもない質問スレでどうぞ
2024/03/17(日) 07:03:55.84ID:SKDLv/jq
>>1
アルゴリズムではなくメモリ容量の問題
無限小数を求めるには無限のメモリが必要で世界中のメモリを集めても無限にはならないので不可能なだけ
4デフォルトの名無しさん
垢版 |
2024/03/17(日) 11:29:45.06ID:lA2zK95Y
>>3
数学できなさそう
5デフォルトの名無しさん
垢版 |
2024/03/17(日) 12:41:14.29ID:JxXcG9lm
>>3
この問題解くのに無限小数計算してる奴なんかおらんわ(笑)
2024/03/17(日) 16:58:12.31ID:t9G995RY
数学をプログラミングする方法は、使用するプログラミング言語によって異なりますが、一般的なアプローチは次の通りです。
適切なプログラミング言語の選択: 数学をプログラミングするためには、数値計算やデータ解析に適した言語を選択することが重要です。Python、Julia、MATLAB、Rなどが一般的に使用されます。
必要なライブラリのインポート: 数学的な計算を効率的に行うためには、各言語には数学関連のライブラリが用意されています。例えば、Pythonの場合、NumPyやSciPyが、Juliaの場合、Baseや特定のパッケージが数学関数を提供します。
数学的なアルゴリズムの実装: 数学的なアルゴリズムをプログラミングする際には、基本的な数学的概念やアルゴリズムの理解が必要です。数式をプログラムに変換することが重要です。
データの操作と可視化: 数学をプログラミングする場合、しばしばデータの操作や可視化が必要になります。そのためには、適切なデータ構造や可視化ツールを使用します。
7デフォルトの名無しさん
垢版 |
2024/03/17(日) 17:46:14.57ID:zKMEHLV8
定理証明支援系はオワコン
8デフォルトの名無しさん
垢版 |
2024/03/17(日) 18:05:28.66ID:QfhdY2k7
ランベルト関数(近似精度がヤヴァくてもヨシ)
をサポートしてる言語のがほしいデス
9デフォルトの名無しさん
垢版 |
2024/03/17(日) 18:39:40.06ID:zKMEHLV8
基礎論以外の命題の証明を証明支援系で一から書くのは現実的ではないから、既存の有名命題がライブラリとして使えるような処理系を使うことになるんだろう
10デフォルトの名無しさん
垢版 |
2024/03/17(日) 19:26:02.03ID:OVnjvt7h
証明支援系で証明を書いても、それを再利用してべつの定理を自動で証明できるわけでもないし、ソフトウェアとして全く無意味だよね……
11デフォルトの名無しさん
垢版 |
2024/03/17(日) 19:48:59.04ID:HYzzoyFI
証明支援系を使うことで未知の証明ができたり、数学の問題がよくわかったりするわけじゃなくて、
すでに証明できてるものを、PかつQを表す型はこうで~ みたいな書き換えをやるだけだからな
2024/03/17(日) 21:15:14.06ID:t9G995RY
Condensed Mathematics
https://www.math.ku.dk/english/calendar/events/condensed-mathematics/

topologyに対するP. Scholzeの試しみ
13デフォルトの名無しさん
垢版 |
2024/03/17(日) 22:11:26.89ID:BrUemZnE
証明支援系が役に立たないなら、そもそも数学で証明を与えることにどういう意味があるのか考えてしまう
2024/03/17(日) 22:43:10.74ID:zgd3XX/C
厳密だが根拠がない等式を、厳密ではないが根拠のある不等式の集まりにすりかえる
2024/03/18(月) 08:21:20.80ID:PIvrnI/y
数==数では背理法が使いにくいが
集合==集合は背理法や不等号の価値がまるで渡米したIT創業者みたいになる
2024/03/18(月) 08:43:53.53ID:pTevW9jL
イミフ
2024/03/18(月) 09:53:36.41ID:dVjvry4m
読まなくても分かることをほぼ知り尽くしてから読めば楽に読める
例えば書いた者に悪意があるのかないのかを事前に知らないより知っている方が楽
正義とか悪とかが苦手な人にはこれができない
18デフォルトの名無しさん
垢版 |
2024/03/18(月) 10:14:54.25ID:HmpJvDlJ
∫_0^1 dx/(1 + x^2) = Arctan(1) - Arctan(0) = π/4

x = arctan(y)
x' = 1/y'
= cos(x)^2
= cos(x)^2/(cos(x)^2 + sin(x)^2)
= 1/(1 + tan(x)^2)
= 1/(1 + y^2)

微分とtanの特殊値がライブラリによって既知なら、書き下せそう
ただ、書いたところでだからなんだって話だが
2024/03/18(月) 10:16:03.73ID:pTevW9jL
おっさんのポエム
20デフォルトの名無しさん
垢版 |
2024/03/18(月) 10:19:41.06ID:HmpJvDlJ
あとArctanのテイラー展開
もしくは項別積分
項別積分する場合は、べき級数の収束半径とか、境界での連続性とかも
2024/03/18(月) 11:21:23.44ID:dVjvry4m
積分変数を別名に変えても積分の結果が変わらないこと
などを証明することに興味無さすぎて
変数を使わない技術だけが発達しているんじゃないか
2024/03/18(月) 17:26:37.63ID:pTevW9jL
道師様のお言葉
https://terrytao.files.wordpress.com/2024/03/machine-jan-3.pdf
2024/03/18(月) 20:14:54.78ID:nsefbItQ
>>4
そしてあんたはプログラムができない
永久にすれ違いだなw

>>5
実際に計算しない限りプログラムの世界では完成したとは言えない
できたような気になってるだけだw
24デフォルトの名無しさん
垢版 |
2024/03/18(月) 20:38:29.54ID:8wq33qzx
>>23
ふつうに証明支援系で証明できるが
2024/03/18(月) 20:59:25.05ID:zv8Td5xB
変数に別の変数 (を含む式) を代入するのは嫌なので、右辺を実際に計算してしまった値を代入する
計算してない式を代入するのが何故そんなに嫌なのかを理解しない限り話が進まない
26デフォルトの名無しさん
垢版 |
2024/03/18(月) 21:35:55.83ID:fpvRWfHG
コード書けない奴が必死に妄想でレスバするクソスレ
NG決定
2024/03/18(月) 23:20:36.59ID:zv8Td5xB
しかし、何も書かないより悪いコードを書く方がマシみたいな保証が
あると思うならそれこそ妄想なのでは
28デフォルトの名無しさん
垢版 |
2024/03/19(火) 04:11:20.65ID:YAmi9Hnz
数学を記述するには一階述語論理があれば十分
しかし処理系側は特殊なケースに特化するよりも自然に実装できる範囲で一般化したほうがいいだろう
命題の記述は依存型による
29デフォルトの名無しさん
垢版 |
2024/03/19(火) 12:34:54.32ID:pUZ6M7m/
動的型付けの証明支援系ってのは何をしてるんだ?
2024/03/19(火) 14:33:42.20ID:NSxYSp14
○○を支援する言語と○○が可能な言語を分断するパラダイムはたしかにオワコンだ
逆に支援を語りえない所謂unsafeを書けるやつが比較的新しい
31デフォルトの名無しさん
垢版 |
2024/03/19(火) 15:02:06.03ID:YRVQB5Qs
>2 の紹介しているCoqとか、純粋関数型言語HaskellもPCで動く数学って感じではあるけども、そもそもメモリが有限なので連続を表現できない。

どんなに小さい数を表現できても有限である以上は離散的なのよねん。

離散数学の範囲ならHaskell良いよ。

子供向けだけど、Viscuit(ビスケット)は写像というか変換のみで言語作ってる。
(ビスケットの中の人曰く「書き換え型言語」)
32デフォルトの名無しさん
垢版 |
2024/03/19(火) 15:24:32.49ID:3KaIc7lk
>>31
ポエムは日記に書いてろ
33デフォルトの名無しさん
垢版 |
2024/03/19(火) 16:20:03.06ID:Q+qUW8xc
leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか?
34デフォルトの名無しさん
垢版 |
2024/03/19(火) 16:58:20.60ID:WY0TXEXb
>>33
勉強にはなるんじゃない?
35デフォルトの名無しさん
垢版 |
2024/03/19(火) 16:59:03.63ID:WY0TXEXb
ほんとうに教科書に載ってる定理の証明がぜんぶ正しく書かれてるなら、それは教科書読んでるのと同じわけだし
36デフォルトの名無しさん
垢版 |
2024/03/19(火) 17:00:04.15ID:WY0TXEXb
lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる
37デフォルトの名無しさん
垢版 |
2024/03/19(火) 17:06:08.09ID:50xBt2sS
>>29
推論規則にしたがって項を削除したり、条件をみたす要素を深さ優先探索したり
38デフォルトの名無しさん
垢版 |
2024/03/19(火) 17:54:01.83ID:/7JjNXd8
証明支援系っつっても、ふつうにプログラム書くのと同じで、特定の問題の解法をプログラムしてるだけ
ようは論理のピタゴラスイッチ作ってるだけ
べつに未知の証明を自動で発見してくれるわけではない(もちろん、問題によっては自動的に解決できる場合もあるが)
39デフォルトの名無しさん
垢版 |
2024/03/19(火) 17:56:38.86ID:P1OcOpxu
証明支援系Lean4
数式処理システムSage
組版システムLaTeX

を組み合わせたオープンソースの統合数学環境と、黒板の文字や図を認識する入力インタフェースがあればいいと思う
40デフォルトの名無しさん
垢版 |
2024/03/19(火) 18:04:10.23ID:qttME5ET
>>36
「プログラミングの勉強」を「プログラム言語」の勉強だと思ってるバカ
「program」の意味を調べてみろ。言語はただの手法の一つ
2024/03/19(火) 18:56:00.18ID:5dhARo0o
バカが必死で草
42デフォルトの名無しさん
垢版 |
2024/03/19(火) 19:15:14.75ID:IwEkPQSo
この馬鹿は何がしたいんだろ……
2024/03/20(水) 10:18:59.26ID:ea1o2Ub5
>>36
CやFortranの評価が低いということはHaskellの中でモナドの評価が低いよね
それはもったいないから言語を競争させる原理はよくない
44デフォルトの名無しさん
垢版 |
2024/03/20(水) 12:54:23.96ID:VbUXRLzi
>>43
ポエムはよそで書いてろ
2024/03/20(水) 13:10:38.35ID:ea1o2Ub5
ミサイルでも撃たれたならともかく
ポエムなるものを書き込まれたことへの反応が過剰なのが気になる
現実世界にポエムが存在しなくなれば消去法で「数学」になるってことなのかな
46デフォルトの名無しさん
垢版 |
2024/03/20(水) 14:27:47.20ID:I+zqr01r
スレタイが悪い
専門用語や英語を入れておかないと、自分も話題に参加できると勘違いした馬鹿が書き込む
2024/03/20(水) 15:26:54.49ID:4PdbE3xv
仲よき事は美しき哉 志賀直哉
2024/03/20(水) 15:27:56.00ID:4PdbE3xv
>>22
これに反応できないお前ら
49デフォルトの名無しさん
垢版 |
2024/03/20(水) 15:50:55.08ID:vNXgKg89
>>47 武者小路実篤じゃなかったっけ
50デフォルトの名無しさん
垢版 |
2024/03/20(水) 16:42:40.04ID:ZN9vgvDp
>>33
すでに解けてる問題を特定の処理系の言語に書き直すのが一大プロジェクトというのがくだらないと思う
2024/03/20(水) 16:54:28.92ID:4PdbE3xv
>>12
これにも反応できない雑魚ども
2024/03/20(水) 17:51:55.09ID:ea1o2Ub5
>>50
すでに常識になっていることを「先入観にとらわれている」と思う人はいる
先入観をリセットしてやり直したい需要は多少はある
2024/03/20(水) 18:02:21.59ID:Snv2Tioi
ポエム連発は草
54デフォルトの名無しさん
垢版 |
2024/03/20(水) 21:22:26.43ID:qwgU2fnR
>>52
馬鹿すぎて話にならない
わざとやってるならむしろお笑い番組の脚本とか考えるセンスあると思うよ
2024/03/20(水) 23:28:22.46ID:ea1o2Ub5
わざと馬鹿になったのではないが
数学の範囲内の定理を厳密に証明しても、内か外かの判断は厳密にならないので
「プログラミングならなんでも数学」のような馬鹿な意見も厳密に全否定できないんだよな
56デフォルトの名無しさん
垢版 |
2024/03/22(金) 15:38:04.26ID:m8Pakijg
現代数学は集合と写像の言葉で書かれている
写像は関数の一般化だからC言語やHaskellなどの関数型言語では数学をプログラミングできない
RubyやPythonなどにはsetやmapといった機能があるから
これで数学をプログラミングできると思われる
2024/03/22(金) 15:41:43.35ID:BpbPyhcF
厨二の夢だったのさ
58デフォルトの名無しさん
垢版 |
2024/03/22(金) 22:21:33.16ID:LL1SYasV
>>56
それは違う
数学ができるプログラミング言語のコンパイラをCで書くことができる
そもそもすべてのプログラム言語はチューリング完全だからCで書けてハスケルに書けないなどということは無い
2024/03/22(金) 22:53:17.07ID:BpbPyhcF
所詮プログラムは人が書くもの
2024/03/22(金) 23:30:06.22ID:CJ8mvd1G
>>56
それ逆だね
mapは関数型言語で登場した
そのRubyやPythonといったスクリプト言語は後からそれを導入した
61デフォルトの名無しさん
垢版 |
2024/03/22(金) 23:57:05.24ID:LL1SYasV
はあ??
マップは車窓だろ!!
62デフォルトの名無しさん
垢版 |
2024/03/23(土) 00:02:01.40ID:0VbIgFfj
マップは関数の集合直積に過ぎない
c言語でも有限アルゴリズムで数学プログラミングが出来る
パイソンは構文をパースできるがスクリプト言語ゆえ数学プログラミングは無理
63デフォルトの名無しさん
垢版 |
2024/03/23(土) 00:32:34.16ID:0VbIgFfj
>>60
跡から登場したってことはRubyやPythonのほうが優れているってことやろが
2024/03/23(土) 01:14:32.77ID:O64Y227M
まともなプログラマーがスクリプト言語でプログラミング開発することはない
スクリプト言語はスクリプトを書く程度のことをするだけのおもちゃ
65デフォルトの名無しさん
垢版 |
2024/03/23(土) 04:20:19.88ID:rvJB/m9a
CやPYTONはスクリプト言語だから単純なことしかできない
66デフォルトの名無しさん
垢版 |
2024/03/23(土) 04:41:11.89ID:IdPmAPnB
スレタイ
集合と写像が数学の基本らしい
写像というのは関数の一般化だからCは関数言語だから数学できないということになる
Javaのmainは写像だからJavaは数学できる。Rubyにも写像ある
67デフォルトの名無しさん
垢版 |
2024/03/23(土) 07:48:29.25ID:LhcvAfdM
数学に副作用はないがモナドは副作用があるのでハスケルでは数学はできない
68デフォルトの名無しさん
垢版 |
2024/03/23(土) 12:22:12.37ID:g/HfMmmn
>>56
Cでは関数の引数として関数ポインタを渡せるから、map関数を簡単に自作できる。
2024/03/23(土) 12:23:33.26ID:TQ7fzTlo
空論、絵に描いた餅、機械語にだってできるだろwww
70デフォルトの名無しさん
垢版 |
2024/03/23(土) 12:47:39.65ID:g/HfMmmn
>>69
機械語に識別子はないからできないだろ。Cでは長さnの配列aの各要素に関数fを適用した結果を
配列bに格納する関数 map(f, a, n, b) を簡単に自作できる。
2024/03/23(土) 13:55:22.78ID:TQ7fzTlo
C言語は機械語にアセンブルされて実行されるんだよ
2024/03/23(土) 14:11:05.89ID:O64Y227M
>>70
普通mapは配列に対してではなく
もっと一般的にイテレータに対して適用
結果もイテレータとする

その結果を例えばfor文で使う場合
わざわざ結果を配列に入れても無意味だったことになるからだ
mapを多段にした使った場合も同様で中間結果配列は無意味になる
だからmapの入力も出力もイテレータが使われる
73デフォルトの名無しさん
垢版 |
2024/03/23(土) 14:44:44.84ID:g/HfMmmn
>>72
それは実装上の効率化のための操作で、本当の写像ではない。本当の写像は配列から配列を作る。
C#で言えばSelectしただけでは写像にならず、ToArrayしないと写像にならない。
2024/03/23(土) 15:36:22.16ID:O64Y227M
>>73
配列から配列なんて嘘つきだな
例えば写像の入力を数学でもよくある自然数とする
これは配列では表現できない
イテレータならば表現できる
出力も同様で配列は不可能だがイテレータなら可能
2024/03/23(土) 16:14:29.71ID:TQ7fzTlo
そもそもそんなレベルの話をしてるんではないが
76デフォルトの名無しさん
垢版 |
2024/03/23(土) 16:43:39.42ID:g/HfMmmn
>>74
自然数は要素数が無限大の配列だが、コンピュータではメモリが有限なので表現できないだけ。
イタレータによる遅延評価は問題を先送りしただけで、本当の写像である配列を作ろうとすると
メモリが途中で尽きて作れない。
2024/03/23(土) 17:05:10.16ID:O64Y227M
>>76
配列なんていう間違った考えをするからそのように失敗する
正しくイテレータと捉えれば自然数もそこからの写像も扱える
78デフォルトの名無しさん
垢版 |
2024/03/23(土) 17:30:00.10ID:g/HfMmmn
>>77
イタレータは配列の各要素を走査しながら操作する道具、つまり写像を逐次的に作っていくための操作手順を表したものに過ぎない。
2024/03/23(土) 18:46:13.42ID:O64Y227M
>>78
イテレータとは何かを学び直しなさい
それは配列に対するイテレータ
イテレータに配列なんていうものは必要ない
2024/03/23(土) 19:02:25.28ID:/RLS51iM
イテレータなんぞプログラミング側の都合でしかないやろw
数学のどこにイテレーションって概念があるの?
もとは集合の話だっけ? 集合のどこにイテレータ出てくる?
2024/03/23(土) 19:08:33.11ID:HOjMmtFw
配列こそプログラミングやコンピュータ都合の邪道なものだね
配列は有限しか扱えないから不要

イテレータは自然数イテレータだけでなく例えばフィボナッチイテレータなど無限を扱える
イテレータは数学とも相性がいい
82デフォルトの名無しさん
垢版 |
2024/03/23(土) 20:19:21.71ID:g/HfMmmn
>>78 >>81
イタレータの意味を分かっているのか。反復子だぞ。反復子が写像のわけないだろ。
写像を実行するための操作手順でしかない。

反復子の遅延評価により無限の操作手順をコードとして書くことはできても、実際には
実行が途中で終わるので無限を扱えるわけではなく、有限を無限に見せている構文上の
まやかしに過ぎない。
2024/03/23(土) 21:27:18.93ID:u0/iUo5p
>>82
あんさんボケとるな
ここまで読んで反復子(iterator)が写像(map)と書いているのは君しかいない
他の人たちは以下を正しく理解して書込みしている

>>72
>> だからmapの入力も出力もイテレータが使われる
84デフォルトの名無しさん
垢版 |
2024/03/23(土) 22:23:29.86ID:g/HfMmmn
>>83
>>74はごっちゃにしているようだが。

反復子を使っても遅延評価をしなければ、mapを多段に使った場合の効率は良くならない。
例えば、C++ STLのtransformがそう。

>>70のような配列のmap関数でも、引数fとして複数の関数の合成関数のポインタを渡せば、
効率は良くなる。あるいは、引数fとして関数ポインタの配列を受け入れるようなmap関数を
書いても良い。
85デフォルトの名無しさん
垢版 |
2024/03/23(土) 22:27:51.62ID:g/HfMmmn
>>83
>>74はごっちゃにしているようだが。

反復子を使っても遅延評価をしなければ、mapを多段に使った場合の効率は良くならない。
例えば、C++ STLのtransformがそう。

>>70のような配列のmap関数でも、引数fとして複数の関数の合成関数のポインタを渡せば、
効率は良くなる。あるいは、引数fとして関数ポインタの配列を受け入れるようなmap関数を
書いても良い。

そもそもCでmap関数を書けるかという話だから、書けるという回答で何の問題ないだろ。
2024/03/23(土) 22:32:25.46ID:/PCiT6cf
>>84
根本的な勘違いをしているようなのでアドバイス
イテレータは抽象的な概念に過ぎないのでそこに遅延評価などという話は一切出てこない
イテレータの実装の一つに遅延評価の有無を持ち出すケースがあるようだがそんな特殊などうでもいい話をしても意味がない
87デフォルトの名無しさん
垢版 |
2024/03/23(土) 22:36:40.17ID:g/HfMmmn
>>86
そんなことは分かっている。>>72に言ってくれ。
2024/03/23(土) 22:43:57.14ID:/PCiT6cf
>>72は正しいよ
2024/03/23(土) 22:56:10.99ID:sCrZk0I5
iteratorは可算無限を扱える
mapは入力も出力もiterator

例えば
2倍にするというmapに対して
入力を自然数のiteratorとすると
出力は偶数の自然数のiteratorとなる

これだけの話だろ
>>82の人だけ理解できてないようだが
90デフォルトの名無しさん
垢版 |
2024/03/24(日) 10:28:13.06ID:8D2Drt3S
でもC言語は圏論じゃないよね
2024/03/24(日) 10:35:26.13ID:GMGvnUD/
20年前の議論草
92デフォルトの名無しさん
垢版 |
2024/03/24(日) 11:18:58.82ID:dsXIuIWc
それは間違い
FORTRANが今もなお科学技術計算に使われてる
2024/03/24(日) 11:32:06.58ID:GMGvnUD/
言葉のお遊びwww
94デフォルトの名無しさん
垢版 |
2024/03/24(日) 11:34:31.12ID:yjeBPx06
集合論はラッセルのパラドックスで矛盾した
だから集合と写像に基づくC言語やRubyは数学を扱うのに不適切
よってハスケルなどは圏論に基づくから関数型言語が正解
95デフォルトの名無しさん
垢版 |
2024/03/24(日) 11:46:51.50ID:BUlt442E
プログラム言語は機械語→アセンブラ→高級言語 と進化してきたが、高級言語にも高級度の段階があって
gotoジャンプ→構造化ループ→map→ベクトル演算 という序列になっている。

y = x.map(i => 2 * i) のように冗長な記述をしなければならない言語よりは、ベクトル演算で y = 2 * x と
すっきり書けるFortranの方が進化している。
2024/03/24(日) 14:10:14.72ID:S5dROhf0
まったくトンチンカンな話してんな
プログラミング言語にmapがあったところでそれで数学ができるわけじゃないだろ
何を解きたいんだよ?
定理証明か?仕様記述か?
ド文系のふわっとした思考やめな
2024/03/24(日) 14:30:14.37ID:rmOZT0bw
>>95
それはarrayを入出力とするmapだね
それは遅延評価もできず可算無限列を扱えない古い劣化タイプ
一方でiteratorを入出力とするmapはarrayだけでなく可算無限列など任意のものを対象にできる
98デフォルトの名無しさん
垢版 |
2024/03/24(日) 14:58:03.83ID:iK6Wk5rB
この完全なデタラメな話をここまで長々とする気力がどこから湧いてくるのかがわからない
2024/03/24(日) 15:27:25.02ID:pjttU2nz
所有権を複製したいんやろw
2024/03/24(日) 15:28:49.95ID:4Iqs5Xee
>>97
昔は配列に対するmapしか無かったから、遅延評価できず、有限列しか扱えず、中間生成配列のムダなど、悲惨だったな
今はイテレータに対してmapその他を適用するプログラミング言語が増えたので、扱える対象が広がるとともに、効率も良くなったな
2024/03/24(日) 16:53:04.14ID:GMGvnUD/
そんな低レベルの話してるんとちゃうんやで
102デフォルトの名無しさん
垢版 |
2024/03/24(日) 18:55:43.95ID:qF9URZLj
そもそも高階関数のmapは、数学の集合論における写像のことではない
103デフォルトの名無しさん
垢版 |
2024/03/24(日) 19:36:33.57ID:WsANI0D/
ゴミみたいな話しかしてないな、定理証明系とかの話をしているのかと思ったら
104デフォルトの名無しさん
垢版 |
2024/03/24(日) 20:58:49.18ID:BUlt442E
>>97 >> 100
Ruby厨、Haskell厨が他の言語を貶めるのに必死だなw

Fortranのプログラム

 program test
   integer :: x(3), y(3)
   x = (/1, 2, 3/)
   y = 2 * x + 1
   print "(i0)", y
 end program

の y = 2 * x + 1 の行で中間配列が作成されて、

   integer :: temp(3)
   temp = 2 * x
   y = temp + 1

のような非効率な動作になるとでも思ってるのか? STLで提供しているC++のvalarrayと違って、
Fortranはベクトル演算に言語仕様レベルで対応しているから、そんなことするはずないだろ。
105デフォルトの名無しさん
垢版 |
2024/03/24(日) 20:59:19.43ID:BUlt442E
Visual Stduioで y = 2 * x + 1 の行の逆アセンブリを見てみると、

 mov  qword ptr [rbp + 68h], 1
 mov  rax, qword ptr [rbp + 68h]
 cmp  rax, 3
 jg  TEST + 105h
 mov  rax, qword ptr [rbp + 68h]
 imul rax, rax, 4
 lea  rdx, [X]
 add  rdx, rax
 add  rdx, 0FFFFFFFFFFFFFFFCh
 mov  eax, dword ptr [rdx]
 imul eax, eax, 2
 inc  eax
 mov  rdx, qword ptr [rbp + 68h]
 imul rdx, rdx, 4
 lea  rcx, [Y]
 add  rcx, rdx
 add  rcx, 0FFFFFFFFFFFFFFFCh
 mov  dword ptr [rcx], eax
 mov  eax, 1
 add  rax, qword ptr [rbp + 68h]
 mov  qword ptr [rbp + 68h], rax
 jmp  TEST + 0B7h

というコードが生成されていて、中間配列なんて作成せず合成関数を1回だけ適用し、Cの

 for (i = 1; i <= 3; i++) y[i] = 2 * x[i] + 3;

に相当する効率的な処理になっている。(add rdx, 0FFFFFFFFFFFFFFFCh を見ると、
配列の添字が1始まりなのは非効率なのかと思ってしまうが…)
106デフォルトの名無しさん
垢版 |
2024/03/24(日) 20:59:35.15ID:BUlt442E
インタプリタのRubyや、配列っぽく見える[1, 2, 3]がリンクリストのHaskellが効率を
云々するのは馬鹿げているな。
107デフォルトの名無しさん
垢版 |
2024/03/24(日) 21:02:48.75ID:BUlt442E
>>105の訂正
(誤) for (i = 1; i <= 3; i++) y[i] = 2 * x[i] + 3;
(正) for (i = 1; i <= 3; i++) y[i] = 2 * x[i] + 1;
2024/03/24(日) 22:52:27.30ID:IPqW9Eum
>>104
固定長の配列を入力に使っている時点で失格
このスレは>>1の例のように対象は可算無限列
109デフォルトの名無しさん
垢版 |
2024/03/24(日) 23:00:28.05ID:D7nIPk2H
静的な固定長で最適化できるのは当たり前だから
少なくとも実行時までわからない可変長じゃないとな
110デフォルトの名無しさん
垢版 |
2024/03/24(日) 23:11:46.55ID:BUlt442E
>>108
無限なんて実行不可能なものを構文として書けても、コメントとして書けるのと同じようなもので無意味。

>>109
何を頓珍漢なことを言ってるんだよ。

for (i = 1; i <= 3; i++) y[i] = 2 * x[i] + 1; が
for (i = 1; i <= n; i++) y[i] = 2 * x[i] + 1; に変わるだけだぞ。
2024/03/24(日) 23:42:53.58ID:+hE4ud6c
入力対象は>>1の数列でいいんじゃね
1
1 - 1/3
1 - 1/3 + 1/5
1 - 1/3 + 1/5 - 1/7
1 - 1/3 + 1/5 - 1/7 + ...
もちろん何番目まで必要かは不明
この数列を他と切り離して記述できるかどうか
112デフォルトの名無しさん
垢版 |
2024/03/25(月) 06:31:11.05ID:20JdvYau
写像型言語は無いから無理やろ
2024/03/25(月) 08:05:29.65ID:S04445Yl
しょうもない算法や文法を力説されても
数理論理を知らん高卒なんやろか
114デフォルトの名無しさん
垢版 |
2024/03/25(月) 09:05:37.14ID:KQK4URb5
集合論はラッセルのパラドックスがあるからまちがい
選択公理もバナッハタルスキーのパラドックスがあるからまちがい
圏論こそ数学の基礎
2024/03/25(月) 09:20:11.31ID:yJIwIJvC
そういう何が一番とか中二思考やめようや
2024/03/25(月) 09:20:53.71ID:VkynB6Jg
アホ参上
117デフォルトの名無しさん
垢版 |
2024/03/25(月) 10:25:12.12ID:VsfGDznC
圏論型プログラミングってないの?
2024/03/25(月) 18:22:08.56ID:OU4hWxvG
集合は悪くないがそれを内包表記で定義するのが悪い
イテレータを内包表記っぽく書けるやつは
内包表記を使わない書き方もできる保証があるから良いけど
119デフォルトの名無しさん
垢版 |
2024/03/25(月) 19:35:21.63ID:Yjyc3ZYI
Pythonには内包表記はあっても外延表記はないから集合論はできないよ
120デフォルトの名無しさん
垢版 |
2024/03/25(月) 20:38:21.53ID:0jQlcuCQ
>>104はVisual Studioでは最適化オプションがなぜか無視されてしまうが、コマンドライン
コンパイラではまさに>>109が言う要素数が固定かつ全要素がコンパイル時に計算可能という
特殊な場合に応じた最適化が施され、コンパイル時の計算結果を配列yに書き込むだけで
y = 2 * x を全く計算しないコードが生成されることが、アセンブリ出力から分かる。

IFORT (旧式Intel Fortran) では

 mov eax, 3
 (中略)
 mov DWORD PTR [TEST$X.0.1], 1
 mov DWORD PTR [TEST$X.0.1 + 4], 2
 mov DWORD PTR [TEST$X.0.1 + 8], eax
 mov DWORD PTR [TEST$Y.0.1], eax
 mov DWORD PTR [TEST$Y.0.1 + 4], 5
 mov DWORD PTR [TEST$Y.0.1 + 8], 7

というコードが生成され、Cの

 int t = 3;
 *x = 1; *(int *)((char *)x + 4) = 2; *(int *)((char *)x + 8) = t;
 *y = t; *(int *)((char *)y + 4) = 5; *(int *)((char *)x + 8) = 7;

に相当する処理になる (CではC流に添字0〜2を使うとして)。xとyに共通する
要素3はレジスタに入れて使い回される。一度も使われない変数xを除去する
最適化はされない。
121デフォルトの名無しさん
垢版 |
2024/03/25(月) 20:38:45.78ID:0jQlcuCQ
IFX (新式Intel Fortran) では

 movabsq $21474836483, %rax
 movq  %rax, TEST$Y(%rip)
 leaq  TEST$Y(%rip), %rax
 movl  $7, TEST$Y+8(%rip)

というコードが生成され (IntelのコンパイラなのAT&T記法で読みにくいが)、Cの

 *(long long *)y = 0x500000003;
 *(int *)((char *)y + 8) = 7;

に相当する処理 (リトルエンディアン環境で) になり、3と5がyに一度に書き込まれる。

いずれにしても、Ruby厨、Haskell厨の浅知恵でFortranに嚙み付いても滑稽なだけwww
2024/03/25(月) 20:46:39.58ID:trqJ9Q6W
rustのほうがスゲーからfortranは黙っとれ
2024/03/25(月) 21:08:10.53ID:VkynB6Jg
誰にも相手してもらえないのでフォートランがイキル
2024/03/25(月) 21:21:08.93ID:VkynB6Jg
フォートランは行列、有限要素法のライブラリィ呼ぶだけ、独自のコードなんか書かないw
125デフォルトの名無しさん
垢版 |
2024/03/25(月) 21:23:38.32ID:DOdK3gDR
数学をプログラミングするには、プログラマが数学の必要があるのでは?
2024/03/25(月) 21:32:48.72ID:VkynB6Jg
プログラマは数学である必要がある
2024/03/25(月) 22:22:52.88ID:OU4hWxvG
ギャンブルなら敗者が金を振り込めば秩序が戻るのだが
金を振り込んでしまう人がここにはいないので
128デフォルトの名無しさん
垢版 |
2024/03/25(月) 23:24:59.56ID:77HfiJgP
>>117
圏論型と言えるか分らんが、圏論が注目されたのは副作用の問題を圏論のモナドで表現できるということでHaskellに採用されたのがきっかけっぽい。

今は非可換確率論を圏論で表現すれば意識がどうやって生まれるのかの研究に使えるって話がある。
意識が生まれる謎が解ければAIに意識を持たせられる。
2024/03/26(火) 02:09:58.19ID:bsMEvYma
意識は数学かwww
2024/03/26(火) 11:17:19.23ID:ZLsRjAqD
計算機だからなぁ
2024/03/26(火) 15:57:26.17ID:bsMEvYma
戻らないだろ、刑務所行き
>ギャンブルなら敗者が金を振り込めば秩序が戻るのだが
132デフォルトの名無しさん
垢版 |
2024/03/26(火) 17:42:12.34ID:0A2fpKMf
>>126 日本語おかしい
2024/03/26(火) 17:56:53.22ID:bsMEvYma
>>132
125に言え
2024/03/27(水) 18:25:48.23ID:sRZ89+IF
コンプライアンス的には絶対に違反しないブレないスタイルの方が楽だな
中庸とかいうのは数学的にも意味のない言葉
の筈だけど
2024/03/27(水) 20:27:56.36ID:NpBSIV2x
>>126
ガイジか?
プログラマ→職業
数学→学問分野
日本語勉強し直すか死ねよ
2024/03/27(水) 21:11:20.21ID:xckWJWeo
きっちりした仕様決め無しで「プログラミング」できるわけないだろうに
なんで過疎ってる5chのさらに過疎板でこんな板違いスレ何度も書き込むやつがいるんだよ
「プログラムを作る人」じゃないよな
2024/03/27(水) 21:40:20.83ID:ucDYKmHx
>>135
125へ言えよ、キチガイ
2024/03/27(水) 21:56:27.68ID:sRZ89+IF
ラッセルは作る人というより脆弱性を発見する人のように見える
2024/03/27(水) 22:02:37.43ID:Fy0R0co2
頭の悪さがポエム書かせるんやろなこれ
2024/03/28(木) 06:44:57.06ID:RNwVIlzh
>>137

ガイジか?
141デフォルトの名無しさん
垢版 |
2024/03/28(木) 08:12:08.80ID:WD+w6k7S
意識は非可換だってどこかで聞いたな
現代数学は可換理論しか扱えないが、量子力学は非可換だから、意識=量子力学ってことになる
意識が非決定論なのは量子力学では状態が重ね合わせであることに起因する
したがって意識の問題を解決するには量子コンピュータが必須となる
2024/03/28(木) 10:32:09.67ID:vnZC0FK8
>>140
キチガイ
2024/03/28(木) 10:42:18.73ID:7o0NRrCR
借金取りは見かけ上は極めて非決定的にふるまうが
それでも純粋に合理的な行動しかしない存在とされているので意識の問題がない
2024/03/28(木) 11:41:03.24ID:/R48rPWi
>>141
月刊ムーおすすめ
2024/03/28(木) 11:51:30.64ID:vnZC0FK8
>>141
意識はサイコロを振らない
146デフォルトの名無しさん
垢版 |
2024/03/28(木) 19:38:54.13ID:IFE49MQl
>>126
小学校からやり直せ
2024/03/28(木) 20:47:12.01ID:vnZC0FK8
>>146
アスペ
2024/03/28(木) 20:52:41.71ID:8WuDpFG2
ポエマーさんはポエム板にでも行けよ
統失なら病院のほうがいいかな
2024/03/29(金) 07:29:41.84ID:Gq7mALgF
ゲーデルの不完全性定理で完全に否定されているだろ
プログラムは不完全性では動かせない
2024/03/29(金) 07:35:35.46ID:wkwvmDXj
>>149
月刊ムーおすすめ
2024/03/29(金) 10:11:08.83ID:vNZyJemM
不完全ではなく無定義語で挫折する人がいる
無定義語の定義を特定できないと命題を肯定も否定もできない説
日常生活で出てくる
2024/03/29(金) 14:56:43.34ID:hQjfrr6D
>>149
ガイジか?
ゲーデルの不完全性定理はそんなことについて言及してないぞ
2024/03/31(日) 01:25:08.99ID:GMj391lI
数列の概念がない奴でも無限級数の意味は分かるんだよね
ハードルが低いせいで基礎知識の共有が難しい
154デフォルトの名無しさん
垢版 |
2024/03/31(日) 02:04:57.22ID:XOErjovU
無限級数はトンデモ
物理に現れるのは二次級数まで
2024/03/31(日) 06:02:59.68ID:954vZkOe

数学が何がわかってないやつの典型
虚数もあるとかないとか騒いでるタイプ
156デフォルトの名無しさん
垢版 |
2024/03/31(日) 11:13:53.85ID:/9ZsX08L
ほほう
君は、数学が何かわかっているのかネ?
2024/03/31(日) 11:29:58.51ID:GMj391lI
言語に依存しない数学的オブジェクトの存在が保証されれば
表現を(統一するために)訂正させる仕組みを正当化しやすくなる
2024/03/31(日) 11:41:19.45ID:dM7Inut1
意味不明な事を口走るおっさん
2024/03/31(日) 12:44:19.68ID:va6HO9e1
「プログラム技術」板で「数学」がどうのこうの語ってるのがもう頭悪いというか頭おかしい
プログラムも数学もできない、掲示板の使い分けもできない知的障害
160デフォルトの名無しさん
垢版 |
2024/03/31(日) 15:25:06.37ID:wx8Fg1tF
>>154
数学と物理はなんの関係もないぞ
数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
2024/03/31(日) 16:25:54.15ID:GMj391lI
絶対にルール追加しないのは
ルール追加のふりをしてバックドア設置されるリスクを回避してるんだろう
2024/03/31(日) 16:55:10.67ID:dM7Inut1
馬鹿参上
>数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
163デフォルトの名無しさん
垢版 |
2024/03/31(日) 17:15:24.42ID:wup1S0Wx
物理に三次以上の級数が出てくるソースはよ
2024/03/31(日) 17:23:31.92ID:dM7Inut1
コンピュータは0と1だけで遊ぶゲームwww
2024/03/31(日) 17:28:42.81ID:954vZkOe
まじこのスレやべーなw
キチガイ率高い
2024/03/31(日) 17:38:37.31ID:dM7Inut1
意味不明www
>物理に現れるのは二次級数まで
2024/03/31(日) 18:06:40.04ID:954vZkOe
ただし>>160 は支持するぞ
公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい
2024/03/31(日) 18:08:00.44ID:kVwrIFTx
プログラム組めない雑魚ほどなにか深遠そうな理論めいたものを言おうとするよな
大したこと言えないんだから黙ってればいいのに
169デフォルトの名無しさん
垢版 |
2024/03/31(日) 18:44:49.29ID:ToTjh3N9
>>168
自分の学が無いのを他責にするなよ
2024/03/31(日) 20:45:23.72ID:bt2k8y8v
学があったらポエム書かんやろw
アホ文系の血が騒ぐからポエムに活路見出すんよね?
171デフォルトの名無しさん
垢版 |
2024/03/31(日) 20:48:04.91ID:52brzQwH
>>168
ゲーデルの不完全性定理、わかる?
172デフォルトの名無しさん
垢版 |
2024/03/31(日) 20:50:54.92ID:ckXISkGH
バブルソートで長さnのリストがソート済みになることをnに関する数学的帰納法で示すコードを書いて下さい
2024/03/31(日) 21:07:09.32ID:zVzgI3KY
構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ
2024/03/31(日) 22:17:11.33ID:dM7Inut1
>>167
自己紹介乙
>キチガイ率高い
175デフォルトの名無しさん
垢版 |
2024/03/31(日) 22:21:08.19ID:HimKkZni
数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは
2024/03/31(日) 22:38:47.01ID:GMj391lI
iterableがソート済みならばfilter(function,iterable)もソート済みである
これが活路か?
2024/03/31(日) 23:16:01.19ID:slFHfGV9
>>171
プログラム技術と全く関係ないの、わかる?
単語だけ知ってても意味ないのよ
178デフォルトの名無しさん
垢版 |
2024/04/01(月) 00:21:59.83ID:3Pei3vn5
>>177
知らないのに、無理しちゃって・・・w
179デフォルトの名無しさん
垢版 |
2024/04/01(月) 07:25:14.04ID:pGaaOwbp
べき集合の濃度がもとの集合よりも真に大きいことを対角線論法で示すプログラムを書いて下さい
2024/04/01(月) 07:29:40.50ID:ZaHsxqNm
ゲーデルの不完全性定理とかプログラミングに関係ないぞ
181デフォルトの名無しさん
垢版 |
2024/04/01(月) 07:32:48.45ID:aQQXUVqr
>>180
負け惜しみ乙
2024/04/01(月) 10:16:20.76ID:BJXCW8/H
計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明 型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある
2024/04/01(月) 10:25:34.89ID:1jCL8ojm
計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ
184182
垢版 |
2024/04/01(月) 11:10:53.13ID:BJXCW8/H
訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね
185デフォルトの名無しさん
垢版 |
2024/04/01(月) 12:56:05.30ID:jUMqCzD5
パプリカの妄言みてーなスレ
2024/04/01(月) 15:57:43.42ID:w0sTGWlC
ポストモダンも用語の雰囲気だけで数学や物理の用語を援用して失敗したけど,同じことを繰り返したいのかな
2024/04/01(月) 16:13:24.51ID:/OmQcxnO
うん。必ずしも泥棒が悪いとはお地蔵様も言わなかった。
パプリカのビキニより、DCミニの回収に漕ぎ出すことが幸せの秩序です。
五人官女だってです!
カエルたちの笛や太鼓に合わせて回収中の不燃ゴミが吹き出してくる様は圧巻で、
まるでコンピューター・グラフィックスなんだ、これが!
総天然色の青春グラフィティや一億総プチブルを私が許さないことくらいオセアニアじゃあ常識なんだよ!
2024/04/01(月) 16:14:19.64ID:t6QGzSyx
>>182
そう、λμな
でも対応があるだけで実用性はないよな
2024/04/01(月) 17:57:08.59ID:jgXiprJQ
ム板にバカが書き込むのは今に始まったことじゃないが、意味不明な戯言書き込みに来る奴がすごく多くなった
自分の中ではなんかすごいこと書いてるつもりなのか?すごいバカかキチガイなのはだれが見てもわかるが
そんなことばかりやってるからネットですら過疎って文句言われにくいここに逃げ込むしかないんだろうな
190デフォルトの名無しさん
垢版 |
2024/04/01(月) 19:56:44.57ID:SUfRD0Nz
>>189
不満なら見なきゃいいだろ
インターネットしか居場所ないのか?w
191デフォルトの名無しさん
垢版 |
2024/04/01(月) 20:16:04.58ID:ige+71d6
スウ学をプログラミングするのは、簡単そうぢゃーーーん
だって、乱数発生させて、厨二病が喜びそうな単語を
羅列すれば、完成だもんね。多分。ていうかさ、

全ての証明問題は、
【ゲーデルの不完全性定理により証明不可能 Q.E.D】
ってプログラミングするだけしさ、これだな。
2024/04/01(月) 20:17:05.72ID:NcxG0eWL
嫌なら見るな,は反論になってないな
戯言を書き込む行動を少しは正当化してみろよ
2024/04/01(月) 20:17:51.73ID:NcxG0eWL
>>191
不完全性定理をわかってないなら無理にそんな意味不明なこと書かなくていいよ
2024/04/02(火) 00:27:08.11ID:CRIzWwoI
>>192
正当化は2種類
行動に個性があればもし失敗しても同じ失敗が集団的に繰り返される心配がないのと
もう一つは、目には目を歯には歯をみたいな相手と同じことを繰り返せばOKと思ってるやつ
195デフォルトの名無しさん
垢版 |
2024/04/02(火) 00:37:53.67ID:7CSC2sWO
>>162 >>164
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
いやあるだろ…停止性問題とか知らないの…?
こんなん数学科でもなくてもCS学科でもなくても
趣味でWikipedia読んでれば知れる雑学だぞ
196デフォルトの名無しさん
垢版 |
2024/04/02(火) 00:59:03.34ID:7CSC2sWO
>>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか?
2024/04/02(火) 05:15:19.87ID:25XPCuEJ
ああやっぱりこいつ不完全性定理を勘違いしてるな
2024/04/02(火) 10:33:46.06ID:2+WkGIyb
完全性、健全性の意味をしらんのだな
完全って言葉から中二妄想膨らましてしったかかましてる
2024/04/02(火) 10:57:42.42ID:CRIzWwoI
身体性という言葉の悪いところは
自分だけでなく他者の心身まで知ったかぶるところだ
2024/04/02(火) 11:17:32.87ID:2+WkGIyb
話についてけないジジイはすっこんでろ
201デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:28:42.90ID:UQ61ZLph
数式ゴリゴリのデジタルフィルターなんか、プログラムで書くと、あぁそういう事かと理解が速いよね。
乱反射を解析し反射元の形状を投影するとか、マクスウェルFDTDで、MEMSデバイスのパターンを作るプログラムなどは、プログラムで理解する有用性を証明している。
始めに数学工学が必要なのは言うまでもない。
202デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:00:28.70ID:E9gZLeha
罵り愛が一段落下っぽいね。

まあ、何にせよ「数学」をそのままプログラミング出来てたら離散数学は今ほど重宝されてないと思う。

プログラミング言語の浮動小数点数も結局は離散数学だから、実数を浮動小数点数に、そして、CGとかだとさらに浮動小数点数を画面上のドット…つまり自然数(に0を加えたもの)の組(x,y)に変換しなきゃいけない。
203デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:02:04.03ID:GZPLkX8A
>>202
アホ
204デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:18:47.82ID:rNuJc/A1
「数学をプログラミングする」というのを「量子化しない」という意味だと思ってるのが、学がなさすぎる
2024/04/02(火) 20:50:17.25ID:ywq+AssX
とりあえずHelloWorldから一歩でも先に進んでからこの板に書き込めよ
無能かつ的外れの「知ってるもん!」アピールなんか痛いだけって自覚もできないんだろうか
206デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:51:46.81ID:E9gZLeha
そうなん?
「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語(Coqとか)があるよね?
統計学はRとか。

>1の文章読む限りは極限を求められる的な事と思ったけど?

まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m
2024/04/02(火) 20:54:29.03ID:U2//VB/q
printf("数学をプログラミングする\n");
2024/04/03(水) 00:13:26.09ID:pETdSMu9
数学一般を広く浅くプログラミングできない
離散数学のバイアスがかかっている
不完全性と同様に、バイアスと言われても痛いと自覚しないやつほど順調に先に進める
209デフォルトの名無しさん
垢版 |
2024/04/03(水) 07:24:46.19ID:CW5lmJ5l
>>208
だから、>1への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか?だっけ?
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。

物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、
あなたは違うと言う。

なら、あなたは私の代わりに証明する義務があるのでは?
2024/04/03(水) 22:03:54.94ID:7VXOaRQB
プログラムってバカでもできるけど、間違いを指摘されて認めることもできないキチガイは入り口にも入ってこれてないよ
5chに書き込む前に早めに病院行ってお薬もらってきた方がいい
2024/04/04(木) 00:40:57.02ID:+8mB/dsD
数式を計算するプログラムって逆ハンガリアン記法でスタックに積んで取り出すの?
212デフォルトの名無しさん
垢版 |
2024/04/04(木) 04:00:44.17ID:GlxXdEjq
再帰でいいんじゃね
2024/04/04(木) 06:21:32.41ID:FZ/wPqxv
数学をプログラミングと聞いて電卓が頭に浮かぶのか
このあたりがCSを勉強したかどうかの違いだよな
2024/04/04(木) 06:26:04.00ID:yQLFX9FG
俺はポーランド記法でCSIだぜ
2024/04/04(木) 10:40:16.69ID:CFqg+3jH
このスレはポスト オブジェクト指向はオワコンのスレって感じがする
2024/04/04(木) 21:47:23.88ID:UeC30a5N
マトラボが解決してるんでないの?
217デフォルトの名無しさん
垢版 |
2024/04/04(木) 23:16:51.30ID:SgK99lwB
遅延評価のためのイテレータもあり得る
2024/04/05(金) 05:31:51.22ID:hIqab58S
オブジェクト指向はもっと柔軟性を高めて欲しいわ。

クラスとかメソッドの集合として外延性を持つようにしてほしい。
2024/04/05(金) 08:52:40.53ID:O8Iqatix
アイデアあるなら自分で作って提案したら?
2024/04/05(金) 09:35:13.84ID:WYYyLvqP
なんでオブジェクト指向が出てくんだw
2024/04/07(日) 13:41:15.41ID:7AYZfZ1d
C++の具体的な問題を目で盗めばRustを作れるが
オブジェクト指向のアイデアを広く浅くコピーしても負け癖が複製されるだけだ
2024/04/07(日) 18:07:47.43ID:FOjhJ4gr
勝ち負けという発想になるのがお前の限界
2024/04/07(日) 22:31:51.29ID:H3XbDQRE
たしかに、お金でも賭ければその限界が具現化するけど
考えるだけの場合はむしろ限界がないことが忌々しいんじゃないか
2024/04/08(月) 10:39:11.76ID:x8JElEGO
ポエム
2024/04/08(月) 13:34:46.46ID:26k+W4+v
イマジンだけに
2024/04/11(木) 12:56:39.43ID:m6RJM+fq
All the People
2024/04/11(木) 12:59:29.40ID:M3s07OXs
暇人
228デフォルトの名無しさん
垢版 |
2024/04/11(木) 19:06:27.60ID:SHJQNyIp
不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる?SQLは三値だから完全だろ?
2024/04/12(金) 06:59:53.66ID:gi41fiD0
30点
もっとサイコ感ださないと
2024/04/12(金) 11:00:23.24ID:n/WEiCkF
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
231デフォルトの名無しさん
垢版 |
2024/04/12(金) 11:40:05.15ID:bVCDZJf2
>>230
「数学をプログラミングするには」って書いてあるじゃん
2024/04/12(金) 11:41:10.44ID:Kw0ACNUt
#define final constant π;
233デフォルトの名無しさん
垢版 |
2024/04/12(金) 11:44:24.99ID:Hn7My37C
>>230
> 厳密に求められないから

πは厳密に求まるが
1/3 = 0.33... は割り切れないから求まらないとか思ってる文系くんかな?(笑)
234デフォルトの名無しさん
垢版 |
2024/04/12(金) 11:50:12.54ID:Hn7My37C
> πという記号定数を使えばいいだけ

馬鹿かな
πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ?(笑)
235デフォルトの名無しさん
垢版 |
2024/04/12(金) 11:52:19.14ID:Hn7My37C
>>230

君、国語力が低すぎて文章を理解できないから、
数学の教科書もなんとなくで読んで来たんでしょ?

学問に向いてないよ、君(笑)
236デフォルトの名無しさん
垢版 |
2024/04/12(金) 11:56:22.19ID:Hn7My37C
>>230

で、こいつ次は、

「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」

とか言い訳するんだろうなあwwww
237デフォルトの名無しさん
垢版 |
2024/04/12(金) 12:03:07.54ID:Hn7My37C
>>230
> 1がしたいことが何なのかよくわからん

問題意識を理解できないなら、わざわざいっちょかみすんな

わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前(笑)
2024/04/12(金) 12:29:39.85ID:Kw0ACNUt
スレタイが読めないなら小学校の国語からやり直しwww
239デフォルトの名無しさん
垢版 |
2024/04/12(金) 12:33:44.36ID:l6eD/H9+
モピロン、地球人の開発したAIには、無理
霊的な霊感がないからだ。

Arctan(x) のマクローリン展開式の xに1を
代入して証明するような閃きは、
AIには無理なのである。

その訳は、閃き💡といった宇宙からの霊的な電波を
受信するのは、論理的考えて、
地球のAIには、ソレは、実装されてない。

モピロン、イカの視覚野に電極を、差し込んで
宇宙から霊的波動を受信できるようにすれば
話しは、別だが、シリコンウェーハに
その様な回路はナイだろうから、

それは、証明は、無理だろう。
ていうか、ゲーデルの不完全性定理により
証明問題の全ては証明不可能ぢゃーーー

BY 今日もテキトーな事を呟いてみたー
2024/04/12(金) 12:47:02.55ID:gi41fiD0
26点
長い上に一本調子
デタラメに書いたらいいわけじゃない
241デフォルトの名無しさん
垢版 |
2024/04/12(金) 15:24:27.17ID:IPp6LTyR
アセンブラは数学か?
2024/04/12(金) 15:32:45.75ID:n/WEiCkF
そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど
一昔前のcobolはチューリング完全じゃないぞ
チューリング完全は数学をプログラムするための必要条件ではないかな
アセンブラはその意味で資格はあると思われる
243デフォルトの名無しさん
垢版 |
2024/04/12(金) 16:34:45.55ID:vfJZ59zy
fortranは数学?
2024/04/12(金) 16:40:24.86ID:gi41fiD0
チューリング完全は算法に関する性質
数学そのものではない
2024/04/12(金) 16:41:43.65ID:gi41fiD0
数学は計算だけの学問ではない
246デフォルトの名無しさん
垢版 |
2024/04/12(金) 17:04:34.02ID:HdjWwBoE
計算 + 証明 = 数学

これは

データ構造 + アルゴリズム = プログラミング

に対応する
247デフォルトの名無しさん
垢版 |
2024/04/12(金) 17:09:52.20ID:Vyts8CQV
命題 + 証明 = 数学

↑↓

型 + アルゴリズム = プログラミング
2024/04/12(金) 17:20:27.68ID:n/WEiCkF
命題 + 証明

↑↓

型 + プログラム

これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか?
2024/04/12(金) 17:25:59.28ID:gi41fiD0
カリー・ハワードだろ
構成論理が前提なのわかってるか?
2024/04/12(金) 17:35:07.74ID:Kw0ACNUt
ど素人かよwww
命題 + 証明 = 数学
2024/04/12(金) 17:35:49.67ID:Kw0ACNUt
糞論しかやってない素人の戯言
2024/04/12(金) 17:40:09.52ID:n/WEiCkF
直観主義論理ってやつでしょ
2024/04/12(金) 17:44:03.87ID:Kw0ACNUt
40年ぐらい遅れてるw
2024/04/12(金) 17:56:16.32ID:n/WEiCkF
構成的論理ならきいたことはあるが構成論理ってなんだよ
2024/04/12(金) 18:32:46.75ID:Kw0ACNUt
糞論しかやってない奴は数学の素人、悲惨
256デフォルトの名無しさん
垢版 |
2024/04/12(金) 19:48:14.69ID:BGlMGmgy
ラッセルは数学者?
2024/04/12(金) 20:28:26.43ID:7CYa1WNP
数学は構造の科学、とエロいひとが言ってた。
258デフォルトの名無しさん
垢版 |
2024/04/12(金) 20:41:54.23ID:HS/aYR/B
レヴィ・ストロース?
2024/04/12(金) 22:22:16.23ID:Kw0ACNUt
水道方式の遠山
260デフォルトの名無しさん
垢版 |
2024/04/12(金) 23:55:46.84ID:lpyrPPhz
>>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って(仮に無限回繰り返せれば)極限はnになる(だろう)って感じで有限のアルゴリズムじゃない訳で。
261デフォルトの名無しさん
垢版 |
2024/04/13(土) 01:56:05.16ID:GLx3WLPp
>>260
とっくに解決した話題にいちいち間違った指摘をするのは面白いのか?
2024/04/13(土) 03:06:44.06ID:wJrHPvy4
命題を実験すれば近似、証明すれば厳密
これを間違えて
命題(と証明)を明文化しなければ近似、明文化すれば厳密と思ってる人は結構いる
263デフォルトの名無しさん
垢版 |
2024/04/13(土) 06:36:41.55ID:AgvLaZLy
>>261
テキトーに読み飛ばしてた^^;
どのあたりで解決してたかアンカー教えて。
264デフォルトの名無しさん
垢版 |
2024/04/13(土) 06:41:57.99ID:uJv52VsE
πは、プログラミングは、近年の地球人は、
arctanのヤツを4倍してるよ。ポクはホントは地球人だけど
然るに、
閃き💡でarctanのマクローリン展開をネットサーフィンで
調べてさ、xに1を代入すりゃ、
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
になるってわかるし、収束するかなんて
霊的直感で、わかるぜ
なんてたって、1/2 + 1/3 + 1/4 + 1/5 + ・・・
ですら、絶対有限値log(∞)に収束しちゃうもん🤡
ま、この発想、AIには無理だと思うよん。

てか、最近の地球人って🐴🦌ばっかだな
πをarctanを4倍するなんて、
πは定数3.14159265でダイレクトにコーディングしなさーーい
これ、不味いのかな❓ 知ってるヒト教えて下さい神様
265デフォルトの名無しさん
垢版 |
2024/04/13(土) 10:13:07.54ID:4ahnOas7
>>260
馬鹿文系
2024/04/13(土) 12:20:47.06ID:wJrHPvy4
現在のAIは何故か胴元になれないギャンブラーと同じ
267デフォルトの名無しさん
垢版 |
2024/04/14(日) 08:23:12.49ID:ZXz6cRZI
>>265
うんうん。
罵られるのは甘んじて受け入れるので、解決したところのアンカー(>数字)を教えてください。
2024/04/14(日) 08:43:54.27ID:FeJRZdQr
このスレで解決されたって意味ではないのでは?
>>260の指摘なんて常識的なことだし
269デフォルトの名無しさん
垢版 |
2024/04/14(日) 09:46:51.43ID:7cEDLG0F
>>268
○ 常識的
× 数学ができない人によくある勘違い
270デフォルトの名無しさん
垢版 |
2024/04/14(日) 09:53:29.94ID:7cEDLG0F
>>267
>>2
2024/04/14(日) 12:01:14.80ID:QAXXGiIt
>>260
多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは
人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ
272デフォルトの名無しさん
垢版 |
2024/04/14(日) 12:10:53.46ID:ArvRyIgO
繰り返すこのアルゴリズム♪
2024/04/14(日) 12:14:31.37ID:CaUwpcFN
パフュームです♪
2024/04/14(日) 17:09:16.02ID:43rPFQyJ
>>260
まず「極限はnになる」の基礎となる理論から調べたら?
εδ論法は理解してる?
2024/04/14(日) 18:00:53.57ID:CaUwpcFN
極限と帰納法は違うんじゃね
276デフォルトの名無しさん
垢版 |
2024/04/14(日) 19:52:08.91ID:fCKRFwTr
極限と帰納法は違うということを証明してください
2024/04/14(日) 20:14:25.72ID:CaUwpcFN
わかった
2024/04/14(日) 20:18:26.95ID:CaUwpcFN
背理法を使う
2024/04/14(日) 20:19:29.14ID:CaUwpcFN
極限と帰納法が同じであると仮定する
2024/04/14(日) 20:24:59.80ID:CaUwpcFN
極限とは位相空間のある点の近傍にある番号から先の有向族が入ることである
2024/04/14(日) 20:25:51.73ID:CaUwpcFN
位相空間とは開集合の族が定義された空間である
2024/04/14(日) 20:29:03.05ID:CaUwpcFN
帰納法とは順序集合においてある命題がある番号まで成立としたとき次の番号の命題が成立することである
2024/04/14(日) 20:29:14.79ID:CaUwpcFN
ふー
2024/04/14(日) 21:43:21.13ID:CaUwpcFN
順序集合とは半順序が定義された集合である
2024/04/14(日) 21:54:07.48ID:CaUwpcFN
帰納的集合かな
286デフォルトの名無しさん
垢版 |
2024/04/14(日) 22:02:11.90ID:ZXz6cRZI
>>270
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる(それをもって極限の存在を証明)ってだけやし。
2024/04/14(日) 22:33:23.89ID:CaUwpcFN
継承的集合でいいな
288デフォルトの名無しさん
垢版 |
2024/04/14(日) 22:49:19.66ID:NsoP3YSl
>>286
お前が馬鹿なだけだよ
他責にすんな
289デフォルトの名無しさん
垢版 |
2024/04/14(日) 23:06:54.86ID:bCnJWLVL
>>286
1/3 = 0.33...は無限につづくから真の値は求められないとか言ってるようなもん

小学生レベル
290デフォルトの名無しさん
垢版 |
2024/04/15(月) 01:24:44.77ID:hKAoajYZ
>>289
無理数はまさしく真の値は求められないだろ?
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。
2024/04/15(月) 02:17:00.24ID:6hq71KF2
>>290
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。
2024/04/15(月) 02:18:27.89ID:iwi7Bhpd
他責というか他人からもらった情報を丸暗記しなければいい
たとえば嫌いな問題は飛ばして好きな問題で点数を稼ぐのも
与えられた情報を好き嫌いで切り取ってしまう技術
293デフォルトの名無しさん
垢版 |
2024/04/15(月) 02:29:44.50ID:ANhhwFml
πの任意の桁は定数時間で求まる
294デフォルトの名無しさん
垢版 |
2024/04/15(月) 07:29:11.29ID:hKAoajYZ
>>291
いあ、だから。それが真の値の存在を示してるだけって事だろ。
証明の厳密さが違うだけで、意味としては同じだ。
2024/04/15(月) 07:51:45.06ID:iwi7Bhpd
値のサイズが大きかろうが無限だろうがそれを指すポインタのサイズは小さい
2024/04/15(月) 08:15:15.77ID:SAfAFkQa
>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。
2024/04/15(月) 08:24:20.81ID:SAfAFkQa
>>296
おっと
×有理体 ○有理数体
298デフォルトの名無しさん
垢版 |
2024/04/15(月) 08:29:15.90ID:hKAoajYZ
>>296
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√2って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。

>1の求める近似値ではない厳密って何?って話になるが。
2024/04/15(月) 08:51:17.84ID:KspO/JeI
>>298
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。

現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。
300デフォルトの名無しさん
垢版 |
2024/04/15(月) 09:09:27.70ID:ANhhwFml
連日レス乞食
2024/04/15(月) 09:36:29.81ID:scEUff9F
>>299
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する
302デフォルトの名無しさん
垢版 |
2024/04/15(月) 09:49:54.71ID:ANhhwFml
>>301
その存在示すのに、切断やコーシー列使うんやろ
2024/04/15(月) 10:50:20.08ID:scEUff9F
>>302
存在とは?
2024/04/15(月) 11:21:19.32ID:scEUff9F
数学系のためのLean勉強会
https://haruhisa-enomoto.github.io/lean-math-workshop/
305デフォルトの名無しさん
垢版 |
2024/04/15(月) 12:00:05.12ID:ANhhwFml
>>303
実数体Rの存在
2024/04/15(月) 12:44:15.61ID:scEUff9F
>>305
だから存在をどうやって示すんだ
2024/04/15(月) 12:50:03.22ID:SAfAFkQa
>>306
クロネッカーみたいだな。
308デフォルトの名無しさん
垢版 |
2024/04/15(月) 14:37:35.85ID:ANhhwFml
>>306
微分積分の教科書読めよ
2024/04/15(月) 15:20:17.14ID:KspO/JeI
>>306 >>308
微積というよりも解析だな。
2024/04/15(月) 16:24:37.72ID:scEUff9F
>>308,309
お前が言うなwww
2024/04/15(月) 16:25:33.86ID:scEUff9F
上に書いておいただろ、ど素人目が
312デフォルトの名無しさん
垢版 |
2024/04/15(月) 17:00:38.31ID:FtziCmAa
素人はお前だ
イキがんな
2024/04/15(月) 17:32:13.23ID:scEUff9F
自己紹介乙
2024/04/15(月) 17:36:31.60ID:scEUff9F
上から目線で語ったと思ったら実は下だった件w
315デフォルトの名無しさん
垢版 |
2024/04/15(月) 17:36:43.64ID:4nWFLl9l
>>306
> だから存在をどうやって示すんだ

こんな解析学の教科書の最初に書いてあることが分からずに実数論の講釈を垂れてた恥ずかしいやつ→ID:scEUff9F
2024/04/15(月) 17:40:34.97ID:scEUff9F
>>315
証明してくれ
2024/04/15(月) 18:18:17.39ID:scEUff9F
>>315
証明できないのならどの本の何ページに証明が書いてあるのか教えてくれ
318デフォルトの名無しさん
垢版 |
2024/04/15(月) 18:41:51.88ID:NsRnPyj0
デデキント切断や完備化などが出てきても
有理数を既知として実数体を構成しているということが理解できない
これでは数学書をいくら読んでもザルで水をすくうようなもの
2024/04/15(月) 18:47:48.86ID:Qlt6SMAG
横からだけど>>317
理系の大学数学(所謂現代数学)における論理展開の流れや
存在の証明とされるパターンが分かってないから、かなりの独学なのかな

始めの内は簡単な教科書を(定理部分だけ)拾い読みするんじゃなくて
書いてある文章や定義、証明を精読しないと論理展開が抜け落ちて話が通じないよ

>>318が書いてくれたか、任せた
2024/04/15(月) 19:01:28.04ID:hHvO3P6A
存在論を厳密にやり過ぎるとクソどうでもいい心理学の信者が増える
321デフォルトの名無しさん
垢版 |
2024/04/15(月) 19:39:20.03ID:NsRnPyj0
Q = 有理数の全体
Qの部分集合A, Bの組(A, B)で以下をみたすものをQの切断という

A ≠ ∅, B ≠ ∅
A∪B = Q
a∈A, b∈B ⇒ a < b
322デフォルトの名無しさん
垢版 |
2024/04/15(月) 19:39:48.13ID:NsRnPyj0
Qの切断C = (A, B)に対して、論理的には次の4つの可能性がある

(1) Aは最大元をもち、Bも最小元をもつ
(2) Aは最大元をもつが、Bは最小元をもたない
(3) Aは最大元をもたないが、Bは最小元をもつ
(4) Aは最大元をもたず、Bも最小元をもたない

この内、(1)はありえない
なぜならば、Aの最大元をm、Bの最小元をMとすると、(m + M)/2は有理数でA, Bのどちらにも属さないから

(2), (3)の場合は、有理数と対応する
(2)と(3)で境界の数が同じものは同一視すれば、
(2)(3)型の切断全体と有理数全体が1対1対応する

これと(4)型の切断の合併をRとする
323デフォルトの名無しさん
垢版 |
2024/04/15(月) 19:41:17.04ID:NsRnPyj0
Rの加法、乗法を

(A, B) + (A', B') := (A + A', B + B')
(A, B) (A', B')
:= (A+ A'+, B B') (if 0∈A, 0∈A')
:= (B B'-, A+ A') (if 0∈A, 0∉A')
:= (B- B', A, A'+) (if 0∉A, 0∈A')
:= (A, A', B- B'-) (if 0∉A, 0∉A')

で定める(境界を含む/含まないなどで不具合があれば適当に修正してくれ)
Rは体になる((0)が極大イデアルであることを示せばいい)

Rの半順序を

(A, B) ≤ (A', B')
:⇔ a∈A, b'∈B' ⇒ a < b

で定める
≤は全順序になり、Rは順序体になる
324デフォルトの名無しさん
垢版 |
2024/04/15(月) 19:43:04.23ID:NsRnPyj0
ただし

A + A' := {a + a' : a∈A, a'∈A'}
A+ := {a∈A : a > 0}
B- := {b∈B : b ≤ 0}
325デフォルトの名無しさん
垢版 |
2024/04/15(月) 19:43:33.66ID:NsRnPyj0
細かな間違いはあるだろうが、概ねこんな流れだろう
2024/04/15(月) 19:51:54.10ID:eajKaNbV
(仮定、前提、公理として)存在しているものから(公理的)集合論操作で構成したものは存在する、
これは自明の理として存在証明のOKパターンな事だけ補足しておくよ
2024/04/15(月) 20:01:42.17ID:eajKaNbV
>>301
>例えば実数は体、順序構造、連続性をもつものとして定義する

これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で
well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然
2024/04/15(月) 20:04:25.08ID:eajKaNbV
>>320
>存在論
そう言うのが寄り付かないのが現代数学の良い所の1つかも
2024/04/15(月) 20:44:59.91ID:scEUff9F
>>319
自己紹介乙
2024/04/15(月) 20:45:46.33ID:scEUff9F
>>327
意味不明
2024/04/15(月) 20:55:50.13ID:scEUff9F
>>325
ご苦労さん、実数の公理があるだけなんで証明するものではない
332デフォルトの名無しさん
垢版 |
2024/04/15(月) 21:29:20.68ID:vvdCRtkm
アホすぎる
2024/04/15(月) 21:32:26.82ID:scEUff9F
自己紹介乙
334デフォルトの名無しさん
垢版 |
2024/04/15(月) 21:49:55.52ID:InxNy96J
ポエム連投しか能が無いのに、かっこつけで数学の話してみたら秒でボロが出るザコ(笑)
2024/04/15(月) 21:53:20.15ID:scEUff9F
自己紹介乙
2024/04/15(月) 21:55:11.91ID:scEUff9F
頭ついてるのかw
2024/04/15(月) 21:57:07.42ID:scEUff9F
馬鹿といわれなきゃ分からない馬鹿
338デフォルトの名無しさん
垢版 |
2024/04/16(火) 00:50:06.56ID:aRJ0OCMo
ま、何だな。近年の計算機ってさ内部2進数か稀に十進数
であり、絶対に絶対にゼッタイに内部3進数はないよな

で、本題。何で、地球の計算機ってさ
-27の1/3乗はエラーにならず-3って答え出せるの❓

ちなみに、-27の0.33333333乗はダメだった。
1/3と0.33333333333…5 の差は如何なるεより小さいのか❓
地球人って数学もコンピュータもどっちも、ズルしてるな🥳
2024/04/16(火) 15:34:00.46ID:ffps7/Wl
いずれ量子コンピュータの時代になるから
コンピュータ=2進数のイメージはすたれていくだろうな
2024/04/16(火) 16:09:15.10ID:X3z51ZSN
>>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
https://i.ytimg.com/vi/gt5VVmztpak/hqdefault.jpg
2024/04/16(火) 16:13:56.69ID:Ng40HiX6
>>340
スレタイ読めよ
2024/04/16(火) 16:31:40.11ID:Ng40HiX6
カリー・ハワード同型対応
343デフォルトの名無しさん
垢版 |
2024/04/16(火) 17:31:21.11ID:gwwVz7LD
>>340
明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない
2024/04/16(火) 17:33:24.91ID:Ng40HiX6
Curry-Howard Correspondence
https://web2.qatar.cmu.edu/cs/15317/lectures/04-curryhoward.pdf
2024/04/16(火) 17:35:24.46ID:Ng40HiX6
カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。

カリー・ハワード対応は、次のような三つの分野間の関係を表しています。

1. 論理学: 論理的な命題や証明体系
2. 型理論: プログラミング言語や計算の型システム
3. 圏論: 数学的構造を研究する分野

これらの分野の対応関係は次のようになります。

1. 論理学の命題や証明は、型理論の型とプログラムに対応する。
2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。
3. 圏論における対象や射は、型理論における型や関数と対応する。

この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。
2024/04/16(火) 18:01:37.43ID:fFCD5orj
n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね
ここで空集合と空でない集合という、なんというか
反なめらか勢力?
2024/04/16(火) 18:54:49.14ID:usMdjojl
>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
348デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:01:49.49ID:ce0c+Wns
ばーか
349デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:03:04.14ID:A1Drxn9H
しねぇ!!!
350デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:05:37.59ID:bJGpAOxM
ポエム、死すべし
351デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:06:32.75ID:Qd7fb1ey
賢こぶるなカスが
352デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:08:00.17ID:UT47qync
きゅうりを育てる
プロジェクトX
353デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:09:06.06ID:UT47qync
メークインの

メッカ
354デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:11:20.78ID:UT47qync
しねええええっ!!
2024/04/16(火) 21:12:18.68ID:odkgr9I4
カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ
356デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:12:56.63ID:UT47qync
はーか
357デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:15:22.83ID:hd0EAKHj
Pachinkoですった借金
積もりに積もって、、もどーる
358デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:16:45.23ID:UT47qync
しねええええっ!!!
359デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:17:45.68ID:DMBaPuV2
かわいそうに・・・
360デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:18:44.24ID:wb1PrcU1
自己実現欲求が満たせないゴミめ
361デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:22:14.67ID:wb1PrcU1
グランドペチカ
2024/04/16(火) 21:23:49.80ID:fFCD5orj
ブレイクスルーのたびに歴史の断絶があるのは面倒だから
数学に期待されることはおそらく断絶を阻止すること
363デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:26:35.11ID:8wnatpzr
しねえええええっ!!!
364デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:28:36.61ID:g+y/CpM4
だまれー!!
365デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:33:33.59ID:eUys93Mt
!
366デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:34:29.00ID:UT47qync
青い眼をした
銀河団本中二
367デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:34:53.48ID:bezjSTs7
サンリオ😂
368デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:37:39.74ID:bezjSTs7
まくら
369デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:38:11.07ID:UT47qync
なんでまゆげ透けてんの?
370デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:38:39.99ID:gwHtYNMH
コロス
えいディス寿司実いたしますかな
371デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:45:06.43ID:pVDgreOv
凹凸がないって、美しい
372デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:46:19.26ID:UT47qync
効果音は、Diggy
373デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:46:44.33ID:LcfQM7X4
まつげ、性的、いい匂い
374デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:49:02.99ID:UT47qync
松永豊
375デフォルトの名無しさん
垢版 |
2024/04/16(火) 21:49:35.08ID:KGvJIPyy
低所得者は、動物と同じ
2024/04/16(火) 23:43:41.31ID:Ng40HiX6
効いてるな
377デフォルトの名無しさん
垢版 |
2024/04/17(水) 05:17:52.87ID:LS70dTDX
すぐ怒る人は、想像力が乏しい
378デフォルトの名無しさん
垢版 |
2024/04/17(水) 05:31:12.83ID:riJpNYPi
社会正義を気取ったコンプレックスの初ライブ
379デフォルトの名無しさん
垢版 |
2024/04/17(水) 05:34:52.94ID:riJpNYPi
発露
380デフォルトの名無しさん
垢版 |
2024/04/17(水) 05:38:55.39ID:Ah17i+H9
ちんぼ喪失ドM尊厳破壊
381デフォルトの名無しさん
垢版 |
2024/04/17(水) 05:56:42.90ID:Rqxu+zgK
>>340

P(x) = x^2
f_1(x) = 0

[∀x∈R, P(x) ≥ 0]∧[P(x) ≠ (f_1(x))^2]

2024/04/17(水) 06:19:24.07ID:ivCgW6Mo
>>381
そこまで話が通じないとはw
ネタだろうけど出来損ないAIを真似た皮肉かなw

マジネタだったらそう言ってくれ、多少は補足するから
2024/04/17(水) 06:25:43.54ID:ivCgW6Mo
前提
Pは任意の実係数多項式で∀x∈R, P(x) ≥ 0を満たすもの

示すべき事
この時、ある自然数nと実係数多項式f_k(x)、k=1..nが存在して
>>340の等式を満たすことが出来る
2024/04/17(水) 06:26:20.25ID:ivCgW6Mo
やり取りするのも面倒だから書き下したよ
385デフォルトの名無しさん
垢版 |
2024/04/17(水) 06:41:39.48ID:Rqxu+zgK
>>383>>340が数学の主張として異なるということが理解できないということ?
386デフォルトの名無しさん
垢版 |
2024/04/17(水) 06:42:33.01ID:Rqxu+zgK
それとも、問題に不備があったことを素直に謝罪できない性格だということ?
2024/04/17(水) 06:44:24.20ID:cVeWwllr
>>381マジレスだったのかよwwww
388デフォルトの名無しさん
垢版 |
2024/04/17(水) 06:55:34.85ID:Rqxu+zgK
奇数次ならかならず符号が逆転するので偶数次
x → x + aと変換して、奇数次の項消してけばいいよ
389デフォルトの名無しさん
垢版 |
2024/04/17(水) 07:06:37.75ID:Rqxu+zgK
平方完成で

a(f(x))^2n + b(g(x))^2(n-1) + ... + c(h(x))^2 + d

の形にはできる
a, b, ..., c, dが正の数になることがわかればいい
2024/04/17(水) 07:14:37.17ID:8VlP8M9h
>>388,389
問題自体は高校数学
大学レベルの隙の無い回答を求められているけど
妥協して高校基準でも

0点
391デフォルトの名無しさん
垢版 |
2024/04/17(水) 07:24:42.19ID:Rqxu+zgK
∀x, P(x) ≥ 0なので、最高次の係数はかならず正

a(x + A)^2n + bx^2(n-1) + ...

の形にできる
b ≥ 0ならOK
b < 0ならどうする?
2024/04/17(水) 07:33:59.44ID:t6s9wa3O
Z世代かな?
393デフォルトの名無しさん
垢版 |
2024/04/17(水) 07:41:11.30ID:Rqxu+zgK
∀x, (x^2 + a)^2 - x^2 ≥ 0 となるようaをとってみる

x^4 + (2a - 1)x^2 + a^2
= (x^2 + a - 1/2)^2 + a^2 - (4a^2 - 4a + 1)/4
a ≥ 1/4ならOKなのでa = 1/4とする

x^4 - 1/2 x^2 + 1/16
= (x^2 - 1/4)^2

4次の場合は

(x^2 + A)^2 + (X + B)^2 + C^2

の形にできそう
6次は?
2024/04/17(水) 07:56:34.24ID:IyFytcQ9
問題に不備があったら出題も採点も自分でやればいい
それを自分でやってはいけないという思考それこそが他責思考である
395デフォルトの名無しさん
垢版 |
2024/04/17(水) 08:38:41.15ID:Rqxu+zgK
P(x)は実数係数多項式で、∀x∈R, P(x) ≥ 0が成り立つとする。

P(x)の次数は偶数。
∵ 奇数なら、x → ±∞ どちらかの極限が-∞になるから。

deg(P(x)) = 2dとする
d = 0のとき、P(x)は非負の定数Cなので、P(x) = √C^2と書ける。

2(d-1)以下の偶数次のR係数多項式では、
∀x∈R, Q(x) ≥ 0 ⇒ Q = f_1^2 + ... + f_n^2と書ける
が成立すると仮定する

{P(x)|x∈R}は下に有界
十分大きなr > 0を取れば、|x| > rでのP(x)の値は、[-r, r]でのP(x)の値よりも大きくできる。
よって、P(x)は最小値m > 0を持つ。

P(x) = mとなるxをx_0
F(x) = P(x) - mとおく
F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
F(x) = (x - x_0)^2 Q(x)
となる。

Q(x) = F(x)/(x - x_0)^2は、次数2(d-1)以下でつねに非負だから、仮定より
Q(x) = f_1(x)^2 + ... + f_n(x)^2
と書ける。

よって、
P(x) = (f_1(x)(x - x_0))^2 + ... + (f_n(x)(x - x_0)^2 + √m^2
と書ける。
396デフォルトの名無しさん
垢版 |
2024/04/17(水) 08:39:47.33ID:Rqxu+zgK
多変数では同様のことは成り立つのかな?
397デフォルトの名無しさん
垢版 |
2024/04/17(水) 08:48:45.47ID:Rqxu+zgK
二次式の場合は成り立つ

x∈R^n
Q(x) = txSx tは転置
とすれば、Sは実対称行列になるから、適当な基底変換Tで

Q(Tx) = a_1(x_1)^2 + ... + a_n(x_n)^2

となるつねに非負なのは、∀i, a_i ≥ 0となるとき。
2024/04/17(水) 09:03:30.45ID:viu9nkYS
プログラミングしろよ
何を手で解いとんねん
無能かよ
399デフォルトの名無しさん
垢版 |
2024/04/17(水) 09:05:43.22ID:eWa5nsHI
酒をのんだら、無意識に呼吸できなくなった

寝られない
2024/04/17(水) 09:19:11.73ID:nP2I5Wyb
>>395
100点(最小値mは≧0なのはお目こぼしとして)

演習で板書すると100点でも理解度を確かめるために既知として良い所も
訊かれた経験あるかも知れないけど、例えば、この部分を噛み砕いて見てよ

>F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
>F(x) = (x - x_0)^2 Q(x)
>となる。

(他にも最小値の存在を暗黙裡にしたらツッコミどころだった)

>>396
そこまでは知らない、>>340はユーチューブの拾い物なだけだから
https://youtu.be/gt5VVmztpak
(そこでは別解がなされてる)

>>398
Lean4で回答してくれても良いよ
401デフォルトの名無しさん
垢版 |
2024/04/17(水) 10:01:20.89ID:sJRiVtui
いろいろ具体例で実験して発見するのだなあ
402デフォルトの名無しさん
垢版 |
2024/04/17(水) 10:41:17.51ID:reMCnFls
ある朝、男が牧場の近くを通った時、腕時計が壊れていることに気づきました。
牧場には、牧草の束にもたれて寝ている牛飼いがいたので、男は「今、何時ですか」と尋ねました。
すると、牛飼いは近くの牛の金玉を持ち上げて、「8時10分だよ」と言いました。
男は怪訝に思いながらも、お礼を言って牧場を後にしました。

その日の夕、時計を直した男は再び牧場のそばを通りました。
牧場には、朝の牛飼いが牧草の束にもたれて寝ていました。
男は牛飼いに「今、何時ですか」と尋ねました。
牛飼いは、やはり牛の金玉を持ち上げて、「5時30分だよ」と言いました。
男は自分の時計を見ました。時計は牛飼いの言うとおり、5時30分を指していました。
男は驚き、「どうして牛の金玉で時間がわかるのですか」と牛飼いに尋ねました。
牛飼いは笑って、「向こうの時計台を見ていただけだよ」と言い、牧場の向こうを指差しました。
2024/04/17(水) 10:48:26.99ID:QYenzWQY
In 1888, Hilbert showed that every non-negative homogeneous polynomial in n variables and degree 2d can be represented as sum of squares of other polynomials if and only if either (a) n = 2 or (b) 2d = 2 or (c) n = 3 and 2d = 4.
2024/04/17(水) 10:59:08.88ID:MC+f1reS
>>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね
2024/04/17(水) 11:22:16.74ID:QYenzWQY
任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ
406デフォルトの名無しさん
垢版 |
2024/04/17(水) 11:27:59.69ID:/l2KPUVP
位数pqの有限群を分類せよ
2024/04/17(水) 12:12:24.30ID:MC+f1reS
>>405
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
https://math.stackexchange.com/questions/872324/diophantine-equation-abc-abd-acd-bcd-1

>>406
これはコンピューター代数が効きそうな設問だね
2024/04/17(水) 21:28:06.49ID:d0sPi4E4
上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる
409デフォルトの名無しさん
垢版 |
2024/04/19(金) 04:58:45.43ID:VczmU+ll
圏のモノイド化であるカテゴロイドが最先端らしい
2024/04/19(金) 09:50:12.86ID:EGRRzOnw
商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない
2024/04/19(金) 09:53:23.64ID:yPPcHo4B
役人、サラリーマン、農業は?
412!id:igunore
垢版 |
2024/04/21(日) 16:32:04.97ID:QcTo+DFu
test
413デフォルトの名無しさん
垢版 |
2024/04/22(月) 19:57:50.12ID:Z/mW1wgm
国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
414デフォルトの名無しさん
垢版 |
2024/04/22(月) 20:50:40.46ID:o0SSvQPa
光るものすべて金ならず
2024/04/24(水) 00:45:42.60ID:qYUcXmw2
>>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
416デフォルトの名無しさん
垢版 |
2024/04/24(水) 06:04:35.75ID:0I0qCYsp
酒を飲むと脳が萎縮するソクラテスは豚だ
417デフォルトの名無しさん
垢版 |
2024/04/24(水) 06:37:08.15ID:Ucc6jtP7
41歳列車で真ん中に座れるようになりました
2024/04/24(水) 07:26:08.85ID:sd26LqbM
>>415
お前の首の上につけているものはなんだw
419デフォルトの名無しさん
垢版 |
2024/04/24(水) 11:01:50.05ID:0on+NXwB
プログラミングは線形代数だろ?
2024/04/24(水) 11:16:56.18ID:qYUcXmw2
モビルスーツに手と足と頭があるのも網羅がしたいだけ
2024/04/24(水) 11:44:52.53ID:sd26LqbM
ポエムしか書けないアホ
2024/04/24(水) 12:02:24.24ID:BuUg9b8b
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
2024/04/24(水) 12:18:51.40ID:sd26LqbM
馬鹿だね、ただの道具
424デフォルトの名無しさん
垢版 |
2024/04/24(水) 12:46:31.82ID:hOEBS28r
Kan拡張ってどう便利なの
2024/04/24(水) 14:34:26.92ID:qYUcXmw2
「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない
2024/04/24(水) 16:07:04.29ID:sd26LqbM
数学知らないんだろ
2024/04/24(水) 16:28:57.36ID:sd26LqbM
https://leanprover-community.github.io/

こういう話をしてるんだよ
428デフォルトの名無しさん
垢版 |
2024/04/24(水) 17:12:59.42ID:wm22WFWW
依存型がなければ、その上に型システムを構築したらいいのでは?
2024/04/24(水) 17:25:41.09ID:qYUcXmw2
やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている
2024/04/24(水) 17:27:54.06ID:sd26LqbM
意味不明を繰り返す爺
431デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:49:04.05ID:H3cF+EGE
微分積分
2024/04/24(水) 20:37:33.11ID:8tkXCVQE
型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる
433デフォルトの名無しさん
垢版 |
2024/04/24(水) 20:39:18.33ID:H3cF+EGE
楽になるなんて誰が言ったんだ
2024/04/24(水) 21:00:04.00ID:qYUcXmw2
「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった
2024/04/24(水) 21:01:14.18ID:sd26LqbM
ソフトウェアは道具だろ、ボケ
436デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:45:02.37ID:W5xC8R60
高崎
常磐
437デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:45:58.35ID:W5xC8R60
コドモイド
438デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:46:28.48ID:W5xC8R60
ポイントカードと熱線
439デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:46:52.14ID:W5xC8R60
糸が砕けました
440デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:48:24.25ID:W5xC8R60
ああっ、ナメクジみたいな篦が目の裏に浮かんでくる~っ!!
441デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:49:49.75ID:W5xC8R60
ばあちゃん、ボイパで米研ぐふりするな
442デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:52:22.25ID:W5xC8R60
縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー
443デフォルトの名無しさん
垢版 |
2024/04/25(木) 05:45:14.46ID:zFonvm9V
群青色のふとんカバー
ルートを見るより田中社長
2024/04/25(木) 11:27:25.32ID:JREeyAkZ
効いてるな
445デフォルトの名無しさん
垢版 |
2024/04/25(木) 12:40:38.59ID:zFonvm9V
サッポー「楡の木陰に高島さん」~ダンディな占い師伝説
446デフォルトの名無しさん
垢版 |
2024/04/25(木) 14:35:55.58ID:XMEAkwKC
じゃあ、物理をプログラミングするには?
447デフォルトの名無しさん
垢版 |
2024/04/25(木) 14:36:12.53ID:XMEAkwKC
じゃあ、物理をプログラミングするには?
448デフォルトの名無しさん
垢版 |
2024/04/25(木) 14:36:27.27ID:iaYqsq7d
じゃあ、物理をプログラミングするには?
2024/04/25(木) 15:14:42.67ID:VKvfdxmp
Unity一択
2024/04/25(木) 17:48:35.80ID:JREeyAkZ
スレチ
451デフォルトの名無しさん
垢版 |
2024/04/25(木) 19:35:00.54ID:qJxknH9s
物理をプログラミングって

シミュレーションじゃないだろ

たとえば世界がライフゲームだとして、

ライフゲームのプログラムを実行するのと、

N手後や前の状態を求めたり、パターンを分類するのは

別のこと
452デフォルトの名無しさん
垢版 |
2024/04/25(木) 19:48:06.98ID:+T+qvOw+
その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな
2024/04/26(金) 00:22:39.50ID:v8FaoBvR
本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か?
454デフォルトの名無しさん
垢版 |
2024/04/26(金) 02:36:24.00ID:YMX+rGLs
じゃあプログラミングをプログラミングするには?
455デフォルトの名無しさん
垢版 |
2024/04/26(金) 06:25:43.74ID:/fL4F0G5
制御構文を廃止せよ
456デフォルトの名無しさん
垢版 |
2024/04/26(金) 06:28:41.74ID:sqJNLx+3
モナド
依存型
457デフォルトの名無しさん
垢版 |
2024/04/26(金) 07:05:57.81ID:MwB9a3Td
>>454
圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要
2024/04/26(金) 10:38:30.14ID:/+TxHGye
プログラミングをプログラミングするといえばlispだろ
2024/04/26(金) 11:01:14.08ID:Rfmzu2jE
FORTH! FORTH!!
2024/04/26(金) 11:23:32.92ID:BpYBau1Z
prologじゃダメなんですか?
461デフォルトの名無しさん
垢版 |
2024/04/26(金) 12:04:23.78ID:/+TxHGye
ジェダイは可

一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ
2024/04/26(金) 12:23:42.03ID:BpYBau1Z
淵さんの悪口は止めてー
2024/04/26(金) 12:23:53.06ID:Qv/2Ju5X
Use the Forth, Luke.
464デフォルトの名無しさん
垢版 |
2024/04/26(金) 14:58:11.95ID:XmG4rE99
コルーチンは普遍的だ
2024/04/26(金) 15:41:42.09ID:/+TxHGye
同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道
466デフォルトの名無しさん
垢版 |
2024/04/26(金) 15:54:00.95ID:XmG4rE99
コルーチンは関数ではない
2024/04/26(金) 17:20:22.24ID:SscvQYbj
なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
2024/04/26(金) 17:28:01.02ID:BpYBau1Z
言論の自由だ
469デフォルトの名無しさん
垢版 |
2024/04/26(金) 17:47:43.85ID:XmG4rE99
依存性の注入
継続渡し
470デフォルトの名無しさん
垢版 |
2024/04/26(金) 18:43:55.22ID:hVnzlfRF
∃.elim(h, (w) => ((hw) => q))
471デフォルトの名無しさん
垢版 |
2024/04/26(金) 18:51:28.19ID:hVnzlfRF
append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)
2024/04/26(金) 18:55:54.57ID:/+TxHGye
>>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった
473デフォルトの名無しさん
垢版 |
2024/04/26(金) 22:45:29.55ID:hVnzlfRF
Megumin
2024/04/27(土) 01:20:53.97ID:e525gwYe
>>467
1ミリも関係ないもの同士がじつは同型だったみたいな感じ?
何もしてないのに同型
475デフォルトの名無しさん
垢版 |
2024/04/27(土) 14:04:36.05ID:5FYmDggB
lambdaはghost componentを扱えるからな
Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る
2024/04/27(土) 15:14:22.70ID:VoduIlph
プログラミング言語論とか本当に役に立たないからな
477デフォルトの名無しさん
垢版 |
2024/04/27(土) 17:07:16.37ID:nw1MgPev
割り当てられたメモリの値を変更できる時点で数学はできない
478デフォルトの名無しさん
垢版 |
2024/04/28(日) 01:44:22.22ID:rN6WPJxf
つまりプログラミングは数学よりも強力ということ
479デフォルトの名無しさん
垢版 |
2024/04/28(日) 09:02:04.37ID:0uI3fhfO
プログラミングは数学もできるしアルゴリズムも書ける
2024/04/28(日) 09:28:31.16ID:xSCCuQGd
自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力
2024/04/28(日) 10:15:43.02ID:Z64LYgN7
雑談もできる
2024/04/28(日) 11:14:59.05ID:Z64LYgN7
盛り上がるいいスレ
483デフォルトの名無しさん
垢版 |
2024/04/28(日) 11:35:47.04ID:QLrqknwf
ハスケルはモナドで副作用を扱うって本当?
2024/04/28(日) 11:43:27.30ID:xSCCuQGd
基本はIOモナドとSTモナドで副作用を扱える
let x = print 1 in x>>x>>x
↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える
485デフォルトの名無しさん
垢版 |
2024/04/28(日) 12:01:18.22ID:UWVjL+Gl
>>483
486デフォルトの名無しさん
垢版 |
2024/04/28(日) 13:34:31.41ID:451AX1n4
モナドはListとMaybeをベースに理解しろとあれほど言ったのに
2024/04/28(日) 14:08:30.43ID:Z64LYgN7
∧_∧  / ̄ ̄ ̄ ̄ ̄
( ´∀`)< オマエモナー
(    )  \_____
| | |
(__)_)
488デフォルトの名無しさん
垢版 |
2024/04/30(火) 15:21:29.13ID:3Q7tAM30
モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない
2024/05/02(木) 10:21:11.74ID:6yj3jofJ
OEISとか数学の数列をプログラミングしてるサイトだな
project eulerを解くとき参考になった
490デフォルトの名無しさん
垢版 |
2024/05/03(金) 07:58:46.22ID:0CJEHho2
モジュラ計算はマルチコアに依存するからプログラミングではできない
2024/05/03(金) 10:55:40.47ID:VWU4jyai
モジラーや、モジラーや♪
2024/05/03(金) 11:30:26.90ID:x0ve7rFX
マルチコアの処理をするコードもプログラミングの範疇だが
2024/05/03(金) 12:01:30.25ID:KP5VxXzU
モナドはわかるがコモナドがわからない
2024/05/03(金) 13:18:55.82ID:VWU4jyai
マゴモナド
2024/05/03(金) 13:30:27.46ID:x0ve7rFX
大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる
2024/05/03(金) 15:22:02.36ID:ctk/xevC
対象と関手を同一視したいな?
はい対角関手
2024/05/03(金) 15:23:58.60ID:VWU4jyai
対角拳
498デフォルトの名無しさん
垢版 |
2024/05/03(金) 16:09:54.34ID:NI13qzeL
半単純リー代数の分類も知らぬザコめが
2024/05/03(金) 16:51:49.76ID:VWU4jyai
ボウフラを食べる雑魚
2024/05/03(金) 18:02:13.91ID:VWU4jyai
>>498
それをどうプログラムするんだ?
501デフォルトの名無しさん
垢版 |
2024/05/03(金) 20:15:19.00ID:m2Di0Yp8
>>500
それを考えるスレだろアホかお前
2024/05/03(金) 20:18:12.49ID:KP5VxXzU
考える気があるやつなんかいるかよボケ
2024/05/03(金) 20:26:19.76ID:x0ve7rFX
モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる
504デフォルトの名無しさん
垢版 |
2024/05/03(金) 20:39:18.66ID:S3Ew+Xh3
>>503
お前進歩しないな
2024/05/03(金) 20:56:58.08ID:x0ve7rFX
趣味だからいいんだよ 骨っこたーべーてー
2024/05/03(金) 21:53:18.28ID:VWU4jyai
>>501
知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿
>半単純リー代数の分類も知らぬザコめが
507デフォルトの名無しさん
垢版 |
2024/05/04(土) 00:53:24.00ID:W7qwuJvR
書き込むごとに無知を晒すアホ
2024/05/04(土) 10:17:00.64ID:F0cx6LpK
ポエムを書くにはちょうどいいネタ
509デフォルトの名無しさん
垢版 |
2024/05/04(土) 23:34:00.17ID:GgxGcrxO
素数と自然数、どっちが先?
510デフォルトの名無しさん
垢版 |
2024/05/04(土) 23:36:43.06ID:5BNMHTWk
乗法モノイド構造から、環構造を復元できるか?
511デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:03:10.41ID:BDRFhWHf
はじめに空間と場としよう
エレメンタリーには場ありきだ
結論から言ってqは最大公約数的
512デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:07:03.48ID:BDRFhWHf
pを取ると
盲目的崖っぷちに近い
1, 2, 3, と数えても
とわに埋まらないものがある
だから存在するとしよう
513デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:08:02.74ID:BDRFhWHf
ここで疑問じゃ
それが本当に正しい解釈か?
わたしたち
擬似的なストーリーに
惑わされてやしないか?
514デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:09:27.68ID:BDRFhWHf
なぜ、針の先端
のようなものから
セメント流しこむのか?
本当にそれで合ってる?
515デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:10:30.47ID:BDRFhWHf
種がわれた未来では
構成は簡単だ
しかし本質は
未知に近い
516デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:15:03.97ID:BDRFhWHf
さて
そもそもこれは何じゃ?
元はモジュロじゃ
しかし全体はわからんから
一部だけ見る
517デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:16:19.37ID:BDRFhWHf
まず、トリビアル
これが逆説的に難しい
何も出てこないから
そこで変形する
近視眼的になる
518デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:18:03.87ID:BDRFhWHf
どこかに、綻び・縺れがあった
それを回避した形じゃ
これが柔軟な考え方を
可能にする儂らに
519デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:19:26.21ID:BDRFhWHf
答えがわかれば
カヴァーは簡単だ
あとはまとめればいい
520デフォルトの名無しさん
垢版 |
2024/05/05(日) 00:20:11.96ID:BDRFhWHf
結論から言うと
全部の駅を合わせる
ただそれだけ
2024/05/05(日) 13:19:56.22ID:7WTeO/Yw
結論からいうとqは最大公約数的で全部の駅を合わせればいいんだな
わかった。
2024/05/05(日) 16:39:16.87ID:/mYn2+os
なんか小難しいスレに迷い込んでしまった
ここまでをまとめると、モナドはオワコンということでOK?
2024/05/05(日) 18:23:09.48ID:raEbTx5v
スレタイ読めよ
2024/05/05(日) 20:31:07.15ID:7WTeO/Yw
>>522 まず、トリビアル
結論から言うと擬似的なストーリーに惑わされてやしないか?
525デフォルトの名無しさん
垢版 |
2024/05/06(月) 00:51:10.23ID:gOZqaVA4
どんぐりが足りないと言われてしまう。
2024/05/06(月) 01:47:37.82ID:S9z+7FUo
惑いは現象であり物ではない
物を変えることなく、惑うことも惑わないこともありうる
2024/05/06(月) 09:14:01.68ID:ZgM9kjEK
トリビアルさんがsageを覚えたようだ
これが柔軟な考え方を可能にする儂らに
528デフォルトの名無しさん
垢版 |
2024/05/06(月) 11:19:11.95ID:AfAuGHgh
第二量子化と関係ある?
529デフォルトの名無しさん
垢版 |
2024/05/06(月) 11:46:55.88ID:gOZqaVA4
数は何かのエネルギー場らしい
530デフォルトの名無しさん
垢版 |
2024/05/06(月) 12:03:02.98ID:gd5I0tjN
エバQはあくまで共通部分だから中身スッカスカ
もっと一点集中しないと
531デフォルトの名無しさん
垢版 |
2024/05/06(月) 12:18:36.69ID:TmmkktzA
なぜ一点集中すると埋まるのか?
532デフォルトの名無しさん
垢版 |
2024/05/06(月) 12:45:48.79ID:TmmkktzA
そして集めてくる
533デフォルトの名無しさん
垢版 |
2024/05/06(月) 20:50:00.51ID:kPNEJGK+
標準型は常に全関数だ
なぜか?
積分という手法だからだ
534デフォルトの名無しさん
垢版 |
2024/05/06(月) 21:23:50.59ID:b1Bdlnhs
特徴的なふるまいには
形あるものが必要だ
2024/05/06(月) 21:50:56.76ID:2UIG7pZN
>>529
っ ネーターの定理
536デフォルトの名無しさん
垢版 |
2024/05/07(火) 09:55:37.07ID:eRnvNXkn
>>531
数学では様々な構成において、ある関係をみたすA1, A2, A3, ... を集めてくると、新たな対象Aが一意的に定まる、という形式のものがある。

これは普遍性と呼ばれている。

たとえば、Rを環とし、R加群M, Nのテンソル積π: M x N → M⊗Nは、次の性質で特徴付けられる。

(☆) 任意のR加群Lと、双線形写像f: M x N → Lを与えるごとに、線形写像g: M⊗N → Lが存在して、g∘π = fをみたす。

アラビア語圏では、材料となるデータA1, A2, A3, ...のことを「マンコ」、新しい対象Aのことを「ハメル」という。

それぞれの意味は「欠けたもの」、「補われたもの」である。
537デフォルトの名無しさん
垢版 |
2024/05/07(火) 11:12:58.59ID:yUeV8oFM
数値のパターンによって、本質をとらえる。
538デフォルトの名無しさん
垢版 |
2024/05/07(火) 12:36:51.30ID:jlBp0+F2
エネルギーの在り方をスペクトル分析する。
2024/05/07(火) 13:52:05.03ID:pdFuXZMq
黒体輻射
2024/05/07(火) 15:07:21.20ID:nLVZhmwB
量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか
現状誤り訂正に課題があるみたいだが
2024/05/07(火) 15:10:49.23ID:pdFuXZMq
もうできるよ
2024/05/07(火) 20:40:15.04ID:nLVZhmwB
調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが
OSがどうなってるのかとかよくわからんかった
プログラミング言語も専用のがあるんかな
夢がひろがりんぐ
2024/05/07(火) 21:05:01.83ID:pdFuXZMq
google
https://ionq.com/

どうプログラミングするのかは分からなかったw
2024/05/07(火) 21:06:28.54ID:pdFuXZMq
理研
https://rqc.riken.jp/
2024/05/07(火) 21:41:43.61ID:nLVZhmwB
言語はQ# / QuTiP /Qiskitなどがあるようだ
QuTiPはpythonの延長で使えるらしい
546デフォルトの名無しさん
垢版 |
2024/05/08(水) 04:41:16.80ID:ecR8cuQ+
プリズム通してみたらexplicitだった
547デフォルトの名無しさん
垢版 |
2024/05/09(木) 12:42:26.75ID:zANEcPys
物質は相互作用で理解する
2024/05/09(木) 15:28:33.54ID:5LaPb0No
MRI
2024/05/11(土) 12:02:44.39ID:ODzWPrnK
ポエムを・・もっとポエムを・・
2024/05/11(土) 12:43:19.46ID:MLjUJJJu
私の前に道はない 私の後ろに道はできる 童貞
551デフォルトの名無しさん
垢版 |
2024/06/12(水) 21:53:34.83ID:2UzQR7Po
ハッシュテーブル+補集合フラグ=無限集合?
https://qiita.com/adaiimps/items/091aab66b4fe5a5e3287
552あぼーん
垢版 |
NGNG
あぼーん
2024/06/13(木) 13:13:57.73ID:8J2MNSgx
>>552
ばら撒き凄いな
554デフォルトの名無しさん
垢版 |
2024/06/14(金) 19:32:02.03ID:J8nW31cj
乗除算の近似解を加減算のみで求める技術
https://qiita.com/adaiimps/items/7c1114bd955ed2d239cc
555デフォルトの名無しさん
垢版 |
2024/06/15(土) 11:11:44.45ID:I+z8iAZu
三角関数でも同じ事が出来る
556デフォルトの名無しさん
垢版 |
2024/07/10(水) 03:52:10.39ID:l805LDy6
すごいな
2024/07/10(水) 16:25:56.43ID:2GPD5dJ4
微分は漏れが発見した(Napier)
2024/07/10(水) 23:19:12.13ID:oFRVSf47
勉強になりました
559デフォルトの名無しさん
垢版 |
2024/07/19(金) 13:53:04.91ID:kaoCcgmG
>>542
分解したら、Windows PCだったりして
2024/07/19(金) 14:39:13.29ID:bKXE7aT9
マルウェアがもれなく付いてきます
561デフォルトの名無しさん
垢版 |
2024/07/19(金) 23:54:46.97ID:rC6z5NUh
クラウドストライク略してクラスト
本気でストライク開始
562デフォルトの名無しさん
垢版 |
2024/07/23(火) 09:18:20.47ID:iSDzXJU2
半整数を定義してくれ
2024/07/23(火) 10:43:32.92ID:Kdzr5IGr
整数を半分にします
564デフォルトの名無しさん
垢版 |
2024/07/31(水) 00:58:55.05ID: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、ここまでお膳立てすれば後は出来るよね?じゃあねノシ
565あぼーん
垢版 |
NGNG
あぼーん
2024/08/27(火) 18:58:40.55ID:cp4Z1Add
>>565
めっちゃ簡単よ
567デフォルトの名無しさん
垢版 |
2024/10/03(木) 09:59:27.49ID:Z/ktGrzU
NHK BS 熱血Bリーグ
司会者:「今日から彩雪さんが登場です」
ゲスト一同:「うぇーい」
司会者:「彩雪さんは高校の教師もしておられます」
一同:「うぇーい」
司会者:「彩雪さんは何の科目?」
彩雪:数学です
ゲスト:「高校数学なんてついていけない」
司会者:「大学では何を専門に?」
彩雪:複素解析です
司会者:「複素解析?なんですそれは?」
彩雪:複素数は御存知ですか?
一同:「・・・」
彩雪:「・・・」
2024/10/04(金) 13:34:20.62ID:RixEjMnj
1729とは
2024/10/05(土) 15:11:52.05ID:u1hwkRNd
>>568
誰もそんな話をしてないぞ
ガイジ
570デフォルトの名無しさん
垢版 |
2024/10/20(日) 19:53:15.13ID:Xkf3xe26
こういうのはLLMでどうにかならんの?
o1で推論能力かなり上がったらしいけど
571デフォルトの名無しさん
垢版 |
2024/10/20(日) 20:30:20.00ID:Rpp5gjxc
無理かな。

決定論的な数学(微分積分見たいな予測の方の数学)のラプラスの悪魔(すべての現在の状態が分かればすべてを予測可能)と
確率論的な数学のLLMの引数を無限にすれば万能関数になるってのは多分、別々の道を進んだ先が同じになるパターン。

現実的には無理だけど、その極限で全く別に見えた数学の分野が交差する瞬間と考えるとちょっと感動。
2024/10/20(日) 21:00:22.63ID:hJ3wIO0s
漠然としすぎ
2024/10/20(日) 21:03:05.38ID:jAtz6juv
eとπと素数やね
2024/10/20(日) 21:09:32.76ID:hJ3wIO0s
>>571
それたんにNNのこと言ってだけで
language modelでやる説明になってない
2024/11/03(日) 20:04:29.51ID:H5/A1U4T
ここまで表示的意味論の話題無し。
数学とプログラミングだったら必須じゃね?表示的意味論
576デフォルトの名無しさん
垢版 |
2024/11/03(日) 20:10:04.71ID:W/WQS3jI
専門外(そもそも趣味なので専門以前)だが、確かに詳しい人が居たら聞いてみたい
577デフォルトの名無しさん
垢版 |
2024/11/03(日) 20:24:44.88ID:H5/A1U4T
俺も詳しくはないが、具体的に何を聞きたい?
やっぱりモナド?
578デフォルトの名無しさん
垢版 |
2024/11/03(日) 21:59:26.71ID:W/WQS3jI
表示的意味論でプログラミング不可能な部分とか、その逆にプログラミングで出来るけど表示的意味論では不可能な部分。
要するに表示的意味論的にスレタイの「数学」をプログラミング。は可能か否か。
2024/11/03(日) 23:54:35.53ID:H5/A1U4T
プログラミングでできるけど表示的意味論で不可能な部分なんて大量にあるのでは。
表示的意味論なんて関数型プログラミングありきだし、命令型プログラミングの概念とかを直接的には全然反映できない。

命令型だろうがオブジェクト指向だろうが、いったん中間言語として関数型プログラミング言語に変換してさらに
それを表示的意味論で数学にして、というようなことを最終的にやりたいんだろうとは思う。

一応表示的意味論で、入出力とかも扱えるし、既に表示的意味論的に定式化されている概念を駆使すれば、現実のプログラムの
概念を既に表示的意味論に定式化されている概念に還元させるということは原理的にはできるのかもしれない。
2024/11/03(日) 23:55:07.03ID:H5/A1U4T
でも、問題はプログラミング言語のいろんな特徴を反映させたデータ領域というのが、機能をひとつ追加するごとにその
定義の記述がめちゃくちゃ複雑になるというところにあると思う。つまり原理的にはできるかもしれないけれど、
現実的には不可能ってやつ。

結局、プログラミングでできる部分を数学にするにも、結局プログラミングしないといけないとかいう状況になる。
表示的意味論はそのプログラミングでできる部分をプログラミングするという意味のプログラミングの機能が乏しい。特にモジュール性がない。
581デフォルトの名無しさん
垢版 |
2024/11/04(月) 19:51:27.22ID:rdTeenaM
原理的に可能でも、現実的には不可能…なるほど…。
もっと原理的にも不可能な部分が多いかと思っていたので意外でしたし、大変勉強になりました。

ありがとうございましたm(_ _)m
582デフォルトの名無しさん
垢版 |
2024/11/04(月) 19:59:50.07ID:xJc0M/SU
いや、知らんけど。俺も勉強中の身だからまともに受け取らないでほしい。
2024/11/04(月) 20:17:23.94ID:rgFUj3k3
それより「表示的意味論」てう用語は全角漢字6文字で長いから
君のその文章の中に頻繁に出てくるソレが読んでる間にゲシュタルト崩壊して頭に入ってこないんだよね
これは日本語で専門分野の説明をする際の難しさの一因になってると思う
英語だとDenotational SemanticsらしいからDSでいいんじゃないかね
2024/11/04(月) 20:20:29.03ID:GSVf3MJi
表示的意味論
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/96270/1/Tronso_35_16.pdf
2024/11/04(月) 20:25:56.12ID:rgFUj3k3
「プログラミング」これも長ったらしい
短い言い換えはできないもんかね
「表示的意味論はそのプログラミングでできる部分をプログラミングするという意味のプログラミングの機能が乏しい」
そういう意味ではこんな一文よく平気で晒せるな、思うわけよ
専門用語で言葉遊びしたい子かなとか単に頭悪そうとか、そういう感想しか出てこないわけよ
2024/11/04(月) 21:23:55.12ID:xJc0M/SU
なんか夢見てる感じの文章な気がするぞ。

うーんじゃあどう言い換えるの?

関数型言語を中間言語にしてプログラム変換?
なんか簡潔すぎて意図通じない感がするけどなあ。
2024/11/04(月) 21:29:44.91ID:xJc0M/SU
Rubyとかを表示的意味論(DS?)で数学的対象与えようとすると、データ領域の定義が滅茶苦茶複雑になるから、意味論なのに人間には理解できないとかそういうことになると思うけれど
2024/11/05(火) 12:30:03.11ID:YSt/y3gD
DSの定義とは
Data Segment
Deeeep State
2024/11/05(火) 12:43:26.91ID:wPisPIWq
任天堂DS
Decision System
2024/11/05(火) 17:56:28.98ID:jvZmHUTK
💣💣💣detonational semantics💣💣💣
2024/11/05(火) 18:15:43.16ID:jjQPMbtg
表示的意味論をDSって略すのほとんど見たことない
2024/11/10(日) 16:05:57.01ID:AfmJKCJ3
プログラミングの課題
watch?v=dYj0rPQeRkA
2024/11/10(日) 20:31:29.56ID:jDHxe7Rv
>>592
ガイジ
594デフォルトの名無しさん
垢版 |
2024/11/12(火) 03:08:32.43ID:9zdS7CZY
直感的に、短く、そしていちいちボイラープレートを書かんでもいいようにしてくれ
2024/11/12(火) 04:03:57.03ID:15KCzjek
マシンや処理系の仕様に合わせてキーを打つのは人間様のすることではない
2024/11/12(火) 04:10:14.19ID:15KCzjek
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約

これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
2024/11/12(火) 06:09:24.09ID:NBuxYVaH
こいつの中では問題らしい
2024/11/12(火) 10:46:16.50ID:15KCzjek
>>597
問題だと思わないならすべてのソフトウェアをマシン語直接書けばいいと思うんだけど、そうしないの?
2024/11/12(火) 11:09:37.06ID:NBuxYVaH
ありがちなつまらない問答
どうせなにも解を持ってない
2024/11/12(火) 11:14:02.69ID:u+3emFIN
このガイジ3月からずっと粘着してんの?
きっしょ……
2024/11/12(火) 15:48:13.03ID:3FuqnzdR
>>596
マジレスするとsympyとか使ってxのまま計算して
最後にsolveさせると良いよ
2024/11/12(火) 15:55:48.61ID:CKJ1cusC
>>596
そういう道具をお前が開発すればいい話、有効ならみんな使ってくれる
2024/11/12(火) 16:33:02.20ID:15KCzjek
>>601
それは√2を代数的に扱えるだけで、「数学」ができるようになるわけじゃないよね
2024/11/12(火) 16:34:24.89ID:15KCzjek
>>602
CoqだのAgdaだのLeanだのすでにあるが、プログラミングのタスクに使うには現実的ではないから使われていない
2024/11/12(火) 16:51:01.93ID:CKJ1cusC
>人間の思考をコンピュータの都合に合わせようとしているのが問題
2024/11/12(火) 18:26:13.57ID:CKJ1cusC
どうせコンピュータの仕組み、どう動くか分からん素人のポエムだろ
2024/11/12(火) 18:53:59.94ID:XP7honYa
>>606
コンピュータの仕組みとこの話がどう関係すんの?
2024/11/12(火) 18:55:38.17ID:CKJ1cusC
何処が疑問?
2024/11/12(火) 19:07:20.52ID:XP7honYa
>>608
コンピュータの仕組みとこの話がどう関係するの?(2回目)
2024/11/12(火) 19:33:12.24ID:8/9kiwLF
Isabelle使えばいいだけじゃん?
2024/11/12(火) 21:00:48.76ID:CKJ1cusC
>>609
お前は>>596か?
2024/11/12(火) 22:38:55.70ID:CKJ1cusC
>>604
何に使うんだ、具体的に
2024/11/12(火) 23:06:50.66ID:Z0apa2/f
>>612
自分で考えろ
わかんねーなら口挟むな雑魚
2024/11/12(火) 23:10:47.26ID:/X8f5cV1
>>612
定理証明支援だろ
日本語読めんのか?w
2024/11/12(火) 23:13:38.83ID:CKJ1cusC
>>613,614
死ねよ
2024/11/13(水) 16:19:20.46ID:uVNdAEYi
子どもたちがママや先生に「なんで?どうして?」と質問攻めする
2024/11/14(木) 06:47:55.50ID:FKItOak5
やらないやつは
どんな便利な道具を与えても
どのみちやらない
2024/11/14(木) 09:28:56.87ID:nznif/OW
ここまでやって>>1>>596の問題でさえ、まともな解答を与えられない雑魚ども
2024/11/14(木) 10:42:00.16ID:ner7v2hh
イキルボウフラ
620デフォルトの名無しさん
垢版 |
2024/11/14(木) 12:02:25.41ID:OQvPqcBY
人間が証明する場合だって地道に微積分とか勉強しなきゃいけないんだから、プログラミングでやる場合でも、前提となる命題を地道にライブラリとして実装するしかないんじゃないの?
2024/11/14(木) 13:14:43.41ID:ner7v2hh
人間の証明
622デフォルトの名無しさん
垢版 |
2024/11/14(木) 14:47:37.59ID:a5xmyjQf
strawhat
2024/11/14(木) 17:23:53.38ID:ner7v2hh
麦わら帽子
2024/11/14(木) 21:13:20.72ID:GhvEWAa6
>>63
RubyやPythonは実行も遅くバカ大衆向けの言語
625デフォルトの名無しさん
垢版 |
2024/11/14(木) 21:48:56.39ID:bKv2MHuD
>>617
虐待するような親は
どんな素晴らしい育児本が出ても
どのみち読まない
2024/11/14(木) 23:41:10.47ID:ner7v2hh
DLはパイソンだが
2024/11/15(金) 04:40:11.25ID:ZKTTgycs
虐待するような親は字読めない
628デフォルトの名無しさん
垢版 |
2024/11/15(金) 05:18:13.53ID:hQy47J0s
どの数学を勉強するかにもよるな
弦理論やるならリー群論や多様体解析は必須だ
リーマンの定理やアインシュタインあたりまでは知っとく必要がある
微分解析やテンソル解析は腕のように使えなければならない
シュレーディンガー値も
629デフォルトの名無しさん
垢版 |
2024/11/15(金) 05:23:46.08ID:oiKZah8W
コンピュータは電気で動いている
電気の法則は電磁気学に従う
電磁気学は数学で記述される
したがって、コンピュータで数学をすることは不可能
630デフォルトの名無しさん
垢版 |
2024/11/15(金) 11:17:31.81ID:QdZaIMPx
電子レベルでは不確定性原理が成り立つから、演繹法は成り立たない
631デフォルトの名無しさん
垢版 |
2024/11/15(金) 11:22:24.79ID:0M5G5fCx
数学は純粋関数型言語と同じで副作用がないが、プログラミングは副作用を扱えるので、プログラミングは数学の完全上位互換といえる
2024/11/15(金) 11:59:16.52ID:IzLvGXPH
月間ムーに投稿したら?
633デフォルトの名無しさん
垢版 |
2024/11/15(金) 12:20:53.12ID:vpDW14Vh
数学は数学で記述される
したがって、数学で数学をすることは不可能
634デフォルトの名無しさん
垢版 |
2024/11/15(金) 12:46:46.55ID:kiHQf9hP
>>633
意味不
2024/11/15(金) 13:12:46.73ID:exBTDHgR
ポエム書き始めるぐらいならもう引退したほうがいい
生き恥さらすな
2024/11/15(金) 13:14:55.00ID:TsZPiFZ4
月刊ポエムだろ
2024/11/15(金) 19:08:27.14ID:RQFgsded
>>1>>596への回答はまだなんですか?
2024/11/15(金) 19:57:03.24ID:TsZPiFZ4
煽る
639デフォルトの名無しさん
垢版 |
2024/11/15(金) 20:05:57.50ID:6Uab757C
>>631
プログラミングにも数学にも、それぞれ出来ることと出来ないことがあるので上位互換ではない。
無限に細かいドットが無いからこそ、離散数学でなるべく滑らかに表示できるように考えられているってだけでも、
比可算無限(実数の無限)の再現困難性が理解できると思う。

プログラミング   数学
副作用       稠密(有理数・実数の概念)や連続(実数の概念)
640デフォルトの名無しさん
垢版 |
2024/11/15(金) 20:14:15.24ID:T7KbDv9U
数学にはメモリが無い
641デフォルトの名無しさん
垢版 |
2024/11/16(土) 13:43:48.08ID:xjfyxxxK
>>639
数学にできてプログラミングにできないこととは?
642デフォルトの名無しさん
垢版 |
2024/11/16(土) 14:06:21.38ID:u6jPvE94
lim[x→0](1/x) みたいなのってどうやるんだっけ
643デフォルトの名無しさん
垢版 |
2024/11/16(土) 14:39:31.85ID:VEq7pzr0
>>642
存在しない
644デフォルトの名無しさん
垢版 |
2024/11/16(土) 21:13:01.66ID:ZAMRkSMG
>>641
Σ(n = 0, 100) 2^(-n) ≠2 -- 100の部分が∞になった時(2^(-∞))、初めて 2 になる。

数学だと真(True)になるが、Haskellプログラムは-53乗から答えが2になって、この式は偽(False)になる。
sum [2^^(-n) | n <- [0..53]] /= 2 = False -- 間違った答えを表示。

グラフアプリ(Webアプリ)のDesmosでも確認したので、専用のアプリや言語でも間違ってる可能性が高い。
こういう精度の問題がプログラムはメモリが有限である限り、必ず存在する。

(√2)^2 = 2

が正しく真になるかどうかもプログラム次第。
(こちらはグラフアプリの様な専用のものは対応してることが多い)
645デフォルトの名無しさん
垢版 |
2024/11/16(土) 22:29:05.29ID:SVLHeDQd
>>644
またこの周回遅れの間違いかよ
646デフォルトの名無しさん
垢版 |
2024/11/16(土) 22:55:43.53ID:ZAMRkSMG
>>642
ghci> [1/x | x <- [10,9..0]]
[0.1,0.1111111111111111,0.125,0.14285714285714285,0.16666666666666666,0.2,0.25,0.3333333333333333,0.5,1.0,Infinity]
ghci> last [1/x | x <- [10,9..0]]
Infinity
647デフォルトの名無しさん
垢版 |
2024/11/17(日) 18:50:33.62ID:JFtl2tUu
>>644
イプシロン-デルタ論法使えばいいじゃん
648デフォルトの名無しさん
垢版 |
2024/11/17(日) 21:09:34.26ID:vlQbYPk+
>>647
じゃあやってみて。
言語は問わないので。
649デフォルトの名無しさん
垢版 |
2024/11/17(日) 22:24:24.21ID:3R29/MXR
>>648
イミフ
イプシロン-デルタ論法って特定のプログラミング言語の機能だと思ってるの?
650デフォルトの名無しさん
垢版 |
2024/11/17(日) 22:28:22.99ID:36mRXv9m
lim_{k to ∞} sum_{k=1}^{n} 2^(-k) = 2

はい。
651デフォルトの名無しさん
垢版 |
2024/11/17(日) 23:05:53.71ID:vlQbYPk+
>>650
やり直し。
TeXの数式じゃなくて、プログラミング言語のコードで。
使えば良いじゃんって事は、普通のプログラミング言語なら使えるんでしょ?
652デフォルトの名無しさん
垢版 |
2024/11/18(月) 01:35:40.76ID:XvHL8b4e
>>651
何を言ってんだお前は
653デフォルトの名無しさん
垢版 |
2024/11/18(月) 01:57:22.41ID:cmnYUiAb
>>652
>644を数学にしかできない方法として極限を出したらイプシロン-デルタ論法出してきたでしょ?
プログラミングでイプシロン-デルタ論法使えば、数学と同じことができるって主張じゃないの?
654デフォルトの名無しさん
垢版 |
2024/11/18(月) 02:18:05.70ID:cmnYUiAb
というか、私の主張は

数学
lim_{k to 100} sum_{k=1}^{n} 2^(-k) -- ちゃんと近似値が出る。

プログラミング
sum [2^^(-n) | n <- [0..100]] = 2 -- 近似値ではなく、極限値の2になって(この時点での)正確な値ではない。

プログラミングはイプシロン-デルタ論法が(一定の精度までしか)出来ない。
それでも実用上問題は無いが。

他にも無限次元の空間とかも扱えない。
集合の添え字集合も可算集合とは限らない。
実数や複素数も有り得る。

リストや配列のインデックスが実数や複素数とかプログラミングじゃ出来ない。
655デフォルトの名無しさん
垢版 |
2024/11/18(月) 02:30:07.52ID:Jtd58AQt
lim_{k to ∞} sum_{k=1}^{n} 2^(-k) = 2 をチェックする関数verify()を作って、

```
verify();
```

構文の違いはあれど、だいたいどんなプログラミング言語でもこれで出来るよ。
656デフォルトの名無しさん
垢版 |
2024/11/18(月) 02:31:48.70ID:Jtd58AQt
>>654
なんで数学サイドは極限を扱っているのに、プログラミングサイドは近似値計算してんのが分からない

>プログラミングはイプシロン-デルタ論法が(一定の精度までしか)出来ない。
意味がわからない
イプシロンデルタ論法の「精度」とはなんぞや?
2024/11/18(月) 06:55:13.89ID:rC7K9dh5
用語の定義と問題設定やってから議論はじめろや
2024/11/18(月) 11:53:19.87ID:21+bycFm
数式プロセッサで10秒で解ける話をいつまで引っ張る気?
659デフォルトの名無しさん
垢版 |
2024/11/18(月) 12:11:19.02ID:TSuIDd3o
>>657
概念や問題設定を確立することも含めて研究だ
問題意識に共感できないなら黙ってろ
2024/11/18(月) 12:24:05.47ID:/ED7ccxy
先行研究を調べるという発想もそのやり方もわからないポンコツなの自覚した方がいいぞ
2024/11/18(月) 12:24:33.46ID:JmFxaZ5G
>>659
定義を否定するのはさすがに数学者の姿勢として間違っているかと。

数学なんて定義が違えば結果が変わるんだから、定義すらできないなら議論する以前の状態。
擬似問題だらけになって議論なんてできないわな。
2024/11/18(月) 12:52:07.70ID:IQFlTfLo
ポエム
663デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:10:32.68ID:petr+Idh
>>661
微積分もフーリエ変換も超関数も厳密な定義の無いところから始まったんだが
664デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:12:10.65ID:petr+Idh
そもそも何を定義してほしいんだ?
上で言ってるイプシロンデルタ論法なんか厳密に定義されてるだろ

自分が理解できてないのを責任転嫁してないか?
2024/11/18(月) 13:12:30.38ID:IQFlTfLo
一緒にすんなよ
666デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:14:48.42ID:petr+Idh
で、何を定義してほしいの?
667デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:17:46.53ID:Rwp+XrJ8
未知の概念を誰かに「定義してほしい」では会話にならない
「自分はこういう定義・定式化するのが適切だと思う」と自発的に提案できなければ、数学の研究はできない
>>661は完全に間違っている
668デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:54:18.06ID:fHwV6VSA
>>654
全部できるな
669デフォルトの名無しさん
垢版 |
2024/11/18(月) 13:55:52.57ID:0TuJxtFY
>646
lim[x→0](sin(x)/x)
lim[x→-0](1/x)
670デフォルトの名無しさん
垢版 |
2024/11/18(月) 14:03:32.55ID:fHwV6VSA
>>654の言ってるのは、「CPUは整数しか扱わないから、コンピュータで文字列は扱えない」と言ってるのと同じ
それに対してこちらはずっと「文字に文字コードを割り当てれば文字列を扱える」と正しい指摘をしているのだが、
「できるならプログラミングで書いてみろ」とか意味不明な言いがかりをつけてくる
671デフォルトの名無しさん
垢版 |
2024/11/18(月) 14:09:15.00ID:q1fjBomZ
Σ_{k=0 to N} 2^(-k)が2に収束することを証明するには、N = 100や1000を代入しようが駄目で、極限を扱わなければならない
>>654のやってることは何の意味も無い

で、イプシロンデルタ論法を使えば厳密に証明できるとこちらは何度も言っているのに、聞く耳を持たない
2024/11/18(月) 16:37:50.26ID:IQFlTfLo
数学、プログラム、実装がごっちゃまぜ
673デフォルトの名無しさん
垢版 |
2024/11/18(月) 16:50:14.60ID:xbnEkxri
数学と実装は独立

プログラミング言語処理系の数値型が近似値だから、実数や極限を扱えないなどという馬鹿な話は無い

それは、CPUが整数値しか扱えないからプログラミングで文字列を扱えないと言ってるのと同じ
2024/11/18(月) 16:52:09.17ID:IQFlTfLo
馬鹿乙
2024/11/18(月) 16:53:49.78ID:IQFlTfLo
お前が思ってる仕様のプログラム作るんだろ?
676デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:26:51.96ID:cmnYUiAb
>>671
うちの主張したいことは、イプシロンデルタ論法はいくらでも数値の誤差をイプシロン以下に抑えられるのを保証することを証明しているのだが、プログラミングではそのイプシロン以下に抑えられない程誤差が大きくなるってのが、数学を厳密にプログラミング出来ない理由として挙げてる。

プログラミングのは、極限値だけ決め打ちで答えが出るようにしてるだけなので、100とかでイプシロン以下に抑えられない誤差が現れる例としてだした。

添え字集合が実数や複素数というのも、その実数の連続性・比可算無限が根本にある。

無限次元の空間は整数の話だが、多倍長整数使ってもメモリ以上の空間は扱えない。

どれも事実上問題になるわけではないが、>1のいう「近似ではなく厳密に」なら不可能と言わざるを得ない。
677デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:29:55.61ID:cmnYUiAb
x比可算
o非可算
678デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:37:30.06ID:uqz705Or
>>676
何度同じことを言えば理解できるのだろうこの馬鹿は
679デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:42:40.18ID:cmnYUiAb
>>678
プログラミング可能なことをコードで示したら理解します。
680デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:42:42.62ID:uqz705Or
「実数εを任意に選べる文脈で、項と極限値の差をε未満に抑えるNを選ぶことができる」ことを示すのがイプシロンデルタ論法

それを記号論理で扱える処理系を実装すればいいだけ

εは「正の実数である」という情報しか持っていない
浮動小数点数や多倍長整数の誤差なんか全く無関係
681デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:43:14.48ID:uqz705Or
>>679
>>655
682デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:47:34.77ID:uqz705Or
>>679
それはお前の理解力が低すぎるだけ

コンピュータで文字列を扱うのに文字コードの実装をすべて見せなくたって
「たとえば文字の'0'に整数48を割り当てる」のように説明すれば、ふつうの理解力があれば理解できる

自分の知性の問題を責任転嫁しないでくれ
683デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:47:39.20ID:cmnYUiAb
>>681
verify()の中身。
あと、決め打ちって書いてるでしょ。

その100での具体的な近似値求められないと「厳密」にならない。

なので私からの宿題は100の時の具体的な近似値を求めるコードを示すこと。
684デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:51:22.47ID:uqz705Or
>>683
二進法で一の位以下に1が101個並んだ数だよ

こんなんプログラミングしなきゃわからんの?
685デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:53:44.06ID:uqz705Or
s = "1.";
for(int = 0; i < 100; i++) s += "1";
print(s);

以上
686デフォルトの名無しさん
垢版 |
2024/11/18(月) 19:58:41.23ID:uqz705Or
print("2 - (1/2)^100");
687デフォルトの名無しさん
垢版 |
2024/11/18(月) 20:05:19.56ID:cmnYUiAb
>>680
ε自体はな。
でも、真の値aに対して a + ε, a - εって使うのがイプシロンデルタ論法。
数学ではそれで限りなく無限に近くεを小さくしてもその範囲内に真の値が存在することを証明しているが、
プログラミングでは一定の大きさのεまでしか保証されない。

こういえばいいか?
真の値は確かにあるが、プログラミングでは間違った値を返す場合がある。

極限が正しければ厳密じゃない。
途中もすべて正しくないなら、それは厳密ではない。
688デフォルトの名無しさん
垢版 |
2024/11/18(月) 20:12:54.11ID:cmnYUiAb
>>685,686

御大層なこと言っておいてそれで数学を厳密にプログラミング出来ましたってか?
そういうのを決め打ちっていうんだよ。

どんなコードが出るか期待してたら…。
689デフォルトの名無しさん
垢版 |
2024/11/18(月) 20:13:02.34ID:uqz705Or
>>687
こいついつまで同じ間違いを主張し続けるんだろう
わざとなのかな
2024/11/18(月) 20:24:40.45ID:IQFlTfLo
>>687
それは組み込み関数、ライブリライのせいだよ、アホ
2024/11/18(月) 22:59:54.21ID:IQFlTfLo
素人の爺には困ったもんだ
2024/11/19(火) 06:48:48.49ID:EzNMoOuG
>>687
そんなことは70年代には解決されている
2024/11/19(火) 12:52:15.23ID:+rLs2eZU
なんか擬似問題臭くて良くわからんが、非可算無限と可算無限を同列に扱っている?

ε-δ論法の話をしているけど、「対象」が可算集合ならコンピュータでもε-δ論法を扱えるけど、「対象」が実数とかの無限列相当のものは扱えないよね。

ここは同意できているの?
694デフォルトの名無しさん
垢版 |
2024/11/19(火) 14:24:36.15ID:vPThvbnG
>>693
扱えるが
2024/11/19(火) 14:49:59.72ID:BjXbrgPI
発明したな
>「対象」が可算集合ならコンピュータでもε-δ論法
696デフォルトの名無しさん
垢版 |
2024/11/19(火) 15:02:31.77ID:9IpsHqjo
イプシロンデルタは
「正の数εが任意に与えられた文脈で、極限値と第N項の差をε未満にできるNが存在する」
ということを示すもの
浮動小数点数の精度は全く関係ない
697デフォルトの名無しさん
垢版 |
2024/11/19(火) 15:20:30.96ID:Mq7l08eX
数学で証明できることはすべてコンピュータでできる
2024/11/19(火) 16:02:28.14ID:BjXbrgPI
イキル
2024/11/19(火) 16:07:04.25ID:BjXbrgPI
主語でかすぎ
700デフォルトの名無しさん
垢版 |
2024/11/19(火) 16:14:08.96ID:qPVKwQq9
数学の定義や命題は有限の記号列で書ける
数学の証明はその記号列をべつの記号列に変形する操作
よって、数学で証明可能なことはすべてコンピュータにも証明可能
2024/11/19(火) 16:24:25.57ID:I/l9JBha
結局それをやる意味ってないよね
効率よくプログラミングできるようになるわけでもないし
2024/11/19(火) 16:28:44.30ID:BjXbrgPI
ZFCを書いて、それらで定理を書けばできそうな気もするけど、意味あるのwww
703デフォルトの名無しさん
垢版 |
2024/11/19(火) 16:35:45.33ID:j14Rc69f
自分の無知や誤解を認めずに「それ意味あるの」と話をそらすのはみっともない
704デフォルトの名無しさん
垢版 |
2024/11/19(火) 16:37:54.51ID:H/KRjD7N
>>701
プログラムの性質が型として記述されていれば実行前にチェック可能
2024/11/19(火) 16:43:49.56ID:BjXbrgPI
>>703
自己紹介乙
2024/11/19(火) 16:44:50.16ID:BjXbrgPI
物理、化学もプログラミングできるんじゃね、知らんけど
2024/11/19(火) 16:45:42.08ID:BjXbrgPI
結局素人爺さんのポエム
2024/11/19(火) 16:46:56.61ID:BjXbrgPI
コンピュータをプログラムするのはできるのかな
709デフォルトの名無しさん
垢版 |
2024/11/19(火) 16:47:12.61ID:coO1UiYz
チューリングやノイマンにも「それ意味あるの?」とか言ってそう
710デフォルトの名無しさん
垢版 |
2024/11/19(火) 16:58:19.92ID:lK7OkAw4
>>708
仮想マシンやエミュレータって聞いたことない?
2024/11/19(火) 17:21:27.90ID:BjXbrgPI
>>710
そんな限定した話をしてるんじゃないよ
2024/11/19(火) 17:29:21.81ID:+UtMc6V6
プログラムするw
お前らあほだろ
2024/11/19(火) 17:57:15.98ID:BjXbrgPI
数学ができるんならできるだろw
2024/11/20(水) 17:27:58.52ID:MYLVUJ4i
記号の変換はスマホの機種変更と同じぐらい無駄が多いので
原始的な紙とか鉛筆とかから最も新しい機種へ
一手でチェックメイトするのが理想
2024/11/20(水) 17:30:31.90ID:bfGgzFod
だめだ幼稚すぎる
716デフォルトの名無しさん
垢版 |
2024/11/21(木) 12:45:49.55ID:SUxxkxcm
AIで数学するのか数学でAIするのかどっち
2024/11/22(金) 12:28:17.99ID:Bq3Ptvn8
手書き最高

手書き
8πG/c⁴μ₀

プログラム
> (8.0 * std::numbers::pi * G) / (c * c * c * c * mu0)よりも
> divide(multiply(multiply(8.0, std::number::pi), G), multiply(c, multiply(c, multiply(c, multiply(c, mu0)))))の方がずっと分かりやすいもんな
> 8.0 pi mul G mul c c mul c mul c mul mu0 mul div
2024/11/22(金) 12:48:39.18ID:TfAmaEiY
頭が弱い子は黙ってなさい
719デフォルトの名無しさん
垢版 |
2024/12/04(水) 21:39:55.37ID:8KpdelDL
とにかく実装をしたくない
性質だけ記述したらそのとおり動くものを
2024/12/04(水) 21:54:53.60ID:mVwJzDam
つ chatGPT
2024/12/04(水) 23:24:59.54ID:zvOMcMQ4
>>719
理論的には可能だけど
結局複雑さが仕様記述に移るだけ
2024/12/04(水) 23:33:29.55ID:mntkUkKP
>>721
理論的に不可能と言わないと学のレベルが知れちゃうよ
2024/12/04(水) 23:53:24.41ID:zvOMcMQ4
>>722
は?自動証明機の原理と同じって習ってないの?
学がないね
724デフォルトの名無しさん
垢版 |
2024/12/05(木) 06:54:57.03ID:Rf9rE6qz
O(n logn)のソートアルゴリズムいくつあると思ってんだ(笑)
2024/12/05(木) 06:57:10.89ID:C6AEg4kD
>>721
馬鹿が触れなくなるだけでも意味がある
2024/12/05(木) 08:52:35.44ID:xTrv11hP
>>724
やっぱり何もわかってないし
CSと数学基礎論を修めてないの自白してるぞ
それは算法でいくつもあるならどれでもいいって話だバカ
2024/12/05(木) 12:44:08.13ID:tdblRVHA
じゃあ実装スキップできないじゃん(笑)
2024/12/05(木) 14:18:22.51ID:sS2Eeasw
無理です
TypeScriptのような強力な型システムを備えていれば、
2つの型が等しいことを確かめることは原理的にできません
2024/12/05(木) 15:12:42.19ID:xTrv11hP
>>727
な?不思議だよなw
学べば別に魔法じゃないことがわかる
730デフォルトの名無しさん
垢版 |
2024/12/05(木) 16:32:01.05ID:2LNpfkRJ
test
・・・・・・・・・・・・・・・
・■■■■■・・・■■■■■・
・■・・・■・・・■・・・■・
・■・■・■・・・■・■・■・
・■・・・■・・・■・・・■・
・■■■■■・・・■■■■■・
・・・・・・・・・・・・・・・
・・・・・・・・・・・・・・・
・・・・・・・・■■■・・・・
・■■■■■・・■・■・・・・
・■・・・■・・■■■・・・・
・■・■・■・・・・・・・・・
・■・・・■・・・・・・・・・
・■■■■■・・・・・・・・・
・・・・・・・・・・・・・・・
2024/12/05(木) 16:55:56.65ID:7Nw3563u
     ∧_∧
 ピュー (  ^^ ) <これからも山崎を応援して下さいね(^^)。
  =〔~∪ ̄ ̄〕
  = ◎――◎                      山崎渉
2024/12/05(木) 18:38:56.09ID:0lWk1Gz/
>>728
TypeScriptの型システムは強くない
ザルのJavaScriptに比べればマシという程度
それでも実用的な型システムは強ければ強いほど開発効率が上がる
気付いた人たちはもっと強力なプログラミング言語へ移行する
一方で数学的な各種概念などを型システムに採り入れただけの言語は実用には遠い
2024/12/05(木) 19:14:20.85ID:2vtwGPgw
こんな過疎地で持論書き込んで楽しいか?
2024/12/05(木) 19:41:07.77ID:0lWk1Gz/
事実のみを指摘した
2024/12/05(木) 20:22:08.32ID:wt4vQ/2p
Haskell厨かな
妄想も大概に
2024/12/05(木) 22:23:42.65ID:nFy0adPc
効率って短時間という意味だよな
たとえば疑わしきを3秒くらいで罰するとか
2024/12/06(金) 11:22:43.20ID:x1xEzr8K
>>1
プログラムでかすぎw
2024/12/07(土) 20:49:06.54ID:tbnxnovb
>>1
この数式の意味がわからん
2024/12/08(日) 04:36:47.48ID:hBOt4r+U
>>738
https://ja.wikipedia.org/wiki/ライプニッツの公式
2024/12/08(日) 06:34:59.65ID:X+KuZzcS
>>738
高卒がプログラミングなんかすんなよ
2024/12/08(日) 18:25:16.09ID:BmTfINn6
>>740
こんなのプログラミングに使わないけどw
中高生がプログラミングするのは今や当たり前だけどw
2024/12/09(月) 18:37:31.14ID:URePCLgA
グレゴリー・ライプニッツ級数の2通りの証明
https://manabitimes.jp/math/775
2024/12/10(火) 17:38:45.30ID:r/rGR6/m
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
https://mathlog.info/articles/1405
2024/12/10(火) 21:35:24.14ID:r/rGR6/m
グレゴリー・ライプニッツ級数の収束をCoqで証明する際には、Realsライブラリを用いて実数の扱いを行い、級数の定義を元に収束の証明を組み立てます。証明の詳細は、数列の部分和の収束を示すために必要な補題や定理を適宜導入し、論理的に証明を進めていく必要があります。
2024/12/10(火) 23:33:12.40ID:v+7nHz1f
いくらなんでもめんどくさすぎる
2024/12/11(水) 09:58:45.55ID:9ebR4E1i
数学とはそういうもんだ
2024/12/11(水) 11:46:13.42ID:9ebR4E1i
馬鹿でもケチは付けられる
2024/12/11(水) 12:01:24.20ID:/aZNYiYX
聞こえるな高卒の声が!
2024/12/11(水) 12:05:21.25ID:DIyj35fU
誰でもできることには価値がないと判断しなかった者だけが
コタツでできる数学をやっている
2024/12/11(水) 12:53:19.83ID:9ebR4E1i
ポエム爺さんの代わりに考えてあげたのに酷い(笑)
2024/12/11(水) 16:48:22.68ID:CTc5DRpT
証明の正確さを検証するためのツールなのに、わかり切った証明(項の交換など)を明示的に書かなければいけない
なんつーか、退化してるよな
2024/12/11(水) 16:58:43.02ID:9ebR4E1i
>>1に言えよ
2024/12/11(水) 17:49:58.78ID:9ebR4E1i
>>751
退化しない答えをどうぞ
2024/12/11(水) 21:55:37.54ID:DIyj35fU
自明な部分とそうでない部分は平等に検証されるべきか?
2024/12/11(水) 21:59:14.97ID:9ebR4E1i
自明をどうプログラムするんだ
2024/12/11(水) 22:19:20.28ID:9ebR4E1i
微積分レベルの問題をどう検証しろというのか?
2024/12/11(水) 23:05:07.90ID:DIyj35fU
他人にケチつけられたら自画自賛すればいい
2024/12/11(水) 23:49:27.18ID:9ebR4E1i
俺ってスゲー
2024/12/12(木) 05:18:25.46ID:2xpeWo94
こいつ数学板に連日粘着してるキチガイな
2024/12/12(木) 07:40:20.49ID:rgUDNRxT
自己紹介乙
2024/12/12(木) 15:59:32.60ID:rgUDNRxT
>>654
少数の表現を知らない素人
2024/12/12(木) 17:39:01.48ID:rgUDNRxT
数値計算の立場からすると・・・で無理だな
2024/12/12(木) 17:39:21.03ID:rgUDNRxT
解散
764デフォルトの名無しさん
垢版 |
2024/12/12(木) 18:55:56.72ID:JJ7UILYB
>>761
じゃあ、正しく少数を表現できるコードをどうぞ。
前回の人は>685-686などというコードで信用無くした。
2024/12/12(木) 19:13:14.19ID:rgUDNRxT
ポエム爺
2024/12/12(木) 19:23:46.43ID:382kTtAh
>>764
アホすぎ
2024/12/12(木) 19:33:03.74ID:rgUDNRxT
空のバケツほどよく鳴る
2024/12/13(金) 00:47:18.68ID:HhuErboB
Ωをプログラムの表現しうる全データの集合
fを関数とするとf∈Ω
しかし、ΩからΩへの関数の集合の濃度はΩよりも大きいから矛盾

どういうことだ
2024/12/13(金) 01:09:14.09ID:zE9P8o7z
>>768
表示的意味論かよ。
2024/12/13(金) 01:54:27.10ID:XDI5kMlm
ゲーデルの不完全性を解けば人類は理論上次の次元に到達する
このスレの内容はちょっとだけ掠っているのでその調子でがんばって下さいね
771デフォルトの名無しさん
垢版 |
2024/12/13(金) 13:20:29.60ID:ouGUX1+B
ゲバ本とゲバ棒を聴き間違えたことはある
2024/12/13(金) 14:28:15.71ID:eXnQCWqo
予言者
リーマン予想を解けば人類は理論上次の次元に到達する
2024/12/13(金) 15:19:13.43ID:eXnQCWqo
そういえばπの定義は微妙なので>>742の証明は形式的なものに過ぎない可能性がある
2024/12/13(金) 23:05:29.33ID:eXnQCWqo
>>762
任意精度数値計算ライブラリ

メモリに依存するみたいだけど
2024/12/14(土) 14:08:54.29ID:jFwYZGRF
言語論とか役に立たないからな
ソフトウェア工学学んだほうが役に立つよ
2024/12/14(土) 16:08:00.44ID:yzVhe68F
計算可能実数というのがあってπは扱えるけど実数全体は無理
2024/12/14(土) 17:28:54.01ID:yzVhe68F
終了
778デフォルトの名無しさん
垢版 |
2024/12/27(金) 06:43:26.62ID:3cQLuAQG
球面上で風や海流などの分布を考えると、かならず流れが無い点Pが存在する
このことから、たとえば浮き輪の表面のようなハンドルのある曲面を球面座標でパラメータ付けできないことなどが分かる

数学では上のような性質をみたす点Pを具体的に構成せずに扱えるし、Pの性質だけから後者の命題を導くことも可能
こういうことが実用レベルでできるプログラミング言語は現状無い
779デフォルトの名無しさん
垢版 |
2024/12/27(金) 06:48:54.79ID:3cQLuAQG
縮小写像はかならず不動点をもつ
このことから線形微分方程式の解の存在が言える
非自明な解を一個とってくるだけなら数値解析をする必要はない
780デフォルトの名無しさん
垢版 |
2024/12/27(金) 06:55:54.24ID:jx54xMU+
テンソル積、射影加群、入射加群、逆極限、順極限、……などはすべて普遍性で特徴づけられる
つまり、集合として具体的に構成をしなくても、他のすべての対象に対して射がみたす性質で一意的に定まる
しかも、これらのほとんどの議論は具体的構成を使わず、普遍性だけから従う

このような議論をするには、すべての加群のあつまりのような、無限集合にすらならない膨大な概念を考える必要がある
当然、構成に頼っていてはこのような概念をプログラミングで扱うことは不可能
2024/12/27(金) 07:32:04.93ID:dJ9yt+4u
不動点定理は不動点を持たない関数(特に否定演算)がある領域では成り立たないよね。

不動点定理を前提にするのは「コンピュータの扱いやすい領域のみ扱う」と言っているようなものかと。
2024/12/27(金) 07:49:18.68ID:hlvzD05r
>>781
それは不動点定理ではない
2024/12/27(金) 07:50:43.08ID:hlvzD05r
掛け算の可換性は非可換群では成り立たないよねとか当たり前のことを言ってるようなもん
馬鹿丸出し
2024/12/27(金) 15:58:43.91ID:qzYOmgeu
爺のポエムは不変
2024/12/27(金) 18:06:53.40ID:gyqBnIsN
数学とプログラミングを対立構造で見てる時点で何もわかってない
2024/12/27(金) 18:46:23.72ID:jSY0DGfh
>>785
具体的にどのレスを指して「数学とプログラミングを対立構造で見てる」と言ってる?

ただの独り言?ならごめん。
2024/12/27(金) 23:43:23.45ID:QY/IdYVY
単一継承ならせいぜい親と子の対立しかない
多重継承なら親と親の対立もありえる
ドメインとドメインの対立
2024/12/29(日) 17:37:12.88ID:1/gaPmQa
命題⇔型
理論⇔ライブラリ
2024/12/29(日) 17:42:01.70ID:0n60WVz7
物理とプログラミングは対立構造か
2024/12/29(日) 17:51:31.87ID:R/JuY1We
言葉に酔ってるだけだろ
2024/12/29(日) 18:41:16.54ID:1/gaPmQa
自分が理解できないからと言って難癖をつけるのはやめましょう
2024/12/29(日) 19:34:52.40ID:0n60WVz7
国語を勉強してくれ
2024/12/29(日) 23:31:21.70ID:Ettja4KR
正しい言葉遣いをしたら綺麗事しか言わなくなると思うよ
オールドメディアを超越することと可読性は両立しない
2024/12/30(月) 06:05:18.87ID:AFoxKaw/
オールドメディアガー
2024/12/30(月) 07:54:23.09ID:AFoxKaw/
SNSで炎上商売
2024/12/30(月) 23:30:57.09ID:djpp6m1u
商売なら買い手に責任がある
商品や作品の側に罪はないという理屈で変な物が作られる
買い手の方は責任を果たすために優れた物を買い、自然淘汰されるべき物には不買運動をする
797デフォルトの名無しさん
垢版 |
2025/01/09(木) 12:47:55.94ID:iZ6OsWgm
炎上商売にエンジョイ
2025/01/12(日) 02:01:35.37ID:8Ab7i+tr
型に対してプログラミングすべき
2025/01/12(日) 07:50:15.14ID:aNPLoHWH
それやってもすぐ人間の能力限界にぶつかるから
800デフォルトの名無しさん
垢版 |
2025/01/12(日) 10:12:06.95ID:l8rSJlAD
バリアントで統一
2025/01/12(日) 10:51:45.53ID:iqj2UdGG
空手型
802デフォルトの名無しさん
垢版 |
2025/01/12(日) 15:49:20.69ID:DO5vWwuf
科学をプログラミングするのは難しいが
プログラミングを科学するのは可能では?
2025/01/12(日) 16:35:24.05ID:iqj2UdGG
主語がでかい
2025/01/13(月) 02:34:19.05ID:scTw5na7
オブジェクト指向って、コンピュータサイエンスじゃないんだよな
単に(一部の)人間にとって理解しやすくモジュール化しようってだけのことで、それで技術的に出来ることが増えるわけじゃないから
2025/01/13(月) 02:37:56.75ID:scTw5na7
構造化プログラミングや、関数プログラミングは、それ以前より高レベルの抽象化をもたらしたけど、オブジェクト指向は単に書き方の問題
科学論文で例えれば、構造化プログラミングや関数プログラミングは理論の内容に相当するが、オブジェクト指向は論文の体裁のこと
2025/01/13(月) 02:40:56.25ID:XXChvl3U
そして、科学論文の体裁は重要だが、オブジェクト指向はいまや重要ではない
2025/01/13(月) 05:24:15.88ID:elRKgauc

並行性
最適化

この3つだよ
今求められてんのは
808デフォルトの名無しさん
垢版 |
2025/01/13(月) 09:04:54.93ID:PzkYuqRH
求めてないよ
2025/01/13(月) 09:12:00.23ID:J7wtrzSF
俺が大学生だった20年前はオブジェクト指向もCSの一部だったが
教授はカプセル化が一番重要だといってた
研究はされてたけど、アスペクト指向は流行らなかったなー
2025/01/13(月) 09:12:18.64ID:6+/RYvQh
で、出wwwwインターネットあまのじゃく君wwwwwww
2025/01/13(月) 09:13:20.48ID:wtvPYUbh
>>809
君、勉強できなそうだね
2025/01/13(月) 09:42:56.67ID:94WYo5Du
>>809
たった三行でここまで頭悪そうな文章書けるのってある意味才能だな
2025/01/13(月) 10:20:57.19ID:Ymx2LteG
オブジェクト志向の次はデザインパターンだろ
2025/01/13(月) 10:42:06.79ID:LSOaiCCa
カプセル化も全否定されてるけど
いまだにアンダースコアの変数はモヤモヤする
2025/01/13(月) 10:43:00.59ID:P3ktA6B0
それも宗教
振り子が逆に振れてるだけ
2025/01/13(月) 11:39:54.56ID:J7wtrzSF
デザインパターン20数個のうち10数個ぐらいはただの高階関数でかけるという研究もある
2025/01/13(月) 11:55:37.97ID:Ymx2LteG
魔法はなかった
2025/01/13(月) 13:02:05.46ID:DTY38xVU
>>816
そして残りの10個はただのアンチパターン
2025/01/13(月) 17:18:23.47ID:Ymx2LteG
岩波講座 ソフトウェア科学 [基礎]1
計算システム入門
著者 所真理雄 著
刊行日 1988/10/06

ソフトウェアの作成は人間的な作業で,信頼性や生産性の点でいまだに手工業の域にある.こうした現状をふまえ,ソフトウェア作成の方法を示すとともに,その理論と知識を整理し,新しい学問体系として提示する
2025/01/14(火) 00:54:16.56ID:eoA7bUR4
なぜ高階関数を使わないのか
εδ論法はなぜεの関数を具体的に構成しないのか
こういうのを体系的に整理したら特定の勢力だけが得をして他は損するんじゃないか
だから整理しない
2025/01/14(火) 08:02:07.96ID:WvheYWow
Foo = Bar | Baz
2025/01/14(火) 08:15:31.11ID:BEZztBwJ
型⊂クロージャ
2025/01/14(火) 12:10:31.19ID:ygjj3afU
型なんて特別なものじゃない
0や1はInt型のオブジェクト、IntはType型のオブジェクト
824デフォルトの名無しさん
垢版 |
2025/01/14(火) 12:50:51.03ID:1hGtsoWq
水の呼吸、壱の型
2025/01/14(火) 13:27:13.44ID:2ZQOZttA
>>824
咄嗟にアニメの話出せるとか
おまえすげえ最先端行ってるな
才能の塊かよ
2025/01/14(火) 13:30:47.33ID:5ok8hMJ2
>>824
それ知ってるわ
煉獄さんの映画のやつだろ
お前マジでおもしれーな
2025/01/14(火) 13:58:17.70ID:L1ZxvYgu
型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか
2025/01/14(火) 14:18:33.81ID:x8Aql6YT
有理数型や小数型も作れるのか?
2025/01/14(火) 14:29:34.08ID:S4iOQtDV
>>827
わざわざ型情報を実行時に変化させてどうすんだ
2025/01/14(火) 14:29:54.43ID:S4iOQtDV
>>828
お前は低レベルすぎ
2025/01/14(火) 20:10:44.55ID:6b3bLxyH
有理数型はHaskellやMathematicaにもうある
状態付きの型、考えただけで恐ろしい
2025/01/14(火) 20:32:44.91ID:A8xCzIhU
そうやって進化していくものよ
2025/01/14(火) 21:00:24.45ID:6b3bLxyH
状態付きの計算を行う手順を持った型なら純粋だから許せるけど
状態付きの型なんていらないよ
2025/01/14(火) 21:07:31.89ID:KUHcAlDi
君に要るかどうかは関係ない
2025/01/15(水) 00:39:06.33ID:v8xz0BVe
`f1 = Foo 1`なら、f1の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
2025/01/15(水) 00:39:55.88ID:v8xz0BVe
`f1 = Foo 1`なら、`f1`の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
2025/01/15(水) 00:45:33.23ID:2eRf9tIs
ユーザー定義関数から値返せないじゃん
2025/01/15(水) 00:50:21.44ID:LknHRWOL
型は実体ではなく注釈か
2025/01/15(水) 01:13:53.96ID:xsuF+zK/
型っつっても所詮は構造体に名前がついただけ

計算の過程や性質に型付けをしたいんだ

「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」

こういうのを型で保証したいんだ
2025/01/15(水) 01:33:23.91ID:Yf+/cXFX
ぬるぽは実行前に排除する
2025/01/15(水) 06:39:48.90ID:xj5qHVfP
>>839
理解浅すぎ
数学勉強してないでしょ
2025/01/15(水) 08:07:10.18ID:ogU0rXVD
>>841
君が数学で研究職に就いているのでなければ、まず間違いなく君よりは理解してるよ
2025/01/15(水) 08:10:12.30ID:zm/Y+w4S
>>839
実行時のアサーションで書けることは、型にできる
2025/01/15(水) 08:19:11.22ID:Uf2ceum5
二分探索やクイックソートのロジックが正しいことを型で証明できるか
2025/01/15(水) 08:32:18.93ID:nE+pEHV1
数学的帰納法で証明できる
(長さ1の配列に対しては自明
長さ1, 2, ..., k-1に対して正しいと仮定して、長さkに対して証明する)
そのような構造はF代数で定式化できる
2025/01/15(水) 08:56:17.03ID:3W/U+R8x
アキュームレータを再帰的に更新していくようなのはF代数に抽象化できる
2025/01/15(水) 19:07:44.03ID:8y1isLBr
オブジェクト指向はオワコン
2025/01/16(木) 02:12:12.85ID:hp6XExKo
抽象データ型、凝集度、関心の分離などの既存の概念だけで簡潔かつ正確に説明できることをわざわざバズワードに言い換えただけのクソ概念
2025/01/16(木) 03:23:35.34ID:DBY13IoQ
形式論理とかまじで役に立たんからな
2025/01/16(木) 08:27:28.13ID:L1OHI3Vu
実は当たり前にやっていること。関数適用はmodus ponensに相当する
2025/01/16(木) 18:56:00.70ID:DBY13IoQ
でも役に立たないでしょ
少しは文章読めよガイジ
2025/01/16(木) 20:35:27.89ID:FAOk1woG
型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな
2025/01/16(木) 20:51:11.29ID:Wo2SWLBc
複素数型も四元数型も定義可能だし、GPUに組み込んで高速で並列演算できるようにしてやれば科学界に革命を起こせるな
2025/01/16(木) 21:51:56.76ID:zFtBKiS0
処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する
2025/01/16(木) 22:19:04.03ID:FAOk1woG
研究者の名前がなかなか思い出せなかったがGriffinだな POPL 1990
2025/01/16(木) 22:28:22.29ID:l7++KB1R
イマドキ型のない言語なんて、即席のスクリプトくらいにしか使わんでしょ
2025/01/16(木) 22:31:22.46ID:IceLMl7e
代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること
2025/01/16(木) 22:36:34.50ID:IceLMl7e
人類未曾有のソフトウェアを書くならともかく、巷のプログラムの9割近くのコードはただデータを整形してマッピングしてるだけ
あとの一割は既存のライブラリの呼び出し
現代のプログラミング言語の型システムがあれば、IDEの入力補完に従ってるだけでバグの無いコードが書ける
画面にらみつけてロジック確認なんかしてんのはただのアホ
2025/01/16(木) 22:51:04.55ID:fgdrajER
しかし、それができるなら動的型付けの言語でもエディタが構文から型推論すれば同じことができるのでは?
2025/01/16(木) 23:35:14.70ID:N/7GMQUm
ところがどっこい
型注釈無しでは型推論ができない、あるいはエラーにすべきか型チェッカが判定できないケースが存在する

まず簡単なのは、ユニオン型だ
f:: () -> Int | Str
みたいな関数は注釈なしでは、ふたつの箇所で異なる型を返してるのが間違いなのかどうか型チェッカには判定できない

パラメータ多相を使う高階関数も型推論が困難だ
map :: (a -> b) -> [a] -> [b]
これがたとえば二カ所で
map :: (Str -> Int) -> [Str] -> [Int]
map :: (Str -> Str) -> [Str] -> [Str]
と使われていたら、型チェッカは
map :: (Str -> Int|Str) -> [Str] ->[Int]|[Str]
だと推論するかも知れない。もしそうなると、
map :: (Str -> Str) -> [Str] -> [Int]
という使われ方をしていても、チェックに通ってしまうことになる

リフレクションやメタプログラミングをしている場合も勿論、コードだけから型推論するのは困難だ

逆に言えば、このようなケースに適切に型注釈をつければ、その他の部分は推論できるようになるので、生産性が格段に上がる
2025/01/17(金) 04:10:24.01ID:VwDpqJJw
なんかグダグダ言ってるけどそれ形式論理なしでできるよね
この話の発端は形式論理が役に立たないってことであって,型が役に立たないって話じゃないよ
2025/01/17(金) 06:49:41.95ID:b1HMrou3
単純に、お前の話に誰も興味ないから話題が変わっただけでは
2025/01/17(金) 09:10:34.70ID:qO2eRSGs
ocamlなんかは型推論の健全性と完全性を備えているから
どんな式でも型がつくし、型エラーがでなければ正しいプログラムになるというのが保証されてる
健全性と完全性をどちらか捨てるとしたら完全性なので、そういう言語は型注釈が必要になる
2025/01/17(金) 16:31:58.98ID:tFlne/Xr
まぁ形式論理も時相論理もプログラミングには何の恩恵もないわな
865デフォルトの名無しさん
垢版 |
2025/01/17(金) 16:59:57.91ID:GO6/DX25
CSは数学を一部利用するが
数学はCSなんて知らんがな状態
2025/01/17(金) 18:01:24.36ID:7aS9Z/2O
学問にコンプレックス持ってる人って、みっともないね。
2025/01/17(金) 20:14:27.37ID:b0CV3tPB
>>857
パラメータ多相のジェネリックな型は特に制約を指定しなければ任意の型がOK何でもありだけど
何の型でもありということは使える範囲も極めて狭いというか
言語によってはprintすることすら任意の型が可能派と必ずしも可能とは限らない派もあり曖昧で
何らかの制約を指定しないと何の処理もできないためその型の値をそのまま返すことしかできなくなってしまう
つまりジェネリック型パラメータに対する制約記述がカギとなる
2025/01/18(土) 08:09:37.99ID:eX+b185R
>>866
多分コンプレックスとかじゃなくて無駄なものを持ち込まずにシンプルにしておきたいってだけじゃない
2025/01/18(土) 08:45:22.05ID:BE7PGd83
>>865 数学が専門の人がどんどんCSに入ってきて内容が高度化してるって聞いたぞ俺は
870デフォルトの名無しさん
垢版 |
2025/01/18(土) 10:15:15.14ID:ERaUWL8N
シンプレックスでコンプレックス
871デフォルトの名無しさん
垢版 |
2025/01/18(土) 11:19:59.28ID:7Jaib8zo
なんでコンプレックスの話が出て来てるのかさっぱり判らん

>>869
それこそ >>865 の説を補強してるだけじゃないの
2025/01/18(土) 11:57:14.53ID:xEXW43By
>>868
イミフ
2025/01/18(土) 12:09:19.43ID:pstj5VhN
>>868
数学やCSを持ち込んで対象が複雑になると思ってるのは、
自分が理解できないものにコンプレックス持ってるからだよ
理論を作って対象が複雑になることはあり得ない
2025/01/18(土) 12:14:10.21ID:pstj5VhN
>>873
一筆書きして最初の場所に戻ってこられるか、は複雑な問題
グラフのすべての頂点から出ている辺の数が偶数、というのは単純な問題

グラフ理論を持ち込んで問題が複雑になったというのは、
頂点・辺・偶数・奇数などの概念が理解できないから
それは数学に対するコンプレックスにほかならない
2025/01/18(土) 12:39:38.25ID:84F6tYk8
>>871 P=NP予想とかCSの問題も数学で扱われてるんだから知らんがな状態ではないと思う
2025/01/18(土) 15:06:03.89ID:2/LPmLwt
プログラミングに必要な数学は数値計算で使う数学くらいか?
微積と線形

圏論がプログラミングで無意味なのは誰でもわかるか
2025/01/18(土) 15:34:34.81ID:28NAL8Fg
>>876
プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル
2025/01/18(土) 15:41:30.33ID:Zj1ghav+
反論になってないなぁ
2025/01/18(土) 16:26:51.31ID:xuSYONRy
プログラミングに数学はいくらでも使うことができる
プログラミングに使う数学とか言ってんのは、ただ単に自分が数学を学びたくないだけ
2025/01/19(日) 12:35:56.76ID:fNMlPpUq
Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き
2025/01/20(月) 01:24:19.62ID:8nHIoBfi
型=命題
項=証明

この対応は、通常のプログラミングでも同様
そう思えないってことは、型の使い方が大雑把すぎるってこと
2025/01/20(月) 06:41:50.30ID:qtJTpWnY
>>881
お前のソースコード見せてくれよ
どんだけ立派なのか拝ませてくれ
2025/01/20(月) 08:41:47.10ID:jEcxLOMX
立派とは?
2025/01/20(月) 08:45:50.71ID:VdwKz6kz
int i=10;
char c='a';
printf("%d\n",i+c);
こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう
2025/01/20(月) 09:06:44.29ID:3GFrNXKp
C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな
2025/01/23(木) 23:15:16.69ID:gkeqtoks
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
2025/01/24(金) 08:08:03.61ID:xJrwwu40
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
2025/01/24(金) 08:08:50.30ID:wJVzGCxN
自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される
という思考に人類は依存しすぎている
半導体は自作できないかもしれないが数学は紙媒体でもできる
889デフォルトの名無しさん
垢版 |
2025/01/24(金) 10:45:51.66ID:QSEbyU6x
正直、Rustに心酔してる奴って、程度が低すぎ・・・
PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ

だが、しょせんはまだ従来型のプログラミング言語
人間の思考ほどの表現力は無い
890デフォルトの名無しさん
垢版 |
2025/01/24(金) 10:51:55.41ID:QSEbyU6x
言っちゃ悪いが、人間の知能は平等ではない
ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる
しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる
891デフォルトの名無しさん
垢版 |
2025/01/24(金) 11:18:52.70ID:YFrK1zgU
ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない
連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない
が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ
2025/01/24(金) 11:22:58.16ID:wJVzGCxN
振舞いを自動化しろと言われるのと判断は人間の責任っていうのは
振舞いと判断を区別すれば矛盾しないんだけど
「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある
2025/01/24(金) 22:28:54.69ID:TVTggs3s
>>887
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い

さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
2025/01/25(土) 03:45:14.01ID:LC7IJQQw
構ってもらえる相手を探し求めさまよう某
2025/01/25(土) 10:55:48.38ID:iLzbIZXE
>>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね
2025/01/25(土) 11:31:31.34ID:wB2yLAW7
新商品を作ることにより今後の支障がなくなるといつから錯覚していた
897デフォルトの名無しさん
垢版 |
2025/01/25(土) 15:36:14.98ID:OwaQndIK
>>895
すでに表記の体系はある
CS畑のやつが処理系を作ればいい
2025/01/25(土) 17:09:03.97ID:JNkrrIX3
ここまでWolframの話題なし
2025/01/25(土) 17:25:15.44ID:W3I6NstP
rustがどうのとかいってるレベルだからね
2025/01/25(土) 20:44:31.67ID:iLzbIZXE
>>897 それはMathematicaじゃダメなん?
表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの?
CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点
901デフォルトの名無しさん
垢版 |
2025/01/25(土) 22:15:16.23ID:wEoGbTgh
>>900
だめに決まってるじゃん
902デフォルトの名無しさん
垢版 |
2025/01/25(土) 22:33:12.05ID:LqupDpHB
>>900
Mathematicaは数式処理システムだ
2025/01/25(土) 22:57:41.30ID:iLzbIZXE
数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの
グレブナー基底とかならRisa/Asirとか群論ならgapとか
多分数学の分野ごとにソフトウェアがあるのが現状だと思う
904デフォルトの名無しさん
垢版 |
2025/01/25(土) 23:20:00.08ID:T4wakzBv
内容がわからないなら無理に書き込まなくていいのに
2025/01/26(日) 01:21:09.90ID:RxnNQ4s+
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん?
906デフォルトの名無しさん
垢版 |
2025/01/26(日) 07:09:22.82ID:8U3hDZ20
>>903
アホすぎて返す言葉もない
907デフォルトの名無しさん
垢版 |
2025/01/26(日) 07:29:10.83ID:xKZhC4SH
ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな
2025/01/26(日) 15:13:07.48ID:RxnNQ4s+
試験はギリギリ解けないレベルまで難化する
トーナメントは敗者で埋め尽くされる
909デフォルトの名無しさん
垢版 |
2025/01/26(日) 20:27:15.66ID:m+VDOodg
レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数

4(死)、13(キリスト教における忌み数字)

18(嫌)、24(〜に死)、34(〜さん死)

40、42、44

56(殺)、64(無視)

71(無い)、74(無し)、79(無く、亡く)

84(〜は死)、94(〜君死)、96(黒)

このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。
910デフォルトの名無しさん
垢版 |
2025/01/26(日) 20:55:22.65ID:BcwcPe/+
ドリル優子が大臣に
2025/01/26(日) 22:29:07.43ID:RxnNQ4s+
経験的なデータはリセットできるからリセット不可能なものと分断されたり見下されたりする
912デフォルトの名無しさん
垢版 |
2025/01/26(日) 22:57:02.10ID:s+0AyHDZ
ごみはしんでもごみ
913デフォルトの名無しさん
垢版 |
2025/01/27(月) 08:24:35.73ID:Lwj4/s6G
そう言えばPASCALのスレ無くなってるな
(ObjectPASCALやDelphi除く)
914デフォルトの名無しさん
垢版 |
2025/01/28(火) 00:55:22.49ID:IzCMkZvk
スレタイ、レス件数、スレ作成日、投稿時刻に4や13、忌み数字を使って嫌がらせするネットストーカー、SNSストーカー業者がキモすぎ
4や13などの忌み数字と以下の情報、ポケベル暗号の数字などを(近い位置の並びで)組み合わせて使われていたら嫌がらせの可能性高し。

・名前やニックネーム
・生年月日
・住所、番地
・車のナンバー
・電話番号やメールアドレス
915デフォルトの名無しさん
垢版 |
2025/01/28(火) 00:57:38.03ID:IzCMkZvk
業者の嫌がらせ数字組み合わせ

.204 〜に死
.214 21日生まれ(記念日の人)死
.224 夫婦死
.234 兄さん、爺さん死
.244 西死
.254 事故死、事後死、ニコ死
.264 〜に無視
.274 〜に無し、次男死
.284 〜には死
.294 〜29日生まれ(記念日の人)死

.304 〜さん死
.314
.324 〜さんに死
.334
.344
.354
.364 〜さん無視
.374 〜さん無し
.384 〜さんは無し
.394

執拗に強調することで精神攻撃になる業者の嫌がらせ手法がキモい
916デフォルトの名無しさん
垢版 |
2025/01/28(火) 06:05:44.47ID:IzCMkZvk
閲覧171人とか174人、179人、180人、184人
/総視聴者数 (配信者の名前やID、誕生日などの語呂合わせ数字)

数字操作の嫌がらせがキモすぎ
917デフォルトの名無しさん
垢版 |
2025/01/28(火) 10:01:48.23ID:dqvH8r5C
暗号化技術とガロア体の関係を教えて下さい
2025/01/28(火) 15:48:49.65ID:fgheZtrX
>>917
暗号化技術でガロアとの肉体関係
919デフォルトの名無しさん
垢版 |
2025/01/29(水) 21:16:18.67ID:VEYwrfKC
忌み数字を踏ませる業者、アプリ、コンピュータプログラムの嫌がらせ

動画再生回数、表示回数、登録者数、フォロワー数、評価数、コメント数、レベル、経験値、ポイント、HP、通貨、価格、メッセージ数、通知数、フレンド数

4(死)、13(キリスト教における忌み数字)

18(嫌)、24(〜に死)、34(〜さん死)

40、42、44

56(殺)、64(無視)

71(無い)、74(無し)、79(無く、亡く)

84(〜は死)、94(〜君死)、96(黒)

このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。
2025/01/30(木) 01:47:43.22ID:pmUo+geg
サブタイピングは本当に必要なのか?
2025/01/30(木) 06:49:31.93ID:b37CpeH6
サブタイピングはトポス
922デフォルトの名無しさん
垢版 |
2025/01/31(金) 21:06:58.24ID:SiR55I1h
閲覧171人とか174人、179人、180人、184人
/総視聴者数 (配信者の名前やID、誕生日などの語呂合わせ数字)

数字操作の嫌がらせがキモすぎ
競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ

忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ
2025/02/01(土) 11:40:33.63ID:sUYLXBXm
お薬のもうね
171 いいないい
174 いいな良い
179 いいな休憩
180 飛躍(百) ハッピー 自由(十)
184 飛躍 ハッピー 幸せ
924デフォルトの名無しさん
垢版 |
2025/02/02(日) 23:57:45.05ID:Drgu6Qh4
口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ


4(死)、13(キリスト教における忌み数字)

18(嫌)、24(〜に死)、34(〜さん死)

40、42、44

56(殺)、64(無視)

71(無い)、74(無し)、79(無く、亡く)

84(〜は死)、94(〜君死)、96(黒)

忌み数字や不吉を連想させる数字が表示されやすくなるウイルスを業者が仕込んでるっていうね。
2025/02/03(月) 11:27:08.47ID:WyTS2dKB
お薬のもうね
926デフォルトの名無しさん
垢版 |
2025/02/03(月) 12:07:03.75ID:wBItYUjQ
3が付くときと3の倍数でアホになる
2025/02/03(月) 17:58:17.64ID:D+cWD+hu
無から有は生じない
2025/02/03(月) 17:58:31.17ID:D+cWD+hu
型はクライスリ圏の対象
2025/02/03(月) 17:59:07.77ID:D+cWD+hu
極限は普遍性
普遍性は表現
すべてはカン拡張
2025/02/03(月) 19:18:40.28ID:zeOU8J2H
スケッチ→スキャッフォルド→スキーマ

これが数学的プログラミングの骨格
2025/02/03(月) 21:26:57.77ID:lZjIFBNe
とりあえずフロントエンドは度外視
あれはJSで動かせるただのオモチャ
2025/02/03(月) 23:48:49.59ID:XBLKOMOL
仕様記述言語というのがあってだな
2025/02/04(火) 02:03:30.03ID:axINJClc
装飾と結合
2025/02/04(火) 03:58:03.13ID:Mw0YRrvx
モナド
再帰と不動点コンビネータ
継続と背理法
935デフォルトの名無しさん
垢版 |
2025/02/04(火) 12:25:57.48ID:AbihjpY6
BNF
2025/02/04(火) 15:34:32.31ID:uhr4OKyS
普遍性は不動点である
2025/02/04(火) 20:57:39.48ID:Oeo4Jry5
Wolfram Languageの使い方を聞きに来たんだが
新しくスレ立てた方がよい?
2025/02/04(火) 21:27:36.82ID:Es9g2xhz
そうだな
2025/02/04(火) 21:28:19.56ID:kCOYqPIc
存在は普遍性
普遍性は極限
極限は不動点
つまり、存在は不動点
2025/02/05(水) 02:27:52.17ID:yJbYA8kV
場の臨界点
2025/02/05(水) 02:28:44.71ID:95a7ceRY
局所大域原理
942デフォルトの名無しさん
垢版 |
2025/02/05(水) 14:45:57.05ID:RWIQAOlp
ゲスの極値乙女
2025/02/05(水) 23:44:40.38ID:IbLGMnEN
カタリロン
2025/02/06(木) 07:56:01.83ID:2B877/qC
米田埋込み
2025/02/06(木) 10:34:59.56ID:06aICcsP
>>944
事件かな?
2025/02/06(木) 21:00:15.76ID:75UI+75Y
コンパイラを書け
2025/02/06(木) 21:04:29.07ID:guqgasQB
継続指向言語
モナド指向言語
2025/02/06(木) 22:34:55.78ID:m0cItbCE
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった?
2025/02/06(木) 23:10:35.99ID:hwCUy5RI
全部記述って何?w
2025/02/06(木) 23:14:20.21ID:m0cItbCE
>>949
ゲーテルの不完全性定理って知ってる?
2025/02/06(木) 23:31:13.10ID:T9D6/Ohn
全部記述って何?
2025/02/06(木) 23:32:34.69ID:/3i5yGjy
>>950
知らんから教えて
Wikipedia見ても分からん

「初等的な自然数論を含む」って何?
「有限の立場」って何?

説明してね
2025/02/07(金) 00:09:55.74ID:hW+AbfK5
>>951
ゲーテルの不完全性定理って知ってる?
2025/02/07(金) 01:46:02.50ID:KWZjh6Se
>>953
知らんから教えて
>>952の内容も
2025/02/07(金) 09:40:09.77ID:xzx1dNO8
逐次近似法
2025/02/07(金) 09:59:31.40ID:gh02aWuS
スペクトル分解
2025/02/07(金) 17:03:58.45ID:QhJJc3Rt
トレース
2025/02/07(金) 17:57:33.87ID:hEymaDN/
固有値
固有多項式
2025/02/07(金) 19:38:55.37ID:zGDKiBUV
LU分解
特異値分解
ジョルダン分解
2025/02/07(金) 23:03:58.82ID:xWjShgR/
ヒルベルト空間
961デフォルトの名無しさん
垢版 |
2025/02/08(土) 12:50:19.01ID:+3qBIV3v
P(A)+P(~A)!=P(A|~A)
2025/02/08(土) 17:15:11.47ID:2KjsmU3G
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない
963デフォルトの名無しさん
垢版 |
2025/02/08(土) 18:30:11.14ID:q/D/l7Hn
:-p を肯定も否定もできない
2025/02/08(土) 20:35:20.03ID:r1W4t8Yl
>>962
定義を正確に述べよ
965デフォルトの名無しさん
垢版 |
2025/02/11(火) 08:01:49.42ID:/RBful7r
突然ですが、数値計算てか2次補間関数作ってみたぁ

以下は筆者👤自作のjavascript言語で
ラグランジュ2次補間関数PPPである

function PPP(x,x0,y0,x1,y1,x2,y2) {
let L0 = (x-x1)*(x-x2)/(x0-x1)/(x0-x2);
let L1 = (x-x0)*(x-x2)/(x1-x0)/(x1-x2);
let L2 = (x-x0)*(x-x1)/(x2-x0)/(x2-x1);

let px = L0*y0 + L1*y1 + L2*y2;
return px;
}

ま、ゼロ割エラーを避けるため
「x0とx1は等しくない かつ
 x1とx2は等しいない かつ
 x0とx2は等しいない」事
が必要だ。

さて、他に必要なことはあるか?
overflowするようなデカい値は例外として
他に必要なことはあるか?
by 👤

ヤマ勘だと、x0<x1<x2 だけど、勘だけど
by 🥳

それが的中ならセンスある奴と評価するが
それが外れならチミは病気と診断しちゃい
マス。マス。マス。マスマティックス
by 🤡
966デフォルトの名無しさん
垢版 |
2025/02/11(火) 08:08:39.31ID:/RBful7r
あっそうだ、
1の階乗は1だし、2の階乗は2だし、3の階乗は6
なのだから、👤が自作のラグランジュ2次補間関数PPP
でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん
by 🥳

2次補間で、それも外側近似は近似値ですらないから
そんなんで0の階乗なんて定義するなーーー
by 🤡

0の階乗ねぇーー。そもそも意味不明だワ。ワケ分からん
てか、ありえなぁーーーーい。
by 💃
967デフォルトの名無しさん
垢版 |
2025/02/11(火) 08:52:30.18ID:/RBful7r
🥳よ、チミは病気だ
ま、x0<x1<x2が必要と思い込むのも判るが
たとえば、
for (let x=x0; x<=x2; x++) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 が必要だが

for (let x=x2; x<=x0; x--) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 が不要だ。てか
x0>x1>x2 である事が必要だ。
スナワチ、🥳は病気と言えよう
by 👤

Boo Boo Booooooooo
by 🥳

あら、まぁ、👤さんって厳しすぎぃ。
ありえなーーい、てか、信じられなーーい、てゆぅか、
はやく、ラグランジュ2次補間で0の階乗定義しなさい
だいたい、外側補間は仕方ないでしょ
by 💃
968デフォルトの名無しさん
垢版 |
2025/02/12(水) 03:51:42.33ID:lmAdzys0
て、ゆぅか、病気なのは、👤だろ
for (let x=x0; x<=x2; x--) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 はダメです。∵∞ループ
かつx0>x1>x2 である事が必要だ。
スナワチ、👤が病気と言える
by 🥳

ま、ラグランジュの2次関数のjsのppp関数で
x0 x1 x2 はソートされてなくても問題無しではある
したがって、🥳も👤も両者ともに病気と言える
by 🤡

あら、まぁーー、人間らしいワね、🥳も👤も
カミでなく人間だから正常でしよ、
by 💃

突然ですが、3点を通る、2次関数は、一意に定まる
けど、3点を通る、任意の関数は、一意に定まる
なんて、事はある❓ ない❓ どっち❓
by 🤡

瞬時にそれは、判る。反例を示せばよい。
円の方程式、2次関数、2次関数の逆関数
どれも、3点が定まれば一意に定まる。
そして、それら3関数は互い異なる。然るに、・・・
by 👾 hahaha

んーーー?、言葉のアヤで考えるとバグだらけって意味
なのでしょう。
by 💃
969デフォルトの名無しさん
垢版 |
2025/02/12(水) 03:55:00.49ID:lmAdzys0
てか、3点を通る円の方程式の一般解を教えろ
地球人よ、教えろ
一般解、だぞ。 3元連立方程式を解けばよい。
では答えになってない。
その3元連立方程式を解いた公式を教えろちゅーの
by 🤡

あのね、地球のopen aiで調べたけど、ダメだ
まだ、地球人はその一般解を知らんのだろ。
ま、open ai は思考力が有るようで皆無だろ
by 👾

てかさ、カシオの計算サイトで誰か
3点より円の方程式の作成してそうぢゃなーーーい
そのコードを解読できれば いや、んーーー
無理かしら
by 💃
2025/02/12(水) 04:41:30.83ID:osC1JZ7j
>>948
チャイティンのオメガはもっと知られてても良い筈。
971横方向放物線星人の怪しい呟き
垢版 |
2025/02/13(木) 07:01:05.40ID:FhbTSjBw
>>968 👾よ。チミは、昨日のオレだな
2次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、2次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
2次関数の逆関数は、関数の定義と矛盾するから、
2次関数の逆関数は、関数ぢゃないんだ。ゲラゲラ

by 👽横方向放物線星人
2025/02/13(木) 19:48:04.80ID:4b3jmnmv
カムパ
2025/02/14(金) 06:28:02.67ID:wveL+BCx
計算はスケッチ
証明はアセンブラ
2025/02/14(金) 10:30:50.28ID:VTViOKZQ
証明はスケッチの極限
2025/02/14(金) 12:09:15.73ID:iq1Ku00z
ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。
2025/02/14(金) 18:30:04.64ID:u9OLXtkz
そんなものはない
2025/02/15(土) 02:43:07.02ID:ZdJRR9Qn
>>976
量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。
2025/02/15(土) 20:08:47.76ID:HVOvloyf
>>975
自分で考えろ
2025/02/16(日) 10:34:36.10ID:+v+MZ0kq
>>978
答えられないなら黙ってろ
2025/02/16(日) 14:23:12.54ID:euivBKz6
女にモテる方程式教えて
2025/02/16(日) 19:09:24.07ID:YNSNqNCo
♪方程式で 恋の難問解けるなら
誰の曲だっけ
2025/02/16(日) 19:18:30.08ID:6CTe/u52
「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい
2025/02/16(日) 20:09:49.33ID:YNSNqNCo
>>981
思い出した
上級生/森口博子(1991)
ババアじゃねーか!(某Twitter漫画のノリで)
984デフォルトの名無しさん
垢版 |
2025/02/18(火) 11:15:51.69ID:HbHlBTpR
>>982
判る
●●神話とかも辞めて欲しい
2025/02/18(火) 22:49:21.77ID:elcWerWt
土地神話
2025/02/18(火) 22:49:45.71ID:elcWerWt
グノーム
2025/02/19(水) 08:41:08.67ID:I0XIk1Cj
数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない
988デフォルトの名無しさん
垢版 |
2025/02/19(水) 10:15:37.60ID:SAhYOuHj
数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う
2025/02/19(水) 10:48:29.22ID:UfCfSE41
>>987
そうやって横着すると矛盾が混ざるから気をつけたほうが……
990デフォルトの名無しさん
垢版 |
2025/02/19(水) 11:27:26.70ID:Sqgkwi0D
プログラミング言語に欠陥があるんじゃなくて
君の頭が悪いんだろう
2025/02/19(水) 15:52:59.68ID:8rlYEoii
>>990
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう?
2025/02/19(水) 15:59:36.63ID:8rlYEoii
たとえばアセンブラには「欠陥がある」のか
もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある
が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない
ただ、高レベルのプログラムを記述するには原始的すぎるだけだ

>>987はそういうことを言っている
日本語を正しく読もう
2025/02/19(水) 16:02:39.63ID:94/Ld6d4
的外れな文句いうだけで何も提案できない無能
2025/02/19(水) 16:10:22.75ID:8rlYEoii
もし、現代の比較的強力なプログラミング言語(たとえばRustやHaskell)が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる
本気でそうだと思うなら、以下をやってみてくれ

任意の集合Xには、整列順序≦を入れることができる
これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること
2025/02/19(水) 16:11:56.64ID:8rlYEoii
>>993
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前
2025/02/19(水) 16:21:56.11ID:8rlYEoii
FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ
自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない
2025/02/19(水) 16:21:57.73ID:94/Ld6d4
>>995
そのニーズの具体例書いてみろよ?
どうせ使うツール間違ってるのワンパン
2025/02/19(水) 16:55:07.40ID:8rlYEoii
>>997
994をプログラミング言語で記述してみてね
2025/02/19(水) 17:06:31.12ID:8rlYEoii
>>997
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん
2025/02/19(水) 17:54:51.51ID:V/CQ4I1a
意味なし
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login
レス数が1000を超えています。これ以上書き込みはできません。
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況