知ってるとプログラミングに役立つ数学知識

1 ：デフォルトの名無しさん：2018/05/24(木) 21:58:03.79 ID:dgeBM9nv.net

線形代数

44 ：デフォルトの名無しさん：2018/06/12(火) 20:36:18.77 ID:1pNhRu7S.net

最小二乗法を最近覚えた。

45 ：デフォルトの名無しさん：2018/06/12(火) 21:29:23.48 ID:QyCLVLjC.net

せめてどういう分野で
役に立ったかは書いてくれないと
数学のキーワードが並ぶだけになってしまう

46 ：デフォルトの名無しさん：2018/06/12(火) 21:42:10.78 ID:q5QgdHEz.net

>>42
0で除するのは定義できないのでは？

47 ：デフォルトの名無しさん：2018/06/12(火) 21:44:14.46 ID:cmSyRI9x.net

JavaScriptでは定義されてるな

48 ：デフォルトの名無しさん：2018/06/14(木) 01:22:21.16 ID:K9vhegSC.net

ちんぷんかんぷんなんだが？

49 ：デフォルトの名無しさん：2018/06/14(木) 08:01:40.78 ID:pdnoNDq/.net

物理ではx/0=∞と定義することもあるよ。
∞^∞とかもあるよ。

50 ：デフォルトの名無しさん：2018/06/16(土) 19:54:14.55 ID:1Dz35GbM.net

三角関数：車のメーターの針をステッピングモーターで滑らかに動かすときに使った

51 ：デフォルトの名無しさん：2018/06/17(日) 13:37:54.29 ID:brTRb0Nk.net

>>50
それのどこに三角関数が必要なんだろう...

52 ：デフォルトの名無しさん：2018/06/17(日) 13:48:16.04 ID:4aH3tjyd.net

針の角度で力が変わる
とかじゃね？

53 ：デフォルトの名無しさん：2018/06/17(日) 13:53:03.26 ID:4aH3tjyd.net

>>40
四則演算は算数の領域では終わらない
複素数、行列、有理式、4元数、...
体論は大学の専門の範疇

54 ：デフォルトの名無しさん：2018/06/18(月) 15:03:01.27 ID:i1KGfyr8.net

三角関数は、歩く時のカメラの上下とか反復で滑らかにする時、とかに使ってるな。

55 ：デフォルトの名無しさん：2018/06/18(月) 23:21:30.36 ID:ISwkLMku.net

円運動や振動はみな三角関数だよ。

56 ：デフォルトの名無しさん：2018/06/20(水) 23:49:08.84 ID:VwFzBA9K.net

>>49
ただし x≠0 。

関係ないけど、ニュートン法便利。

57 ：デフォルトの名無しさん：2018/06/21(木) 19:51:03.04 ID:G3PMV1Ez.net

>>32
測量ソフトを書いていて、それらを勉強した。で、殆ど中学の授業で習っていたと気づいて驚いた。

58 ：デフォルトの名無しさん：2018/06/22(金) 01:51:19.79 ID:Hssdw/9K.net

ラプラス変換がプログラミングに役立つ？
どんなプログラミング？

59 ：デフォルトの名無しさん：2018/06/22(金) 01:56:51.29 ID:lclIX0dS.net

フーリエ変換なら使ぬほど使う

60 ：デフォルトの名無しさん：2018/06/22(金) 01:58:59.18 ID:Hssdw/9K.net

死ぬほど？

ニュートン法のが使う
単なるルートの計算でも

61 ：デフォルトの名無しさん：2018/06/22(金) 02:00:48.95 ID:Hssdw/9K.net

逆数学
公理的集合論
多様体
ゲーム理論
グラフ理論

62 ：デフォルトの名無しさん：2018/06/22(金) 02:08:27.55 ID:lclIX0dS.net

実際俺はフーリエ変換を使いすぎて死んだ

63 ：デフォルトの名無しさん：2018/06/22(金) 02:50:19.49 ID:Hssdw/9K.net

御愁傷様です

64 ：デフォルトの名無しさん：2018/06/22(金) 03:13:32.74 ID:NqN91hN5.net

データ圧縮は離散コサイン変換多用するね

