X
知ってるとプログラミングに役立つ数学知識
0004デフォルトの名無しさん
垢版 |
2018/05/24(木) 22:33:55.64ID:UsIL5vRA
二辺夾角相当
0005デフォルトの名無しさん
垢版 |
2018/05/24(木) 22:38:05.05ID:VSqvIs/O
ラムダ計算
0007デフォルトの名無しさん
垢版 |
2018/05/24(木) 23:33:32.22ID:4NPLZ+zo
プログラマーの専門学校卒なのはしゃーないけど
頼むからC++出来るいう前に四捨五入くらい説明せんでも理解しておくれよ

計測器とか計算アプリ作るのにINTで処理するやつおらんやろ…専門学校いらんわ
0009デフォルトの名無しさん
垢版 |
2018/05/25(金) 22:20:14.08ID:yfYD8oRe
剰余
0010デフォルトの名無しさん
垢版 |
2018/05/26(土) 02:28:24.62ID:CaSa3+4h
フーリエ変換に自信ニキおる？
0022デフォルトの名無しさん
垢版 |
2018/05/27(日) 19:57:58.95ID:KwAda8Zq
三角関数と集合の初歩くらいは習うかなぁ・・・
教え方がヘッタクソなんで全く意味の分からん暗記科目だったけど
0024デフォルトの名無しさん
垢版 |
2018/05/27(日) 21:00:26.66ID:KwAda8Zq
>>23
座標系でなにか線があったとして、その線を同じ長さに揃えるのを正規化って言うねんな
二次元平面上だとxとyの移動量の比率で線がどこ向いてるかが分かるねん、z軸も足せば3Dでも同じ事ができる
三角関数ってのはそんな感じの奴やで
00273
垢版 |
2018/05/29(火) 06:45:10.04ID:lgjXR5TX
文系ですが
0029デフォルトの名無しさん
垢版 |
2018/06/09(土) 12:26:06.84ID:rtAwI42r
高校数学相当をやり直してるが、とりあえずあんま活きるとは思えん･･･
0030デフォルトの名無しさん
垢版 |
2018/06/09(土) 13:05:26.33ID:d0T0E8MH
数学とは意識せずに使ってるからなあ。
それよりも数学的な考え方が出来ない人の方が問題だわな。
0031デフォルトの名無しさん
垢版 |
2018/06/09(土) 13:06:01.26ID:/4cYzKSp
それは中学数学をやり直す必要があるな
0032デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:11:22.21ID:EMPQtOrh
15年組込みでやってきて実際使った数学知識を思い出してみると
・三角関数
・微積分
・ベクトル
・行列/行列式
・ラプラス変換
・一次変換とかアフィン変換とか
・円の式
・多角形の面積
こんなものか
0033デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:37:00.23ID:4/EdpGqN
競技プログラミングでは、これらの知識を総動員だな
0034デフォルトの名無しさん
垢版 |
2018/06/10(日) 02:15:35.71ID:Xfurx7Lt
GFとか拡大体とか言われているガロア理論関係
0038デフォルトの名無しさん
垢版 |
2018/06/11(月) 18:29:12.89ID:6AMv5B/d
>>30
慣れているプログラマはほぼこんな感じだろうな
めんどくさいアルゴリズムになるとライブラリ使うことも多いし
意識して使ったことがあるのは三角関数くらいしか思いつかない
0041デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:59:02.63ID:tjkq1jQ1
BASIC
0042デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:21:20.65ID:W1KluVYr
0÷0=∞
0043デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:22:06.80ID:hgxJWh+b
2で割った余りで帳票の色を一行ずつ変えるやつ
1ページあたりの出力行数で割った余りがゼロになったとき改ページするやつ
3で割った余りがゼロで四半期計を出すやつ

