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

1 ：デフォルトの名無しさん：2024/03/16(土) 19:41:45.98 ID:nuwGv9us.net

たとえば、プログラミングで

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

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

2 ：デフォルトの名無しさん：2024/03/16(土) 20:29:40.05 ID:TBzj9DHS.net

>>1
証明を記述するための言語がある。CoqとかAgdaとか
あと単発質問はスレを立てるまでもない質問スレでどうぞ

3 ：デフォルトの名無しさん：2024/03/17(日) 07:03:55.84 ID:SKDLv/jq.net

>>1
アルゴリズムではなくメモリ容量の問題
無限小数を求めるには無限のメモリが必要で世界中のメモリを集めても無限にはならないので不可能なだけ

4 ：デフォルトの名無しさん：2024/03/17(日) 11:29:45.06 ID:lA2zK95Y.net

>>3
数学できなさそう

5 ：デフォルトの名無しさん：2024/03/17(日) 12:41:14.29 ID:JxXcG9lm.net

>>3
この問題解くのに無限小数計算してる奴なんかおらんわ（笑）

6 ：デフォルトの名無しさん：2024/03/17(日) 16:58:12.31 ID:t9G995RY.net

数学をプログラミングする方法は、使用するプログラミング言語によって異なりますが、一般的なアプローチは次の通りです。
適切なプログラミング言語の選択: 数学をプログラミングするためには、数値計算やデータ解析に適した言語を選択することが重要です。Python、Julia、MATLAB、Rなどが一般的に使用されます。
必要なライブラリのインポート: 数学的な計算を効率的に行うためには、各言語には数学関連のライブラリが用意されています。例えば、Pythonの場合、NumPyやSciPyが、Juliaの場合、Baseや特定のパッケージが数学関数を提供します。
数学的なアルゴリズムの実装: 数学的なアルゴリズムをプログラミングする際には、基本的な数学的概念やアルゴリズムの理解が必要です。数式をプログラムに変換することが重要です。
データの操作と可視化: 数学をプログラミングする場合、しばしばデータの操作や可視化が必要になります。そのためには、適切なデータ構造や可視化ツールを使用します。

7 ：デフォルトの名無しさん：2024/03/17(日) 17:46:14.57 ID:zKMEHLV8.net

定理証明支援系はオワコン

8 ：デフォルトの名無しさん：2024/03/17(日) 18:05:28.66 ID:QfhdY2k7.net

ランベルト関数(近似精度がヤヴァくてもヨシ)
をサポートしてる言語のがほしいデス

9 ：デフォルトの名無しさん：2024/03/17(日) 18:39:40.06 ID:zKMEHLV8.net

基礎論以外の命題の証明を証明支援系で一から書くのは現実的ではないから、既存の有名命題がライブラリとして使えるような処理系を使うことになるんだろう

10 ：デフォルトの名無しさん：2024/03/17(日) 19:26:02.03 ID:OVnjvt7h.net

証明支援系で証明を書いても、それを再利用してべつの定理を自動で証明できるわけでもないし、ソフトウェアとして全く無意味だよね……

11 ：デフォルトの名無しさん：2024/03/17(日) 19:48:59.04 ID:HYzzoyFI.net

証明支援系を使うことで未知の証明ができたり、数学の問題がよくわかったりするわけじゃなくて、
すでに証明できてるものを、PかつQを表す型はこうで～　みたいな書き換えをやるだけだからな

12 ：デフォルトの名無しさん：2024/03/17(日) 21:15:14.06 ID:t9G995RY.net

Condensed Mathematics
https://www.math.ku.dk/english/calendar/events/condensed-mathematics/

topologyに対するP. Scholzeの試しみ

13 ：デフォルトの名無しさん：2024/03/17(日) 22:11:26.89 ID:BrUemZnE.net

証明支援系が役に立たないなら、そもそも数学で証明を与えることにどういう意味があるのか考えてしまう

14 ：デフォルトの名無しさん：2024/03/17(日) 22:43:10.74 ID:zgd3XX/C.net

厳密だが根拠がない等式を、厳密ではないが根拠のある不等式の集まりにすりかえる

15 ：デフォルトの名無しさん：2024/03/18(月) 08:21:20.80 ID:PIvrnI/y.net

数==数では背理法が使いにくいが
集合==集合は背理法や不等号の価値がまるで渡米したIT創業者みたいになる

16 ：デフォルトの名無しさん：2024/03/18(月) 08:43:53.53 ID:pTevW9jL.net

イミフ

17 ：デフォルトの名無しさん：2024/03/18(月) 09:53:36.41 ID:dVjvry4m.net

読まなくても分かることをほぼ知り尽くしてから読めば楽に読める
例えば書いた者に悪意があるのかないのかを事前に知らないより知っている方が楽
正義とか悪とかが苦手な人にはこれができない

18 ：デフォルトの名無しさん：2024/03/18(月) 10:14:54.25 ID:HmpJvDlJ.net

∫_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の特殊値がライブラリによって既知なら、書き下せそう
ただ、書いたところでだからなんだって話だが

19 ：デフォルトの名無しさん：2024/03/18(月) 10:16:03.73 ID:pTevW9jL.net

おっさんのポエム

20 ：デフォルトの名無しさん：2024/03/18(月) 10:19:41.06 ID:HmpJvDlJ.net

あとArctanのテイラー展開
もしくは項別積分
項別積分する場合は、べき級数の収束半径とか、境界での連続性とかも

21 ：デフォルトの名無しさん：2024/03/18(月) 11:21:23.44 ID:dVjvry4m.net

積分変数を別名に変えても積分の結果が変わらないこと
などを証明することに興味無さすぎて
変数を使わない技術だけが発達しているんじゃないか

22 ：デフォルトの名無しさん：2024/03/18(月) 17:26:37.63 ID:pTevW9jL.net

道師様のお言葉
https://terrytao.files.wordpress.com/2024/03/machine-jan-3.pdf

23 ：デフォルトの名無しさん：2024/03/18(月) 20:14:54.78 ID:nsefbItQ.net

>>4
そしてあんたはプログラムができない
永久にすれ違いだなｗ

>>5
実際に計算しない限りプログラムの世界では完成したとは言えない
できたような気になってるだけだｗ

24 ：デフォルトの名無しさん：2024/03/18(月) 20:38:29.54 ID:8wq33qzx.net

>>23
ふつうに証明支援系で証明できるが

25 ：デフォルトの名無しさん：2024/03/18(月) 20:59:25.05 ID:zv8Td5xB.net

変数に別の変数 (を含む式) を代入するのは嫌なので、右辺を実際に計算してしまった値を代入する
計算してない式を代入するのが何故そんなに嫌なのかを理解しない限り話が進まない

26 ：デフォルトの名無しさん：2024/03/18(月) 21:35:55.83 ID:fpvRWfHG.net

コード書けない奴が必死に妄想でレスバするクソスレ
ＮＧ決定

27 ：デフォルトの名無しさん：2024/03/18(月) 23:20:36.59 ID:zv8Td5xB.net

しかし、何も書かないより悪いコードを書く方がマシみたいな保証が
あると思うならそれこそ妄想なのでは

28 ：デフォルトの名無しさん：2024/03/19(火) 04:11:20.65 ID:YAmi9Hnz.net

数学を記述するには一階述語論理があれば十分
しかし処理系側は特殊なケースに特化するよりも自然に実装できる範囲で一般化したほうがいいだろう
命題の記述は依存型による

29 ：デフォルトの名無しさん：2024/03/19(火) 12:34:54.32 ID:pUZ6M7m/.net

動的型付けの証明支援系ってのは何をしてるんだ？

30 ：デフォルトの名無しさん：2024/03/19(火) 14:33:42.20 ID:NSxYSp14.net

○○を支援する言語と○○が可能な言語を分断するパラダイムはたしかにオワコンだ
逆に支援を語りえない所謂unsafeを書けるやつが比較的新しい

31 ：デフォルトの名無しさん：2024/03/19(火) 15:02:06.03 ID:YRVQB5Qs.net

>2 の紹介しているCoqとか、純粋関数型言語HaskellもPCで動く数学って感じではあるけども、そもそもメモリが有限なので連続を表現できない。

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

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

子供向けだけど、Viscuit(ﾋﾞｽｹｯﾄ)は写像というか変換のみで言語作ってる。
（ビスケットの中の人曰く「書き換え型言語」）

32 ：デフォルトの名無しさん：2024/03/19(火) 15:24:32.49 ID:3KaIc7lk.net

>>31
ポエムは日記に書いてろ

33 ：デフォルトの名無しさん：2024/03/19(火) 16:20:03.06 ID:Q+qUW8xc.net

leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか？

34 ：デフォルトの名無しさん：2024/03/19(火) 16:58:20.60 ID:WY0TXEXb.net

>>33
勉強にはなるんじゃない？

35 ：デフォルトの名無しさん：2024/03/19(火) 16:59:03.63 ID:WY0TXEXb.net

ほんとうに教科書に載ってる定理の証明がぜんぶ正しく書かれてるなら、それは教科書読んでるのと同じわけだし

36 ：デフォルトの名無しさん：2024/03/19(火) 17:00:04.15 ID:WY0TXEXb.net

lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる

37 ：デフォルトの名無しさん：2024/03/19(火) 17:06:08.09 ID:50xBt2sS.net

>>29
推論規則にしたがって項を削除したり、条件をみたす要素を深さ優先探索したり

38 ：デフォルトの名無しさん：2024/03/19(火) 17:54:01.83 ID:/7JjNXd8.net

証明支援系っつっても、ふつうにプログラム書くのと同じで、特定の問題の解法をプログラムしてるだけ
ようは論理のピタゴラスイッチ作ってるだけ
べつに未知の証明を自動で発見してくれるわけではない（もちろん、問題によっては自動的に解決できる場合もあるが）

39 ：デフォルトの名無しさん：2024/03/19(火) 17:56:38.86 ID:P1OcOpxu.net

証明支援系Lean4
数式処理システムSage
組版システムLaTeX

を組み合わせたオープンソースの統合数学環境と、黒板の文字や図を認識する入力インタフェースがあればいいと思う

40 ：デフォルトの名無しさん：2024/03/19(火) 18:04:10.23 ID:qttME5ET.net

>>36
「プログラミングの勉強」を「プログラム言語」の勉強だと思ってるバカ
「program」の意味を調べてみろ。言語はただの手法の一つ

41 ：デフォルトの名無しさん：2024/03/19(火) 18:56:00.18 ID:5dhARo0o.net

バカが必死で草

42 ：デフォルトの名無しさん：2024/03/19(火) 19:15:14.75 ID:IwEkPQSo.net

この馬鹿は何がしたいんだろ……

43 ：デフォルトの名無しさん：2024/03/20(水) 10:18:59.26 ID:ea1o2Ub5.net

>>36
CやFortranの評価が低いということはHaskellの中でモナドの評価が低いよね
それはもったいないから言語を競争させる原理はよくない

44 ：デフォルトの名無しさん：2024/03/20(水) 12:54:23.96 ID:VbUXRLzi.net

>>43
ポエムはよそで書いてろ

45 ：デフォルトの名無しさん：2024/03/20(水) 13:10:38.35 ID:ea1o2Ub5.net

ミサイルでも撃たれたならともかく
ポエムなるものを書き込まれたことへの反応が過剰なのが気になる
現実世界にポエムが存在しなくなれば消去法で「数学」になるってことなのかな

46 ：デフォルトの名無しさん：2024/03/20(水) 14:27:47.20 ID:I+zqr01r.net

スレタイが悪い
専門用語や英語を入れておかないと、自分も話題に参加できると勘違いした馬鹿が書き込む

47 ：デフォルトの名無しさん：2024/03/20(水) 15:26:54.49 ID:4PdbE3xv.net

仲よき事は美しき哉　志賀直哉

48 ：デフォルトの名無しさん：2024/03/20(水) 15:27:56.00 ID:4PdbE3xv.net

>>22
これに反応できないお前ら

49 ：デフォルトの名無しさん：2024/03/20(水) 15:50:55.08 ID:vNXgKg89.net

>>47 武者小路実篤じゃなかったっけ

50 ：デフォルトの名無しさん：2024/03/20(水) 16:42:40.04 ID:ZN9vgvDp.net

>>33
すでに解けてる問題を特定の処理系の言語に書き直すのが一大プロジェクトというのがくだらないと思う

51 ：デフォルトの名無しさん：2024/03/20(水) 16:54:28.92 ID:4PdbE3xv.net

>>12
これにも反応できない雑魚ども

52 ：デフォルトの名無しさん：2024/03/20(水) 17:51:55.09 ID:ea1o2Ub5.net

>>50
すでに常識になっていることを「先入観にとらわれている」と思う人はいる
先入観をリセットしてやり直したい需要は多少はある

53 ：デフォルトの名無しさん：2024/03/20(水) 18:02:21.59 ID:Snv2Tioi.net

ポエム連発は草

