金底の香

外部院進/B2/情報系/ひたすらに数学をやっていく

[金底の香 @keaton018]

@yuto_shimazaki 例えば球面上の三角形の内角の和は180度を超えるので、もしかしたら曲面を考えていたのかもしれない。

[金底の香 @keaton018]

@math_namachan 見やすすぎる！めっちゃ良いですね！

[金底の香 @keaton018]

@M_G_Apple_00 課金しないと無理ですか？😭

[夜怜 @Asiro_rei]

【冷笑系素材一覧】
・うおw😅
・どわー笑😅
・ったく…w😅
・かっこよw😅
・えぐー！笑😅
・冗談ですやん！！w🫲😅
・きちーww😅🤚
・おもろいなあ！ww😅👍
・ど、どした？笑😅
・ちょw1回落ち着けw落ち着けw😅
・ええてw😅🤚
・ちょwお前必死やんww😅
・すごいなあキミww😅👍
・ちょw怒んなやw😅

[本間宏紀@背景理論を重んじるデータサイエンティスト @j0OmcPKEmMMkNWX]

大学院で最適化の講義を受けた人ほど、深層学習の学習過程に違和感を覚えると聞きます。凸関数なら、勾配降下法が大域最適解に到達することは証明できる。教科書はそこまでしか教えてくれません。ところが実務で使うニューラルネットワークの損失関数は、ほぼ例外なく非凸です。この一段の飛躍を、多くの解説記事は素通りしています。

非凸関数の最適化では、勾配がゼロになった点が本当に最良の解なのか、それとも無数に存在する局所的なくぼみの一つに過ぎないのか、理論的な区別が原理的につきません。鞍点、つまり一部の方向では谷に見えて別の方向では山になっている点に捕まって学習が停滞する現象も、高次元空間ではむしろ局所最適解より頻繁に起きるとされています。パラメータ数が数十億から数千億に達する現代のモデルが、それでも実務上まともに動いている。これは理論が先に説明を用意して、その通りに実装したという順序ではなく、経験則が先行し、理論が後から追いかけている状態です。ニューラルタンジェントカーネルという枠組みは、パラメータ数を無限大に飛ばした極限では非凸最適化が事実上線形の問題に近づくという説明を与えましたが、これは現実の有限サイズのモデルにそのまま当てはまるわけではなく、あくまで漸近的な近似の話にとどまります。平均場理論を使った解析も同様に、なぜ高次元の非凸最適化がそれなりに機能するのかを説明しようとする途上の理論であって、決定版と呼べる段階には至っていません。バッチ正規化についても構図は同じです。2015年の提案時点では内部共変量シフトを抑制するためだと説明されていましたが、その後の研究でこの説明だけでは損失地形が滑らかになる効果を十分に説明できないという指摘が相次ぎました。なぜ機能するのかという問いへの答えは、今も完全には固まっていません。

ここで私が立ち止まるのは、理論を待たずに実装するという工学の態度そのものを否定したいからではありません。現場では理論的な完全証明を待ってからコードを書くという順序は、そもそも成立しない場面がほとんどです。ただ、なぜうまく回っているのか分からないという不確実性を抱えたまま運用しているという自覚があるかどうかで、想定外の挙動やトラブルが起きたときの初動の速さはまったく変わってくると思います。理由を説明できないまま結果だけを信頼している状態は、モデル開発の現場に限らず、実は経営判断のあちこちに潜んでいるはずです。それに気づけるかどうかが、データ職としての一段上の視座になるはずだと考えています。

[らいばーずワールド @livers_world]

【爆笑】「ポゴォ！ペェッ！」夏絵ココさん 風船ガムギフトを受け取る度に吐き出すという趣旨の謎配信をしてしまう

本人も「もうええわ」となっていた模様。

最近中身オッサンなんじゃないかと疑ってます。
#夏絵ココ #配信者

[綺麗な花 1選 @Order0o1]

マジで死ねや雨
集団でしかイキれないの草

[PSL @PSL_Quantum]

正規部分群の図的イメージのアニメーションを作りました
交代群 A₄ の各元を12個の頂点、3つの生成元による移動を3色の矢印で表してます
赤緑で閉じた、(単位元を含む)4頂点ブロックは部分群。
さらに各4頂点ブロックを1点に縮めても、青の辺の行き先がブロックごとに定まるので正規部分群だとわかる

[佐久間 @keisankionwykip]

理工学系(純粋数学系を含む)の院試や定期試験でよく出てくる常微分方程式のパターンと解法をまとめました。

[バラゴモード @9SluzhsUuF14606]

シーズンMー3の記事を書きました

読みにくかったり、意味分からんこと書いてますがすみません。

#ポケモンチャンピオンズ

https://t.co/JbFFJpuhKu

[ロケット @Rocket_1230]

うん、ユカリBGMとピッタリ合うのやめてね

[R君 @Rkun_pixiv]

うすチュウと自信

[さんあに @ppapomega]

この環境適応型特殊ギャラドスでレート100溶かした

[数え続ける世界のナベアツbot @3_aho_bot]

ｻｧﾝｼﾞｭｰﾏﾝwww!? (300000)

[数え続ける世界のナベアツbot @3_aho_bot]

299999

[senburi2 @bitter_thousand]

数Ⅲあるある

「微分そのままそのまま微分」
「下を二乗して準備完了、微分そのまま引いてそのまま微分」
「そのまま積分微分積分」

[金底の香 @keaton018]

@cynn0001 @bqnli 「c±100km/h」という計算自体が、絶対時間t’=tを前提とするガリレイ変換に基づいているし、相対論が否定した前提を使って相対論を否定するのは循環論法では？

[双対空間の住人く♡ I @whiner39]

テンソルとは何か？
ただの多重線形写像のことである！
https://t.co/daChgpYLXp

[金底の香 @keaton018]

@ponanz3 @ray_0_zero 新メガだから入ってないのでは