65 ：デフォルトの名無しさん：2018/06/22(金) 06:45:34.37 ID:Hssdw/9K.net

データ圧縮っていうか、画像圧縮だな

66 ：デフォルトの名無しさん：2018/06/22(金) 07:49:20.05 ID:B4dYVWwz.net

>>60
開平法使えよ

67 ：デフォルトの名無しさん：2018/06/22(金) 07:50:07.36 ID:B4dYVWwz.net

>>64
ウェーブレットでもええんやで。

68 ：デフォルトの名無しさん：2018/06/22(金) 09:03:08.77 ID:bJNd9Nrp.net

>>66
素人は口出さないで良いよ

69 ：デフォルトの名無しさん：2018/06/22(金) 09:21:23.79 ID:BBNQpXP6.net

いまどき画像圧縮にDCTはないだろ。古代の技術だ。

70 ：デフォルトの名無しさん：2018/06/22(金) 09:27:30.77 ID:0px4TqJV.net

いっぱい使われてるけど

71 ：デフォルトの名無しさん：2018/06/22(金) 09:31:26.31 ID:0px4TqJV.net

素人が狭い知識でいい加減な事を言うスレか？

72 ：デフォルトの名無しさん：2018/06/22(金) 09:38:38.65 ID:BBNQpXP6.net

>>70
だから何？
現存している古代の技術なんだからそりゃ使われてはいるだろ。
馬鹿はこれだから困る。

73 ：デフォルトの名無しさん：2018/06/22(金) 09:43:54.84 ID:0px4TqJV.net

自分が書いた文章を否定かよ

74 ：デフォルトの名無しさん：2018/06/22(金) 10:08:18.09 ID:y6XXfB7Q.net

昔に書かれたコードが残ってたり前例踏襲で使われる事はあっても積極的に取り入れる理由は無いからやめといた方が良いとかそんな事が言いたいのでは
ちな素人

75 ：デフォルトの名無しさん：2018/06/22(金) 10:53:08.89 ID:/lW4V8Lt.net

JPEG はムー大陸の技術

76 ：デフォルトの名無しさん：2018/06/22(金) 12:29:19.93 ID:gqGFuRWk.net

JPEGなんて1992年の技術だからなぁ。JPEG 2000はDCTではなくてDWTだしね。
もう20年以上DCTを活用したものなんて出てきてないだろ。

77 ：デフォルトの名無しさん：2018/06/22(金) 12:36:10.49 ID:8O9PVY1L.net

別に新しくなくても使うからね

78 ：デフォルトの名無しさん：2018/06/22(金) 12:42:55.32 ID:gqGFuRWk.net

枯れて先がないものの数学的な知識なんていらないじゃん。
誰かが作った枯れたライブラリを呼ぶだけでしょ。
車輪の再発明みたいな無駄な努力がお好きな人？

79 ：デフォルトの名無しさん：2018/06/22(金) 13:04:03.25 ID:9IQ7abcw.net

wavを再生しながらスペアナ表示させたいんだけど、どんな数学知識が
必要ですか？皆目見当もつかず行き詰ってます。
32ビットマイコンで作ってます。
wav再生はできています(PWM使用)。
言語はC or C++で、DSPは搭載してません。
範囲の異なるバンドパスフィルタを使うのかと思いますがどうでしょうか？

80 ：デフォルトの名無しさん：2018/06/22(金) 13:18:46.87 ID:8O9PVY1L.net

今使われてるのに古いから勉強しないとかよく分からん考えだな

81 ：デフォルトの名無しさん：2018/06/22(金) 14:34:29.65 ID:/lW4V8Lt.net

>>76
J2K こそ使われてないだろ。

82 ：デフォルトの名無しさん：2018/06/22(金) 18:29:49.44 ID:0px4TqJV.net

>>79
直交変換
線型フィルタ
など

83 ：デフォルトの名無しさん：2018/06/22(金) 18:30:36.18 ID:0px4TqJV.net

数学的知識ってよりは工学的知識だな

84 ：デフォルトの名無しさん：2018/06/22(金) 21:07:39.79 ID:9IQ7abcw.net

>>83
おお、レスありがとう。早速しらべてみる！