54 ：デフォルトの名無しさん：2024/03/20(水) 21:22:26.43 ID:qwgU2fnR.net

>>52
馬鹿すぎて話にならない
わざとやってるならむしろお笑い番組の脚本とか考えるセンスあると思うよ

55 ：デフォルトの名無しさん：2024/03/20(水) 23:28:22.46 ID:ea1o2Ub5.net

わざと馬鹿になったのではないが
数学の範囲内の定理を厳密に証明しても、内か外かの判断は厳密にならないので
「プログラミングならなんでも数学」のような馬鹿な意見も厳密に全否定できないんだよな

56 ：デフォルトの名無しさん：2024/03/22(金) 15:38:04.26 ID:m8Pakijg.net

現代数学は集合と写像の言葉で書かれている
写像は関数の一般化だからC言語やHaskellなどの関数型言語では数学をプログラミングできない
RubyやPythonなどにはsetやmapといった機能があるから
これで数学をプログラミングできると思われる

57 ：デフォルトの名無しさん：2024/03/22(金) 15:41:43.35 ID:BpbPyhcF.net

厨二の夢だったのさ

58 ：デフォルトの名無しさん：2024/03/22(金) 22:21:33.16 ID:LL1SYasV.net

>>56
それは違う
数学ができるプログラミング言語のコンパイラをCで書くことができる
そもそもすべてのプログラム言語はチューリング完全だからCで書けてハスケルに書けないなどということは無い

59 ：デフォルトの名無しさん：2024/03/22(金) 22:53:17.07 ID:BpbPyhcF.net

所詮プログラムは人が書くもの

60 ：デフォルトの名無しさん：2024/03/22(金) 23:30:06.22 ID:CJ8mvd1G.net

>>56
それ逆だね
mapは関数型言語で登場した
そのRubyやPythonといったスクリプト言語は後からそれを導入した

61 ：デフォルトの名無しさん：2024/03/22(金) 23:57:05.24 ID:LL1SYasV.net

はあ？？
マップは車窓だろ！！

62 ：デフォルトの名無しさん：2024/03/23(土) 00:02:01.40 ID:0VbIgFfj.net

マップは関数の集合直積に過ぎない
c言語でも有限アルゴリズムで数学プログラミングが出来る
パイソンは構文をパースできるがスクリプト言語ゆえ数学プログラミングは無理

63 ：デフォルトの名無しさん：2024/03/23(土) 00:32:34.16 ID:0VbIgFfj.net

>>60
跡から登場したってことはRubyやPythonのほうが優れているってことやろが

64 ：デフォルトの名無しさん：2024/03/23(土) 01:14:32.77 ID:O64Y227M.net

まともなプログラマーがスクリプト言語でプログラミング開発することはない
スクリプト言語はスクリプトを書く程度のことをするだけのおもちゃ

65 ：デフォルトの名無しさん：2024/03/23(土) 04:20:19.88 ID:rvJB/m9a.net

CやPYTONはスクリプト言語だから単純なことしかできない

66 ：デフォルトの名無しさん：2024/03/23(土) 04:41:11.89 ID:IdPmAPnB.net

スレタイ
集合と写像が数学の基本らしい
写像というのは関数の一般化だからCは関数言語だから数学できないということになる
Javaのmainは写像だからJavaは数学できる。Rubyにも写像ある

67 ：デフォルトの名無しさん：2024/03/23(土) 07:48:29.25 ID:LhcvAfdM.net

数学に副作用はないがモナドは副作用があるのでハスケルでは数学はできない

68 ：デフォルトの名無しさん：2024/03/23(土) 12:22:12.37 ID:g/HfMmmn.net

>>56
Cでは関数の引数として関数ポインタを渡せるから、map関数を簡単に自作できる。

69 ：デフォルトの名無しさん：2024/03/23(土) 12:23:33.26 ID:TQ7fzTlo.net

空論、絵に描いた餅、機械語にだってできるだろｗｗｗ

70 ：デフォルトの名無しさん：2024/03/23(土) 12:47:39.65 ID:g/HfMmmn.net

>>69
機械語に識別子はないからできないだろ。Cでは長さnの配列aの各要素に関数fを適用した結果を
配列bに格納する関数 map(f, a, n, b) を簡単に自作できる。

71 ：デフォルトの名無しさん：2024/03/23(土) 13:55:22.78 ID:TQ7fzTlo.net

C言語は機械語にアセンブルされて実行されるんだよ

72 ：デフォルトの名無しさん：2024/03/23(土) 14:11:05.89 ID:O64Y227M.net

>>70
普通mapは配列に対してではなく
もっと一般的にイテレータに対して適用
結果もイテレータとする

その結果を例えばfor文で使う場合
わざわざ結果を配列に入れても無意味だったことになるからだ
mapを多段にした使った場合も同様で中間結果配列は無意味になる
だからmapの入力も出力もイテレータが使われる

73 ：デフォルトの名無しさん：2024/03/23(土) 14:44:44.84 ID:g/HfMmmn.net

>>72
それは実装上の効率化のための操作で、本当の写像ではない。本当の写像は配列から配列を作る。
C#で言えばSelectしただけでは写像にならず、ToArrayしないと写像にならない。

74 ：デフォルトの名無しさん：2024/03/23(土) 15:36:22.16 ID:O64Y227M.net

>>73
配列から配列なんて嘘つきだな
例えば写像の入力を数学でもよくある自然数とする
これは配列では表現できない
イテレータならば表現できる
出力も同様で配列は不可能だがイテレータなら可能

75 ：デフォルトの名無しさん：2024/03/23(土) 16:14:29.71 ID:TQ7fzTlo.net

そもそもそんなレベルの話をしてるんではないが

76 ：デフォルトの名無しさん：2024/03/23(土) 16:43:39.42 ID:g/HfMmmn.net

>>74
自然数は要素数が無限大の配列だが、コンピュータではメモリが有限なので表現できないだけ。
イタレータによる遅延評価は問題を先送りしただけで、本当の写像である配列を作ろうとすると
メモリが途中で尽きて作れない。

77 ：デフォルトの名無しさん：2024/03/23(土) 17:05:10.16 ID:O64Y227M.net

>>76
配列なんていう間違った考えをするからそのように失敗する
正しくイテレータと捉えれば自然数もそこからの写像も扱える

78 ：デフォルトの名無しさん：2024/03/23(土) 17:30:00.10 ID:g/HfMmmn.net

>>77
イタレータは配列の各要素を走査しながら操作する道具、つまり写像を逐次的に作っていくための操作手順を表したものに過ぎない。

79 ：デフォルトの名無しさん：2024/03/23(土) 18:46:13.42 ID:O64Y227M.net

>>78
イテレータとは何かを学び直しなさい
それは配列に対するイテレータ
イテレータに配列なんていうものは必要ない

80 ：デフォルトの名無しさん：2024/03/23(土) 19:02:25.28 ID:/RLS51iM.net

イテレータなんぞプログラミング側の都合でしかないやろｗ
数学のどこにイテレーションって概念があるの？
もとは集合の話だっけ？　集合のどこにイテレータ出てくる？

81 ：デフォルトの名無しさん：2024/03/23(土) 19:08:33.11 ID:HOjMmtFw.net

配列こそプログラミングやコンピュータ都合の邪道なものだね
配列は有限しか扱えないから不要

イテレータは自然数イテレータだけでなく例えばフィボナッチイテレータなど無限を扱える
イテレータは数学とも相性がいい

82 ：デフォルトの名無しさん：2024/03/23(土) 20:19:21.71 ID:g/HfMmmn.net

>>78 >>81
イタレータの意味を分かっているのか。反復子だぞ。反復子が写像のわけないだろ。
写像を実行するための操作手順でしかない。

反復子の遅延評価により無限の操作手順をコードとして書くことはできても、実際には
実行が途中で終わるので無限を扱えるわけではなく、有限を無限に見せている構文上の
まやかしに過ぎない。

83 ：デフォルトの名無しさん：2024/03/23(土) 21:27:18.93 ID:u0/iUo5p.net

>>82
あんさんボケとるな
ここまで読んで反復子(iterator)が写像(map)と書いているのは君しかいない
他の人たちは以下を正しく理解して書込みしている

>>72
>> だからmapの入力も出力もイテレータが使われる

84 ：デフォルトの名無しさん：2024/03/23(土) 22:23:29.86 ID:g/HfMmmn.net

>>83
>>74はごっちゃにしているようだが。

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

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

85 ：デフォルトの名無しさん：2024/03/23(土) 22:27:51.62 ID:g/HfMmmn.net

>>83
>>74はごっちゃにしているようだが。

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

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

そもそもCでmap関数を書けるかという話だから、書けるという回答で何の問題ないだろ。

86 ：デフォルトの名無しさん：2024/03/23(土) 22:32:25.46 ID:/PCiT6cf.net

>>84
根本的な勘違いをしているようなのでアドバイス
イテレータは抽象的な概念に過ぎないのでそこに遅延評価などという話は一切出てこない
イテレータの実装の一つに遅延評価の有無を持ち出すケースがあるようだがそんな特殊などうでもいい話をしても意味がない

87 ：デフォルトの名無しさん：2024/03/23(土) 22:36:40.17 ID:g/HfMmmn.net

>>86
そんなことは分かっている。>>72に言ってくれ。

88 ：デフォルトの名無しさん：2024/03/23(土) 22:43:57.14 ID:/PCiT6cf.net

>>72は正しいよ

89 ：デフォルトの名無しさん：2024/03/23(土) 22:56:10.99 ID:sCrZk0I5.net

iteratorは可算無限を扱える
mapは入力も出力もiterator

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

これだけの話だろ
>>82の人だけ理解できてないようだが

90 ：デフォルトの名無しさん：2024/03/24(日) 10:28:13.06 ID:8D2Drt3S.net

でもC言語は圏論じゃないよね

91 ：デフォルトの名無しさん：2024/03/24(日) 10:35:26.13 ID:GMGvnUD/.net

20年前の議論草

92 ：デフォルトの名無しさん：2024/03/24(日) 11:18:58.82 ID:dsXIuIWc.net

それは間違い
FORTRANが今もなお科学技術計算に使われてる

93 ：デフォルトの名無しさん：2024/03/24(日) 11:32:06.58 ID:GMGvnUD/.net

言葉のお遊びｗｗｗ

94 ：デフォルトの名無しさん：2024/03/24(日) 11:34:31.12 ID:yjeBPx06.net

集合論はラッセルのパラドックスで矛盾した
だから集合と写像に基づくC言語やRubyは数学を扱うのに不適切
よってハスケルなどは圏論に基づくから関数型言語が正解

95 ：デフォルトの名無しさん：2024/03/24(日) 11:46:51.50 ID:BUlt442E.net

プログラム言語は機械語→アセンブラ→高級言語 と進化してきたが、高級言語にも高級度の段階があって
gotoジャンプ→構造化ループ→map→ベクトル演算 という序列になっている。

y = x.map(i => 2 * i) のように冗長な記述をしなければならない言語よりは、ベクトル演算で y = 2 * x と
すっきり書けるFortranの方が進化している。

96 ：デフォルトの名無しさん：2024/03/24(日) 14:10:14.72 ID:S5dROhf0.net

まったくトンチンカンな話してんな
プログラミング言語にmapがあったところでそれで数学ができるわけじゃないだろ
何を解きたいんだよ？
定理証明か？仕様記述か？
ド文系のふわっとした思考やめな

97 ：デフォルトの名無しさん：2024/03/24(日) 14:30:14.37 ID:rmOZT0bw.net

>>95
それはarrayを入出力とするmapだね
それは遅延評価もできず可算無限列を扱えない古い劣化タイプ
一方でiteratorを入出力とするmapはarrayだけでなく可算無限列など任意のものを対象にできる

98 ：デフォルトの名無しさん：2024/03/24(日) 14:58:03.83 ID:iK6Wk5rB.net

この完全なデタラメな話をここまで長々とする気力がどこから湧いてくるのかがわからない

99 ：デフォルトの名無しさん：2024/03/24(日) 15:27:25.02 ID:pjttU2nz.net

所有権を複製したいんやろｗ

100 ：デフォルトの名無しさん：2024/03/24(日) 15:28:49.95 ID:4Iqs5Xee.net

>>97
昔は配列に対するmapしか無かったから、遅延評価できず、有限列しか扱えず、中間生成配列のムダなど、悲惨だったな
今はイテレータに対してmapその他を適用するプログラミング言語が増えたので、扱える対象が広がるとともに、効率も良くなったな

101 ：デフォルトの名無しさん：2024/03/24(日) 16:53:04.14 ID:GMGvnUD/.net

そんな低レベルの話してるんとちゃうんやで

102 ：デフォルトの名無しさん：2024/03/24(日) 18:55:43.95 ID:qF9URZLj.net

そもそも高階関数のmapは、数学の集合論における写像のことではない

103 ：デフォルトの名無しさん：2024/03/24(日) 19:36:33.57 ID:WsANI0D/.net

ゴミみたいな話しかしてないな、定理証明系とかの話をしているのかと思ったら