・・・余りしか使ってねえ！
ていうか最近帳票しか作ってねえぞ！
0045デフォルトの名無しさん
垢版 |
2018/06/12(火) 21:29:23.48ID:QyCLVLjC
せめてどういう分野で
役に立ったかは書いてくれないと
数学のキーワードが並ぶだけになってしまう
0046デフォルトの名無しさん
垢版 |
2018/06/12(火) 21:42:10.78ID:q5QgdHEz
>>42
0で除するのは定義できないのでは？
0050デフォルトの名無しさん
垢版 |
2018/06/16(土) 19:54:14.55ID:1Dz35GbM
三角関数：車のメーターの針をステッピングモーターで滑らかに動かすときに使った
0053デフォルトの名無しさん
垢版 |
2018/06/17(日) 13:53:03.26ID:4aH3tjyd
>>40
四則演算は算数の領域では終わらない
複素数、行列、有理式、4元数、...
体論は大学の専門の範疇
0054デフォルトの名無しさん
垢版 |
2018/06/18(月) 15:03:01.27ID:i1KGfyr8
三角関数は、歩く時のカメラの上下とか反復で滑らかにする時、とかに使ってるな。
0057デフォルトの名無しさん
垢版 |
2018/06/21(木) 19:51:03.04ID:G3PMV1Ez
>>32
測量ソフトを書いていて、それらを勉強した。で、殆ど中学の授業で習っていたと気づいて驚いた。
0072デフォルトの名無しさん
垢版 |
2018/06/22(金) 09:38:38.65ID:BBNQpXP6
>>70
だから何？
現存している古代の技術なんだからそりゃ使われてはいるだろ。
馬鹿はこれだから困る。
0074デフォルトの名無しさん
垢版 |
2018/06/22(金) 10:08:18.09ID:y6XXfB7Q
昔に書かれたコードが残ってたり前例踏襲で使われる事はあっても積極的に取り入れる理由は無いからやめといた方が良いとかそんな事が言いたいのでは
ちな素人
0076デフォルトの名無しさん
垢版 |
2018/06/22(金) 12:29:19.93ID:gqGFuRWk
JPEGなんて1992年の技術だからなぁ。JPEG 2000はDCTではなくてDWTだしね。
もう20年以上DCTを活用したものなんて出てきてないだろ。
0078デフォルトの名無しさん
垢版 |
2018/06/22(金) 12:42:55.32ID:gqGFuRWk
枯れて先がないものの数学的な知識なんていらないじゃん。
誰かが作った枯れたライブラリを呼ぶだけでしょ。
車輪の再発明みたいな無駄な努力がお好きな人？
0079デフォルトの名無しさん
垢版 |
2018/06/22(金) 13:04:03.25ID:9IQ7abcw
wavを再生しながらスペアナ表示させたいんだけど、どんな数学知識が
必要ですか？皆目見当もつかず行き詰ってます。
32ビットマイコンで作ってます。
wav再生はできています(PWM使用)。
言語はC or C++で、DSPは搭載してません。
範囲の異なるバンドパスフィルタを使うのかと思いますがどうでしょうか？
008679
垢版 |
2018/06/22(金) 21:42:39.67ID:9IQ7abcw
なんとなくイメージがわきました。
Excelで計算中
0087デフォルトの名無しさん
垢版 |
2018/06/23(土) 08:22:21.11ID:UiVIxiJp
FTは数学の範疇だけど
FFTは単なるFTのアルゴリズムだから
数学の範疇では無いのでは？
0088デフォルトの名無しさん
垢版 |
2018/06/23(土) 12:50:24.32ID:eQL+m/O0
>>57
すげー天才中学だな
0089デフォルトの名無しさん
垢版 |
2018/06/23(土) 12:51:30.02ID:eQL+m/O0
>>62
南無妙法蓮華経
0092デフォルトの名無しさん
垢版 |
2018/06/25(月) 07:02:56.62ID:pPgv1gOZ
HITO -> HUTA
MITU -> MUTU
YOTU -> YATU
0095デフォルトの名無しさん
垢版 |
2018/07/01(日) 00:18:26.80ID:fc6M1Ev7
趣味でやるなら
極座標やｱﾌｨﾝ変換が理解できてれば
いろいろと楽しいことができるぞ
0096デフォルトの名無しさん
垢版 |
2018/07/04(水) 21:59:52.11ID:gFgZc5FG
B6B
0097デフォルトの名無しさん
垢版 |
2018/07/05(木) 23:07:34.77ID:7v6XwIjF
YATTAMAN→COFFEE→RAITER
0098デフォルトの名無しさん
垢版 |
2018/07/06(金) 18:59:38.50ID:49COMX7t
ド・モルガン
裏表使いこなして、読み易くしよう。
0101デフォルトの名無しさん
垢版 |
2018/08/03(金) 18:56:01.43ID:qtiTN/kg
球面三角形。
0106デフォルトの名無しさん
垢版 |
2019/01/26(土) 21:09:58.96ID:W6E188Lf
ここまで郡数列なし

