[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
851: デフォルトの名無しさん [sage] 2025/01/16(木) 18:56:00.70 ID:DBY13IoQ(2/2) AAS
でも役に立たないでしょ
少しは文章読めよガイジ
852: デフォルトの名無しさん [sage] 2025/01/16(木) 20:35:27.89 ID:FAOk1woG(1/2) AAS
型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな
853: デフォルトの名無しさん [sage] 2025/01/16(木) 20:51:11.29 ID:Wo2SWLBc(1) AAS
複素数型も四元数型も定義可能だし、GPUに組み込んで高速で並列演算できるようにしてやれば科学界に革命を起こせるな
854: デフォルトの名無しさん [sage] 2025/01/16(木) 21:51:56.76 ID:zFtBKiS0(1) AAS
処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する
855: デフォルトの名無しさん [sage] 2025/01/16(木) 22:19:04.03 ID:FAOk1woG(2/2) AAS
研究者の名前がなかなか思い出せなかったがGriffinだな POPL 1990
856: デフォルトの名無しさん [sage] 2025/01/16(木) 22:28:22.29 ID:l7++KB1R(1) AAS
イマドキ型のない言語なんて、即席のスクリプトくらいにしか使わんでしょ
857(1): デフォルトの名無しさん [sage] 2025/01/16(木) 22:31:22.46 ID:IceLMl7e(1/2) AAS
代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること
858: デフォルトの名無しさん [sage] 2025/01/16(木) 22:36:34.50 ID:IceLMl7e(2/2) AAS
人類未曾有のソフトウェアを書くならともかく、巷のプログラムの9割近くのコードはただデータを整形してマッピングしてるだけ
あとの一割は既存のライブラリの呼び出し
現代のプログラミング言語の型システムがあれば、IDEの入力補完に従ってるだけでバグの無いコードが書ける
画面にらみつけてロジック確認なんかしてんのはただのアホ
859: デフォルトの名無しさん [sage] 2025/01/16(木) 22:51:04.55 ID:fgdrajER(1) AAS
しかし、それができるなら動的型付けの言語でもエディタが構文から型推論すれば同じことができるのでは？
860: デフォルトの名無しさん [sage] 2025/01/16(木) 23:35:14.70 ID:N/7GMQUm(1) AAS
ところがどっこい
型注釈無しでは型推論ができない、あるいはエラーにすべきか型チェッカが判定できないケースが存在する
まず簡単なのは、ユニオン型だ
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]
という使われ方をしていても、チェックに通ってしまうことになる
リフレクションやメタプログラミングをしている場合も勿論、コードだけから型推論するのは困難だ
逆に言えば、このようなケースに適切に型注釈をつければ、その他の部分は推論できるようになるので、生産性が格段に上がる
861: デフォルトの名無しさん [sage] 2025/01/17(金) 04:10:24.01 ID:VwDpqJJw(1) AAS
なんかグダグダ言ってるけどそれ形式論理なしでできるよね
この話の発端は形式論理が役に立たないってことであって，型が役に立たないって話じゃないよ
862: デフォルトの名無しさん [sage] 2025/01/17(金) 06:49:41.95 ID:b1HMrou3(1) AAS
単純に、お前の話に誰も興味ないから話題が変わっただけでは
863: デフォルトの名無しさん [sage] 2025/01/17(金) 09:10:34.70 ID:qO2eRSGs(1) AAS
ocamlなんかは型推論の健全性と完全性を備えているから
どんな式でも型がつくし、型エラーがでなければ正しいプログラムになるというのが保証されてる
健全性と完全性をどちらか捨てるとしたら完全性なので、そういう言語は型注釈が必要になる
864: デフォルトの名無しさん [sage] 2025/01/17(金) 16:31:58.98 ID:tFlne/Xr(1) AAS
まぁ形式論理も時相論理もプログラミングには何の恩恵もないわな
865(2): デフォルトの名無しさん [] 2025/01/17(金) 16:59:57.91 ID:GO6/DX25(1) AAS
CSは数学を一部利用するが
数学はCSなんて知らんがな状態
866(1): デフォルトの名無しさん [sage] 2025/01/17(金) 18:01:24.36 ID:7aS9Z/2O(1) AAS
学問にコンプレックス持ってる人って、みっともないね。
867: デフォルトの名無しさん [sage] 2025/01/17(金) 20:14:27.37 ID:b0CV3tPB(1) AAS
>>857
パラメータ多相のジェネリックな型は特に制約を指定しなければ任意の型がOK何でもありだけど
何の型でもありということは使える範囲も極めて狭いというか
言語によってはprintすることすら任意の型が可能派と必ずしも可能とは限らない派もあり曖昧で
何らかの制約を指定しないと何の処理もできないためその型の値をそのまま返すことしかできなくなってしまう
つまりジェネリック型パラメータに対する制約記述がカギとなる
868(2): デフォルトの名無しさん [sage] 2025/01/18(土) 08:09:37.99 ID:eX+b185R(1) AAS
>>866
多分コンプレックスとかじゃなくて無駄なものを持ち込まずにシンプルにしておきたいってだけじゃない
869(1): デフォルトの名無しさん [sage] 2025/01/18(土) 08:45:22.05 ID:BE7PGd83(1) AAS
>>865 数学が専門の人がどんどんCSに入ってきて内容が高度化してるって聞いたぞ俺は
870: デフォルトの名無しさん [] 2025/01/18(土) 10:15:15.14 ID:ERaUWL8N(1) AAS
シンプレックスでコンプレックス
871(1): デフォルトの名無しさん [] 2025/01/18(土) 11:19:59.28 ID:7Jaib8zo(1) AAS
なんでコンプレックスの話が出て来てるのかさっぱり判らん
>>869
それこそ >>865 の説を補強してるだけじゃないの
872: デフォルトの名無しさん [sage] 2025/01/18(土) 11:57:14.53 ID:xEXW43By(1) AAS
>>868
イミフ
873(1): デフォルトの名無しさん [sage] 2025/01/18(土) 12:09:19.43 ID:pstj5VhN(1/2) AAS
>>868
数学やCSを持ち込んで対象が複雑になると思ってるのは、
自分が理解できないものにコンプレックス持ってるからだよ
理論を作って対象が複雑になることはあり得ない
874: デフォルトの名無しさん [sage] 2025/01/18(土) 12:14:10.21 ID:pstj5VhN(2/2) AAS
>>873
一筆書きして最初の場所に戻ってこられるか、は複雑な問題
グラフのすべての頂点から出ている辺の数が偶数、というのは単純な問題
グラフ理論を持ち込んで問題が複雑になったというのは、
頂点・辺・偶数・奇数などの概念が理解できないから
それは数学に対するコンプレックスにほかならない
875: デフォルトの名無しさん [sage] 2025/01/18(土) 12:39:38.25 ID:84F6tYk8(1) AAS
>>871 P=NP予想とかCSの問題も数学で扱われてるんだから知らんがな状態ではないと思う
876(1): デフォルトの名無しさん [sage] 2025/01/18(土) 15:06:03.89 ID:2/LPmLwt(1) AAS
プログラミングに必要な数学は数値計算で使う数学くらいか？
微積と線形
圏論がプログラミングで無意味なのは誰でもわかるか
877: デフォルトの名無しさん [sage] 2025/01/18(土) 15:34:34.81 ID:28NAL8Fg(1) AAS
>>876
プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル
878: デフォルトの名無しさん [sage] 2025/01/18(土) 15:41:30.33 ID:Zj1ghav+(1) AAS
反論になってないなぁ
879: デフォルトの名無しさん [sage] 2025/01/18(土) 16:26:51.31 ID:xuSYONRy(1) AAS
プログラミングに数学はいくらでも使うことができる
プログラミングに使う数学とか言ってんのは、ただ単に自分が数学を学びたくないだけ
880: デフォルトの名無しさん [sage] 2025/01/19(日) 12:35:56.76 ID:fNMlPpUq(1) AAS
Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き
881(1): デフォルトの名無しさん [sage] 2025/01/20(月) 01:24:19.62 ID:8nHIoBfi(1) AAS
型＝命題
項＝証明
この対応は、通常のプログラミングでも同様
そう思えないってことは、型の使い方が大雑把すぎるってこと
882: デフォルトの名無しさん [sage] 2025/01/20(月) 06:41:50.30 ID:qtJTpWnY(1) AAS
>>881
お前のソースコード見せてくれよ
どんだけ立派なのか拝ませてくれ
883: デフォルトの名無しさん [sage] 2025/01/20(月) 08:41:47.10 ID:jEcxLOMX(1) AAS
立派とは？
884: デフォルトの名無しさん [sage] 2025/01/20(月) 08:45:50.71 ID:VdwKz6kz(1) AAS
int i=10;
char c='a';
printf("%d\n",i+c);
こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう
885: デフォルトの名無しさん [sage] 2025/01/20(月) 09:06:44.29 ID:3GFrNXKp(1) AAS
C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks(1) AAS
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
887(1): デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40(1) AAS
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN(1/2) AAS
自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される
という思考に人類は依存しすぎている
半導体は自作できないかもしれないが数学は紙媒体でもできる
889: デフォルトの名無しさん [] 2025/01/24(金) 10:45:51.66 ID:QSEbyU6x(1/2) AAS
正直、Rustに心酔してる奴って、程度が低すぎ・・・
PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ
だが、しょせんはまだ従来型のプログラミング言語
人間の思考ほどの表現力は無い
890: デフォルトの名無しさん [] 2025/01/24(金) 10:51:55.41 ID:QSEbyU6x(2/2) AAS
言っちゃ悪いが、人間の知能は平等ではない
ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる
しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる
891(1): デフォルトの名無しさん [] 2025/01/24(金) 11:18:52.70 ID:YFrK1zgU(1) AAS
ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない
連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない
が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN(2/2) AAS
振舞いを自動化しろと言われるのと判断は人間の責任っていうのは
振舞いと判断を区別すれば矛盾しないんだけど
「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s(1) AAS
>>887
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い
さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
894: デフォルトの名無しさん [sage] 2025/01/25(土) 03:45:14.01 ID:LC7IJQQw(1) AAS
構ってもらえる相手を探し求めさまよう某
895(1): デフォルトの名無しさん [sage] 2025/01/25(土) 10:55:48.38 ID:iLzbIZXE(1/3) AAS
>>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね
896: デフォルトの名無しさん [sage] 2025/01/25(土) 11:31:31.34 ID:wB2yLAW7(1) AAS
新商品を作ることにより今後の支障がなくなるといつから錯覚していた
897(1): デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK(1) AAS
>>895
すでに表記の体系はある
CS畑のやつが処理系を作ればいい
898: デフォルトの名無しさん [sage] 2025/01/25(土) 17:09:03.97 ID:JNkrrIX3(1) AAS
ここまでWolframの話題なし
899: デフォルトの名無しさん [sage] 2025/01/25(土) 17:25:15.44 ID:W3I6NstP(1) AAS
rustがどうのとかいってるレベルだからね
900(2): デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE(2/3) AAS
>>897 それはMathematicaじゃダメなん？
表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？
CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh(1) AAS
>>900
だめに決まってるじゃん
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB(1) AAS
>>900
Mathematicaは数式処理システムだ
903(1): デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE(3/3) AAS
数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの
グレブナー基底とかならRisa/Asirとか群論ならgapとか
多分数学の分野ごとにソフトウェアがあるのが現状だと思う
904: デフォルトの名無しさん [] 2025/01/25(土) 23:20:00.08 ID:T4wakzBv(1) AAS
内容がわからないなら無理に書き込まなくていいのに
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+(1/3) AAS
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
906: デフォルトの名無しさん [] 2025/01/26(日) 07:09:22.82 ID:8U3hDZ20(1) AAS
>>903
アホすぎて返す言葉もない
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH(1) AAS
ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな
908: デフォルトの名無しさん [sage] 2025/01/26(日) 15:13:07.48 ID:RxnNQ4s+(2/3) AAS
試験はギリギリ解けないレベルまで難化する
トーナメントは敗者で埋め尽くされる
909: デフォルトの名無しさん [] 2025/01/26(日) 20:27:15.66 ID:m+VDOodg(1) AAS
レベル、経験値、ポイント、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.65 ID:BcwcPe/+(1) AAS
ドリル優子が大臣に
911: デフォルトの名無しさん [sage] 2025/01/26(日) 22:29:07.43 ID:RxnNQ4s+(3/3) AAS
経験的なデータはリセットできるからリセット不可能なものと分断されたり見下されたりする
912: デフォルトの名無しさん [] 2025/01/26(日) 22:57:02.10 ID:s+0AyHDZ(1) AAS
ごみはしんでもごみ
913: デフォルトの名無しさん [] 2025/01/27(月) 08:24:35.73 ID:Lwj4/s6G(1) AAS
そう言えばPASCALのスレ無くなってるな
(ObjectPASCALやDelphi除く)
914: デフォルトの名無しさん [] 2025/01/28(火) 00:55:22.49 ID:IzCMkZvk(1/3) AAS
スレタイ、レス件数、スレ作成日、投稿時刻に4や13、忌み数字を使って嫌がらせするネットストーカー、SNSストーカー業者がキモすぎ
4や13などの忌み数字と以下の情報、ポケベル暗号の数字などを（近い位置の並びで）組み合わせて使われていたら嫌がらせの可能性高し。
・名前やニックネーム
・生年月日
・住所、番地
・車のナンバー
・電話番号やメールアドレス
915: デフォルトの名無しさん [] 2025/01/28(火) 00:57:38.03 ID:IzCMkZvk(2/3) AAS
業者の嫌がらせ数字組み合わせ
.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.47 ID:IzCMkZvk(3/3) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
917(1): デフォルトの名無しさん [] 2025/01/28(火) 10:01:48.23 ID:dqvH8r5C(1) AAS
暗号化技術とガロア体の関係を教えて下さい
918: デフォルトの名無しさん [sage] 2025/01/28(火) 15:48:49.65 ID:fgheZtrX(1) AAS
>>917
暗号化技術でガロアとの肉体関係
919: デフォルトの名無しさん [] 2025/01/29(水) 21:16:18.67 ID:VEYwrfKC(1) AAS
忌み数字を踏ませる業者、アプリ、コンピュータプログラムの嫌がらせ
動画再生回数、表示回数、登録者数、フォロワー数、評価数、コメント数、レベル、経験値、ポイント、HP、通貨、価格、メッセージ数、通知数、フレンド数
4（死）、13（キリスト教における忌み数字）
18（嫌）、24（〜に死）、34（〜さん死）
40、42、44
56（殺）、64（無視）
71（無い）、74（無し）、79（無く、亡く）
84（〜は死）、94（〜君死）、96（黒）
このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。
920: デフォルトの名無しさん [sage] 2025/01/30(木) 01:47:43.22 ID:pmUo+geg(1) AAS
サブタイピングは本当に必要なのか？
921: デフォルトの名無しさん [sage] 2025/01/30(木) 06:49:31.93 ID:b37CpeH6(1) AAS
サブタイピングはトポス
922: デフォルトの名無しさん [] 2025/01/31(金) 21:06:58.24 ID:SiR55I1h(1) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ
忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ
923: デフォルトの名無しさん [sage] 2025/02/01(土) 11:40:33.63 ID:sUYLXBXm(1) AAS
お薬のもうね
171 いいないい
174 いいな良い
179 いいな休憩
180 飛躍(百) ハッピー 自由(十)
184 飛躍 ハッピー 幸せ
924: デフォルトの名無しさん [] 2025/02/02(日) 23:57:45.05 ID:Drgu6Qh4(1) AAS
口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ
例
4（死）、13（キリスト教における忌み数字）
18（嫌）、24（〜に死）、34（〜さん死）
40、42、44
56（殺）、64（無視）
71（無い）、74（無し）、79（無く、亡く）
84（〜は死）、94（〜君死）、96（黒）
忌み数字や不吉を連想させる数字が表示されやすくなるウイルスを業者が仕込んでるっていうね。
925: デフォルトの名無しさん [sage] 2025/02/03(月) 11:27:08.47 ID:WyTS2dKB(1) AAS
お薬のもうね
926: デフォルトの名無しさん [] 2025/02/03(月) 12:07:03.75 ID:wBItYUjQ(1) AAS
3が付くときと3の倍数でアホになる
927: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:17.64 ID:D+cWD+hu(1/3) AAS
無から有は生じない
928: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:31.17 ID:D+cWD+hu(2/3) AAS
型はクライスリ圏の対象
929: デフォルトの名無しさん [sage] 2025/02/03(月) 17:59:07.77 ID:D+cWD+hu(3/3) AAS
極限は普遍性
普遍性は表現
すべてはカン拡張
930: デフォルトの名無しさん [sage] 2025/02/03(月) 19:18:40.28 ID:zeOU8J2H(1) AAS
スケッチ→スキャッフォルド→スキーマ
これが数学的プログラミングの骨格
931: デフォルトの名無しさん [sage] 2025/02/03(月) 21:26:57.77 ID:lZjIFBNe(1) AAS
とりあえずフロントエンドは度外視
あれはJSで動かせるただのオモチャ
932: デフォルトの名無しさん [sage] 2025/02/03(月) 23:48:49.59 ID:XBLKOMOL(1) AAS
仕様記述言語というのがあってだな
933: デフォルトの名無しさん [sage] 2025/02/04(火) 02:03:30.03 ID:axINJClc(1) AAS
装飾と結合
934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx(1) AAS
モナド
再帰と不動点コンビネータ
継続と背理法
935: デフォルトの名無しさん [] 2025/02/04(火) 12:25:57.48 ID:AbihjpY6(1) AAS
BNF
936: デフォルトの名無しさん [sage] 2025/02/04(火) 15:34:32.31 ID:uhr4OKyS(1) AAS
普遍性は不動点である
937: デフォルトの名無しさん [sage] 2025/02/04(火) 20:57:39.48 ID:Oeo4Jry5(1) AAS
Wolfram Languageの使い方を聞きに来たんだが
新しくスレ立てた方がよい？
938: デフォルトの名無しさん [sage] 2025/02/04(火) 21:27:36.82 ID:Es9g2xhz(1) AAS
そうだな
939: デフォルトの名無しさん [sage] 2025/02/04(火) 21:28:19.56 ID:kCOYqPIc(1) AAS
存在は普遍性
普遍性は極限
極限は不動点
つまり、存在は不動点
940: デフォルトの名無しさん [sage] 2025/02/05(水) 02:27:52.17 ID:yJbYA8kV(1) AAS
場の臨界点
941: デフォルトの名無しさん [sage] 2025/02/05(水) 02:28:44.71 ID:95a7ceRY(1) AAS
局所大域原理
942: デフォルトの名無しさん [] 2025/02/05(水) 14:45:57.05 ID:RWIQAOlp(1) AAS
ゲスの極値乙女
943: デフォルトの名無しさん [sage] 2025/02/05(水) 23:44:40.38 ID:IbLGMnEN(1) AAS
カタリロン
944(1): デフォルトの名無しさん [sage] 2025/02/06(木) 07:56:01.83 ID:2B877/qC(1) AAS
米田埋込み
945: デフォルトの名無しさん [sage] 2025/02/06(木) 10:34:59.56 ID:06aICcsP(1) AAS
>>944
事件かな？
946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y(1) AAS
コンパイラを書け
947: デフォルトの名無しさん [sage] 2025/02/06(木) 21:04:29.07 ID:guqgasQB(1) AAS
継続指向言語
モナド指向言語
948(1): デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE(1/2) AAS
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？
949(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:10:35.99 ID:hwCUy5RI(1) AAS
全部記述って何？w
950(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:14:20.21 ID:m0cItbCE(2/2) AAS
>>949
ゲーテルの不完全性定理って知ってる？
上下前次1-新書関写板覧索設栞歴
あと 52 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s