104 ：デフォルトの名無しさん：2024/03/24(日) 20:58:49.18 ID:BUlt442E.net

>>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.43 ID:BUlt442E.net

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.15 ID:BUlt442E.net

インタプリタのRubyや、配列っぽく見える[1, 2, 3]がリンクリストのHaskellが効率を
云々するのは馬鹿げているな。

107 ：デフォルトの名無しさん：2024/03/24(日) 21:02:48.75 ID:BUlt442E.net

>>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;

108 ：デフォルトの名無しさん：2024/03/24(日) 22:52:27.30 ID:IPqW9Eum.net

>>104
固定長の配列を入力に使っている時点で失格
このスレは>>1の例のように対象は可算無限列

109 ：デフォルトの名無しさん：2024/03/24(日) 23:00:28.05 ID:D7nIPk2H.net

静的な固定長で最適化できるのは当たり前だから
少なくとも実行時までわからない可変長じゃないとな

110 ：デフォルトの名無しさん：2024/03/24(日) 23:11:46.55 ID:BUlt442E.net

>>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; に変わるだけだぞ。

111 ：デフォルトの名無しさん：2024/03/24(日) 23:42:53.58 ID:+hE4ud6c.net

入力対象は>>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.05 ID:20JdvYau.net

写像型言語は無いから無理やろ

113 ：デフォルトの名無しさん：2024/03/25(月) 08:05:29.65 ID:S04445Yl.net

しょうもない算法や文法を力説されても
数理論理を知らん高卒なんやろか

114 ：デフォルトの名無しさん：2024/03/25(月) 09:05:37.14 ID:KQK4URb5.net

集合論はラッセルのパラドックスがあるからまちがい
選択公理もバナッハタルスキーのパラドックスがあるからまちがい
圏論こそ数学の基礎

115 ：デフォルトの名無しさん：2024/03/25(月) 09:20:11.31 ID:yJIwIJvC.net

そういう何が一番とか中二思考やめようや

116 ：デフォルトの名無しさん：2024/03/25(月) 09:20:53.71 ID:VkynB6Jg.net

アホ参上

117 ：デフォルトの名無しさん：2024/03/25(月) 10:25:12.12 ID:VsfGDznC.net

圏論型プログラミングってないの？

118 ：デフォルトの名無しさん：2024/03/25(月) 18:22:08.56 ID:OU4hWxvG.net

集合は悪くないがそれを内包表記で定義するのが悪い
イテレータを内包表記っぽく書けるやつは
内包表記を使わない書き方もできる保証があるから良いけど

119 ：デフォルトの名無しさん：2024/03/25(月) 19:35:21.63 ID:Yjyc3ZYI.net

Pythonには内包表記はあっても外延表記はないから集合論はできないよ

120 ：デフォルトの名無しさん：2024/03/25(月) 20:38:21.53 ID:0jQlcuCQ.net

>>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.78 ID:0jQlcuCQ.net

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

122 ：デフォルトの名無しさん：2024/03/25(月) 20:46:39.58 ID:trqJ9Q6W.net

rustのほうがスゲーからfortranは黙っとれ

123 ：デフォルトの名無しさん：2024/03/25(月) 21:08:10.53 ID:VkynB6Jg.net

誰にも相手してもらえないのでフォートランがイキル

124 ：デフォルトの名無しさん：2024/03/25(月) 21:21:08.93 ID:VkynB6Jg.net

フォートランは行列、有限要素法のライブラリィ呼ぶだけ、独自のコードなんか書かないｗ

125 ：デフォルトの名無しさん：2024/03/25(月) 21:23:38.32 ID:DOdK3gDR.net

数学をプログラミングするには、プログラマが数学の必要があるのでは？

126 ：デフォルトの名無しさん：2024/03/25(月) 21:32:48.72 ID:VkynB6Jg.net

プログラマは数学である必要がある

127 ：デフォルトの名無しさん：2024/03/25(月) 22:22:52.88 ID:OU4hWxvG.net

ギャンブルなら敗者が金を振り込めば秩序が戻るのだが
金を振り込んでしまう人がここにはいないので

128 ：デフォルトの名無しさん：2024/03/25(月) 23:24:59.56 ID:77HfiJgP.net

>>117
圏論型と言えるか分らんが、圏論が注目されたのは副作用の問題を圏論のモナドで表現できるということでHaskellに採用されたのがきっかけっぽい。

今は非可換確率論を圏論で表現すれば意識がどうやって生まれるのかの研究に使えるって話がある。
意識が生まれる謎が解ければAIに意識を持たせられる。

129 ：デフォルトの名無しさん：2024/03/26(火) 02:09:58.19 ID:bsMEvYma.net

意識は数学かｗｗｗ

130 ：デフォルトの名無しさん：2024/03/26(火) 11:17:19.23 ID:ZLsRjAqD.net

計算機だからなぁ

131 ：デフォルトの名無しさん：2024/03/26(火) 15:57:26.17 ID:bsMEvYma.net

戻らないだろ、刑務所行き
>ギャンブルなら敗者が金を振り込めば秩序が戻るのだが

132 ：デフォルトの名無しさん：2024/03/26(火) 17:42:12.34 ID:0A2fpKMf.net

>>126 日本語おかしい

133 ：デフォルトの名無しさん：2024/03/26(火) 17:56:53.22 ID:bsMEvYma.net

>>132
125に言え

134 ：デフォルトの名無しさん：2024/03/27(水) 18:25:48.23 ID:sRZ89+IF.net

コンプライアンス的には絶対に違反しないブレないスタイルの方が楽だな
中庸とかいうのは数学的にも意味のない言葉
の筈だけど

135 ：デフォルトの名無しさん：2024/03/27(水) 20:27:56.36 ID:NpBSIV2x.net

>>126
ガイジか？
プログラマ→職業
数学→学問分野
日本語勉強し直すか死ねよ

136 ：デフォルトの名無しさん：2024/03/27(水) 21:11:20.21 ID:xckWJWeo.net

きっちりした仕様決め無しで「プログラミング」できるわけないだろうに
なんで過疎ってる５ｃｈのさらに過疎板でこんな板違いスレ何度も書き込むやつがいるんだよ
「プログラムを作る人」じゃないよな

137 ：デフォルトの名無しさん：2024/03/27(水) 21:40:20.83 ID:ucDYKmHx.net

>>135
125へ言えよ、キチガイ

138 ：デフォルトの名無しさん：2024/03/27(水) 21:56:27.68 ID:sRZ89+IF.net

ラッセルは作る人というより脆弱性を発見する人のように見える

139 ：デフォルトの名無しさん：2024/03/27(水) 22:02:37.43 ID:Fy0R0co2.net

頭の悪さがポエム書かせるんやろなこれ

140 ：デフォルトの名無しさん：2024/03/28(木) 06:44:57.06 ID:RNwVIlzh.net

>>137
？
ガイジか？

141 ：デフォルトの名無しさん：2024/03/28(木) 08:12:08.80 ID:WD+w6k7S.net

意識は非可換だってどこかで聞いたな
現代数学は可換理論しか扱えないが、量子力学は非可換だから、意識＝量子力学ってことになる
意識が非決定論なのは量子力学では状態が重ね合わせであることに起因する
したがって意識の問題を解決するには量子コンピュータが必須となる

142 ：デフォルトの名無しさん：2024/03/28(木) 10:32:09.67 ID:vnZC0FK8.net

>>140
キチガイ

143 ：デフォルトの名無しさん：2024/03/28(木) 10:42:18.73 ID:7o0NRrCR.net

借金取りは見かけ上は極めて非決定的にふるまうが
それでも純粋に合理的な行動しかしない存在とされているので意識の問題がない

144 ：デフォルトの名無しさん：2024/03/28(木) 11:41:03.24 ID:/R48rPWi.net

>>141
月刊ムーおすすめ

145 ：デフォルトの名無しさん：2024/03/28(木) 11:51:30.64 ID:vnZC0FK8.net

>>141
意識はサイコロを振らない

146 ：デフォルトの名無しさん：2024/03/28(木) 19:38:54.13 ID:IFE49MQl.net

>>126
小学校からやり直せ

147 ：デフォルトの名無しさん：2024/03/28(木) 20:47:12.01 ID:vnZC0FK8.net

>>146
アスペ

148 ：デフォルトの名無しさん：2024/03/28(木) 20:52:41.71 ID:8WuDpFG2.net

ポエマーさんはポエム板にでも行けよ
統失なら病院のほうがいいかな

149 ：デフォルトの名無しさん：2024/03/29(金) 07:29:41.84 ID:Gq7mALgF.net

ゲーデルの不完全性定理で完全に否定されているだろ
プログラムは不完全性では動かせない

150 ：デフォルトの名無しさん：2024/03/29(金) 07:35:35.46 ID:wkwvmDXj.net

>>149
月刊ムーおすすめ

151 ：デフォルトの名無しさん：2024/03/29(金) 10:11:08.83 ID:vNZyJemM.net

不完全ではなく無定義語で挫折する人がいる
無定義語の定義を特定できないと命題を肯定も否定もできない説
日常生活で出てくる

152 ：デフォルトの名無しさん：2024/03/29(金) 14:56:43.34 ID:hQjfrr6D.net

>>149
ガイジか？
ゲーデルの不完全性定理はそんなことについて言及してないぞ

153 ：デフォルトの名無しさん：2024/03/31(日) 01:25:08.99 ID:GMj391lI.net

数列の概念がない奴でも無限級数の意味は分かるんだよね
ハードルが低いせいで基礎知識の共有が難しい

154 ：デフォルトの名無しさん：2024/03/31(日) 02:04:57.22 ID:XOErjovU.net

無限級数はトンデモ
物理に現れるのは二次級数まで

155 ：デフォルトの名無しさん：2024/03/31(日) 06:02:59.68 ID:954vZkOe.net

↑
数学が何がわかってないやつの典型
虚数もあるとかないとか騒いでるタイプ

156 ：デフォルトの名無しさん：2024/03/31(日) 11:13:53.85 ID:/9ZsX08L.net

ほほう
君は、数学が何かわかっているのかネ？

157 ：デフォルトの名無しさん：2024/03/31(日) 11:29:58.51 ID:GMj391lI.net

言語に依存しない数学的オブジェクトの存在が保証されれば
表現を（統一するために）訂正させる仕組みを正当化しやすくなる

158 ：デフォルトの名無しさん：2024/03/31(日) 11:41:19.45 ID:dM7Inut1.net

意味不明な事を口走るおっさん

159 ：デフォルトの名無しさん：2024/03/31(日) 12:44:19.68 ID:va6HO9e1.net

「プログラム技術」板で「数学」がどうのこうの語ってるのがもう頭悪いというか頭おかしい
プログラムも数学もできない、掲示板の使い分けもできない知的障害

160 ：デフォルトの名無しさん：2024/03/31(日) 15:25:06.37 ID:wx8Fg1tF.net

>>154
数学と物理はなんの関係もないぞ
数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから

161 ：デフォルトの名無しさん：2024/03/31(日) 16:25:54.15 ID:GMj391lI.net

絶対にルール追加しないのは
ルール追加のふりをしてバックドア設置されるリスクを回避してるんだろう

162 ：デフォルトの名無しさん：2024/03/31(日) 16:55:10.67 ID:dM7Inut1.net

馬鹿参上
>数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから

163 ：デフォルトの名無しさん：2024/03/31(日) 17:15:24.42 ID:wup1S0Wx.net

物理に三次以上の級数が出てくるソースはよ

164 ：デフォルトの名無しさん：2024/03/31(日) 17:23:31.92 ID:dM7Inut1.net

コンピュータは0と1だけで遊ぶゲームｗｗｗ

165 ：デフォルトの名無しさん：2024/03/31(日) 17:28:42.81 ID:954vZkOe.net

まじこのスレやべーなw
キチガイ率高い

166 ：デフォルトの名無しさん：2024/03/31(日) 17:38:37.31 ID:dM7Inut1.net

意味不明ｗｗｗ
>物理に現れるのは二次級数まで

167 ：デフォルトの名無しさん：2024/03/31(日) 18:06:40.04 ID:954vZkOe.net

ただし>>160 は支持するぞ
公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい

168 ：デフォルトの名無しさん：2024/03/31(日) 18:08:00.44 ID:kVwrIFTx.net

プログラム組めない雑魚ほどなにか深遠そうな理論めいたものを言おうとするよな
大したこと言えないんだから黙ってればいいのに

169 ：デフォルトの名無しさん：2024/03/31(日) 18:44:49.29 ID:ToTjh3N9.net

>>168
自分の学が無いのを他責にするなよ

170 ：デフォルトの名無しさん：2024/03/31(日) 20:45:23.72 ID:bt2k8y8v.net

学があったらポエム書かんやろｗ
アホ文系の血が騒ぐからポエムに活路見出すんよね？

171 ：デフォルトの名無しさん：2024/03/31(日) 20:48:04.91 ID:52brzQwH.net