1列に5個表示する、とかいうやつでよく使うと思うんだが
0110デフォルトの名無しさん
垢版 |
2020/01/27(月) 14:32:15.04ID:OGVgTS3O
行列とか勉強したけど固有値でギブ
0112デフォルトの名無しさん
垢版 |
2020/02/12(水) 11:05:50.82ID:BhhuMFsI
オプティカルドライブへの書込み読込み処理の誤り補正で行列を使ったなぁ。
0113デフォルトの名無しさん
垢版 |
2020/03/13(金) 13:00:49.09ID:0cj5M/La
条件、and、orの関係

否定は全て逆の関係になる　(図に書いて考えるとよくわかる)

条件A and 条件B　の否定は　条件≠A or 条件≠B

条件A or 条件B　の否定は　条件≠A and 条件≠B

条件≠A and 条件B　の否定は　条件A or 条件≠B

条件≠A or 条件≠B　の否定は　条件A and 条件B

※ 数学の世界だとand=∀、or＝∃とも言える
0114デフォルトの名無しさん
垢版 |
2020/03/30(月) 04:27:47.31ID:BWxPCUH7
圏論
0115デフォルトの名無しさん
垢版 |
2020/03/30(月) 08:00:06.70ID:ui29a/VI
>>7
そもそも、intとfloatの違いも怪しい奴が居るから
0116デフォルトの名無しさん
垢版 |
2020/04/01(水) 03:54:01.15ID:Bo1VBV+d
圏論やるにしても、
・Product/Coproduct
・Exponential
とか基本的なUniversal constructionは、はじめから言語に備わってるし
圏論を意識しなくても使ってるだろうから、圏論を通してこれらを知っても
自分のコードの良し悪しに影響するかと言われると微妙。

圏論の重要概念Adjunctionに関しても、プログラミングに関係してくるのは
Product/Exponential adjunctionだろうけど、これも所詮ただのカリー化だから、
カリー化の背後にはAdjunctionがある！って言われても、ほとんどの人は「で？」で終わりそう。

それでもめげずに
・F-algebra <=> 再帰的データ構造
・Yoneda lemma -- 下記を扱う上で当たり前のように使う
・End/Coend <=> 全称型・存在型の好例
・Kan extenstion <=> Free construction(特にFree functorなんかは魔術的)
あたりまで踏み込むと、このあたりはプログラミングと絡めても面白い。
0118デフォルトの名無しさん
垢版 |
2020/04/07(火) 13:00:11.70ID:MYyEIK8A
普通は数学的知識は不要だよ
必要なのは数学的、理論的思考
小学校で算数が得意だったら見込みあり

数学の理論が必要になったときに調べればいい
0119デフォルトの名無しさん
垢版 |
2020/04/07(火) 15:04:36.35ID:wgfciPGx
数学知識が不要なのは底辺くらいじゃね？
「ライブラリが計算してくれるから」が答えだったら、計算が合わない時に何が違うのかわからなくなりそ
0121デフォルトの名無しさん
垢版 |
2020/04/08(水) 22:29:04.60ID:VV8vD69L
俺からすれば
みんな数学的知識や数学的思考力が無い

それ大学の教養レベルだろってことすら知らないヤツばかり
理系の大学院を出て理系の仕事につくのに
今まで何をやって来たんだと言いたい
0123デフォルトの名無しさん
垢版 |
2020/04/09(木) 16:04:14.87ID:qUK2ReYa
>>121
大卒なのにZFC公理も知らないとか論外だよな
0124デフォルトの名無しさん
垢版 |
2020/04/09(木) 16:23:59.34ID:Jilblwzi
もしかすると有限容量で実数を完全に記録する方法を思いついたかもしれない。
0125デフォルトの名無しさん
垢版 |
2020/04/09(木) 16:36:47.28ID:bPuB4yJ4
完全にの意味がわからん

どんな実数もデジタルで記録出来る
なんてフォーマットは存在しない

