[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
922: 01/31(金)21:06 ID:SiR55I1h(1) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ
忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ
923: 02/01(土)11:40 ID:sUYLXBXm(1) AAS
お薬のもうね
171 いいないい
174 いいな良い
179 いいな休憩
180 飛躍(百) ハッピー 自由(十)
184 飛躍 ハッピー 幸せ
924: 02/02(日)23:57 ID:Drgu6Qh4(1) AAS
口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ
例
4（死）、13（キリスト教における忌み数字）
18（嫌）、24（〜に死）、34（〜さん死）
40、42、44
56（殺）、64（無視）
省3
925: 02/03(月)11:27 ID:WyTS2dKB(1) AAS
お薬のもうね
926: 02/03(月)12:07 ID:wBItYUjQ(1) AAS
3が付くときと3の倍数でアホになる
927: 02/03(月)17:58 ID:D+cWD+hu(1/3) AAS
無から有は生じない
928: 02/03(月)17:58 ID:D+cWD+hu(2/3) AAS
型はクライスリ圏の対象
929: 02/03(月)17:59 ID:D+cWD+hu(3/3) AAS
極限は普遍性
普遍性は表現
すべてはカン拡張
930: 02/03(月)19:18 ID:zeOU8J2H(1) AAS
スケッチ→スキャッフォルド→スキーマ
これが数学的プログラミングの骨格
931: 02/03(月)21:26 ID:lZjIFBNe(1) AAS
とりあえずフロントエンドは度外視
あれはJSで動かせるただのオモチャ
932: 02/03(月)23:48 ID:XBLKOMOL(1) AAS
仕様記述言語というのがあってだな
933: 02/04(火)02:03 ID:axINJClc(1) AAS
装飾と結合
934: 02/04(火)03:58 ID:Mw0YRrvx(1) AAS
モナド
再帰と不動点コンビネータ
継続と背理法
935: 02/04(火)12:25 ID:AbihjpY6(1) AAS
BNF
936: 02/04(火)15:34 ID:uhr4OKyS(1) AAS
普遍性は不動点である
937: 02/04(火)20:57 ID:Oeo4Jry5(1) AAS
Wolfram Languageの使い方を聞きに来たんだが
新しくスレ立てた方がよい？
938: 02/04(火)21:27 ID:Es9g2xhz(1) AAS
そうだな
939: 02/04(火)21:28 ID:kCOYqPIc(1) AAS
存在は普遍性
普遍性は極限
極限は不動点
つまり、存在は不動点
940: 02/05(水)02:27 ID:yJbYA8kV(1) AAS
場の臨界点
941: 02/05(水)02:28 ID:95a7ceRY(1) AAS
局所大域原理
942: 02/05(水)14:45 ID:RWIQAOlp(1) AAS
ゲスの極値乙女
943: 02/05(水)23:44 ID:IbLGMnEN(1) AAS
カタリロン
944(1): 02/06(木)07:56 ID:2B877/qC(1) AAS
米田埋込み
945: 02/06(木)10:34 ID:06aICcsP(1) AAS
>>944
事件かな？
946: 02/06(木)21:00 ID:75UI+75Y(1) AAS
コンパイラを書け
947: 02/06(木)21:04 ID:guqgasQB(1) AAS
継続指向言語
モナド指向言語
948(1): 02/06(木)22:34 ID:m0cItbCE(1/2) AAS
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？
949(1): 02/06(木)23:10 ID:hwCUy5RI(1) AAS
全部記述って何？w
950(1): 02/06(木)23:14 ID:m0cItbCE(2/2) AAS
>>949
ゲーテルの不完全性定理って知ってる？
951(1): 02/06(木)23:31 ID:T9D6/Ohn(1) AAS
全部記述って何？
952(1): 02/06(木)23:32 ID:/3i5yGjy(1) AAS
>>950
知らんから教えて
Wikipedia見ても分からん
「初等的な自然数論を含む」って何？
「有限の立場」って何？
説明してね
953(1): 02/07(金)00:09 ID:hW+AbfK5(1) AAS
>>951
ゲーテルの不完全性定理って知ってる？
954: 02/07(金)01:46 ID:KWZjh6Se(1) AAS
>>953
知らんから教えて
>>952の内容も
955: 02/07(金)09:40 ID:xzx1dNO8(1) AAS
逐次近似法
956: 02/07(金)09:59 ID:gh02aWuS(1) AAS
スペクトル分解
957: 02/07(金)17:03 ID:QhJJc3Rt(1) AAS
トレース
958: 02/07(金)17:57 ID:hEymaDN/(1) AAS
固有値
固有多項式
959: 02/07(金)19:38 ID:zGDKiBUV(1) AAS
LU分解
特異値分解
ジョルダン分解
960: 02/07(金)23:03 ID:xWjShgR/(1) AAS
ヒルベルト空間
961: 02/08(土)12:50 ID:+3qBIV3v(1) AAS
P(A)+P(~A)!=P(A|~A)
962(1): 02/08(土)17:15 ID:2KjsmU3G(1) AAS
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない
963: 02/08(土)18:30 ID:q/D/l7Hn(1) AAS
:-p を肯定も否定もできない
964: 02/08(土)20:35 ID:r1W4t8Yl(1) AAS
>>962
定義を正確に述べよ
965: 02/11(火)08:01 ID:/RBful7r(1/3) AAS
突然ですが、数値計算てか２次補間関数作ってみたぁ
以下は筆者👤自作のjavascript言語で
ラグランジュ２次補間関数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);
省18
966: 02/11(火)08:08 ID:/RBful7r(2/3) AAS
あっそうだ、
1の階乗は1だし、2の階乗は2だし、３の階乗は6
なのだから、👤が自作のラグランジュ２次補間関数PPP
でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん
by 🥳
２次補間で、それも外側近似は近似値ですらないから
そんなんで0の階乗なんて定義するなーーー
省4
967: 02/11(火)08:52 ID:/RBful7r(3/3) AAS
🥳よ、チミは病気だ
ま、x0<x1<x2が必要と思い込むのも判るが
たとえば、
for (let x=x0; x<=x2; x++) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 が必要だが
省14
968(1): 02/12(水)03:51 ID:lmAdzys0(1/2) AAS
て、ゆぅか、病気なのは、👤だろ
for (let x=x0; x<=x2; x--) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 はダメです。∵∞ループ
かつx0>x1>x2 である事が必要だ。
スナワチ、👤が病気と言える
省20
969: 02/12(水)03:55 ID:lmAdzys0(2/2) AAS
てか、３点を通る円の方程式の一般解を教えろ
地球人よ、教えろ
一般解、だぞ。 3元連立方程式を解けばよい。
では答えになってない。
その3元連立方程式を解いた公式を教えろちゅーの
by 🤡
あのね、地球のopen aiで調べたけど、ダメだ
省8
970: 02/12(水)04:41 ID:osC1JZ7j(1) AAS
>>948
チャイティンのオメガはもっと知られてても良い筈。
971: 横方向放物線星人の怪しい呟き 02/13(木)07:01 ID:FhbTSjBw(1) AAS
>>968 👾よ。チミは、昨日のオレだな
２次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、２次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
省3
972: 02/13(木)19:48 ID:4b3jmnmv(1) AAS
カムパ
973: 02/14(金)06:28 ID:wveL+BCx(1) AAS
計算はスケッチ
証明はアセンブラ
974: 02/14(金)10:30 ID:VTViOKZQ(1) AAS
証明はスケッチの極限
975(1): 02/14(金)12:09 ID:iq1Ku00z(1) AAS
ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。
976(1): 02/14(金)18:30 ID:u9OLXtkz(1) AAS
そんなものはない
977: 02/15(土)02:43 ID:ZdJRR9Qn(1) AAS
>>976
量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。
978(1): 02/15(土)20:08 ID:HVOvloyf(1) AAS
>>975
自分で考えろ
979: 02/16(日)10:34 ID:+v+MZ0kq(1) AAS
>>978
答えられないなら黙ってろ
980: 02/16(日)14:23 ID:euivBKz6(1) AAS
女にモテる方程式教えて
981(1): 02/16(日)19:09 ID:YNSNqNCo(1/2) AAS
♪方程式で 恋の難問解けるなら
誰の曲だっけ
982(1): 02/16(日)19:18 ID:6CTe/u52(1) AAS
「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい
983: 02/16(日)20:09 ID:YNSNqNCo(2/2) AAS
>>981
思い出した
上級生／森口博子(1991)
ババアじゃねーか！（某Twitter漫画のノリで）
984: 02/18(火)11:15 ID:HbHlBTpR(1) AAS
>>982
判る
●●神話とかも辞めて欲しい
985: 02/18(火)22:49 ID:elcWerWt(1/2) AAS
土地神話
986: 02/18(火)22:49 ID:elcWerWt(2/2) AAS
グノーム
987(2): 02/19(水)08:41 ID:I0XIk1Cj(1) AAS
数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない
988: 02/19(水)10:15 ID:SAhYOuHj(1) AAS
数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う
989: 02/19(水)10:48 ID:UfCfSE41(1) AAS
>>987
そうやって横着すると矛盾が混ざるから気をつけたほうが……
990(1): 02/19(水)11:27 ID:Sqgkwi0D(1) AAS
プログラミング言語に欠陥があるんじゃなくて
君の頭が悪いんだろう
991: 02/19(水)15:52 ID:8rlYEoii(1/7) AAS
>>990
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう？
992: 02/19(水)15:59 ID:8rlYEoii(2/7) AAS
たとえばアセンブラには「欠陥がある」のか
もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある
が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない
ただ、高レベルのプログラムを記述するには原始的すぎるだけだ
>>987はそういうことを言っている
日本語を正しく読もう
993(1): 02/19(水)16:02 ID:94/Ld6d4(1/2) AAS
的外れな文句いうだけで何も提案できない無能
994: 02/19(水)16:10 ID:8rlYEoii(3/7) AAS
もし、現代の比較的強力なプログラミング言語（たとえばRustやHaskell）が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる
本気でそうだと思うなら、以下をやってみてくれ
任意の集合Xには、整列順序≦を入れることができる
これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること
995(1): 02/19(水)16:11 ID:8rlYEoii(4/7) AAS
>>993
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前
996: 02/19(水)16:21 ID:8rlYEoii(5/7) AAS
FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ
自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない
997(2): 02/19(水)16:21 ID:94/Ld6d4(2/2) AAS
>>995
そのニーズの具体例書いてみろよ？
どうせ使うツール間違ってるのワンパン
998: 02/19(水)16:55 ID:8rlYEoii(6/7) AAS
>>997
994をプログラミング言語で記述してみてね
999: 02/19(水)17:06 ID:8rlYEoii(7/7) AAS
>>997
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん
1000: 02/19(水)17:54 ID:V/CQ4I1a(1) AAS
意味なし
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s