>>168
ゲーデルの不完全性定理、わかる？

172 ：デフォルトの名無しさん：2024/03/31(日) 20:50:54.92 ID:ckXISkGH.net

バブルソートで長さnのリストがソート済みになることをnに関する数学的帰納法で示すコードを書いて下さい

173 ：デフォルトの名無しさん：2024/03/31(日) 21:07:09.32 ID:zVzgI3KY.net

構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ

174 ：デフォルトの名無しさん：2024/03/31(日) 22:17:11.33 ID:dM7Inut1.net

>>167
自己紹介乙
>キチガイ率高い

175 ：デフォルトの名無しさん：2024/03/31(日) 22:21:08.19 ID:HimKkZni.net

数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは

176 ：デフォルトの名無しさん：2024/03/31(日) 22:38:47.01 ID:GMj391lI.net

iterableがソート済みならばfilter(function,iterable)もソート済みである
これが活路か？

177 ：デフォルトの名無しさん：2024/03/31(日) 23:16:01.19 ID:slFHfGV9.net

>>171
プログラム技術と全く関係ないの、わかる？
単語だけ知ってても意味ないのよ

178 ：デフォルトの名無しさん：2024/04/01(月) 00:21:59.83 ID:3Pei3vn5.net

>>177
知らないのに、無理しちゃって・・・w

179 ：デフォルトの名無しさん：2024/04/01(月) 07:25:14.04 ID:pGaaOwbp.net

べき集合の濃度がもとの集合よりも真に大きいことを対角線論法で示すプログラムを書いて下さい

180 ：デフォルトの名無しさん：2024/04/01(月) 07:29:40.50 ID:ZaHsxqNm.net

ゲーデルの不完全性定理とかプログラミングに関係ないぞ

181 ：デフォルトの名無しさん：2024/04/01(月) 07:32:48.45 ID:aQQXUVqr.net

>>180
負け惜しみ乙

182 ：デフォルトの名無しさん：2024/04/01(月) 10:16:20.76 ID:BJXCW8/H.net

計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明 型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある

183 ：デフォルトの名無しさん：2024/04/01(月) 10:25:34.89 ID:1jCL8ojm.net

計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ

184 ：182：2024/04/01(月) 11:10:53.13 ID:BJXCW8/H.net

訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね

185 ：デフォルトの名無しさん：2024/04/01(月) 12:56:05.30 ID:jUMqCzD5.net

パプリカの妄言みてーなスレ

186 ：デフォルトの名無しさん：2024/04/01(月) 15:57:43.42 ID:w0sTGWlC.net

ポストモダンも用語の雰囲気だけで数学や物理の用語を援用して失敗したけど，同じことを繰り返したいのかな

187 ：デフォルトの名無しさん：2024/04/01(月) 16:13:24.51 ID:/OmQcxnO.net

うん。必ずしも泥棒が悪いとはお地蔵様も言わなかった。
パプリカのビキニより、ＤＣミニの回収に漕ぎ出すことが幸せの秩序です。
五人官女だってです！
カエルたちの笛や太鼓に合わせて回収中の不燃ゴミが吹き出してくる様は圧巻で、
まるでコンピューター・グラフィックスなんだ、これが！
総天然色の青春グラフィティや一億総プチブルを私が許さないことくらいオセアニアじゃあ常識なんだよ！

188 ：デフォルトの名無しさん：2024/04/01(月) 16:14:19.64 ID:t6QGzSyx.net

>>182
そう、λμな
でも対応があるだけで実用性はないよな

189 ：デフォルトの名無しさん：2024/04/01(月) 17:57:08.59 ID:jgXiprJQ.net

ム板にバカが書き込むのは今に始まったことじゃないが、意味不明な戯言書き込みに来る奴がすごく多くなった
自分の中ではなんかすごいこと書いてるつもりなのか？すごいバカかキチガイなのはだれが見てもわかるが
そんなことばかりやってるからネットですら過疎って文句言われにくいここに逃げ込むしかないんだろうな

190 ：デフォルトの名無しさん：2024/04/01(月) 19:56:44.57 ID:SUfRD0Nz.net

>>189
不満なら見なきゃいいだろ
インターネットしか居場所ないのか？w

191 ：デフォルトの名無しさん：2024/04/01(月) 20:16:04.58 ID:ige+71d6.net

スウ学をプログラミングするのは、簡単そうぢゃーーーん
だって、乱数発生させて、厨二病が喜びそうな単語を
羅列すれば、完成だもんね。多分。ていうかさ、

全ての証明問題は、
【ゲーデルの不完全性定理により証明不可能　Q.E.D】
ってプログラミングするだけしさ、これだな。

192 ：デフォルトの名無しさん：2024/04/01(月) 20:17:05.72 ID:NcxG0eWL.net

嫌なら見るな，は反論になってないな
戯言を書き込む行動を少しは正当化してみろよ

193 ：デフォルトの名無しさん：2024/04/01(月) 20:17:51.73 ID:NcxG0eWL.net

>>191
不完全性定理をわかってないなら無理にそんな意味不明なこと書かなくていいよ

194 ：デフォルトの名無しさん：2024/04/02(火) 00:27:08.11 ID:CRIzWwoI.net

>>192
正当化は2種類
行動に個性があればもし失敗しても同じ失敗が集団的に繰り返される心配がないのと
もう一つは、目には目を歯には歯をみたいな相手と同じことを繰り返せばOKと思ってるやつ

195 ：デフォルトの名無しさん：2024/04/02(火) 00:37:53.67 ID:7CSC2sWO.net

>>162 >>164
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
いやあるだろ…停止性問題とか知らないの…？
こんなん数学科でもなくてもCS学科でもなくても
趣味でWikipedia読んでれば知れる雑学だぞ

196 ：デフォルトの名無しさん：2024/04/02(火) 00:59:03.34 ID:7CSC2sWO.net

>>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか？

197 ：デフォルトの名無しさん：2024/04/02(火) 05:15:19.87 ID:25XPCuEJ.net

ああやっぱりこいつ不完全性定理を勘違いしてるな

198 ：デフォルトの名無しさん：2024/04/02(火) 10:33:46.06 ID:2+WkGIyb.net

完全性、健全性の意味をしらんのだな
完全って言葉から中二妄想膨らましてしったかかましてる

199 ：デフォルトの名無しさん：2024/04/02(火) 10:57:42.42 ID:CRIzWwoI.net

身体性という言葉の悪いところは
自分だけでなく他者の心身まで知ったかぶるところだ

200 ：デフォルトの名無しさん：2024/04/02(火) 11:17:32.87 ID:2+WkGIyb.net

話についてけないジジイはすっこんでろ

201 ：デフォルトの名無しさん：2024/04/02(火) 19:28:42.90 ID:UQ61ZLph.net

数式ゴリゴリのデジタルフィルターなんか、プログラムで書くと、あぁそういう事かと理解が速いよね。
乱反射を解析し反射元の形状を投影するとか、マクスウェルFDTDで、MEMSデバイスのパターンを作るプログラムなどは、プログラムで理解する有用性を証明している。
始めに数学工学が必要なのは言うまでもない。

202 ：デフォルトの名無しさん：2024/04/02(火) 20:00:28.70 ID:E9gZLeha.net

罵り愛が一段落下っぽいね。

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

プログラミング言語の浮動小数点数も結局は離散数学だから、実数を浮動小数点数に、そして、CGとかだとさらに浮動小数点数を画面上のドット…つまり自然数(に0を加えたもの)の組(x,y)に変換しなきゃいけない。

203 ：デフォルトの名無しさん：2024/04/02(火) 20:02:04.03 ID:GZPLkX8A.net

>>202
アホ

204 ：デフォルトの名無しさん：2024/04/02(火) 20:18:47.82 ID:rNuJc/A1.net

「数学をプログラミングする」というのを「量子化しない」という意味だと思ってるのが、学がなさすぎる

205 ：デフォルトの名無しさん：2024/04/02(火) 20:50:17.25 ID:ywq+AssX.net

とりあえずHelloWorldから一歩でも先に進んでからこの板に書き込めよ
無能かつ的外れの「知ってるもん！」アピールなんか痛いだけって自覚もできないんだろうか

206 ：デフォルトの名無しさん：2024/04/02(火) 20:51:46.81 ID:E9gZLeha.net

そうなん？
「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語（Coqとか）があるよね？
統計学はRとか。

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

まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m

207 ：デフォルトの名無しさん：2024/04/02(火) 20:54:29.03 ID:U2//VB/q.net

printf("数学をプログラミングする\n");

208 ：デフォルトの名無しさん：2024/04/03(水) 00:13:26.09 ID:pETdSMu9.net

数学一般を広く浅くプログラミングできない
離散数学のバイアスがかかっている
不完全性と同様に、バイアスと言われても痛いと自覚しないやつほど順調に先に進める

209 ：デフォルトの名無しさん：2024/04/03(水) 07:24:46.19 ID:CW5lmJ5l.net

>>208
だから、>1への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。

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

なら、あなたは私の代わりに証明する義務があるのでは？

210 ：デフォルトの名無しさん：2024/04/03(水) 22:03:54.94 ID:7VXOaRQB.net

プログラムってバカでもできるけど、間違いを指摘されて認めることもできないキチガイは入り口にも入ってこれてないよ
5chに書き込む前に早めに病院行ってお薬もらってきた方がいい

211 ：デフォルトの名無しさん：2024/04/04(木) 00:40:57.02 ID:+8mB/dsD.net

数式を計算するプログラムって逆ハンガリアン記法でスタックに積んで取り出すの？

212 ：デフォルトの名無しさん：2024/04/04(木) 04:00:44.17 ID:GlxXdEjq.net

再帰でいいんじゃね

213 ：デフォルトの名無しさん：2024/04/04(木) 06:21:32.41 ID:FZ/wPqxv.net

数学をプログラミングと聞いて電卓が頭に浮かぶのか
このあたりがCSを勉強したかどうかの違いだよな

214 ：デフォルトの名無しさん：2024/04/04(木) 06:26:04.00 ID:yQLFX9FG.net

俺はポーランド記法でCSIだぜ

215 ：デフォルトの名無しさん：2024/04/04(木) 10:40:16.69 ID:CFqg+3jH.net

このスレはポスト　オブジェクト指向はオワコンのスレって感じがする

216 ：デフォルトの名無しさん：2024/04/04(木) 21:47:23.88 ID:UeC30a5N.net

マトラボが解決してるんでないの？

217 ：デフォルトの名無しさん：2024/04/04(木) 23:16:51.30 ID:SgK99lwB.net

遅延評価のためのイテレータもあり得る

218 ：デフォルトの名無しさん：2024/04/05(金) 05:31:51.22 ID:hIqab58S.net

オブジェクト指向はもっと柔軟性を高めて欲しいわ。

クラスとかメソッドの集合として外延性を持つようにしてほしい。

219 ：デフォルトの名無しさん：2024/04/05(金) 08:52:40.53 ID:O8Iqatix.net

アイデアあるなら自分で作って提案したら？

220 ：デフォルトの名無しさん：2024/04/05(金) 09:35:13.84 ID:WYYyLvqP.net

なんでオブジェクト指向が出てくんだｗ

221 ：デフォルトの名無しさん：2024/04/07(日) 13:41:15.41 ID:7AYZfZ1d.net

C++の具体的な問題を目で盗めばRustを作れるが
オブジェクト指向のアイデアを広く浅くコピーしても負け癖が複製されるだけだ

222 ：デフォルトの名無しさん：2024/04/07(日) 18:07:47.43 ID:FOjhJ4gr.net

勝ち負けという発想になるのがお前の限界

223 ：デフォルトの名無しさん：2024/04/07(日) 22:31:51.29 ID:H3XbDQRE.net

たしかに、お金でも賭ければその限界が具現化するけど
考えるだけの場合はむしろ限界がないことが忌々しいんじゃないか

224 ：デフォルトの名無しさん：2024/04/08(月) 10:39:11.76 ID:x8JElEGO.net

ポエム

225 ：デフォルトの名無しさん：2024/04/08(月) 13:34:46.46 ID:26k+W4+v.net

イマジンだけに

226 ：デフォルトの名無しさん：2024/04/11(木) 12:56:39.43 ID:m6RJM+fq.net

All the People

227 ：デフォルトの名無しさん：2024/04/11(木) 12:59:29.40 ID:M3s07OXs.net

暇人

228 ：デフォルトの名無しさん：2024/04/11(木) 19:06:27.60 ID:SHJQNyIp.net

不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？

229 ：デフォルトの名無しさん：2024/04/12(金) 06:59:53.66 ID:gi41fiD0.net

30点
もっとサイコ感ださないと

230 ：デフォルトの名無しさん：2024/04/12(金) 11:00:23.24 ID:n/WEiCkF.net

厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん

231 ：デフォルトの名無しさん：2024/04/12(金) 11:40:05.15 ID:bVCDZJf2.net

>>230
「数学をプログラミングするには」って書いてあるじゃん