整数の数より実数の数の方が多いのだから当然だが
0126デフォルトの名無しさん
垢版 |
2020/04/09(木) 17:17:40.41ID:C6/PkRZa
>>119
信頼できるライブラリに投げて「計算が合わない」って自分の設計ミスしかありえない
自分のこだわりで作るとか特殊な状況じゃなければ細かい知識までいらんわ
0128デフォルトの名無しさん
垢版 |
2020/04/10(金) 04:11:27.42ID:uDvGi+nW
中学数学からはじめる微分積分
https://www.youtube.com/watch?v=4p1rwfXbCoY&;t=4341s
中学数学からはじめる相対性理論
https://www.youtube.com/watch?v=voFHToRM4xI&;t=10s
理学部と工学部の違いとは？
https://www.youtube.com/watch?v=eJH4nKU6mJA&;t=80s
大学と大学院の違い
https://www.youtube.com/watch?v=xBKAEvTegN8
東大院生がYouTuberになった理由
https://www.youtube.com/watch?v=pEqdjYJoyms
塾講師をはじめる君へ【新人講師・教師の方へ】
https://www.youtube.com/watch?v=z-EtLRtDlzY
なぜ勉強するのか
https://www.youtube.com/watch?v=Kpfae1U2uFE
高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！
https://www.youtube.com/watch?v=V9i_zlbssbs&;t=475s
数学にはどんな研究分野がある？数学の世界地図を一枚に描いて紹介してみた！
https://www.youtube.com/watch?v=fK_JGVti5y8
0129デフォルトの名無しさん
垢版 |
2020/04/10(金) 07:38:55.12ID:4WnvV4mF
>>119
その理屈で言えば、テレビが壊れた時
何が原因で壊れたのかわからなくなりそ

という、それ普通だよね？って話になる。
それを実現する技術まで知る必要はないんだよ。
お前だってCPUを実現してるシリコンの性質とかしらんやろ？
0131デフォルトの名無しさん
垢版 |
2020/04/10(金) 08:05:59.88ID:4WnvV4mF
プログラミングも同じ。
誰しもそれを実現してるライブラリや
その先のことまで考える必要はない
0132デフォルトの名無しさん
垢版 |
2020/04/10(金) 08:07:18.84ID:4WnvV4mF
そもそも数学的アルゴリズムは数学者が考えればいい
数学者はそういうことが得意だろ？餅は餅屋。
プログラマはアルゴリズムをソフトウェアで実装すればいいだけ
0136デフォルトの名無しさん
垢版 |
2020/04/10(金) 19:45:45.75ID:TdKXcRvJ
プログラミング言語で記述可能な数式や関数なんて
数学で扱える数式や関数のごくごく一部だから
0137デフォルトの名無しさん
垢版 |
2020/04/10(金) 21:28:57.38ID:13na47P+
逆にプログラミングで書かれたものを数式に出来るの？
例えばテトリスとか
0138デフォルトの名無しさん
垢版 |
2020/04/10(金) 23:01:22.40ID:TdKXcRvJ
数学者は
コンピューターが生まれるずっと前から
プログラム言語での記述の限界の研究をしてる

テトリスの記述くらい簡単
0139デフォルトの名無しさん
垢版 |
2020/04/11(土) 01:52:47.80ID:N1j4ZdSf
ルービックキューブは群論の研究対象だしテトリスも似たようなもんじゃね？
0140デフォルトの名無しさん
垢版 |
2020/04/11(土) 07:18:35.60ID:qsSqqeEW
テトリスのコードを数式で書くのと
テトリスのゲームの数学的解明とは全く違う話

ルービックキュブ群
学問としてはあまり価値が無い
昔研究したけど
0141デフォルトの名無しさん
垢版 |
2020/04/12(日) 20:35:52.79ID:LD5vNBL5
普通に考えて、中学や高校で習う基本的な数学。
それ以外にない。
もの凄く役に立つ知識もあるけど、中高で数学が駄目だと話にならない。

あと、自分の分野の論文が読めるくらいの英語。
0142◆QZaw55cn4c
垢版 |
2020/04/12(日) 20:41:36.27ID:Ow/aPLgb
>>141
＞中学や高校で習う基本的な数学

微積分は含まれますか？
線形代数、最近はやらないみたいですが、線形代数も含まれますか？
0143デフォルトの名無しさん
垢版 |
2020/04/12(日) 20:44:55.97ID:LD5vNBL5
>>142
そこで「考え方」を学ぶ。

集合とか写像とか高一でやるアレの方がもっと本質。
お前馬鹿だろ。いや、馬鹿だね。
0144◆QZaw55cn4c
垢版 |
2020/04/12(日) 21:20:21.32ID:Ow/aPLgb
>>143
集合は高校でやっていても、写像は高校ではやらないのでは？
やるとすれば、平面幾何（解析幾何）による軌跡の求めかた、くらいではないでしょうか
0145デフォルトの名無しさん
垢版 |
2020/04/12(日) 22:37:48.52ID:LD5vNBL5
>>144
今の高校数学教育は知らんけど俺んときはやった。
写像を知らないと大学レベルでやる群、環、体、束、そういうものすごく基本的なことが全く理解できない。
小手先のテクニックじゃなくて、考え方。演算という考え方。
役に立つとかいうより必須項目なのよ。
0146デフォルトの名無しさん
垢版 |
2020/04/12(日) 22:43:50.50ID:LD5vNBL5
SQLについて聞かれて、
「まずは集合を演算する言語だと思った方がいい。オラクルのあれこれはまず見るな」
と答えて「あーなるほど」と得心する人間は少ない。
RDBの考案者のコッホ自身が集合と写像を意識して設計したのにもかかわらず、だ。

