- Видео 165
- Просмотров 3 860 697
えびまラボ
Япония
Добавлен 23 ноя 2020
数学とプログラミングの間のどこか
運営者は ICPC(国際大学対抗プログラミングコンテスト)2014 の東大代表のひとりでした。
運営者は ICPC(国際大学対抗プログラミングコンテスト)2014 の東大代表のひとりでした。
International Math Olympiad Problem 1 in 1 Minute [English Subtitles]
IMO 2019 Day1 問題1です。
参考資料:ruclips.net/video/uJqbHaFqjmI/видео.htmlsi=m6emGYS3U7yoXFIJ
0:00 イントロ
0:33 解法
音楽: MusMus
===
X: x.com/evima0
Discord: discord.com/invite/MqxuBEKRZM
参考資料:ruclips.net/video/uJqbHaFqjmI/видео.htmlsi=m6emGYS3U7yoXFIJ
0:00 イントロ
0:33 解法
音楽: MusMus
===
X: x.com/evima0
Discord: discord.com/invite/MqxuBEKRZM
Просмотров: 22 419
Видео
How Many Battles Are Needed on Average to Win 5 Times in a Row? [English Subtitles]
Просмотров 52 тыс.14 дней назад
『Pokémon Trading Card Game Pocket(ポケポケ)』のイベントに関連して確率の問題を考えます。連勝数に応じて勝率が変わるとします。 0:00 イントロ 0:13 計算 2:22 結果 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
1-Minute UTokyo Entrance Exam Math: Triangular Rooms [English Subtitles]
Просмотров 17 тыс.14 дней назад
確率の問題です。(2012理系第2問) 0:00 イントロ 0:23 解答 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
a!b! = a! + b! + c! [English Subtitles]
Просмотров 48 тыс.21 день назад
……を満たす正の整数a,b,cの組をすべて求めます。 問題の出典:2002/3 British Mathematical Olympiad Round 1 bmos.ukmt.org.uk/home/bmo1-2003.pdf 参考資料:ruclips.net/video/9dyK_op-Ocw/видео.html 0:00 イントロ 0:36 解答 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
How Many Packs Are Needed on Average to Collect All Cards in PTCGP? [English Subtitles]
Просмотров 84 тыс.21 день назад
『Pokémon Trading Card Game Pocket(ポケポケ)』でカントー図鑑完成・全♢カード収集・全カード収集などに必要なパック開封数の期待値を検証します。 シミュレーターのコード:github.com/evima0/pokepoke-comp-sim 参考資料: www.reddit.com/r/PTCGP/comments/1fwgwzi/comment/lw6hhbp/ (2024-11-14 閲覧) 0:00 イントロ 0:34 ゲームの紹介 1:17 全体的な注意 1:57 抽選テーブル 2:30 カントー図鑑 4:43 全♢ 6:02 全カード 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
Crazy Code to Calculate 1/√x [English Subtitles]
Просмотров 73 тыс.Месяц назад
高速逆平方根というアルゴリズムを説明します。 0:00 イントロ 0:35 動機 1:45 longとfloat 4:04 evil bit level hacking 4:57 what the fuck? 6:48 ニュートン法 7:53 1/√9 参考資料: en.wikipedia.org/wiki/Fast_inverse_square_root (2024-11-12 閲覧) 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
x^x^4=64 [English Subtitles]
Просмотров 91 тыс.Месяц назад
……であるような実数xを求めます。 0:00 イントロ 0:32 解答 出典: math.stackexchange.com/questions/4517942/how-can-i-solve-xx4-64 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
How to Calculate Cube Roots Instantly [English Subtitles]
Просмотров 57 тыс.2 месяца назад
答えが2桁の整数のときの簡単な求め方です。 0:00 イントロ 0:21 計算法 1:30 復讐1 2:12 復讐2 参考資料: ruclips.net/video/Ds8ijPsg26g/видео.html 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
Claude Takes Over My Computer and Draws a Cat [English Subtitles]ss
Просмотров 13 тыс.2 месяца назад
2024年10月23日に発表された新機能computer use (www.anthropic.com/news/3-5-models-and-computer-use) を使ってみます。 WSLの導入についての参考動画: ruclips.net/video/uhnASau7fB4/видео.html 0:00 イントロ 0:21 今回実行するもの 0:59 やってみる 1:47 GIMP 3:08 XPaint 3:53 Tuxpaint 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
[BREAKING] 2^136279841-1 is Prime: New Record After 6 Years [English Subtitles]
Просмотров 51 тыс.2 месяца назад
2024年10月12日に人類の知る最大の素数が更新されたことについて説明します。 参考文献: www.mersenne.org/primes/?press=M136279841 (2024-10-22 閲覧) ja.wikipedia.org/wiki/メルセンヌ数 (2024-10-22 閲覧) 0:00 本編 0:30 素数探しの近況 0:56 今回の計算環境 1:27 フェルマーテスト 1:59 リュカ・レーマーテスト 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
THE Hardest Entrance Exam Math Problem in 7 Minutes
Просмотров 89 тыс.2 месяца назад
東京大学の1998年の後期入学試験の数学の問題を解説します。 参考文献:安田享.入試数学 伝説の良問 100 良い問題で良い解法を学ぶ.講談社,2003. 訂正:1:30の長さ4の棒の上から5つ目は正しくは「黒白白黒」、下から3つ目は「黒白黒黒」でした。 0:00 問題設定 0:28 (1) 0:58 (2) 答えの予想・十分性 2:10 この問題の逸話 2:55 (2) 必要性 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
A Tool to Express Any Number Using "114514" [English Subtitles]
Просмотров 89 тыс.2 месяца назад
悪臭数字論証器 ( lab.magiconch.com/homo/ ) のコードを読みます。 0:00 イントロ 0:37 全体像 1:02 index.html 2:34 homo.js 音楽: MusMus X: x.com/evima0
[FINAL] AtCoder Beginner Contest 373 [English Subtitles]
Просмотров 14 тыс.3 месяца назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。 コンテストサイト:atcoder.jp/contests/abc373 深さ優先探索の説明:ruclips.net/video/0_9heBS7Flg/видео.html 動的計画法の説明:ruclips.net/video/oB3L8yyHsFY/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:28 B 1:03 C 1:31 D 2:26 E 3:50 F 4:45 G コード A atcoder.jp/contests/abc373/submissions/58154716 B atcoder.jp/contests...
AtCoder Beginner Contest 372 A-F in 3 Minutes [English Subtitles]
Просмотров 9 тыс.3 месяца назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。 コンテストサイト:atcoder.jp/contests/abc372 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:33 B 1:00 C 1:44 D 2:24 E 3:18 F コード A atcoder.jp/contests/abc372/submissions/57935878 B1 atcoder.jp/contests/abc372/submissions/57945995 B2 atcoder.jp/contests/abc372/submissions/57935894 C atcoder.jp/contests/abc37...
AtCoder Beginner Contest 371 A-E in 3 Minutes
Просмотров 8 тыс.3 месяца назад
AtCoder Beginner Contest 371 A-E in 3 Minutes
A Clock with Identical Hour and Minute Hands [English Subtitles]
Просмотров 31 тыс.3 месяца назад
A Clock with Identical Hour and Minute Hands [English Subtitles]
Can 9 Squares Touch Another? [English Subtitles]
Просмотров 67 тыс.3 месяца назад
Can 9 Squares Touch Another? [English Subtitles]
AtCoder Beginner Contest 370 A-F in 4 Minutes [English Subtitles]
Просмотров 9 тыс.3 месяца назад
AtCoder Beginner Contest 370 A-F in 4 Minutes [English Subtitles]
5-Color Theorem Revised [English Subtitles]
Просмотров 37 тыс.3 месяца назад
5-Color Theorem Revised [English Subtitles]
AtCoder Beginner Contest 369 A-F in 3 Minutes [English Subtitles]
Просмотров 8 тыс.3 месяца назад
AtCoder Beginner Contest 369 A-F in 3 Minutes [English Subtitles]
AtCoder Beginner Contest 368 A-D+F in 3 Minutes [English Subtitles]
Просмотров 11 тыс.4 месяца назад
AtCoder Beginner Contest 368 A-D F in 3 Minutes [English Subtitles]
Can You Connect The Points With Two Non-Intersecting Lines? [English Subtitles]
Просмотров 49 тыс.4 месяца назад
Can You Connect The Points With Two Non-Intersecting Lines? [English Subtitles]
AtCoder Beginner Contest 367 A-E in 3 Minutes [English Subtitles]
Просмотров 9 тыс.4 месяца назад
AtCoder Beginner Contest 367 A-E in 3 Minutes [English Subtitles]
Is π^π^π^π an Integer? [English Subtitles]
Просмотров 90 тыс.4 месяца назад
Is π^π^π^π an Integer? [English Subtitles]
AtCoder Beginner Contest 366 A-E in 3 Minutes [English Subtitles]
Просмотров 8 тыс.4 месяца назад
AtCoder Beginner Contest 366 A-E in 3 Minutes [English Subtitles]
20 Prisoners and 12 Boxes [English Subtitles]
Просмотров 58 тыс.4 месяца назад
20 Prisoners and 12 Boxes [English Subtitles]
AtCoder Beginner Contest 365 A-E in 3 Minutes
Просмотров 7 тыс.4 месяца назад
AtCoder Beginner Contest 365 A-E in 3 Minutes
AtCoder Beginner Contest 364 A-F in 3 Minutes [English Subtitles]
Просмотров 6 тыс.5 месяцев назад
AtCoder Beginner Contest 364 A-F in 3 Minutes [English Subtitles]
Can a Bigger Box Fit into a Smaller Box? [English Subtitles]
Просмотров 47 тыс.5 месяцев назад
Can a Bigger Box Fit into a Smaller Box? [English Subtitles]
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
Просмотров 7 тыс.5 месяцев назад
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
0.999…=1となるように、極限が定義されているから。という理解で合ってますか?
プログラミングぽくに言ってみる。 string型の0.99...と1をsortすると、元がいかなる順序でも0.99...が絶対に前にくる。 それだけどもStoRにかけたらどちらも1になる。 実数型ってbuilt-inな型ぽく思えるのに、地味にキモいところがあるよね
5:02 Google プレックスになってる(w)
背理法強すぎる
それっぽい雰囲気は出てるね。ショート・ショートあるあるのどんでん返しはなかったけど。
凄くマニアックなやり方!でも計算速度はめちゃくちゃ速そう。 コンピューターが貧弱な時代の方が、色々 創意工夫があったんですね。 コメントをしっかり書いといてあげないと、後の時代の人は分からないと思う。
ラマヌジャン的な変態味を感じる
問題だけ見た感想、 a!b!の式を (a!-b!)^2>0 と置くとうまくいきそうかなと思ったがどうなんだ?
おもしろすぎるだろ!
チルノが俺より賢い
もし入ったらその箱にも大きい箱が入る事になってその箱にも…って続くと明らかでかいのが入っちゃう事になるってのはダメなん?
最初に止めて考えたけどやり方同じだった 「6は整数乗しても1の位は6」ってのは感覚として知ってたから1の位決めて概算は効率的に(細かい計算せずに)解くとたどり着くと思う
現行数学は否定しないけどやっぱいπじゃなくてτだったら円1周して綺麗なのになとは思う
素数の逆数の和求めたら素数の無限を証明できるのすげえな
3^3^3^3→3^3^27→3^7625597484987 うん、無理ですね
最初に真ん中のマジックナンバーを見た時は複利計算の72の法則みたいな話かと思ったけど 実際はもっとだいぶ変態な話だった……
動画見る前に全部暗算で解けたーやったー
タイトルとサムネイルで内容がわからないから損してると思う
解析や代数は現実に適用できそうな問題を解決するのに、幾何はこういう変質的な問題か、感覚的にすでに使用できてたものを焼き直すだけだから本質が理解できない。
4:04 「改めてコードを見てみよう」 なんでも鑑定団の、作者に関する前知識解説のあとの「改めて今回の依頼品を見てみよう」ってセリフを唐突に思い出した
ライオンの経路探索の基準が曖昧でもやっと感ある 結論ありきで考えると、交互に移動するターン制ゲームでそれぞれが最善手を指し、そのターンが無限に細分化したみたいな感じなのかな ライオンが人の行動を予測できているなら先回りがきくし、予測できていないなら人間は折り返すなどの行為によって距離を稼げることになる
いやでもその仮定だと後手に回るライオンはヒトがどんな動きをしても一生辿り着けないことになるのか 交互に移動するターン制じゃなくて同時に移動するターン制だけどライオン側は人間がこのターンにどんな動きをするか完璧に予測した上で理想的な追い詰め方をするってこと? それはそれで今度は先回りができて人間を捕まえられそう
結論は ・人が動画の通りに移動している間は決してライオンに捕まらない ・人は動画の通りの移動を無限に長い間続けることができる ・よって人の勝ち です。仮にライオンが人の行動を完全に把握できるとしても捕まりません。
I still remember the original video of Nemean.
ラマヌジャンみたいなコードや...
これが現実世界に応用できたら革命だよね
「floatの中身はlog」って言われたらよく分からんけど説あるって思うわ
1:28の右辺第二項がa<bのときbの倍数、右辺第三項と左辺もbの倍数だから矛盾。としてもa=bは示せるかな
これ美術館定理って呼んだ気がする 「1年生の夢」とか「2年生の夢」とか数学って面白い名前の定理いくつかあるよね
a<b<cであるときc≧a+2であると 言えるのは何故ですか?
a, b, cは整数だから。例えばa<bのとき、a≠bだからbの最小値はa+1となる。
なるほど
この問題が何十年も未解決だったことに数学の面白さが詰まってる
幻のいる島バージョンも知りたいです!!
ε近傍!
Auto-dubbed audio! Fantastic youtube!
これではπ^2が無理数であることは言えてもπが無理数とまではいえないのでは?
πが有理数ならπ^2も有理数です。
解説は分かるけど、三角形に置き換えてみよう!とはならんわ
有限なのに無限より恐ろしい
こんなのが!
数オリの問題ってまじでこう言う、解説されれば一瞬だけどその場で解くのは難しいみたいな問題が多くて好き
誰が発見した証明でしょうか?
a=0いれて、うーんfの像なんて全部やろ!って言うクソみたいな予想して答えだけはでた
もともと重なる場合は数えなくていいっていうのは数珠順列みたい
GPTに解かせたらこれぐらいはいけるみたいです、すごい。
2周見てようやく理解できた
全然ゆっくりちゃうやん...
良ければこの問題やっていただきたいです。 AとBの二人がギャンブルをする。 まず、Aは1の箱と2の箱のどちらかにボールを入れる。 次に、Bはどちらの箱にボールが入っているかを予想する。 予想が的中すればBの勝ち、予想が的中しなければAの勝ちとなる。 ただし、Bが2の箱にボールが入っていると予想する場合、20%の確率でボールがどちらの箱に入っていてもBの負けになる処理が行われる。 このときのAとBそれぞれの最善策と勝率を答えよ。 AとBは二人とも完全に合理的な判断ができるものとする。 お互いの勝率は50%になると聞きかじったことがありますが、「Bが負けになる処理」が50%以下か50%を超えるかで結論が変わるのか、それともお互いの勝率が50%になるというのが間違いなのかよく分かりません。ちなみにポケモン対戦の技選択の択ゲーで実際にこの問題に直面することがあります。
どちらのプレイヤーも箱1を4/9、箱2を5/9の確率で選ぶ状態がナッシュ均衡で、このときAさんが5/9の確率で勝つようです。 (生成AIに「このゲームのナッシュ均衡を求めてください」というと求めてくれます。)
@ ありがとうございます!
いいね👍
クラロワ、エペよりマッチングシステムが酷いポケポケ(子供向け)
大学数学でも、特に環論とかでは最小の次数やら位数やら設定して矛盾材料にするのがよくある。ただ、その基準を下回る対象の構成にはいつも天才の頭脳が必要なんだけどね。
コンストラクタはなるほど!
左辺右辺のオーダーを考えると、O(f(n))がO(n)かO(1)しかありえなさそう この方針で厳密な解法立てられないかな?教えて詳しい人
確かに変態コードなんだけど、ここまでするならもっと開き直って、入射光に大~小5段階くらいのパラメータを割り振って、その大小関係を反射光にも反映、でいい気がする・・・
コードは考えつくのは大変だけど考えついたら米粒1個以下のコストで使える むしろ閃きをここまでする?で終わらせないのがプログラミングの凄いところなんよね