85 ：デフォルトの名無しさん：2018/06/22(金) 21:15:33.01 ID:ta6zpWYV.net

FFT かければいいんでない？

86 ：79：2018/06/22(金) 21:42:39.67 ID:9IQ7abcw.net

なんとなくイメージがわきました。
Excelで計算中

87 ：デフォルトの名無しさん：2018/06/23(土) 08:22:21.11 ID:UiVIxiJp.net

FTは数学の範疇だけど
FFTは単なるFTのアルゴリズムだから
数学の範疇では無いのでは？

88 ：デフォルトの名無しさん：2018/06/23(土) 12:50:24.32 ID:eQL+m/O0.net

>>57
すげー天才中学だな

89 ：デフォルトの名無しさん：2018/06/23(土) 12:51:30.02 ID:eQL+m/O0.net

>>62
南無妙法蓮華経

90 ：デフォルトの名無しさん：2018/06/23(土) 13:35:50.61 ID:w+yjxxZE.net

>>88
旧制中学校

91 ：デフォルトの名無しさん：2018/06/23(土) 20:49:30.59 ID:wLIhPUfX.net

ワイＦラン大卒文系、何ひとつ分からない

92 ：デフォルトの名無しさん：2018/06/25(月) 07:02:56.62 ID:pPgv1gOZ.net

HITO -> HUTA
MITU -> MUTU
YOTU -> YATU

93 ：デフォルトの名無しさん：2018/06/25(月) 13:02:04.36 ID:vdIJMJmc.net

ﾌﾟｯ

94 ：デフォルトの名無しさん：2018/06/27(水) 13:42:21.88 ID:14CeX+rI.net

HAPPA → YATTA

95 ：デフォルトの名無しさん：2018/07/01(日) 00:18:26.80 ID:fc6M1Ev7.net

趣味でやるなら
極座標やｱﾌｨﾝ変換が理解できてれば
いろいろと楽しいことができるぞ

96 ：デフォルトの名無しさん：2018/07/04(水) 21:59:52.11 ID:gFgZc5FG.net

B6B

97 ：デフォルトの名無しさん：2018/07/05(木) 23:07:34.77 ID:7v6XwIjF.net

YATTAMAN→COFFEE→RAITER

98 ：デフォルトの名無しさん：2018/07/06(金) 18:59:38.50 ID:49COMX7t.net

ド・モルガン
裏表使いこなして、読み易くしよう。

99 ：デフォルトの名無しさん：2018/07/07(土) 20:09:16.90 ID:w10+hnyP.net

ランプ型閾値秘密分散法

100 ：デフォルトの名無しさん：2018/07/09(月) 19:01:48.41 ID:sU3zgy9m.net

競プロ


競技プログラミングにハマるプログラマのスレ 15
https://medaka.5ch.net/test/read.cgi/prog/1526247830/l50

101 ：デフォルトの名無しさん：2018/08/03(金) 18:56:01.43 ID:qtiTN/kg.net

球面三角形。

102 ：デフォルトの名無しさん：2018/08/23(木) 21:52:17.65 ID:p0u00SDp.net

フーリエ変換

103 ：デフォルトの名無しさん：2018/11/12(月) 17:54:50.48 ID:SGuV3quc.net

ゼロで割ったらいけない

104 ：デフォルトの名無しさん：2018/11/12(月) 21:29:19.05 ID:D4H8oWj9.net

足し算

105 ：デフォルトの名無しさん：2018/11/14(水) 00:21:41.09 ID:7Ifnwzhb.net

数字は全角じゃなく半角で書く

106 ：デフォルトの名無しさん：2019/01/26(土) 21:09:58.96 ID:W6E188Lf.net

ここまで郡数列なし

1列に5個表示する、とかいうやつでよく使うと思うんだが

107 ：デフォルトの名無しさん：2019/01/26(土) 21:39:30.16 ID:+eApZUOf.net

圏論ニキは？

108 ：デフォルトの名無しさん：2019/01/27(日) 12:57:09.52 ID:TaAzn7Fo.net

πはだいたい3

109 ：デフォルトの名無しさん：2019/01/30(水) 01:19:03.78 ID:nTVyoRLY.net

こういうスレタイの書籍でたら買っちゃう系