20世紀初頭に数学に深刻な課題を突きつけたのも集合論。
集合は基礎の基礎の基礎。

…つっても分からんよな、おまえさんでは。
0147◆QZaw55cn4c
垢版 |
2020/04/12(日) 23:10:20.77ID:Ow/aPLgb
>>145
写像は、今の標準教科書ですらちょっと雑な感じがしますね
全体集合 N に含まれる集合 A の逆像（逆写像ではありません）f^-1(A) を、あなたならどう定義しますか？

私なら
「f^-1(A) は∀x(x∈f^-1(A)→f(x)∈A) かつ∀x(x not∈f^-1(A)→f(x)not∈A)を満たす」
と定義しますし、そう定義しないとその後の論理展開が不可能なのですが、この定義が教科書に載っているのはみたことがない
0148デフォルトの名無しさん
垢版 |
2020/04/13(月) 09:47:59.87ID:/bntbpLw
大学でゼミの教授が写像と関数の定義は同じで
実数を扱う時に関数、実数以外を扱う時に写像と
言葉で分けてるだけと言っていたのが印象に残っている。
0150デフォルトの名無しさん
垢版 |
2020/04/13(月) 12:41:25.86ID:MoqjNBcj
>>147
変な定義
定義の中で自分自身を使ってるし
意味が直接的ではない

● f を以下とする
f :
x |-> f(x)
N -> M

●A⊂M の時 f^-1 を以下で定義する
f^-1(A) := { x∈N | ∃y∈A s.t. f(x)=y }
0153デフォルトの名無しさん
垢版 |
2020/04/13(月) 19:06:35.43ID:bwzJgTJt
数学の用語をプログラミング言語の用語で説明してくれるものないかなぁｗ
プログラミング言語で説明されたほうがわかるｗｗｗ
0154デフォルトの名無しさん
垢版 |
2020/04/13(月) 19:29:10.15ID:fUGpwNNT
数学の用語は厳密さか重要だからなあ
プログラミング言語の用語と似ているところがあるけれども
微妙に違うから直観的な理解としてはいいかもしれないけど
厳密にいうと間違い
0155デフォルトの名無しさん
垢版 |
2020/04/13(月) 19:41:59.02ID:bwzJgTJt
>>154
数学者になりたいわけじゃないんで厳密さはいらんのよ
入門書と同じようにさらっと解説してくれればいい
用語を知らないから難しく感じるだけ。知ってる用語に対比させれば理解が早い

Σとか、ループ、初期値、終了値、ループの中身って
教えればプログラミングしたことのある小学生でも
簡単に理解できるやろ？ｗ
0157◆QZaw55cn4c
垢版 |
2020/04/13(月) 22:39:03.66ID:fZC6wvDm
>>150
教科書によく掲載されている定義ですが、しかし、この逆像の定義では問題があります
f:N->M, A, B ⊂ M
のとき、
f^-1(A∪B) = f^-1(A)∪f^-1(B)…①
f^-1(A∩B) = f^-1(A)∩f^-1(B)…②
特に②の証明が直感に頼った記述になってしまい、極論をいえば記号論理は記号操作的に処理するべきというある種の理想とは遠い証明になってしまいます
②の証明を示していただけますか？
0158デフォルトの名無しさん
垢版 |
2020/04/13(月) 23:47:44.41ID:Tjz63BkY
よく分からんけど数学の証明ってちょいちょい「直感的に明らか」って使うよね
0159デフォルトの名無しさん
垢版 |
2020/04/14(火) 00:36:20.69ID:fVUM33gD
数学の用語とコンピュータ用語対応早見表

数学　　　　　コンピュータ
ーーーーーーーーーーーーーーー
集合　　　　　　型
積　　　　　　タプル
余積　　　　　判別共用体
指数　　　　　関数
(自己)関手　　ジェネリッククラス
自然変換　　　パラメトリック多相関数
イコライザ　　SQL
表現可能関手　メモ化
指数-積随伴　　カリー化
F代数　　　　再帰的データ構造の畳み込み操作

