![evima lab](/img/default-banner.jpg)
- 135
- 1 628 897
evima lab
Japan
Приєднався 23 лис 2020
Somewhere between math and (competitive) programming
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。
コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。
コンテストサイト:atcoder.jp/contests/abc363
幅優先探索の説明:ua-cam.com/video/0_9heBS7Flg/v-deo.html
競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html
0:00 A
0:27 B
1:01 C
1:49 D
2:23 E
2:52 F
コード
A (Python) atcoder.jp/contests/abc363/submissions/55749767
A (C++) atcoder.jp/contests/abc363/submissions/55764553
B (Python) atcoder.jp/contests/abc363/submissions/55749798
B (C++) atcoder.jp/contests/abc363/submissions/55749818
C (C++) atcoder.jp/contests/abc363/submissions/55750004
C (Python) atcoder.jp/contests/abc363/submissions/55749958
D atcoder.jp/contests/abc363/submissions/55802956
E atcoder.jp/contests/abc363/submissions/55750450
F atcoder.jp/contests/abc363/submissions/55750516
X: evima0
コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。
コンテストサイト:atcoder.jp/contests/abc363
幅優先探索の説明:ua-cam.com/video/0_9heBS7Flg/v-deo.html
競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html
0:00 A
0:27 B
1:01 C
1:49 D
2:23 E
2:52 F
コード
A (Python) atcoder.jp/contests/abc363/submissions/55749767
A (C++) atcoder.jp/contests/abc363/submissions/55764553
B (Python) atcoder.jp/contests/abc363/submissions/55749798
B (C++) atcoder.jp/contests/abc363/submissions/55749818
C (C++) atcoder.jp/contests/abc363/submissions/55750004
C (Python) atcoder.jp/contests/abc363/submissions/55749958
D atcoder.jp/contests/abc363/submissions/55802956
E atcoder.jp/contests/abc363/submissions/55750450
F atcoder.jp/contests/abc363/submissions/55750516
X: evima0
Переглядів: 3 788
Відео
AtCoder Beginner Contest 362 A-E+G in 3 Minutes [English Subtitles]
Переглядів 6 тис.19 годин тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc362 幅優先探索の説明:ua-cam.com/video/0_9heBS7Flg/v-deo.html 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:24 B 0:47 C 1:29 D 2:12 E 2:45 G コード A (Python) atcoder.jp/contests/abc362/submissions/55494761 A (C ) atcoder.jp/contests/abc362/submissions/55578414 B (Python)...
Does 0.999… equal 1? [English Subtitles]
Переглядів 13 тис.День тому
「0.999…」を定義し、それが1に等しいことを証明します。極限・無限級数などは使いません。前提知識は文字式・累乗の概念と基本的な不等式操作のみです。 (参考資料) en.wikipedia.org/wiki/0.999... 0:00 イントロ 0:17 直感的な説明 1:50 厳密な証明 X: x.com/evima0
AtCoder Beginner Contest 361 A-F in 3 Minutes [English Subtitles]
Переглядів 7 тис.14 днів тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc361 幅優先探索の説明:ua-cam.com/video/0_9heBS7Flg/v-deo.html 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:31 B 0:57 C 1:26 D 2:11 E 2:58 F コード A (Python) atcoder.jp/contests/abc361/submissions/55236898 A (C ) atcoder.jp/contests/abc361/submissions/55236908 B (Python)...
What Computers Can Never Do [English Subtitles]
Переглядів 13 тис.14 днів тому
チューリングマシンの停止問題が決定不能であることを簡易的に証明します(チューリングマシンについては省略しますが、ほぼ同等の内容です)。 (参考文献) 岡留剛,『例解図説 オートマトンと形式言語入門』,森北出版(2015). 0:00 イントロ 0:25 プログラムにプログラムを入力すること 0:58 停止判定器 1:58 証明 X: x.com/evima0
How to Find the Majority Vote Winner in an Election with 10 Billion Candidates
Переглядів 17 тис.14 днів тому
Boyer-Moore majority vote algorithm を紹介します。前提知識は数学的帰納法のみです。 (参考資料) en.wikipedia.org/wiki/Boyer–Moore_majority_vote_algorithm 0:00 イントロ 0:26 問題提起 2:00 アルゴリズム 3:31 証明 X: x.com/evima0
AtCoder Beginner Contest 360 A-F in 3 Minutes [English Subtitles]
Переглядів 7 тис.21 день тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc360 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:31 B 0:57 C 1:26 D 2:11 E 2:58 F コード A (Python) atcoder.jp/contests/abc360/submissions/55031424 A (C ) atcoder.jp/contests/abc360/submissions/55100285 B (Python) atcoder.jp/contests/abc360/submissions/55031441 ...
Which is Bigger: Fukasetsu Fukasetsuten or Graham's Number? [English Subtitles]
Переглядів 37 тис.21 день тому
無量大数、不可説不可説転、グーゴルプレックス、グラハム数などの巨大数を見ていきます。 (参考資料) dl.ndl.go.jp/pid/3508170 tripitaka.cbeta.org/T10n0279_045 mathweb.ucsd.edu/~fan/ron/images/record.jpg ja.wikipedia.org/wiki/命数法 en.wikipedia.org/wiki/Graham's_number waitbutwhy.com/2014/11/1000000-grahams-number.html 0:00 無量大数と塵劫記 0:37 不可説不可説転と華厳経 2:46 グラハム数登場 3:07 グラハム数の背景 3:58 レベル0~3 4:29 レベル4 5:13 レベル5 6:23 レベル6 7:00 グラハム数 この動画はゆっくりMovieMaker...
AtCoder Beginner Contest 359 A-G in 4 Minutes [English Subtitles]
Переглядів 9 тис.28 днів тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc359 動的計画法の説明:ua-cam.com/video/oB3L8yyHsFY/v-deo.html 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:20 B 0:45 C 1:48 D 2:39 E 3:04 F 3:36 G コード A (Python) atcoder.jp/contests/abc359/submissions/54775409 A (C ) atcoder.jp/contests/abc359/submissions/54783073 B (...
What's 1.5 Factorial? [English Subtitles]
Переглядів 84 тис.Місяць тому
ガンマ関数を導入し、ガウス積分を計算してΓ(2.5)を求めます。 前提知識は高校の微積分 αです。 0:00 イントロ 0:28 ガンマ関数 1:35 1.5! X: x.com/evima0
AtCoder Beginner Contest 358 A-G in 4 Minutes [English Subtitles]
Переглядів 8 тис.Місяць тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc358 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:26 B 1:06 C 1:51 D 2:34 E 3:18 F 3:56 G コード A (Python) atcoder.jp/contests/abc358/submissions/54500586 A (C ) atcoder.jp/contests/abc358/submissions/54611295 B (Python) atcoder.jp/contests/abc358/submissions/54...
Randomly Dividing a Pizza into N Pieces and Eating About 1/3 [English Subtitles]
Переглядів 33 тис.Місяць тому
とあるプログラミングコンテストのとある問題を解説します。 競技プログラミングの知識は特にいりません。 問題:atcoder.jp/contests/agc032/tasks/agc032_f Quoraでの質問への回答 (4:30 参照):qr.ae/psDQVr 0:00 イントロ 0:19 問題の出所 0:29 改めて問題提起 1:16 本編 X: x.com/evima0
AtCoder Beginner Contest 357 A-F in 3 Minutes
Переглядів 8 тис.Місяць тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc357 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:26 B 0:48 C 1:23 D 1:59 E 2:30 F コード A (Python) atcoder.jp/contests/abc357/submissions/54311314 A (C ) atcoder.jp/contests/abc357/submissions/54379895 B (Python) atcoder.jp/contests/abc357/submissions/54347486 ...
Weird Problem of Dividing a Rectangle into Rectangles [English Subtitles]
Переглядів 11 тис.Місяць тому
「長方形が有限個の小さい長方形に分割されており、どの小長方形も縦と横の辺の長さのうち少なくとも片方は整数であるとき、元の長方形の縦と横の辺の長さのうち少なくとも片方は必ず整数だろうか?」という問題を解きます。前提知識はありません。 0:00 イントロ 0:36 本編 X: x.com/evima0
AtCoder Beginner Contest 356 A-F in 4 minutes [English Subtitles]
Переглядів 8 тис.Місяць тому
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc356 競プロ初心者向け動画のプレイリスト:ua-cam.com/play/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD.html 0:00 A 0:26 B 0:47 C 1:37 D 2:16 E 3:05 F コード A (Python) atcoder.jp/contests/abc356/submissions/54057006 A (C ) atcoder.jp/contests/abc356/submissions/54071033 B (Python) atcoder.jp/contests/abc356/submissions/54057017 ...
Geometric Proof that √2 is Irrational [English Subtitles]
Переглядів 32 тис.Місяць тому
Geometric Proof that √2 is Irrational [English Subtitles]
Which is Bigger: 2^(100!) or (2^100)! [English Subtitles]
Переглядів 61 тис.Місяць тому
Which is Bigger: 2^(100!) or (2^100)! [English Subtitles]
What is the 2 in V - E + F = 2? [English Subtitles]
Переглядів 13 тис.Місяць тому
What is the 2 in V - E F = 2? [English Subtitles]
AtCoder Beginner Contest 355 A-F in 4 minutes [English Subtitles]
Переглядів 7 тис.Місяць тому
AtCoder Beginner Contest 355 A-F in 4 minutes [English Subtitles]
THE Hardest Problem in Competitive Programming [English Subtitles]
Переглядів 67 тис.Місяць тому
THE Hardest Problem in Competitive Programming [English Subtitles]
AtCoder Beginner Contest 354 A-G in 4 minutes [English Subtitles]
Переглядів 8 тис.2 місяці тому
AtCoder Beginner Contest 354 A-G in 4 minutes [English Subtitles]
Is There a Line Passing Through Exactly 2 of N Points on a Plane? [English Subtitles]
Переглядів 96 тис.2 місяці тому
Is There a Line Passing Through Exactly 2 of N Points on a Plane? [English Subtitles]
Flash Report: ChatGPT-4o Takes on Competitive Programming [English Subtitles]
Переглядів 8 тис.2 місяці тому
Flash Report: ChatGPT-4o Takes on Competitive Programming [English Subtitles]
AtCoder Beginner Contest 353 A-G in 4 Minutes
Переглядів 7 тис.2 місяці тому
AtCoder Beginner Contest 353 A-G in 4 Minutes
I Asked ChatGPT to Say a Random Number Between 1 and 100... 1000 Times
Переглядів 11 тис.2 місяці тому
I Asked ChatGPT to Say a Random Number Between 1 and 100... 1000 Times
Can a 1×√2 Rectangle Be Tiled with Squares?
Переглядів 36 тис.2 місяці тому
Can a 1×√2 Rectangle Be Tiled with Squares?
AtCoder Beginner Contest 352 A-E in 3 minutes
Переглядів 6 тис.2 місяці тому
AtCoder Beginner Contest 352 A-E in 3 minutes
Is π Irrational? [English Subtitles]
Переглядів 26 тис.2 місяці тому
Is π Irrational? [English Subtitles]
Marriage Theorem: Can N Women Marry a Man They Like? [English Subtitles]
Переглядів 11 тис.2 місяці тому
Marriage Theorem: Can N Women Marry a Man They Like? [English Subtitles]
What Does the Sum of the Reciprocals of Square Numbers Converge to? [English Subtitles]
Переглядів 60 тис.2 місяці тому
What Does the Sum of the Reciprocals of Square Numbers Converge to? [English Subtitles]
過去一、一発で理解できんかったわ……
長く詳しい話も好きですが、このくらい程よい長さもまた乙なもの… チャンネル登録させていただきました。 この話は私に数学の面白さの一面を見せてくれた問題なので取り上げてくださってありがたいです。 納得のいかない人の悩むであろう「0.9999…」自体を真っ先に定義して話してあげるのが、一番理解した感触を出せる方法なのかもな…ご馳走様でした。
その2はその平面図形によって区切られた空間の数、とも考えられる。平面と多面体の表面はむしろそれの特殊例にすぎない。 平面の場合、一番外側の面が存在するため、空間がその平面によって2つに区切られている。 多面体の表面の場合も同様、空間がその表面によって内部と外部の2つに区切られている。
スネーク!!!!スネーーエエエエク!!!
文カスだからわからないのか、ただ単純に俺が馬鹿なのか
これを証明してどうなるのかよく分からん民は、一生作り方も知らない場所に作り方を知らないものを着て作り方を知らないものを食べて生きていきます
Thank you! I can learn Japanese and programming together <3
えびまさんの動画から先月競プロを始めた者です。 慣れるまではPythonで、と思いPythonで進めていますが、今回はA,B,Dの3完となり、壁を感じました。Javaは基本的な処理ができる程度はやったことがあり、C++は全く触ったことがないのですが模範解答が見れる点で魅力を感じています。移行するならどちらが良いでしょうか。何かしらコメントいただけると助かります。
なるほど…分からん
Very interesting that F has such a short solution. I'll have to think about how to recursively bruteforce it myself, then will compare.
complete E and F in one sentence, very impressive.
Sorry, I had quite a tight schedule. But I think "recursive brute-force from outside" is probably really enough for F, and E is almost just a BFS but with multiple queues (or a Dijkstra variant).
CやっぱりTLEみたいで安心
Dの"回文数"として0がOKなのは個人的にちょっと...って思いました...
0は変なんですよという教育的な効果を狙って意図的に入れられたのだと思いますが、さすがに好感は持てませんね。
C問題Pythonで通したけど、そこで力尽きました AI翻訳、今度試してみます
頭おかしくなってきた
C問題、Pythonなので全通り並び替えの時点でTLEが起きて心折れてた どうにか組み合わせで考えようとしてたけど計算が煩雑で厳しかった
問題Fは掛け算の式を表せだけだと語弊があると思います。 整数Nが回文、もしくはNを掛け算で現したとき、それを文字列にしたら回文になっているものを出力する問題です。
すみません、自分では「回文」といったつもりでしたが言えていませんでした。(1分も猶予がない状況でした。)
Dはかなり早い段階で構造がわかったのに、0に惑わされてアレェ?ってなったまま終わった
面白かった~ ABFが通せました! Fは10^6未満の候補を全列挙する非効率な方針を取ってしまいTLE寸前でした 言われてみるとNの約数だけでいいんですね・・・
C問題Pythonじゃ解けないよなやっぱ 安心した
Eで沼って撤退
Pythonで書いたC問題をどうにかTLEらないようにしようとしましたが、結局ダメでこれ見てC++に翻訳させたら通りました。ああああああああああ
同じく 10文字全部違う文字の場合だけ場合分けしたら通りました…ああああああああ
サラマンダーよりずっと速い現象めちゃんこ起きてる、、、
@@amatsuki3701 そんなのってアリかよおおおおおおお 天才じゃん;;
C問題で Python で TLE し 10 分かけた結果、諦めて AI に C++ に翻訳してもらい事なきを得ました。
ただの自己言及のパラドックスじゃん。 そういう話が聞きたいんじゃないんだけどなぁ。
高3です。自分の数学Ⅲの教科書に以下のような記述がありました。 我々は今まで1/3=0.3333……などと書いてきたが、右辺の無限小数の意味を深く考えてこなかった。漠然と0.3, 0.33, 0.333, ……のように無限に変化していくものととらえていた人も多かっただろう。しかし、常に変化して、一定の実数を表さないのでは、等号で結ばれるはずもない。数学Ⅲの言葉では、0.3333……は無限数列0.3, 0.33, 0.333, ……の極限値と定義される。するとこれは、初項0.3, 公比0.1の無限等比級数の和になるから、和の公式により1/3に等しくなる。 同様に、0.9999……は初項0.9, 公比0.1の無限等比級数の和となり、和の公式からこれは1に等しくなる。
コメント欄の治安良くて良き
すっっっっっっっっっっっっっっっっっっっっっっっっっっっごお
chatgptはひろゆきの上位互換だと思っています
霊夢が初心者目線でバシバシ質問入れてくれる構成が初心者にとても親切 「これってどういう意味なんだろう」って思った次の瞬間に毎回霊夢が聞いてくれてる
よくわからん
私は0.999…を、1の隣ではなく、「9を無限個並べるもの」と考えているのですが、 9を何回並べても0.999…は[0.1)内部にあるのに対して、1は[0.1)外部にあるから1=0.999…は成り立たないんじゃないの?という疑問がずっと解決しません。 誰か教えてください🙏
補足: 0:43 3つの大小が分かれば一択に絞れます。
1:03 フビニの定理をどのように用いているか分からないです…
ごますりchatGPTくんさぁ…
まあ念のため言っておくけど最難関ではないから注意
パイパン魔理沙が⑨すぎて草が生えますねえ
ほとんど高度なことを利用しないでここまで理解しやすい解説するのすげえ
√2を3000回測る √2と1を同時に測り始めて、4211回目の1が終わったところから時間を計測して3000回目の√2が終わった時間にストップっていうパワー解答はありですか
この問題ではダメということになっています (01:11)
「赤と黄色を選んで0度に近づければいいのか」でもう分からない なぜ「赤と赤を選んで角度を120度に近づける」からそれが導かれるのか?
日本女子大、慶医、東海医なんかで誘導付けて高校数学で解かされてますね 類題だと1990年東工大の後期でも
ネタバレ含む 各回において、円の中心と自分の直線上にライオンがいないことを示す必要がある。 また、初期条件として中心と自分の直線上にライオンがいないこと、ライオンの方が中心に近いという仮定でこの証明は正しい