110 ：デフォルトの名無しさん：2020/01/27(月) 14:32:15 ID:OGVgTS3O.net

行列とか勉強したけど固有値でギブ

111 ：デフォルトの名無しさん：2020/01/28(火) 00:47:16 ID:UtkcZBde.net

集合と論理かな

112 ：デフォルトの名無しさん：2020/02/12(水) 11:05:50 ID:BhhuMFsI.net

オプティカルドライブへの書込み読込み処理の誤り補正で行列を使ったなぁ。

113 ：デフォルトの名無しさん：2020/03/13(金) 13:00:49 ID:0cj5M/La.net

条件、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＝∃とも言える

114 ：デフォルトの名無しさん：2020/03/30(月) 04:27:47 ID:BWxPCUH7.net

圏論

115 ：デフォルトの名無しさん：2020/03/30(月) 08:00:06 ID:ui29a/VI.net

>>7
そもそも、intとfloatの違いも怪しい奴が居るから

116 ：デフォルトの名無しさん：2020/04/01(水) 03:54:01.15 ID:Bo1VBV+d.net

圏論やるにしても、
・Product/Coproduct
・Exponential
とか基本的なUniversal constructionは、はじめから言語に備わってるし
圏論を意識しなくても使ってるだろうから、圏論を通してこれらを知っても
自分のコードの良し悪しに影響するかと言われると微妙。

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

それでもめげずに
・F-algebra <=> 再帰的データ構造
・Yoneda lemma -- 下記を扱う上で当たり前のように使う
・End/Coend <=> 全称型・存在型の好例
・Kan extenstion <=> Free construction(特にFree functorなんかは魔術的)
あたりまで踏み込むと、このあたりはプログラミングと絡めても面白い。

117 ：デフォルトの名無しさん：2020/04/04(土) 12:29:28.93 ID:QkbJjZ4w.net

四元数

118 ：デフォルトの名無しさん：2020/04/07(火) 13:00:11 ID:MYyEIK8A.net

普通は数学的知識は不要だよ
必要なのは数学的、理論的思考
小学校で算数が得意だったら見込みあり

数学の理論が必要になったときに調べればいい

119 ：デフォルトの名無しさん：2020/04/07(火) 15:04:36.35 ID:wgfciPGx.net

数学知識が不要なのは底辺くらいじゃね？
「ライブラリが計算してくれるから」が答えだったら、計算が合わない時に何が違うのかわからなくなりそ

120 ：デフォルトの名無しさん：2020/04/08(水) 21:28:26 ID:U7iOigCX.net

集合

121 ：デフォルトの名無しさん：2020/04/08(水) 22:29:04.60 ID:VV8vD69L.net

俺からすれば
みんな数学的知識や数学的思考力が無い

それ大学の教養レベルだろってことすら知らないヤツばかり
理系の大学院を出て理系の仕事につくのに
今まで何をやって来たんだと言いたい

122 ：デフォルトの名無しさん：2020/04/08(水) 23:10:18 ID:B2nPpO3x.net

大学生の大半はカスだけど、1割くらいはまともなのいるから…

123 ：デフォルトの名無しさん：2020/04/09(木) 16:04:14.87 ID:qUK2ReYa.net

>>121
大卒なのにZFC公理も知らないとか論外だよな

124 ：デフォルトの名無しさん：2020/04/09(木) 16:23:59.34 ID:Jilblwzi.net

もしかすると有限容量で実数を完全に記録する方法を思いついたかもしれない。

125 ：デフォルトの名無しさん：2020/04/09(木) 16:36:47 ID:bPuB4yJ4.net

完全にの意味がわからん

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

整数の数より実数の数の方が多いのだから当然だが

126 ：デフォルトの名無しさん：2020/04/09(木) 17:17:40 ID:C6/PkRZa.net

>>119
信頼できるライブラリに投げて「計算が合わない」って自分の設計ミスしかありえない
自分のこだわりで作るとか特殊な状況じゃなければ細かい知識までいらんわ

127 ：デフォルトの名無しさん：2020/04/09(木) 20:18:35.86 ID:bPuB4yJ4.net

その、
自分の設計ミスの理由がわからん
てことだろ