他に何かあるかな？
0160デフォルトの名無しさん
垢版 |
2020/04/14(火) 08:21:48.67ID:OuRgqSbO
>>157

x∈f^-1(A∩B)
<==>
f(x)∈A∩B
<==>
f(x)∈A ∧ f(x)∈B
<==>
x∈f^-1(A) ∧ x∈f^-1(B)
<==>
x∈f^-1(A) ∩ f^-1(B)

そのまんまな気がする
0165◆QZaw55cn4c
垢版 |
2020/04/14(火) 19:47:01.47ID:42R+WK0w
>>160
それは、f が全単射のときにしか使えない証明法ですね、すなわち f^-1が逆写像のときの証明であって逆像のときの証明ではない
その証拠に f^-1 ：逆像の定義をまったく使っていないですよね
0166デフォルトの名無しさん
垢版 |
2020/04/14(火) 20:55:17.30ID:aWFMwwcd
集合は要素の重複を許さないのが定義の一部だから
HashSet とかあっているんだよなあ
0167デフォルトの名無しさん
垢版 |
2020/04/14(火) 22:42:39.83ID:OuRgqSbO
>>165
単射や全射の条件など使ってないけど

>>150の定義通り書くと以下だけど

x∈f^-1(A)
<==> x∈ { x∈N | ∃y∈A s.t. f(x)=y }
<==> ∃y∈A s.t. f(x)=y
<==> f(x)∈A

ていうか、定義も以下で良かった
f^-1(A) := { x∈N | f(x)∈A }
0168デフォルトの名無しさん
垢版 |
2020/04/14(火) 23:18:45.80ID:fVUM33gD
>>163
どの辺がめちゃくちゃなん？
0169デフォルトの名無しさん
垢版 |
2020/04/15(水) 00:25:12.38ID:Kr8T+Y3l
>>161
代数学がオブジェクト指向というのはよくわからない。
単純に俺がオブジェクト指向を知らないだけかもしれないけど。

オブジェクト指向のクラスポリモーフィズムの根底にあるのは存在量化型だと思うけど、
存在量化型は数学というより型理論だから、そのさらに背後にある数学とかはもっと詳しい人に譲る。
0172デフォルトの名無しさん
垢版 |
2020/04/15(水) 09:59:21.11ID:ySPMRyuQ
>>169
http://hooktail.sub.jp/algebra/FieldDef/
> ある集合があって，その集合が，四則演算(加法，減法，乗法，除法)に関して閉じているとき，この集合を 体 と呼びます．

数値オブジェクトには、add, sub, mul, div メソッドがあって、+, -, *, / という演算子で
メソッドをよびだすことが出来ます。

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
> 数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは「順序」の概念が定義された集合の事で、

つまりcompareインターフェースを実装したもの
0173デフォルトの名無しさん
垢版 |
2020/04/15(水) 10:17:16.31ID:Kr8T+Y3l
>>170
(圏論的)積
0176デフォルトの名無しさん
垢版 |
2020/04/15(水) 14:46:33.94ID:RiNZwPuW
具体的な事と抽象的な事があれば、具体的な事の方が理解しやすい。
それは数学が得意な人でも得意じゃない人でも同じ

だけど数学が得意というか好きな人は具体的な事を
抽象化する作業が好き、つまり自分が好きな事をやっている。

だけど数学が好きではない人が数学を理解する時
抽象化する作業は好きではないのですっ飛ばす。
すっ飛ばした上で抽象化された結果から見る。
抽象化された結果から見ても、理解するのは難しい。

だから具体的な事で話せと言うのに、数学が得意な人は
俺が好きな抽象化はお前も好きだろ？ということで
具体的な事から抽象化する作業の話をする。