232 ：デフォルトの名無しさん：2024/04/12(金) 11:41:10.44 ID:Kw0ACNUt.net

#define final constant π;

233 ：デフォルトの名無しさん：2024/04/12(金) 11:44:24.99 ID:Hn7My37C.net

>>230
> 厳密に求められないから

πは厳密に求まるが
1/3 = 0.33... は割り切れないから求まらないとか思ってる文系くんかな？（笑）

234 ：デフォルトの名無しさん：2024/04/12(金) 11:50:12.54 ID:Hn7My37C.net

> πという記号定数を使えばいいだけ

馬鹿かな
πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ？（笑）

235 ：デフォルトの名無しさん：2024/04/12(金) 11:52:19.14 ID:Hn7My37C.net

>>230

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

学問に向いてないよ、君（笑）

236 ：デフォルトの名無しさん：2024/04/12(金) 11:56:22.19 ID:Hn7My37C.net

>>230

で、こいつ次は、

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

とか言い訳するんだろうなあｗｗｗｗ

237 ：デフォルトの名無しさん：2024/04/12(金) 12:03:07.54 ID:Hn7My37C.net

>>230
> 1がしたいことが何なのかよくわからん

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

わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前（笑）

238 ：デフォルトの名無しさん：2024/04/12(金) 12:29:39.85 ID:Kw0ACNUt.net

スレタイが読めないなら小学校の国語からやり直しｗｗｗ

239 ：デフォルトの名無しさん：2024/04/12(金) 12:33:44.36 ID:l6eD/H9+.net

モピロン、地球人の開発したAIには、無理
霊的な霊感がないからだ。

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

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

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

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

BY 今日もテキトーな事を呟いてみたー

240 ：デフォルトの名無しさん：2024/04/12(金) 12:47:02.55 ID:gi41fiD0.net

26点
長い上に一本調子
デタラメに書いたらいいわけじゃない

241 ：デフォルトの名無しさん：2024/04/12(金) 15:24:27.17 ID:IPp6LTyR.net

アセンブラは数学か？

242 ：デフォルトの名無しさん：2024/04/12(金) 15:32:45.75 ID:n/WEiCkF.net

そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど
一昔前のcobolはチューリング完全じゃないぞ
チューリング完全は数学をプログラムするための必要条件ではないかな
アセンブラはその意味で資格はあると思われる

243 ：デフォルトの名無しさん：2024/04/12(金) 16:34:45.55 ID:vfJZ59zy.net

fortranは数学？

244 ：デフォルトの名無しさん：2024/04/12(金) 16:40:24.86 ID:gi41fiD0.net

チューリング完全は算法に関する性質
数学そのものではない

245 ：デフォルトの名無しさん：2024/04/12(金) 16:41:43.65 ID:gi41fiD0.net

数学は計算だけの学問ではない

246 ：デフォルトの名無しさん：2024/04/12(金) 17:04:34.02 ID:HdjWwBoE.net

計算 + 証明 = 数学

これは

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

に対応する

247 ：デフォルトの名無しさん：2024/04/12(金) 17:09:52.20 ID:Vyts8CQV.net

命題 + 証明 = 数学

↑↓

型 + アルゴリズム = プログラミング

248 ：デフォルトの名無しさん：2024/04/12(金) 17:20:27.68 ID:n/WEiCkF.net

命題 + 証明

↑↓

型 + プログラム

これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？

249 ：デフォルトの名無しさん：2024/04/12(金) 17:25:59.28 ID:gi41fiD0.net

カリー・ハワードだろ
構成論理が前提なのわかってるか？

250 ：デフォルトの名無しさん：2024/04/12(金) 17:35:07.74 ID:Kw0ACNUt.net

ど素人かよｗｗｗ
命題 + 証明 = 数学

251 ：デフォルトの名無しさん：2024/04/12(金) 17:35:49.67 ID:Kw0ACNUt.net

糞論しかやってない素人の戯言

252 ：デフォルトの名無しさん：2024/04/12(金) 17:40:09.52 ID:n/WEiCkF.net

直観主義論理ってやつでしょ

253 ：デフォルトの名無しさん：2024/04/12(金) 17:44:03.87 ID:Kw0ACNUt.net

40年ぐらい遅れてるｗ

254 ：デフォルトの名無しさん：2024/04/12(金) 17:56:16.32 ID:n/WEiCkF.net

構成的論理ならきいたことはあるが構成論理ってなんだよ

255 ：デフォルトの名無しさん：2024/04/12(金) 18:32:46.75 ID:Kw0ACNUt.net

糞論しかやってない奴は数学の素人、悲惨

256 ：デフォルトの名無しさん：2024/04/12(金) 19:48:14.69 ID:BGlMGmgy.net

ラッセルは数学者？

257 ：デフォルトの名無しさん：2024/04/12(金) 20:28:26.43 ID:7CYa1WNP.net

数学は構造の科学、とエロいひとが言ってた。

258 ：デフォルトの名無しさん：2024/04/12(金) 20:41:54.23 ID:HS/aYR/B.net

レヴィ・ストロース？

259 ：デフォルトの名無しさん：2024/04/12(金) 22:22:16.23 ID:Kw0ACNUt.net

水道方式の遠山

260 ：デフォルトの名無しさん：2024/04/12(金) 23:55:46.84 ID:lpyrPPhz.net

>>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。

261 ：デフォルトの名無しさん：2024/04/13(土) 01:56:05.16 ID:GLx3WLPp.net

>>260
とっくに解決した話題にいちいち間違った指摘をするのは面白いのか？

262 ：デフォルトの名無しさん：2024/04/13(土) 03:06:44.06 ID:wJrHPvy4.net

命題を実験すれば近似、証明すれば厳密
これを間違えて
命題（と証明）を明文化しなければ近似、明文化すれば厳密と思ってる人は結構いる

263 ：デフォルトの名無しさん：2024/04/13(土) 06:36:41.55 ID:AgvLaZLy.net

>>261
テキトーに読み飛ばしてた＾＾；
どのあたりで解決してたかアンカー教えて。

264 ：デフォルトの名無しさん：2024/04/13(土) 06:41:57.99 ID:uJv52VsE.net

πは、プログラミングは、近年の地球人は、
arctanのヤツを4倍してるよ。ポクはホントは地球人だけど
然るに、
閃き💡でarctanのマクローリン展開をネットサーフィンで
調べてさ、xに１を代入すりゃ、
π/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.54 ID:4ahnOas7.net

>>260
馬鹿文系

266 ：デフォルトの名無しさん：2024/04/13(土) 12:20:47.06 ID:wJrHPvy4.net

現在のAIは何故か胴元になれないギャンブラーと同じ

267 ：デフォルトの名無しさん：2024/04/14(日) 08:23:12.49 ID:ZXz6cRZI.net

>>265
うんうん。
罵られるのは甘んじて受け入れるので、解決したところのアンカー(>数字)を教えてください。

268 ：デフォルトの名無しさん：2024/04/14(日) 08:43:54.27 ID:FeJRZdQr.net

このスレで解決されたって意味ではないのでは?
>>260の指摘なんて常識的なことだし

269 ：デフォルトの名無しさん：2024/04/14(日) 09:46:51.43 ID:7cEDLG0F.net

>>268
○ 常識的
× 数学ができない人によくある勘違い

270 ：デフォルトの名無しさん：2024/04/14(日) 09:53:29.94 ID:7cEDLG0F.net

>>267
>>2

271 ：デフォルトの名無しさん：2024/04/14(日) 12:01:14.80 ID:QAXXGiIt.net

>>260
多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは
人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ

272 ：デフォルトの名無しさん：2024/04/14(日) 12:10:53.46 ID:ArvRyIgO.net

繰り返すこのアルゴリズム♪

273 ：デフォルトの名無しさん：2024/04/14(日) 12:14:31.37 ID:CaUwpcFN.net

パフュームです♪

274 ：デフォルトの名無しさん：2024/04/14(日) 17:09:16.02 ID:43rPFQyJ.net

>>260
まず「極限はnになる」の基礎となる理論から調べたら？
εδ論法は理解してる？

275 ：デフォルトの名無しさん：2024/04/14(日) 18:00:53.57 ID:CaUwpcFN.net

極限と帰納法は違うんじゃね

276 ：デフォルトの名無しさん：2024/04/14(日) 19:52:08.91 ID:fCKRFwTr.net

極限と帰納法は違うということを証明してください

277 ：デフォルトの名無しさん：2024/04/14(日) 20:14:25.72 ID:CaUwpcFN.net

わかった

278 ：デフォルトの名無しさん：2024/04/14(日) 20:18:26.95 ID:CaUwpcFN.net

背理法を使う

279 ：デフォルトの名無しさん：2024/04/14(日) 20:19:29.14 ID:CaUwpcFN.net

極限と帰納法が同じであると仮定する

280 ：デフォルトの名無しさん：2024/04/14(日) 20:24:59.80 ID:CaUwpcFN.net

極限とは位相空間のある点の近傍にある番号から先の有向族が入ることである

281 ：デフォルトの名無しさん：2024/04/14(日) 20:25:51.73 ID:CaUwpcFN.net

位相空間とは開集合の族が定義された空間である

282 ：デフォルトの名無しさん：2024/04/14(日) 20:29:03.05 ID:CaUwpcFN.net

帰納法とは順序集合においてある命題がある番号まで成立としたとき次の番号の命題が成立することである

283 ：デフォルトの名無しさん：2024/04/14(日) 20:29:14.79 ID:CaUwpcFN.net

ふー

284 ：デフォルトの名無しさん：2024/04/14(日) 21:43:21.13 ID:CaUwpcFN.net

順序集合とは半順序が定義された集合である

285 ：デフォルトの名無しさん：2024/04/14(日) 21:54:07.48 ID:CaUwpcFN.net

帰納的集合かな

286 ：デフォルトの名無しさん：2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI.net

>>270
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。

287 ：デフォルトの名無しさん：2024/04/14(日) 22:33:23.89 ID:CaUwpcFN.net

継承的集合でいいな

288 ：デフォルトの名無しさん：2024/04/14(日) 22:49:19.66 ID:NsoP3YSl.net

>>286
お前が馬鹿なだけだよ
他責にすんな

289 ：デフォルトの名無しさん：2024/04/14(日) 23:06:54.86 ID:bCnJWLVL.net

>>286
1/3 = 0.33...は無限につづくから真の値は求められないとか言ってるようなもん

小学生レベル

290 ：デフォルトの名無しさん：2024/04/15(月) 01:24:44.77 ID:hKAoajYZ.net

>>289
無理数はまさしく真の値は求められないだろ？
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。

291 ：デフォルトの名無しさん：2024/04/15(月) 02:17:00.24 ID:6hq71KF2.net

>>290
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。

292 ：デフォルトの名無しさん：2024/04/15(月) 02:18:27.89 ID:iwi7Bhpd.net

他責というか他人からもらった情報を丸暗記しなければいい
たとえば嫌いな問題は飛ばして好きな問題で点数を稼ぐのも
与えられた情報を好き嫌いで切り取ってしまう技術

293 ：デフォルトの名無しさん：2024/04/15(月) 02:29:44.50 ID:ANhhwFml.net

πの任意の桁は定数時間で求まる

294 ：デフォルトの名無しさん：2024/04/15(月) 07:29:11.29 ID:hKAoajYZ.net

>>291
いあ、だから。それが真の値の存在を示してるだけって事だろ。
証明の厳密さが違うだけで、意味としては同じだ。

295 ：デフォルトの名無しさん：2024/04/15(月) 07:51:45.06 ID:iwi7Bhpd.net

値のサイズが大きかろうが無限だろうがそれを指すポインタのサイズは小さい

296 ：デフォルトの名無しさん：2024/04/15(月) 08:15:15.77 ID:SAfAFkQa.net

>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。

297 ：デフォルトの名無しさん：2024/04/15(月) 08:24:20.81 ID:SAfAFkQa.net

>>296
おっと
×有理体 ○有理数体

298 ：デフォルトの名無しさん：2024/04/15(月) 08:29:15.90 ID:hKAoajYZ.net

>>296
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√２って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。

>1の求める近似値ではない厳密って何？って話になるが。

299 ：デフォルトの名無しさん：2024/04/15(月) 08:51:17.84 ID:KspO/JeI.net

>>298
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。

現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。

300 ：デフォルトの名無しさん：2024/04/15(月) 09:09:27.70 ID:ANhhwFml.net

連日レス乞食

301 ：デフォルトの名無しさん：2024/04/15(月) 09:36:29.81 ID:scEUff9F.net

>>299
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する

302 ：デフォルトの名無しさん：2024/04/15(月) 09:49:54.71 ID:ANhhwFml.net

>>301
その存在示すのに、切断やコーシー列使うんやろ

303 ：デフォルトの名無しさん：2024/04/15(月) 10:50:20.08 ID:scEUff9F.net

>>302
存在とは？

304 ：デフォルトの名無しさん：2024/04/15(月) 11:21:19.32 ID:scEUff9F.net

