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

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

432: 2024/04/24(水)20:37 ID:8tkXCVQE(1) AAS
型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる

433: 2024/04/24(水)20:39 ID:H3cF+EGE(2/2) AAS
楽になるなんて誰が言ったんだ

434: 2024/04/24(水)21:00 ID:qYUcXmw2(5/5) AAS
「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった

435: 2024/04/24(水)21:01 ID:sd26LqbM(7/7) AAS
ソフトウェアは道具だろ、ボケ

436: 2024/04/24(水)21:45 ID:W5xC8R60(1/7) AAS
高崎
常磐

437: 2024/04/24(水)21:45 ID:W5xC8R60(2/7) AAS
コドモイド

438: 2024/04/24(水)21:46 ID:W5xC8R60(3/7) AAS
ポイントカードと熱線

439: 2024/04/24(水)21:46 ID:W5xC8R60(4/7) AAS
糸が砕けました

440: 2024/04/24(水)21:48 ID:W5xC8R60(5/7) AAS
ああっ、ナメクジみたいな篦が目の裏に浮かんでくる～っ！！

441: 2024/04/24(水)21:49 ID:W5xC8R60(6/7) AAS
ばあちゃん、ボイパで米研ぐふりするな

442: 2024/04/24(水)21:52 ID:W5xC8R60(7/7) AAS
縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー

443: 2024/04/25(木)05:45 ID:zFonvm9V(1/2) AAS
群青色のふとんカバー
ルートを見るより田中社長

444: 2024/04/25(木)11:27 ID:JREeyAkZ(1/2) AAS
効いてるな

445: 2024/04/25(木)12:40 ID:zFonvm9V(2/2) AAS
サッポー「楡の木陰に高島さん」～ダンディな占い師伝説

446: 2024/04/25(木)14:35 ID:XMEAkwKC(1/2) AAS
じゃあ、物理をプログラミングするには？

447: 2024/04/25(木)14:36 ID:XMEAkwKC(2/2) AAS
じゃあ、物理をプログラミングするには？

448: 2024/04/25(木)14:36 ID:iaYqsq7d(1) AAS
じゃあ、物理をプログラミングするには？

449: 2024/04/25(木)15:14 ID:VKvfdxmp(1) AAS
Unity一択

450: 2024/04/25(木)17:48 ID:JREeyAkZ(2/2) AAS
スレチ

451: 2024/04/25(木)19:35 ID:qJxknH9s(1) AAS
物理をプログラミングって

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

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

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

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

別のこと

452: 2024/04/25(木)19:48 ID:+T+qvOw+(1) AAS
その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな

453: 2024/04/26(金)00:22 ID:v8FaoBvR(1) AAS
本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か？

454(1): 2024/04/26(金)02:36 ID:YMX+rGLs(1) AAS
じゃあプログラミングをプログラミングするには？

455: 2024/04/26(金)06:25 ID:/fL4F0G5(1) AAS
制御構文を廃止せよ

456: 2024/04/26(金)06:28 ID:sqJNLx+3(1) AAS
モナド
依存型

457: 2024/04/26(金)07:05 ID:MwB9a3Td(1) AAS
>>454
圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要

458: 2024/04/26(金)10:38 ID:/+TxHGye(1/4) AAS
プログラミングをプログラミングするといえばlispだろ

459: 2024/04/26(金)11:01 ID:Rfmzu2jE(1) AAS
FORTH! FORTH!!

460: 2024/04/26(金)11:23 ID:BpYBau1Z(1/3) AAS
prologじゃダメなんですか？

461: 2024/04/26(金)12:04 ID:/+TxHGye(2/4) AAS
ジェダイは可

一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