違うんだよ。俺らが求めてるのは抽象化されたものを理解するために
より具体的な事に持っていきながら説明しろって事なんだ。
お前らが好きな事の話をしろと言ってるんじゃない。
0177デフォルトの名無しさん
垢版 |
2020/04/15(水) 15:57:32.27ID:5mkkxmmP
これとこれは実は原理は同じなんだよ
というのが数学なので
具体例に限ってしまうとありがたみがなくなるんだよな
この具体例は数学の何々が使えるから
という推論ができないとダメ
0178デフォルトの名無しさん
垢版 |
2020/04/15(水) 16:08:23.83ID:ehi/eapY
萬物は波である
0179デフォルトの名無しさん
垢版 |
2020/04/15(水) 16:24:45.78ID:brO3XoD5
四つの種類の選択の中から重複ありで、二つを二回選んで、求めてる四つと順序と種類が合致する確率の計算式ってどう書けばいい？
0180デフォルトの名無しさん
垢版 |
2020/04/15(水) 16:30:41.06ID:RiNZwPuW
>>177
数学のありがたみを感じたいんじゃない。
数学を学びたいだけ。
数学を学ぶことは～とかいう話ではない
数学の本質を知りたいのではなく
数学の本に書いてある数式を読みたいだけ
0181デフォルトの名無しさん
垢版 |
2020/04/15(水) 16:38:28.77ID:zu8PKU6h
4C2
0184デフォルトの名無しさん
垢版 |
2020/04/15(水) 19:28:25.26ID:Kr8T+Y3l
>>174
だからどのへんがめちゃくちゃなのか言ってみろやｗ
圏論的積の意味もわからない自称専門家くんｗｗ
0186デフォルトの名無しさん
垢版 |
2020/04/15(水) 20:46:40.98ID:brO3XoD5
>>182
ごめん抜けてた
ランダムで二つピック
0188デフォルトの名無しさん
垢版 |
2020/04/16(木) 08:58:04.73ID:YGIESbh5
>>187
疑似コードだとこんな感じ

cards = ['A', 'B', 'C', 'D']
choices = cards.pick_random(2).join(cards.pick_random(2))

ans = ['D', 'C', 'A', 'A']
asesrt choices == ans
0191デフォルトの名無しさん
垢版 |
2020/04/16(木) 13:16:10.08ID:przIFznP
出力用の式判ってるならモンテカルロで最強
0195デフォルトの名無しさん
垢版 |
2020/04/18(土) 18:52:34.08ID:6HUqz/fc
アルゴリズムの中に数学的な手法を使った部分が含まれる
ものによってはアルゴリズムの大部分が数学的な手法になっているものもある
という扱いでいいだろう

テトリスの複雑な回転アルゴリズムとか数学とは思えないからね

回転アルゴリズムなんて数学そのものだろ！と言ってくるやつが
いそうだから先に言っておくと「テトリスの複雑な回転アルゴリズム」
というのはこういうもの
http://www13.plala.or.jp/TETRiS_TGM/kouza/12.htm
0198デフォルトの名無しさん
垢版 |
2020/04/30(木) 21:40:48.53ID:b9TIw4B4
【初の数学授業①】300年前に天才フェルマーが残した数学界最大の難問
https://www.youtube.com/watch?v=38U0Mhp3MbQ
【フェルマーの最終定理②】天才が残した300年前の難問に終止符
https://www.youtube.com/watch?v=12C8J7u6KKo
【25分で中学生でも分かるabc予想】何に役立つの？ふくらPがよく分かる解説！
https://www.youtube.com/watch?v=lNF0Zoi7j4c
数学界の天才が証明したABC予想をわかりやすく解説してみた
https://www.youtube.com/watch?v=0rK_QkAUorQ
物理学の根幹を揺るがす思考実験(マクスウェルの悪魔)
https://www.youtube.com/watch?v=AFx6CqYtbwQ
0200デフォルトの名無しさん
垢版 |
2020/05/09(土) 05:05:07.55ID:SQfabT1o
特殊相対論
0202デフォルトの名無しさん
垢版 |
2020/05/09(土) 09:24:24.32ID:3rxWY8lS
テンソルと行列が同じだと言ってる人と
違うものだから気をつけろと言ってる人が居て
混乱する
0203デフォルトの名無しさん
垢版 |
2020/05/09(土) 12:08:22.41ID:SQfabT1o
テンソルと行列が同じなわけない
0206デフォルトの名無しさん
垢版 |
2020/05/10(日) 16:24:51.41ID:j8s1Gvwq
単独の数がスカラー
複数の数の並びが(1つでもいい)がベクトル、ベクター
二次元以下の配列(スカラーとベクトルを含む)が行列
一般の配列(三次元、四次元の配列、行列、ベクトル、スカラーを含む)がテンソル

定義自体は難しくもなんともない
演算も実はそんなに難しくない
難しいと思い込んでいるだけ
0208デフォルトの名無しさん
垢版 |
2020/05/10(日) 21:34:19.63ID:0qeS70RY
単に数を複数並べてもそれがいつもベクトルになるとはかぎらない
「ベクトルの成分」にはなるかもしれないが、それが本当にあるベクトルの成分であるためには
座標の変換に対してある決まった規則に従って変換されなければならない