数学系のためのLean勉強会
https://haruhisa-enomoto.github.io/lean-math-workshop/

305 ：デフォルトの名無しさん：2024/04/15(月) 12:00:05.12 ID:ANhhwFml.net

>>303
実数体Rの存在

306 ：デフォルトの名無しさん：2024/04/15(月) 12:44:15.61 ID:scEUff9F.net

>>305
だから存在をどうやって示すんだ

307 ：デフォルトの名無しさん：2024/04/15(月) 12:50:03.22 ID:SAfAFkQa.net

>>306
クロネッカーみたいだな。

308 ：デフォルトの名無しさん：2024/04/15(月) 14:37:35.85 ID:ANhhwFml.net

>>306
微分積分の教科書読めよ

309 ：デフォルトの名無しさん：2024/04/15(月) 15:20:17.14 ID:KspO/JeI.net

>>306 >>308
微積というよりも解析だな。

310 ：デフォルトの名無しさん：2024/04/15(月) 16:24:37.72 ID:scEUff9F.net

>>308,309
お前が言うなｗｗｗ

311 ：デフォルトの名無しさん：2024/04/15(月) 16:25:33.86 ID:scEUff9F.net

上に書いておいただろ、ど素人目が

312 ：デフォルトの名無しさん：2024/04/15(月) 17:00:38.31 ID:FtziCmAa.net

素人はお前だ
イキがんな

313 ：デフォルトの名無しさん：2024/04/15(月) 17:32:13.23 ID:scEUff9F.net

自己紹介乙

314 ：デフォルトの名無しさん：2024/04/15(月) 17:36:31.60 ID:scEUff9F.net

上から目線で語ったと思ったら実は下だった件ｗ

315 ：デフォルトの名無しさん：2024/04/15(月) 17:36:43.64 ID:4nWFLl9l.net

>>306
> だから存在をどうやって示すんだ

こんな解析学の教科書の最初に書いてあることが分からずに実数論の講釈を垂れてた恥ずかしいやつ→ID:scEUff9F

316 ：デフォルトの名無しさん：2024/04/15(月) 17:40:34.97 ID:scEUff9F.net

>>315
証明してくれ

317 ：デフォルトの名無しさん：2024/04/15(月) 18:18:17.39 ID:scEUff9F.net

>>315
証明できないのならどの本の何ページに証明が書いてあるのか教えてくれ

318 ：デフォルトの名無しさん：2024/04/15(月) 18:41:51.88 ID:NsRnPyj0.net

デデキント切断や完備化などが出てきても
有理数を既知として実数体を構成しているということが理解できない
これでは数学書をいくら読んでもザルで水をすくうようなもの

319 ：デフォルトの名無しさん：2024/04/15(月) 18:47:48.86 ID:Qlt6SMAG.net

横からだけど>>317は
理系の大学数学(所謂現代数学)における論理展開の流れや
存在の証明とされるパターンが分かってないから、かなりの独学なのかな

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

>>318が書いてくれたか、任せた

320 ：デフォルトの名無しさん：2024/04/15(月) 19:01:28.04 ID:hHvO3P6A.net

存在論を厳密にやり過ぎるとクソどうでもいい心理学の信者が増える

321 ：デフォルトの名無しさん：2024/04/15(月) 19:39:20.03 ID:NsRnPyj0.net

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.13 ID:NsRnPyj0.net

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.04 ID:NsRnPyj0.net

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.23 ID:NsRnPyj0.net

ただし

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.66 ID:NsRnPyj0.net

細かな間違いはあるだろうが、概ねこんな流れだろう

326 ：デフォルトの名無しさん：2024/04/15(月) 19:51:54.10 ID:eajKaNbV.net

(仮定、前提、公理として)存在しているものから(公理的)集合論操作で構成したものは存在する、
これは自明の理として存在証明のOKパターンな事だけ補足しておくよ

327 ：デフォルトの名無しさん：2024/04/15(月) 20:01:42.17 ID:eajKaNbV.net

>>301
>例えば実数は体、順序構造、連続性をもつものとして定義する

これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で
well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然

328 ：デフォルトの名無しさん：2024/04/15(月) 20:04:25.08 ID:eajKaNbV.net

>>320
>存在論
そう言うのが寄り付かないのが現代数学の良い所の1つかも

329 ：デフォルトの名無しさん：2024/04/15(月) 20:44:59.91 ID:scEUff9F.net

>>319
自己紹介乙

330 ：デフォルトの名無しさん：2024/04/15(月) 20:45:46.33 ID:scEUff9F.net

>>327
意味不明

331 ：デフォルトの名無しさん：2024/04/15(月) 20:55:50.13 ID:scEUff9F.net

>>325
ご苦労さん、実数の公理があるだけなんで証明するものではない

332 ：デフォルトの名無しさん：2024/04/15(月) 21:29:20.68 ID:vvdCRtkm.net

アホすぎる

333 ：デフォルトの名無しさん：2024/04/15(月) 21:32:26.82 ID:scEUff9F.net

自己紹介乙

334 ：デフォルトの名無しさん：2024/04/15(月) 21:49:55.52 ID:InxNy96J.net

ポエム連投しか能が無いのに、かっこつけで数学の話してみたら秒でボロが出るザコ（笑）

335 ：デフォルトの名無しさん：2024/04/15(月) 21:53:20.15 ID:scEUff9F.net

自己紹介乙

336 ：デフォルトの名無しさん：2024/04/15(月) 21:55:11.91 ID:scEUff9F.net

頭ついてるのかｗ

337 ：デフォルトの名無しさん：2024/04/15(月) 21:57:07.42 ID:scEUff9F.net

馬鹿といわれなきゃ分からない馬鹿

338 ：デフォルトの名無しさん：2024/04/16(火) 00:50:06.56 ID:aRJ0OCMo.net

ま、何だな。近年の計算機ってさ内部2進数か稀に十進数
であり、絶対に絶対にゼッタイに内部３進数はないよな

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

ちなみに、-27の0.33333333乗はダメだった。
1/3と0.33333333333…5 の差は如何なるεより小さいのか❓
地球人って数学もコンピュータもどっちも、ズルしてるな🥳

339 ：デフォルトの名無しさん：2024/04/16(火) 15:34:00.46 ID:ffps7/Wl.net

いずれ量子コンピュータの時代になるから
コンピュータ=2進数のイメージはすたれていくだろうな

340 ：デフォルトの名無しさん：2024/04/16(火) 16:09:15.10 ID:X3z51ZSN.net

>>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
https://i.ytimg.com/vi/gt5VVmztpak/hqdefault.jpg

341 ：デフォルトの名無しさん：2024/04/16(火) 16:13:56.69 ID:Ng40HiX6.net

>>340
スレタイ読めよ

342 ：デフォルトの名無しさん：2024/04/16(火) 16:31:40.11 ID:Ng40HiX6.net

カリー・ハワード同型対応

343 ：デフォルトの名無しさん：2024/04/16(火) 17:31:21.11 ID:gwwVz7LD.net

>>340
明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない

344 ：デフォルトの名無しさん：2024/04/16(火) 17:33:24.91 ID:Ng40HiX6.net

Curry-Howard Correspondence
https://web2.qatar.cmu.edu/cs/15317/lectures/04-curryhoward.pdf

345 ：デフォルトの名無しさん：2024/04/16(火) 17:35:24.46 ID:Ng40HiX6.net

カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。

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

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

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

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

この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。

346 ：デフォルトの名無しさん：2024/04/16(火) 18:01:37.43 ID:fFCD5orj.net

n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね
ここで空集合と空でない集合という、なんというか
反なめらか勢力？

347 ：デフォルトの名無しさん：2024/04/16(火) 18:54:49.14 ID:usMdjojl.net

>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ

348 ：デフォルトの名無しさん：2024/04/16(火) 21:01:49.49 ID:ce0c+Wns.net

ばーか

349 ：デフォルトの名無しさん：2024/04/16(火) 21:03:04.14 ID:A1Drxn9H.net

しねぇ！！！

350 ：デフォルトの名無しさん：2024/04/16(火) 21:05:37.59 ID:bJGpAOxM.net

ポエム、死すべし

351 ：デフォルトの名無しさん：2024/04/16(火) 21:06:32.75 ID:Qd7fb1ey.net

賢こぶるなカスが

352 ：デフォルトの名無しさん：2024/04/16(火) 21:08:00.17 ID:UT47qync.net

きゅうりを育てる
プロジェクトX

353 ：デフォルトの名無しさん：2024/04/16(火) 21:09:06.06 ID:UT47qync.net

メークインの

メッカ

354 ：デフォルトの名無しさん：2024/04/16(火) 21:11:20.78 ID:UT47qync.net

しねええええっ！！

355 ：デフォルトの名無しさん：2024/04/16(火) 21:12:18.68 ID:odkgr9I4.net

カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ

356 ：デフォルトの名無しさん：2024/04/16(火) 21:12:56.63 ID:UT47qync.net

はーか

357 ：デフォルトの名無しさん：2024/04/16(火) 21:15:22.83 ID:hd0EAKHj.net

Pachinkoですった借金
積もりに積もって、、もどーる

358 ：デフォルトの名無しさん：2024/04/16(火) 21:16:45.23 ID:UT47qync.net

しねええええっ！！！

359 ：デフォルトの名無しさん：2024/04/16(火) 21:17:45.68 ID:DMBaPuV2.net

かわいそうに・・・

360 ：デフォルトの名無しさん：2024/04/16(火) 21:18:44.24 ID:wb1PrcU1.net

自己実現欲求が満たせないゴミめ

361 ：デフォルトの名無しさん：2024/04/16(火) 21:22:14.67 ID:wb1PrcU1.net

グランドペチカ

362 ：デフォルトの名無しさん：2024/04/16(火) 21:23:49.80 ID:fFCD5orj.net

ブレイクスルーのたびに歴史の断絶があるのは面倒だから
数学に期待されることはおそらく断絶を阻止すること

363 ：デフォルトの名無しさん：2024/04/16(火) 21:26:35.11 ID:8wnatpzr.net

しねえええええっ！！！

364 ：デフォルトの名無しさん：2024/04/16(火) 21:28:36.61 ID:g+y/CpM4.net

だまれー！！

365 ：デフォルトの名無しさん：2024/04/16(火) 21:33:33.59 ID:eUys93Mt.net

!

366 ：デフォルトの名無しさん：2024/04/16(火) 21:34:29.00 ID:UT47qync.net

青い眼をした
銀河団本中二

367 ：デフォルトの名無しさん：2024/04/16(火) 21:34:53.48 ID:bezjSTs7.net

サンリオ😂

368 ：デフォルトの名無しさん：2024/04/16(火) 21:37:39.74 ID:bezjSTs7.net

まくら

369 ：デフォルトの名無しさん：2024/04/16(火) 21:38:11.07 ID:UT47qync.net

なんでまゆげ透けてんの？

370 ：デフォルトの名無しさん：2024/04/16(火) 21:38:39.99 ID:gwHtYNMH.net

コロス
えいディス寿司実いたしますかな

371 ：デフォルトの名無しさん：2024/04/16(火) 21:45:06.43 ID:pVDgreOv.net

凹凸がないって、美しい

372 ：デフォルトの名無しさん：2024/04/16(火) 21:46:19.26 ID:UT47qync.net

効果音は、Diggy

373 ：デフォルトの名無しさん：2024/04/16(火) 21:46:44.33 ID:LcfQM7X4.net

まつげ、性的、いい匂い

374 ：デフォルトの名無しさん：2024/04/16(火) 21:49:02.99 ID:UT47qync.net

松永豊

375 ：デフォルトの名無しさん：2024/04/16(火) 21:49:35.08 ID:KGvJIPyy.net

低所得者は、動物と同じ

376 ：デフォルトの名無しさん：2024/04/16(火) 23:43:41.31 ID:Ng40HiX6.net

効いてるな

377 ：デフォルトの名無しさん：2024/04/17(水) 05:17:52.87 ID:LS70dTDX.net

すぐ怒る人は、想像力が乏しい

378 ：デフォルトの名無しさん：2024/04/17(水) 05:31:12.83 ID:riJpNYPi.net

社会正義を気取ったコンプレックスの初ライブ

379 ：デフォルトの名無しさん：2024/04/17(水) 05:34:52.94 ID:riJpNYPi.net

発露

380 ：デフォルトの名無しさん：2024/04/17(水) 05:38:55.39 ID:Ah17i+H9.net

ちんぼ喪失ドM尊厳破壊

381 ：デフォルトの名無しさん：2024/04/17(水) 05:56:42.90 ID:Rqxu+zgK.net

>>340

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

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

？

382 ：デフォルトの名無しさん：2024/04/17(水) 06:19:24.07 ID:ivCgW6Mo.net

>>381
そこまで話が通じないとはw
ネタだろうけど出来損ないAIを真似た皮肉かなw

マジネタだったらそう言ってくれ、多少は補足するから