128 ：デフォルトの名無しさん：2020/04/10(金) 04:11:27.42 ID:uDvGi+nW.net

中学数学からはじめる微分積分
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

129 ：デフォルトの名無しさん：2020/04/10(金) 07:38:55 ID:4WnvV4mF.net

>>119
その理屈で言えば、テレビが壊れた時
何が原因で壊れたのかわからなくなりそ

という、それ普通だよね？って話になる。
それを実現する技術まで知る必要はないんだよ。
お前だってCPUを実現してるシリコンの性質とかしらんやろ？

130 ：デフォルトの名無しさん：2020/04/10(金) 07:52:14 ID:TdKXcRvJ.net

テレビが壊れた場合の話なんか誰もしてない

131 ：デフォルトの名無しさん：2020/04/10(金) 08:05:59.88 ID:4WnvV4mF.net

プログラミングも同じ。
誰しもそれを実現してるライブラリや
その先のことまで考える必要はない

132 ：デフォルトの名無しさん：2020/04/10(金) 08:07:18.84 ID:4WnvV4mF.net

そもそも数学的アルゴリズムは数学者が考えればいい
数学者はそういうことが得意だろ？餅は餅屋。
プログラマはアルゴリズムをソフトウェアで実装すればいいだけ

133 ：デフォルトの名無しさん：2020/04/10(金) 13:08:07 ID:VwhukIlH.net

数学者はアルゴリズムなんか興味ない人の方が大多数

134 ：デフォルトの名無しさん：2020/04/10(金) 16:08:13 ID:9/68Pa7l.net

ID:4WnvV4mF って数式読める？

135 ：デフォルトの名無しさん：2020/04/10(金) 16:18:07 ID:5/MlN8IX.net

>>134
プログラミング言語のコードで書いてあればなんでも読めるよｗ

136 ：デフォルトの名無しさん：2020/04/10(金) 19:45:45 ID:TdKXcRvJ.net

プログラミング言語で記述可能な数式や関数なんて
数学で扱える数式や関数のごくごく一部だから

137 ：デフォルトの名無しさん：2020/04/10(金) 21:28:57.38 ID:13na47P+.net

逆にプログラミングで書かれたものを数式に出来るの？
例えばテトリスとか

138 ：デフォルトの名無しさん：2020/04/10(金) 23:01:22.40 ID:TdKXcRvJ.net

数学者は
コンピューターが生まれるずっと前から
プログラム言語での記述の限界の研究をしてる

テトリスの記述くらい簡単

139 ：デフォルトの名無しさん：2020/04/11(土) 01:52:47 ID:N1j4ZdSf.net

ルービックキューブは群論の研究対象だしテトリスも似たようなもんじゃね？

140 ：デフォルトの名無しさん：2020/04/11(土) 07:18:35 ID:qsSqqeEW.net

テトリスのコードを数式で書くのと
テトリスのゲームの数学的解明とは全く違う話

ルービックキュブ群
学問としてはあまり価値が無い
昔研究したけど

141 ：デフォルトの名無しさん：2020/04/12(日) 20:35:52 ID:LD5vNBL5.net

普通に考えて、中学や高校で習う基本的な数学。
それ以外にない。
もの凄く役に立つ知識もあるけど、中高で数学が駄目だと話にならない。

あと、自分の分野の論文が読めるくらいの英語。

142 ：◆QZaw55cn4c ：2020/04/12(日) 20:41:36 ID:Ow/aPLgb.net

>>141
＞中学や高校で習う基本的な数学

微積分は含まれますか？
線形代数、最近はやらないみたいですが、線形代数も含まれますか？

143 ：デフォルトの名無しさん：2020/04/12(日) 20:44:55 ID:LD5vNBL5.net

>>142
そこで「考え方」を学ぶ。

集合とか写像とか高一でやるアレの方がもっと本質。
お前馬鹿だろ。いや、馬鹿だね。

144 ：：2020/04/12(日) 21:20:21.32 ID:Ow/aPLgb.net

>>143
集合は高校でやっていても、写像は高校ではやらないのでは？
やるとすれば、平面幾何（解析幾何）による軌跡の求めかた、くらいではないでしょうか