- 165
- 3 821 713
えびまラボ
Japan
เข้าร่วมเมื่อ 23 พ.ย. 2020
数学とプログラミングの間のどこか
運営者は ICPC（国際大学対抗プログラミングコンテスト）2014 の東大代表のひとりでした。
運営者は ICPC（国際大学対抗プログラミングコンテスト）2014 の東大代表のひとりでした。
International Math Olympiad Problem 1 in 1 Minute [English Subtitles]
IMO 2019 Day1 問題1です。
参考資料：th-cam.com/video/uJqbHaFqjmI/w-d-xo.htmlsi=m6emGYS3U7yoXFIJ
0:00 イントロ
0:33 解法
音楽: MusMus
===
X: x.com/evima0
Discord: discord.com/invite/MqxuBEKRZM
参考資料：th-cam.com/video/uJqbHaFqjmI/w-d-xo.htmlsi=m6emGYS3U7yoXFIJ
0:00 イントロ
0:33 解法
音楽: MusMus
===
X: x.com/evima0
Discord: discord.com/invite/MqxuBEKRZM
มุมมอง: 20 239
วีดีโอ
![How Many Battles Are Needed on Average to Win 5 Times in a Row? [English Subtitles]](http://i.ytimg.com/vi/yX62cNZEKjw/mqdefault.jpg)
![How Many Battles Are Needed on Average to Win 5 Times in a Row? [English Subtitles]](/img/tr.png)
How Many Battles Are Needed on Average to Win 5 Times in a Row? [English Subtitles]
มุมมอง 51Kวันที่ผ่านมา
『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]](http://i.ytimg.com/vi/OOPBBxsdQUA/mqdefault.jpg)
1-Minute UTokyo Entrance Exam Math: Triangular Rooms [English Subtitles]
มุมมอง 16K14 วันที่ผ่านมา
確率の問題です。（2012理系第2問） 0:00 イントロ 0:23 解答 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
![a!b! = a! + b! + c! [English Subtitles]](http://i.ytimg.com/vi/9Yw0ekDSBgE/mqdefault.jpg)
a!b! = a! + b! + c! [English Subtitles]
มุมมอง 45K14 วันที่ผ่านมา
……を満たす正の整数a,b,cの組をすべて求めます。 問題の出典：2002/3 British Mathematical Olympiad Round 1 bmos.ukmt.org.uk/home/bmo1-2003.pdf 参考資料：th-cam.com/video/9dyK_op-Ocw/w-d-xo.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]](http://i.ytimg.com/vi/euC280eesGM/mqdefault.jpg)
How Many Packs Are Needed on Average to Collect All Cards in PTCGP? [English Subtitles]
มุมมอง 83K21 วันที่ผ่านมา
『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]](http://i.ytimg.com/vi/n2Q1Sp7iew4/mqdefault.jpg)
Crazy Code to Calculate 1/√x [English Subtitles]
มุมมอง 70Kหลายเดือนก่อน
高速逆平方根というアルゴリズムを説明します。 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]](http://i.ytimg.com/vi/QeAr5NXGfi0/mqdefault.jpg)
x^x^4=64 [English Subtitles]
มุมมอง 90Kหลายเดือนก่อน
……であるような実数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]](http://i.ytimg.com/vi/mybn4a6FM10/mqdefault.jpg)
How to Calculate Cube Roots Instantly [English Subtitles]
มุมมอง 57Kหลายเดือนก่อน
答えが2桁の整数のときの簡単な求め方です。 0:00 イントロ 0:21 計算法 1:30 復讐1 2:12 復讐2 参考資料: th-cam.com/video/Ds8ijPsg26g/w-d-xo.html 音楽: MusMus X: x.com/evima0 Discord: discord.com/invite/MqxuBEKRZM
![Claude Takes Over My Computer and Draws a Cat [English Subtitles]ss](/img/n.gif)
Claude Takes Over My Computer and Draws a Cat [English Subtitles]ss
มุมมอง 13Kหลายเดือนก่อน
2024年10月23日に発表された新機能computer use (www.anthropic.com/news/3-5-models-and-computer-use) を使ってみます。 WSLの導入についての参考動画: th-cam.com/video/uhnASau7fB4/w-d-xo.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]
มุมมอง 51K2 หลายเดือนก่อน
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
มุมมอง 87K2 หลายเดือนก่อน
東京大学の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]
มุมมอง 88K2 หลายเดือนก่อน
悪臭数字論証器 ( 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]
มุมมอง 14K2 หลายเดือนก่อน
とあるプログラミングコンテスト（競技プログラミング）の高速解説です。 コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。 コンテストサイト：atcoder.jp/contests/abc373 深さ優先探索の説明：th-cam.com/video/0_9heBS7Flg/w-d-xo.html 動的計画法の説明：th-cam.com/video/oB3L8yyHsFY/w-d-xo.html 競プロ初心者向け動画のプレイリスト：th-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 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/c...
AtCoder Beginner Contest 372 A-F in 3 Minutes [English Subtitles]
มุมมอง 9K3 หลายเดือนก่อน
とあるプログラミングコンテスト（競技プログラミング）の高速解説です。 コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。 コンテストサイト：atcoder.jp/contests/abc372 競プロ初心者向け動画のプレイリスト：th-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 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/contest...
AtCoder Beginner Contest 371 A-E in 3 Minutes
มุมมอง 8K3 หลายเดือนก่อน
AtCoder Beginner Contest 371 A-E in 3 Minutes
A Clock with Identical Hour and Minute Hands [English Subtitles]
มุมมอง 30K3 หลายเดือนก่อน
A Clock with Identical Hour and Minute Hands [English Subtitles]
Can 9 Squares Touch Another? [English Subtitles]
มุมมอง 66K3 หลายเดือนก่อน
Can 9 Squares Touch Another? [English Subtitles]
AtCoder Beginner Contest 370 A-F in 4 Minutes [English Subtitles]
มุมมอง 9K3 หลายเดือนก่อน
AtCoder Beginner Contest 370 A-F in 4 Minutes [English Subtitles]
5-Color Theorem Revised [English Subtitles]
มุมมอง 37K3 หลายเดือนก่อน
5-Color Theorem Revised [English Subtitles]
AtCoder Beginner Contest 369 A-F in 3 Minutes [English Subtitles]
มุมมอง 8K3 หลายเดือนก่อน
AtCoder Beginner Contest 369 A-F in 3 Minutes [English Subtitles]
AtCoder Beginner Contest 368 A-D+F in 3 Minutes [English Subtitles]
มุมมอง 11K3 หลายเดือนก่อน
AtCoder Beginner Contest 368 A-D F in 3 Minutes [English Subtitles]
Can You Connect The Points With Two Non-Intersecting Lines? [English Subtitles]
มุมมอง 48K4 หลายเดือนก่อน
Can You Connect The Points With Two Non-Intersecting Lines? [English Subtitles]
AtCoder Beginner Contest 367 A-E in 3 Minutes [English Subtitles]
มุมมอง 9K4 หลายเดือนก่อน
AtCoder Beginner Contest 367 A-E in 3 Minutes [English Subtitles]
Is π^π^π^π an Integer? [English Subtitles]
มุมมอง 89K4 หลายเดือนก่อน
Is π^π^π^π an Integer? [English Subtitles]
AtCoder Beginner Contest 366 A-E in 3 Minutes [English Subtitles]
มุมมอง 8K4 หลายเดือนก่อน
AtCoder Beginner Contest 366 A-E in 3 Minutes [English Subtitles]
20 Prisoners and 12 Boxes [English Subtitles]
มุมมอง 58K4 หลายเดือนก่อน
20 Prisoners and 12 Boxes [English Subtitles]
AtCoder Beginner Contest 365 A-E in 3 Minutes
มุมมอง 7K4 หลายเดือนก่อน
AtCoder Beginner Contest 365 A-E in 3 Minutes
AtCoder Beginner Contest 364 A-F in 3 Minutes [English Subtitles]
มุมมอง 6K4 หลายเดือนก่อน
AtCoder Beginner Contest 364 A-F in 3 Minutes [English Subtitles]
Can a Bigger Box Fit into a Smaller Box? [English Subtitles]
มุมมอง 46K5 หลายเดือนก่อน
Can a Bigger Box Fit into a Smaller Box? [English Subtitles]
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
มุมมอง 7K5 หลายเดือนก่อน
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
最初に真ん中のマジックナンバーを見た時は複利計算の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個以下のコストで使える むしろ閃きをここまでする？で終わらせないのがプログラミングの凄いところなんよね
f(f)っていう扱いにくい対象の削除の仕方が天才的
マジレスすると、強いデッキを組めば５連勝よりも１５勝するほうがキツい ソースは俺
きも…
関数の形だけど漸化式を作る発想はなかなか難しい
連勝は何回やればいけるのかを考えている時には既に５連勝は出来ているという。⑨な俺は考えるよりも猪突猛進で勝ちに進んで達成するのだ。それしか脳がないからである。
えびまラボさんは無駄がないやり取りと解説で本当に見やすい！ それのせい？で動画が早く終わってしまうのが勿体無いぐらい！
f=0の時見逃した
関数方程式はとりあえず初手にx=0を入れがち
hi evi what books do you have & read in math ?
これって参加者はどれくらい解けるんだろうと思ってこの年の日本代表の点数調べたら 最低でもほぼ3完、最高でほぼ5完してるのか、優秀だなあ
当たり前だろ。 親ガチャを当てた開成や灘しか受けないんだから。
@@KeioAccelerg😅
@@KeioAccelerg 子ガチャ外れて親御さん可哀想
@@KeioAccelerg流石親ガチャハズレなだけあるわさぞ教育が良かったんだろう
ポケポケの期待値の動画とか見たいなぁ
なんで高校生以下なんだろう。 『オリンピック』を名前に入れてるんだから、本家みたいに全年齢対象にしてほしいなぁ。 それに、全年齢にしたほうが数学の競技人口も増えるだろ。
数学界は競技としての数学を求めてないって事やろ 大人は高校生レベルじゃなくて、もっと高いレベルの数学を学んで研究して欲しいっていう 研究レベルになると競技にするのは無理だし
若い年代同士で競わせることに意味があるんでしょう でも確かに、オリンピックという名を冠しているのはヘンかもしれませんね
競プロが実質大人になってから競技数学に傾倒しだした層の需要を満たしてるところはある。（競技数学そのものだと規模はだいぶ小さいながらOnlineMathContestみたいなものもありますね）
範囲をもっと広げた競技数学もまあまあ需要ありそう
オリンピックという名前を使うことの是非はおいといて、 人類の頂上決戦みたいな大会にしたら、問題を作る人がいない気がする。
簡潔ですねえ
とりあえず数字を入れて実験してみるってのが大切なんよな
特に0とか1とかいれるの大事ですよね
このプログラムが有限時間で終了するかに対する解答が"Yes"か"No"の2択であるhaltは実装できないってことで合ってる？ 解答が"Yes"、"No"、"場合による"の3択ならhaltは実装できそうな気がするけど、どうなんだろう