383 ：デフォルトの名無しさん：2024/04/17(水) 06:25:43.54 ID:ivCgW6Mo.net

前提
Pは任意の実係数多項式で∀x∈R, P(x) ≥ 0を満たすもの

示すべき事
この時、ある自然数nと実係数多項式f_k(x)、k=1..nが存在して
>>340の等式を満たすことが出来る

384 ：デフォルトの名無しさん：2024/04/17(水) 06:26:20.25 ID:ivCgW6Mo.net

やり取りするのも面倒だから書き下したよ

385 ：デフォルトの名無しさん：2024/04/17(水) 06:41:39.48 ID:Rqxu+zgK.net

>>383と>>340が数学の主張として異なるということが理解できないということ？

386 ：デフォルトの名無しさん：2024/04/17(水) 06:42:33.01 ID:Rqxu+zgK.net

それとも、問題に不備があったことを素直に謝罪できない性格だということ？

387 ：デフォルトの名無しさん：2024/04/17(水) 06:44:24.20 ID:cVeWwllr.net

>>381マジレスだったのかよwwww

388 ：デフォルトの名無しさん：2024/04/17(水) 06:55:34.85 ID:Rqxu+zgK.net

奇数次ならかならず符号が逆転するので偶数次
x → x + aと変換して、奇数次の項消してけばいいよ

389 ：デフォルトの名無しさん：2024/04/17(水) 07:06:37.75 ID:Rqxu+zgK.net

平方完成で

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

の形にはできる
a, b, ..., c, dが正の数になることがわかればいい

390 ：デフォルトの名無しさん：2024/04/17(水) 07:14:37.17 ID:8VlP8M9h.net

>>388,389
問題自体は高校数学
大学レベルの隙の無い回答を求められているけど
妥協して高校基準でも

0点

391 ：デフォルトの名無しさん：2024/04/17(水) 07:24:42.19 ID:Rqxu+zgK.net

∀x, P(x) ≥ 0なので、最高次の係数はかならず正

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

の形にできる
b ≥ 0ならOK
b < 0ならどうする？

392 ：デフォルトの名無しさん：2024/04/17(水) 07:33:59.44 ID:t6s9wa3O.net

Z世代かな?

393 ：デフォルトの名無しさん：2024/04/17(水) 07:41:11.30 ID:Rqxu+zgK.net

∀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次は？

394 ：デフォルトの名無しさん：2024/04/17(水) 07:56:34.24 ID:IyFytcQ9.net

問題に不備があったら出題も採点も自分でやればいい
それを自分でやってはいけないという思考それこそが他責思考である

395 ：デフォルトの名無しさん：2024/04/17(水) 08:38:41.15 ID:Rqxu+zgK.net

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.33 ID:Rqxu+zgK.net

多変数では同様のことは成り立つのかな？

397 ：デフォルトの名無しさん：2024/04/17(水) 08:48:45.47 ID:Rqxu+zgK.net

二次式の場合は成り立つ

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となるとき。

398 ：デフォルトの名無しさん：2024/04/17(水) 09:03:30.45 ID:viu9nkYS.net

プログラミングしろよ
何を手で解いとんねん
無能かよ

399 ：デフォルトの名無しさん：2024/04/17(水) 09:05:43.22 ID:eWa5nsHI.net

酒をのんだら、無意識に呼吸できなくなった

寝られない

400 ：デフォルトの名無しさん：2024/04/17(水) 09:19:11.73 ID:nP2I5Wyb.net

>>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.89 ID:sJRiVtui.net

いろいろ具体例で実験して発見するのだなあ

402 ：デフォルトの名無しさん：2024/04/17(水) 10:41:17.51 ID:reMCnFls.net

ある朝、男が牧場の近くを通った時、腕時計が壊れていることに気づきました。
牧場には、牧草の束にもたれて寝ている牛飼いがいたので、男は「今、何時ですか」と尋ねました。
すると、牛飼いは近くの牛の金玉を持ち上げて、「8時10分だよ」と言いました。
男は怪訝に思いながらも、お礼を言って牧場を後にしました。

その日の夕、時計を直した男は再び牧場のそばを通りました。
牧場には、朝の牛飼いが牧草の束にもたれて寝ていました。
男は牛飼いに「今、何時ですか」と尋ねました。
牛飼いは、やはり牛の金玉を持ち上げて、「5時30分だよ」と言いました。
男は自分の時計を見ました。時計は牛飼いの言うとおり、5時30分を指していました。
男は驚き、「どうして牛の金玉で時間がわかるのですか」と牛飼いに尋ねました。
牛飼いは笑って、「向こうの時計台を見ていただけだよ」と言い、牧場の向こうを指差しました。

403 ：デフォルトの名無しさん：2024/04/17(水) 10:48:26.99 ID:QYenzWQY.net

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.

404 ：デフォルトの名無しさん：2024/04/17(水) 10:59:08.88 ID:MC+f1reS.net

>>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね

405 ：デフォルトの名無しさん：2024/04/17(水) 11:22:16.74 ID:QYenzWQY.net

任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ

406 ：デフォルトの名無しさん：2024/04/17(水) 11:27:59.69 ID:/l2KPUVP.net

位数pqの有限群を分類せよ

407 ：デフォルトの名無しさん：2024/04/17(水) 12:12:24.30 ID:MC+f1reS.net

>>405
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
https://math.stackexchange.com/questions/872324/diophantine-equation-abc-abd-acd-bcd-1

>>406
これはコンピューター代数が効きそうな設問だね

408 ：デフォルトの名無しさん：2024/04/17(水) 21:28:06.49 ID:d0sPi4E4.net

上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる

409 ：デフォルトの名無しさん：2024/04/19(金) 04:58:45.43 ID:VczmU+ll.net

圏のモノイド化であるカテゴロイドが最先端らしい

410 ：デフォルトの名無しさん：2024/04/19(金) 09:50:12.86 ID:EGRRzOnw.net

商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない

411 ：デフォルトの名無しさん：2024/04/19(金) 09:53:23.64 ID:yPPcHo4B.net

役人、サラリーマン、農業は？

412 ：!id:igunore：2024/04/21(日) 16:32:04.97 ID:QcTo+DFu.net

test

413 ：デフォルトの名無しさん：2024/04/22(月) 19:57:50.12 ID:Z/mW1wgm.net

国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている

414 ：デフォルトの名無しさん：2024/04/22(月) 20:50:40.46 ID:o0SSvQPa.net

光るものすべて金ならず

415 ：デフォルトの名無しさん：2024/04/24(水) 00:45:42.60 ID:qYUcXmw2.net

>>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが

416 ：デフォルトの名無しさん：2024/04/24(水) 06:04:35.75 ID:0I0qCYsp.net

酒を飲むと脳が萎縮するソクラテスは豚だ

417 ：デフォルトの名無しさん：2024/04/24(水) 06:37:08.15 ID:Ucc6jtP7.net

41歳列車で真ん中に座れるようになりました

418 ：デフォルトの名無しさん：2024/04/24(水) 07:26:08.85 ID:sd26LqbM.net

>>415
お前の首の上につけているものはなんだｗ

419 ：デフォルトの名無しさん：2024/04/24(水) 11:01:50.05 ID:0on+NXwB.net

プログラミングは線形代数だろ？

420 ：デフォルトの名無しさん：2024/04/24(水) 11:16:56.18 ID:qYUcXmw2.net

モビルスーツに手と足と頭があるのも網羅がしたいだけ

421 ：デフォルトの名無しさん：2024/04/24(水) 11:44:52.53 ID:sd26LqbM.net

ポエムしか書けないアホ

422 ：デフォルトの名無しさん：2024/04/24(水) 12:02:24.24 ID:BuUg9b8b.net

カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない

423 ：デフォルトの名無しさん：2024/04/24(水) 12:18:51.40 ID:sd26LqbM.net

馬鹿だね、ただの道具

424 ：デフォルトの名無しさん：2024/04/24(水) 12:46:31.82 ID:hOEBS28r.net

Kan拡張ってどう便利なの

425 ：デフォルトの名無しさん：2024/04/24(水) 14:34:26.92 ID:qYUcXmw2.net

「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない

426 ：デフォルトの名無しさん：2024/04/24(水) 16:07:04.29 ID:sd26LqbM.net

数学知らないんだろ

427 ：デフォルトの名無しさん：2024/04/24(水) 16:28:57.36 ID:sd26LqbM.net

https://leanprover-community.github.io/

こういう話をしてるんだよ

428 ：デフォルトの名無しさん：2024/04/24(水) 17:12:59.42 ID:wm22WFWW.net

依存型がなければ、その上に型システムを構築したらいいのでは？

429 ：デフォルトの名無しさん：2024/04/24(水) 17:25:41.09 ID:qYUcXmw2.net

やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている

430 ：デフォルトの名無しさん：2024/04/24(水) 17:27:54.06 ID:sd26LqbM.net

意味不明を繰り返す爺

431 ：デフォルトの名無しさん：2024/04/24(水) 19:49:04.05 ID:H3cF+EGE.net

微分積分

432 ：デフォルトの名無しさん：2024/04/24(水) 20:37:33.11 ID:8tkXCVQE.net

型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる

433 ：デフォルトの名無しさん：2024/04/24(水) 20:39:18.33 ID:H3cF+EGE.net

楽になるなんて誰が言ったんだ

434 ：デフォルトの名無しさん：2024/04/24(水) 21:00:04.00 ID:qYUcXmw2.net

「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった

435 ：デフォルトの名無しさん：2024/04/24(水) 21:01:14.18 ID:sd26LqbM.net

ソフトウェアは道具だろ、ボケ

436 ：デフォルトの名無しさん：2024/04/24(水) 21:45:02.37 ID:W5xC8R60.net

高崎
常磐

437 ：デフォルトの名無しさん：2024/04/24(水) 21:45:58.35 ID:W5xC8R60.net

コドモイド

438 ：デフォルトの名無しさん：2024/04/24(水) 21:46:28.48 ID:W5xC8R60.net

ポイントカードと熱線

439 ：デフォルトの名無しさん：2024/04/24(水) 21:46:52.14 ID:W5xC8R60.net

糸が砕けました

440 ：デフォルトの名無しさん：2024/04/24(水) 21:48:24.25 ID:W5xC8R60.net

ああっ、ナメクジみたいな篦が目の裏に浮かんでくる～っ！！

441 ：デフォルトの名無しさん：2024/04/24(水) 21:49:49.75 ID:W5xC8R60.net

ばあちゃん、ボイパで米研ぐふりするな

442 ：デフォルトの名無しさん：2024/04/24(水) 21:52:22.25 ID:W5xC8R60.net

縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー

443 ：デフォルトの名無しさん：2024/04/25(木) 05:45:14.46 ID:zFonvm9V.net

群青色のふとんカバー
ルートを見るより田中社長

444 ：デフォルトの名無しさん：2024/04/25(木) 11:27:25.32 ID:JREeyAkZ.net

効いてるな

445 ：デフォルトの名無しさん：2024/04/25(木) 12:40:38.59 ID:zFonvm9V.net

サッポー「楡の木陰に高島さん」～ダンディな占い師伝説

446 ：デフォルトの名無しさん：2024/04/25(木) 14:35:55.58 ID:XMEAkwKC.net

じゃあ、物理をプログラミングするには？

447 ：デフォルトの名無しさん：2024/04/25(木) 14:36:12.53 ID:XMEAkwKC.net

じゃあ、物理をプログラミングするには？

448 ：デフォルトの名無しさん：2024/04/25(木) 14:36:27.27 ID:iaYqsq7d.net

じゃあ、物理をプログラミングするには？

449 ：デフォルトの名無しさん：2024/04/25(木) 15:14:42.67 ID:VKvfdxmp.net

Unity一択

450 ：デフォルトの名無しさん：2024/04/25(木) 17:48:35.80 ID:JREeyAkZ.net

スレチ

451 ：デフォルトの名無しさん：2024/04/25(木) 19:35:00.54 ID:qJxknH9s.net

物理をプログラミングって

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

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

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

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

別のこと

452 ：デフォルトの名無しさん：2024/04/25(木) 19:48:06.98 ID:+T+qvOw+.net

その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな

453 ：デフォルトの名無しさん：2024/04/26(金) 00:22:39.50 ID:v8FaoBvR.net

本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か？

454 ：デフォルトの名無しさん：2024/04/26(金) 02:36:24.00 ID:YMX+rGLs.net

じゃあプログラミングをプログラミングするには？

455 ：デフォルトの名無しさん：2024/04/26(金) 06:25:43.74 ID:/fL4F0G5.net

制御構文を廃止せよ

456 ：デフォルトの名無しさん：2024/04/26(金) 06:28:41.74 ID:sqJNLx+3.net

モナド
依存型

457 ：デフォルトの名無しさん：2024/04/26(金) 07:05:57.81 ID:MwB9a3Td.net

>>454
圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要

458 ：デフォルトの名無しさん：2024/04/26(金) 10:38:30.14 ID:/+TxHGye.net