しかしもしそれらの数が正しい変換則に従って変換されるとしても、それ自体はベクトルではなく、
ある決まった座標の上での成分にすぎない。その座標の基底と合わせてはじめてベクトルになる。

テンソルと行列の関係は、上でいうベクトルと「ベクトルの成分を並べた数の集まり」の関係と同じ。
0210デフォルトの名無しさん
垢版 |
2020/05/15(金) 15:32:33.23ID:gm1FKBvt
直線(1) y = -x + 9 と
直線(2) y = x/2 - 3 と
直線(3) x=2 がある
(1) と (3) の交点を A
(2) と (3) の交点を B
(1) と (2) の交点を P
とするとき
点P を通り三角形 ABP の面積を二等分する直線の式を求めよ

python + matplotlib で線形代数を使って解いてください
0211デフォルトの名無しさん
垢版 |
2020/05/16(土) 08:49:12.80ID:gbSKZCt9
>>210
面白い問題だね
プログラミングのお題スレで出題したほうがいいのでは
0212デフォルトの名無しさん
垢版 |
2020/05/16(土) 12:05:36.56ID:O1QHymgY
役に立つのは
組み合わせ、確率、線形代数
役に立たないのは
圏論、ラムダ計算
0216デフォルトの名無しさん
垢版 |
2020/05/16(土) 12:59:57.00ID:vq86PCKh
問題を読むのに20秒
解き方を考えるのに5秒
Pを求めるのに10秒
傾きを求めるのに2秒
y切片を求めるのに3秒
計40秒
0217デフォルトの名無しさん
垢版 |
2020/05/16(土) 16:44:59.45ID:is04b0b3
直線の式は OP↑ + t(PA↑ + PB↑)
A=(2, 7), B=(2, -2), P=(8, 1) は安産なので
(8, 1) + t((-6, 6) + (-6, -3)) が直線の式
T = 3t と置いて x = 8 - 4T, y = 1 + T
Tを消すと x = 8 - 4(y-1)
x + 4y = 12 が答え
ここから sympy / matplotlib 使う方法は知らん
0219デフォルトの名無しさん
垢版 |
2020/05/16(土) 19:22:50.70ID:gANc9GME
ひょっとして自然言語で放り込んで
式が出力として出てくるpythonのプログラムを求めているとか?
0220デフォルトの名無しさん
垢版 |
2020/05/18(月) 20:51:46.74ID:4x2lauuW
int main() {
printf(“私はこの問題について真に驚くべき証明を発見したが、ここに記すには余白が狭すぎる。”);

return 0721;
}
0223◆QZaw55cn4c
垢版 |
2020/05/19(火) 18:50:18.63ID:SLJ7GP9K
>>222
確かに数学は苦手です…
何を勉強すればいいか、是非ご教示くだされば幸いです
0224デフォルトの名無しさん
垢版 |
2020/05/19(火) 20:20:32.93ID:NCQ71wyl
線形代数
微分方程式
0230◇QZaw55cn4c
垢版 |
2020/05/20(水) 00:40:45.99ID:MP07HehF
中洲産業大学です
0234デフォルトの名無しさん
垢版 |
2020/06/03(水) 15:44:04.51ID:aAE2/qnK
大浦版実数離散FFTの縦軸の単位ってどうなっているのでしょうか？
例えば1Hzで±0.5の振幅を入れた時に、
複素数の二乗和の平方根【√(N[0]^2 + N[1]^2)、√(N[2]^2 + N[3]^2)、・・・】を取って2倍しても
1Hzが0.5にならないのですが、何か間違えていますでしょうか？
0236デフォルトの名無しさん
垢版 |
2020/06/05(金) 12:23:19.15ID:/1PBSCi6
リーマン幾何学
0239デフォルトの名無しさん
垢版 |
2021/09/09(木) 10:18:55.74ID:uWs+19My
ゼロで割ってはいけない
0240デフォルトの名無しさん
垢版 |
2021/09/09(木) 14:13:41.52ID:3sOE3L2f
超準解析
0241デフォルトの名無しさん
垢版 |
2021/12/27(月) 13:24:21.78ID:Vs8lmHnl
離散ウェーブレット変換のマザーウェーブレットにガボールって組み合わせを
解析ソフトや実際に使っている論文を見ないのですが、
何か理由でもあるのでしょうか？
新着レスの表示
レスを投稿する

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