プログラミングをプログラミングするといえばlispだろ

459 ：デフォルトの名無しさん：2024/04/26(金) 11:01:14.08 ID:Rfmzu2jE.net

FORTH! FORTH!!

460 ：デフォルトの名無しさん：2024/04/26(金) 11:23:32.92 ID:BpYBau1Z.net

prologじゃダメなんですか？

461 ：デフォルトの名無しさん：2024/04/26(金) 12:04:23.78 ID:/+TxHGye.net

ジェダイは可

一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ

462 ：デフォルトの名無しさん：2024/04/26(金) 12:23:42.03 ID:BpYBau1Z.net

淵さんの悪口は止めてー

463 ：デフォルトの名無しさん：2024/04/26(金) 12:23:53.06 ID:Qv/2Ju5X.net

Use the Forth, Luke.

464 ：デフォルトの名無しさん：2024/04/26(金) 14:58:11.95 ID:XmG4rE99.net

コルーチンは普遍的だ

465 ：デフォルトの名無しさん：2024/04/26(金) 15:41:42.09 ID:/+TxHGye.net

同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道

466 ：デフォルトの名無しさん：2024/04/26(金) 15:54:00.95 ID:XmG4rE99.net

コルーチンは関数ではない

467 ：デフォルトの名無しさん：2024/04/26(金) 17:20:22.24 ID:SscvQYbj.net

なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど

468 ：デフォルトの名無しさん：2024/04/26(金) 17:28:01.02 ID:BpYBau1Z.net

言論の自由だ

469 ：デフォルトの名無しさん：2024/04/26(金) 17:47:43.85 ID:XmG4rE99.net

依存性の注入
継続渡し

470 ：デフォルトの名無しさん：2024/04/26(金) 18:43:55.22 ID:hVnzlfRF.net

∃.elim(h, (w) => ((hw) => q))

471 ：デフォルトの名無しさん：2024/04/26(金) 18:51:28.19 ID:hVnzlfRF.net

append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)

472 ：デフォルトの名無しさん：2024/04/26(金) 18:55:54.57 ID:/+TxHGye.net

>>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった

473 ：デフォルトの名無しさん：2024/04/26(金) 22:45:29.55 ID:hVnzlfRF.net

Megumin

474 ：デフォルトの名無しさん：2024/04/27(土) 01:20:53.97 ID:e525gwYe.net

>>467
1ミリも関係ないもの同士がじつは同型だったみたいな感じ？
何もしてないのに同型

475 ：デフォルトの名無しさん：2024/04/27(土) 14:04:36.05 ID:5FYmDggB.net

lambdaはghost componentを扱えるからな
Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る

476 ：デフォルトの名無しさん：2024/04/27(土) 15:14:22.70 ID:VoduIlph.net

プログラミング言語論とか本当に役に立たないからな

477 ：デフォルトの名無しさん：2024/04/27(土) 17:07:16.37 ID:nw1MgPev.net

割り当てられたメモリの値を変更できる時点で数学はできない

478 ：デフォルトの名無しさん：2024/04/28(日) 01:44:22.22 ID:rN6WPJxf.net

つまりプログラミングは数学よりも強力ということ

479 ：デフォルトの名無しさん：2024/04/28(日) 09:02:04.37 ID:0uI3fhfO.net

プログラミングは数学もできるしアルゴリズムも書ける

480 ：デフォルトの名無しさん：2024/04/28(日) 09:28:31.16 ID:xSCCuQGd.net

自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力

481 ：デフォルトの名無しさん：2024/04/28(日) 10:15:43.02 ID:Z64LYgN7.net

雑談もできる

482 ：デフォルトの名無しさん：2024/04/28(日) 11:14:59.05 ID:Z64LYgN7.net

盛り上がるいいスレ

483 ：デフォルトの名無しさん：2024/04/28(日) 11:35:47.04 ID:QLrqknwf.net

ハスケルはモナドで副作用を扱うって本当？

484 ：デフォルトの名無しさん：2024/04/28(日) 11:43:27.30 ID:xSCCuQGd.net

基本はIOモナドとSTモナドで副作用を扱える
let x = print 1 in x>>x>>x
↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える

485 ：デフォルトの名無しさん：2024/04/28(日) 12:01:18.22 ID:UWVjL+Gl.net

>>483
嘘

486 ：デフォルトの名無しさん：2024/04/28(日) 13:34:31.41 ID:451AX1n4.net

モナドはListとMaybeをベースに理解しろとあれほど言ったのに

487 ：デフォルトの名無しさん：2024/04/28(日) 14:08:30.43 ID:Z64LYgN7.net

∧＿∧　　／￣￣￣￣￣
（　´∀｀）＜　オマエモナー
（　　　　） 　＼＿＿＿＿＿
｜ ｜　|
（_＿）＿）

488 ：デフォルトの名無しさん：2024/04/30(火) 15:21:29.13 ID:3Q7tAM30.net

モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない

489 ：デフォルトの名無しさん：2024/05/02(木) 10:21:11.74 ID:6yj3jofJ.net

OEISとか数学の数列をプログラミングしてるサイトだな
project eulerを解くとき参考になった

490 ：デフォルトの名無しさん：2024/05/03(金) 07:58:46.22 ID:0CJEHho2.net

モジュラ計算はマルチコアに依存するからプログラミングではできない

491 ：デフォルトの名無しさん：2024/05/03(金) 10:55:40.47 ID:VWU4jyai.net

モジラーや、モジラーや♪

492 ：デフォルトの名無しさん：2024/05/03(金) 11:30:26.90 ID:x0ve7rFX.net

マルチコアの処理をするコードもプログラミングの範疇だが

493 ：デフォルトの名無しさん：2024/05/03(金) 12:01:30.25 ID:KP5VxXzU.net

モナドはわかるがコモナドがわからない

494 ：デフォルトの名無しさん：2024/05/03(金) 13:18:55.82 ID:VWU4jyai.net

マゴモナド

495 ：デフォルトの名無しさん：2024/05/03(金) 13:30:27.46 ID:x0ve7rFX.net

大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる

496 ：デフォルトの名無しさん：2024/05/03(金) 15:22:02.36 ID:ctk/xevC.net

対象と関手を同一視したいな？
はい対角関手

497 ：デフォルトの名無しさん：2024/05/03(金) 15:23:58.60 ID:VWU4jyai.net

対角拳

498 ：デフォルトの名無しさん：2024/05/03(金) 16:09:54.34 ID:NI13qzeL.net

半単純リー代数の分類も知らぬザコめが

499 ：デフォルトの名無しさん：2024/05/03(金) 16:51:49.76 ID:VWU4jyai.net

ボウフラを食べる雑魚

500 ：デフォルトの名無しさん：2024/05/03(金) 18:02:13.91 ID:VWU4jyai.net

>>498
それをどうプログラムするんだ？

501 ：デフォルトの名無しさん：2024/05/03(金) 20:15:19.00 ID:m2Di0Yp8.net

>>500
それを考えるスレだろアホかお前

502 ：デフォルトの名無しさん：2024/05/03(金) 20:18:12.49 ID:KP5VxXzU.net

考える気があるやつなんかいるかよボケ

503 ：デフォルトの名無しさん：2024/05/03(金) 20:26:19.76 ID:x0ve7rFX.net

モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる

504 ：デフォルトの名無しさん：2024/05/03(金) 20:39:18.66 ID:S3Ew+Xh3.net

>>503
お前進歩しないな

505 ：デフォルトの名無しさん：2024/05/03(金) 20:56:58.08 ID:x0ve7rFX.net

趣味だからいいんだよ 骨っこたーべーてー

506 ：デフォルトの名無しさん：2024/05/03(金) 21:53:18.28 ID:VWU4jyai.net

>>501
知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿
>半単純リー代数の分類も知らぬザコめが

507 ：デフォルトの名無しさん：2024/05/04(土) 00:53:24.00 ID:W7qwuJvR.net

書き込むごとに無知を晒すアホ

508 ：デフォルトの名無しさん：2024/05/04(土) 10:17:00.64 ID:F0cx6LpK.net

ポエムを書くにはちょうどいいネタ

509 ：デフォルトの名無しさん：2024/05/04(土) 23:34:00.17 ID:GgxGcrxO.net

素数と自然数、どっちが先？

510 ：デフォルトの名無しさん：2024/05/04(土) 23:36:43.06 ID:5BNMHTWk.net

乗法モノイド構造から、環構造を復元できるか？

511 ：デフォルトの名無しさん：2024/05/05(日) 00:03:10.41 ID:BDRFhWHf.net

はじめに空間と場としよう
エレメンタリーには場ありきだ
結論から言ってqは最大公約数的

512 ：デフォルトの名無しさん：2024/05/05(日) 00:07:03.48 ID:BDRFhWHf.net

pを取ると
盲目的崖っぷちに近い
1, 2, 3, と数えても
とわに埋まらないものがある
だから存在するとしよう

513 ：デフォルトの名無しさん：2024/05/05(日) 00:08:02.74 ID:BDRFhWHf.net

ここで疑問じゃ
それが本当に正しい解釈か？
わたしたち
擬似的なストーリーに
惑わされてやしないか？

514 ：デフォルトの名無しさん：2024/05/05(日) 00:09:27.68 ID:BDRFhWHf.net

なぜ、針の先端
のようなものから
セメント流しこむのか？
本当にそれで合ってる？

515 ：デフォルトの名無しさん：2024/05/05(日) 00:10:30.47 ID:BDRFhWHf.net

種がわれた未来では
構成は簡単だ
しかし本質は
未知に近い

516 ：デフォルトの名無しさん：2024/05/05(日) 00:15:03.97 ID:BDRFhWHf.net

さて
そもそもこれは何じゃ？
元はモジュロじゃ
しかし全体はわからんから
一部だけ見る

517 ：デフォルトの名無しさん：2024/05/05(日) 00:16:19.37 ID:BDRFhWHf.net

まず、トリビアル
これが逆説的に難しい
何も出てこないから
そこで変形する
近視眼的になる

518 ：デフォルトの名無しさん：2024/05/05(日) 00:18:03.87 ID:BDRFhWHf.net

どこかに、綻び・縺れがあった
それを回避した形じゃ
これが柔軟な考え方を
可能にする儂らに

519 ：デフォルトの名無しさん：2024/05/05(日) 00:19:26.21 ID:BDRFhWHf.net

答えがわかれば
カヴァーは簡単だ
あとはまとめればいい

520 ：デフォルトの名無しさん：2024/05/05(日) 00:20:11.96 ID:BDRFhWHf.net

結論から言うと
全部の駅を合わせる
ただそれだけ

521 ：デフォルトの名無しさん：2024/05/05(日) 13:19:56.22 ID:7WTeO/Yw.net

結論からいうとqは最大公約数的で全部の駅を合わせればいいんだな
わかった。

522 ：デフォルトの名無しさん：2024/05/05(日) 16:39:16.87 ID:/mYn2+os.net

なんか小難しいスレに迷い込んでしまった
ここまでをまとめると、モナドはオワコンということでOK?

523 ：デフォルトの名無しさん：2024/05/05(日) 18:23:09.48 ID:raEbTx5v.net

スレタイ読めよ

524 ：デフォルトの名無しさん：2024/05/05(日) 20:31:07.15 ID:7WTeO/Yw.net

>>522 まず、トリビアル
結論から言うと擬似的なストーリーに惑わされてやしないか？

525 ：デフォルトの名無しさん：2024/05/06(月) 00:51:10.23 ID:gOZqaVA4.net

どんぐりが足りないと言われてしまう。

526 ：デフォルトの名無しさん：2024/05/06(月) 01:47:37.82 ID:S9z+7FUo.net

惑いは現象であり物ではない
物を変えることなく、惑うことも惑わないこともありうる

527 ：デフォルトの名無しさん：2024/05/06(月) 09:14:01.68 ID:ZgM9kjEK.net

トリビアルさんがsageを覚えたようだ
これが柔軟な考え方を可能にする儂らに

528 ：デフォルトの名無しさん：2024/05/06(月) 11:19:11.95 ID:AfAuGHgh.net

第二量子化と関係ある？

529 ：デフォルトの名無しさん：2024/05/06(月) 11:46:55.88 ID:gOZqaVA4.net

数は何かのエネルギー場らしい

530 ：デフォルトの名無しさん：2024/05/06(月) 12:03:02.98 ID:gd5I0tjN.net

エバQはあくまで共通部分だから中身スッカスカ
もっと一点集中しないと

531 ：デフォルトの名無しさん：2024/05/06(月) 12:18:36.69 ID:TmmkktzA.net

なぜ一点集中すると埋まるのか？

532 ：デフォルトの名無しさん：2024/05/06(月) 12:45:48.79 ID:TmmkktzA.net

そして集めてくる

533 ：デフォルトの名無しさん：2024/05/06(月) 20:50:00.51 ID:kPNEJGK+.net

標準型は常に全関数だ
なぜか？
積分という手法だからだ