キーワード Lean が含まれる動画 ： 407 件中 97 - 128 件目
種類:
- タグ
- キーワード
対象:
グラスビーズ ＠第33回日曜数学会
お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT（５分間の発表）の部分を、抜粋してお送りします。
日曜数学会は、年３回（２月、６月、１０月）の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ：co3098377
日曜数学会マイリスト：mylist/54162119
Twitter：https://twitter.com/nichimath
発表タイトル：グラスビーズ
発表者：中村暁
発表資料等：https://castalien.com/glassbeads
AIが数学難問を証明。天才タオが警告する1%の真実 ／ GPT-5.2・エルデシュ問題・テレンス・タオ・Aristotle・数学の産業化
なぜエルデシュは、自分で解ける問題を「未解決」として残したのか？
AIが解いた瞬間、90年前の論文から謎が浮かび上がった。
成功率わずか1%。タオが語った、その数字の意味とは。
(´･ω･`)ごめんなさい。編集ミスで、最初に映る写真はニール・ソマニさんです
技術仕様と検証環境について
本動画で解説しているAIモデル（GPT-5.2 Pro, Harmonic Aristotle）および数学的証明の成果は、2026年1月時点でのarXivプレプリント（2601.07421等）およびテレンス・タオ教授（UCLA）の公式コメントに基づきます。
AIによる自動定理証明の成功率（1-2%）については、データベース「Erdos Problems LLM Hunter」の記録を参照しています。
https://mathstodon.xyz/@tao/115855845720777387
https://mathstodon.xyz/@tao/115911902186528812
https://officechai.com/ai/yet-another-erdos-problem-solved-with-help-of-gpt-5-2-terrance-tao-calls-it-most-unambiguous-instance-of-ai-solving-an-open-problem/
https://www.erdosproblems.com/forum/thread/728
https://www.erdosproblems.com/397
https://www.erdosproblems.com/forum/thread/281
https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems
https://note.com/joho_no_todai/n/n04d5457a599b
ai 関連動画まとめ
https://www.youtube.com/playlist?list=PLsOOPCJgTuZzowBvzs1Q4de2Os5sdaPlh
チャプター
0:00 なぜ解かなかった
0:23 放浪者の遺言
1:49 陥落した要塞
4:47 証明の工場
7:24 1%の風景
9:37 産業化する知性
11:45 問いを遺す者
#GPT5 #数学 #テレンス・タオ #人工知能 #エルデシュ
44歳の初ビルド『ドラゴンクエスト ビルダーズ２ 破壊神シドーとからっぽの島』【ネタバレ注意】56
【ネタバレ注意】『ドラゴンクエスト ビルダーズ２ 破壊神シドーとからっぽの島』の初見実況です。
実況22作目です。
初めての建築ゲー。
© ARMOR PROJECT/BIRD STUDIO/SQUARE ENIX All Rights Reserved.
© SUGIYAMA KOBO
素材島探索その2。
前→sm46256787
次→sm46260858
マイリスト→mylist/79248615
今日聴きたい曲『 Major Lazer & DJ Snake - Lean On (feat. MØ) 』
![[Melodious Hard Rock] Borgogna - Dirty Roses](https://nicovideo.cdn.nimg.jp/thumbnails/18810639/18810639)
FarCryでふぁ～だるい。 Map20 火山 [part94]
![FarCryでふぁ～だるい。 Map20 火山 [part94]](https://nicovideo.cdn.nimg.jp/thumbnails/1626076/1626076)
Lean苦手なのであんま使わないんですよね・・・
移動キー使いづらくなるのとaimしづらいのが何とも。
案の定強化親父が出てきましたが、動きが本当に酷い。周りの雑魚もうざい。
ここは若干運ゲーな面がある気がします。ノーダメ無理そう・・・
ちなみに、左のヴァレリーが死んでもゲームオーバーのようです。
次→sm1626204 （前→sm1625867） だるおリスト→mylist/376577/2968665
Juicy J feat. K Camp - All I Need (One Mo Drank)
■ Artist: Juicy J
■ Title: All I Need
■ Producer: Big Fruit
■ Mixtape: Blue Dream & Lean 2 (2015)
■ Uploaded Videos: mylist/38434515
【MLP:EG】 Friendship Games トレーラー
__
フレンドシップゲームで彼らの最大のブキ、クリスタルプレップの守備のレギュラーに出会う
彼女は勝利マシンで、別に卑劣ではないことを意味するよ！
紹介するよ…トワイライト スパークル！
Meet Crystal Prep’s front line defense, their greatest weapon in the Friendship Games. She’s a lean, not really mean, winning machine! Introducing… TWILIGHT SPARKLE!
【https://goo.gl/5lUrFg】
Lean On (feat. MØ)/メジャー・レイザー & DJスネーク【オルゴール】
ご視聴ありがとうございます。
R3 Music Boxでは最新のヒット曲や名曲をオルゴールバージョンにして配信しています。
癒されるオルゴールサウンドをお楽しみください。
この他にもアニメソング、ドラマや映画の主題歌、CMソング、ゲーム音楽など様々な曲をアップしていますので、ごゆっくりご覧下さい。
■マイリスト/プロフィール
user/28470749
■オルゴール動画検索 (検索ボックスに曲名やアーティスト名、タイアップ情報等を追加してください)
http://www.nicovideo.jp/search/r3musicbox
■ツイッター
https://twitter.com/r3musicbox_nico
■YouTubeチャンネル
http://www.youtube.com/c/r3musicbox
(グーグル「Nexus 5X」CMソング)
【MMD】 Lean on
この頃モニター替えて、なんか画質が悪く感じます。
【 お借りしたもの 】
Song：Major Lazer & DJ Snake - Lean On (feat. MØ) (Official Music Video)
https://www.youtube.com/watch?v=YqeW9_5kURI
Model：【MMD-DMC2】 Ur-Style -arbitrary style- PV 【鏡音リン夏Ver配布】 ISAO様
sm13145343
Motion：【MMD刀剣乱舞】Lean on(ﾓｰｼｮﾝ配布) 村民 様
sm27425012
Stage：RoofTopステージ配布 JMatt379様
im5923601
【MMDステージ配布】ナイトシティ MM4【AL対応スカイドーム】 怪獣対若大将P様
im5505037
MME：おたもん様、そぼろ様、ドゥドゥ様、鍵束様、針金Ｐ様、Elle/データP様
Dash Berlin only DJ MIX!
トランス、ビッグルーム、プログレッシブハウス、様々な曲のRemixなどを作成しているDash berlin
もっと色んな人に知ってほしくて、Dash Berlinが作った曲Remixをした曲のみでMIXしました。
World falls apart
i take care
gold club
Don't Look Down
waiting
this is who we are
faded
beautiful now
Out Side
lean on
listen to your heart
without the sun
are you with me
heaven
till the sky falls down
We Are Dasher
Medal of Honor: Airborne 拳銃らんぼー ミッション1 (2/2)
PC版 メダル オブ オナー: エアボーンの、難易度:Expert、拳銃 (Level:Max) のみ、Lean 無しのプレイ動画です。PS3、Xbox 360。拳銃ランボーのリスト → mylist/10311320。前 → sm3109547。
サバービア・オルガンバー・フリーソウル系作業用BGM
GINETTE RENO・MICHEL LEGRAND-QUAND CA BALANCEJACKIE TRENT & TONY HATCH-I MUST KNOWCHICO ARNEZ-ESO BESOJULA DE PALMA-OH ALFREDOJACKSON SLOAN-DEVIL MAY CAREGROUP SIX PLAYERS-TIME CHECKBOBBY COLE-A PERFECT DAYA TRAIN-BABY PLEASEARCHIE JAMES CAVANAUGH-MAKE ME BELIEVEODYSSEY-BATTENED SHIPSDOUG PARKINSON'S SOUTHERN STAR BAND-RAINBOW IN YOUR EYESNITEFLYTE-YOU AREJOYCE COOLING-IT'S YOUCATCH UP Ⅱ-SISTER JANEALICE BABS-BEEN TO CANAANDON GLASER-SAN DIEGONANCY HOLLOWAY-SWEARING TO GOD!JOHNNY NICOL-DON'T DO DATRAPHAEL CHICOREL-ALL THAT LOVE MAKINGGRETHE INGMANN-SPRING IS ALWAYS GREENCLAUDE DAURAY-JOCKEY DISCTHE MOON PEOPLE-HIPPY,SKIPPY,MOON STRUTEDDIE CANO-I CAN'T CRY ANYMORESARAH-DO THE PATROPISTAN REYNOLD-TRUE LOVEBIG BAD VOODOO DADDY-WHAT'S NEXTBILLIE DAVIS-I WANT YOU TO BE MY BABYANITA HARRIS-THE CLAPPING SONGDOROTHY ELLISON-HIT THE ROAD, JACKTHE STARGAZERS-WONDERFUL YOUTHE RAY GELATO GIANTS-JOSEPHIN PLEASE NO LEAN ON THE BELL入りきらない分は動画※
Medal of Honor: Airborne 拳銃らんぼー ミッション2 (1/2)
PC版 メダル オブ オナー: エアボーンの、難易度:Expert、拳銃 (Level:Max) のみ、Lean 無しのプレイ動画です。PS3、Xbox 360。拳銃ランボーのリスト → mylist/10311320。次 → sm3147957。
Mr.Big - Green-Tinted Sixties Mind 高2が弾いてみた
「ミスタービッグの最高傑作Lean Into Itを全曲カバーチャレンジ」
3曲目のGreen-Tinted Sixties Mindです
Lean Into It 全曲カバーの他の動画→ nm62915053
Guitar - Ibanez RG350EX
Amp - AC30/6 TB
Pedal - VOX StompLab HG
- RAT
- BOSS Equalizer GE-7
この曲は本当に今まで聞いた音楽でトップ3に入る本当に好きな曲です。
イントロ本当に苦戦しましたw
【MMD】- Lean On -【JOJO】
#11 自作モデルとステージのテスト動画です
たくましい男性モデルがセクシーなダンスを踊っています。苦手な方はがんばりましょう。
静画[im8367693]でも触れていますが、動画製作途中でモデルさん達の使用条件が変更されました。
何度も動画にご出演頂いたモデルさんです。本当にありがとうございました。
今でもお借りする方法はあるようですが、折角なので自作することにしました。
今回はエア・サプレーナ島の出島と本島（ハリボテ）、エシディシ様が動いた記念です。
製作途中の動画のカメラを変更したくなかったので、出島はお借りしていたものとほぼ同サイズです。
動画が完成したら、出島は（気になる方にご確認頂くためにも）配布しようと思っています。
エア・サプレーナ出島と本島はPmdE、ライオン像はxismo(198)、エシディシはxismo(199a)で作成し、どれもPmxEで調整しています。まだよくわからないことだらけですが、楽しいです！
配布してくださってありがとうございます。
ニコニコ動画専用・転載禁止。[mylist/58827194]
【鳥頭が】依頼絵描いてみた【speedpaint】
多忙でイラスト、メイキング動画をあげれていなくてすみません(´;ω;｀)
4月から社会人なので半年に1回動画をあげれるか否か…□
質問等々ございましたらコメントくださると嬉しいです！
-----使用BGM----
seventeen
・CALL CALL CALL!
・HIGHLIGHT -Japanese ver.
・Lean On Me -Japanese ver.
ソナタ（ mylist/61067580 ）
Twitter（ https://twitter.com/SSnt_19 ）
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。
第2回は「rw」コマンド・Leanでの自然数や足し算の定義について。
Natural Number Gameは↓のURLから。
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
アクセスできないときのミラー：
https://cbirkbeck.github.io/natural_number_game/
前回（第1回）：sm40432561
LeanやMathlibについて：
https://leanprover-community.github.io/
お借りした素材
背景：みんちり様 ニコニ・コモンズ nc227434
解説枠：blueberry様 ニコニ・コモンズ nc155894
立ち絵：
むにさが様 ニコニコ静画 im7050036 im6928060
山栗鼠様 ニコニコ静画 im5354179
音楽：魔王魂様、こんとどぅふぇ様、sanche様
きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。
初見プレイなので途中ちょっとガバってます。
前回：sm40481109
気づいたら前回から2ヶ月空いてました……。ごめんなさい。
お借りした素材
解説枠：blueberry様 ニコニ・コモンズ nc152783
立ち絵：むにさが様 ニコニコ静画 im7853117
音楽：魔王魂様
【SynthesizerV original song】Sleep With A Rag Doll
Hello my doll
I sewed your life
with ragged clothes
Lean on the wall
Show me your smile
I feel alone
I need a rag doll
Sleep with a rag doll
I love a rag doll
To be idle is not so wrong
Let's have a smoke
Drink alcohol
We had a doze
I comb your hair
and rub your tears
Though I get old
don't betray me
don't let me down
I need a rag doll
Dream with a rag doll
I love a rag doll
To be idle is not so wrong
Let's have a smoke
Drink alcohol
やあ、アLeanアルさんだよ #1
アリアルさんが排中律と二重否定除去の同値性を示す動画！
【合成音声】
アリアル : Voiced by https://CoeFont.cloud
【使用素材】
解説枠 浅井麻 様 (@asaiasa0)
BGM OYKT 様 (https://linktr.ee/oykt)
牛乳の配送過程に学びたい -チェビグローサ#5 [CeVIO解説]
![牛乳の配送過程に学びたい -チェビグローサ#5 [CeVIO解説]](https://nicovideo.cdn.nimg.jp/thumbnails/43551824/43551824.2915996)
Dobrý den & Good day!（こんにちは！）
今回はMilk Runという，意外に使いやすい単語．
いいね！は動画に入りきらなかったうんちくです．
最後に紹介した動画
World's Cleanest Milk | Nas Daily
https://youtu.be/JM2Vk8JAr1k?si=pmsRECFN1e200jm2
ミルクランの用例（航空旅ログ）
FLYING 6 HOURS ON A DASH 8! A Northern Adventure with Air Inuit | Alex Praglowski Aviation
https://www.youtube.com/watch?v=zlOez1hgLwo
※動画の内容はできる限り事実を確認していますが，
誤りが含まれる可能性があります。
使用キャラ: CeVIO CS7 さとうささら&すずきつづみ
立ち絵: めじろーす 様（im11024230 , im11030249 ）
====================
参考:
https://en.wikipedia.org/wiki/Milk_run
https://dictionary.cambridge.org/dictionary/english/milk-run
https://www.collinsdictionary.com/dictionary/english/milk-run
https://www.scroll360.jp/note/20230206-7172/
https://www.interlakemecalux.com/blog/milk-run-logistics
https://www.lean.org/lexicon-terms/milk-run/
https://www.researchgate.net/publication/290086470_Milk_Run_Design_Definitions_Concepts_and_Solution_Approaches
引用:
https://www.klook.com/en-AU/blog/japan-train-guide/
Sudeep Thakuri, et. al., Science of The Total Environment, Volume 746, 2020, 141184
【紲星あかりカバー】 渡りの詩 （Rewrite） 【多言語で無理矢理解読してみた】
「Rewrite」より『渡りの詩』を紲星あかりでカバーしました
For l'aube reír You view far L'iris cross to me Tellus 遠く 古い夢見 far Le Rire last tune Remember Wise in reason Wissen Melodie Relay di rotten 透きとおる瞳の色 Cor hark Rotten 夕日の終わり
If for stay for いつも Falling star Animo la sentence tôt 壊そう朝も
Rosso rosso Rund Tour trente ans We listen to Le temps l'idée L'ire rosso L'ouragan luit 君の歌
この L'iris lean pseudo For star La lyre qui ré-dit ainsi Last feast For l'ire l'ire l'or-temps Birth to fede Forc' laurée 凛と聞こえだすその歌 L'adieu forced Cogo È l'ira di courroux Mode vie Leaving to falling Rousse she si rit Sing star stella Te di rivedila
Ridens insigne Stellae Qualif pour fin d'y Forlorn l'un libre L'instant tolère Ridens insigne Enfer 寂しく止まる L'hymne dit dis-lui doux la 夢のまにまに
Lari horror thunder Rue moni nisus scar Trop mort lì L'unda burst trop haut coup
Y Isha wise sautant sous forêt Gib mir la file Où t'en sforare 意味はないForis tantum re M'y fardeaux Fa mille race
あのL'iris lean pseudo For star 無能なる神 Last fiesta For l'ire l'ire l'or-temps Birth to fede Forc' laurée オーロラが降りるこの歌 L'astre doux forced Cruel et la recrue Mode vie 君に問う 夢 mirant dis Lasting L'eau doux L'atteint どう言えば Ibi stando もう一度還る
くまうた （1047） 「三寒四温」 唄：嵐山クマ男
PS2「くまうた」より1047作目です。友人作詞です。友人からのコメント※：定番のオチに歳時記を盛り込んだだけという 新聞の四コマ漫画なみの豪快なオチの使い回し。 反省はするが後悔はしない 本日の心のBGM 「Silver Platform」（U1 Rincarnates w/Lean） → sm497953（DDR版） 作品リストです＞mylist/3096173 mylist/7282403 mylist/11287929
流行という空想 DJ KORBY'S RADIO SHOW 11/28 秋の夜長はBody Warming
□2009年11月28日 □ 秋の夜長はBody Warming01. Say It / JOHN COLTRANE02. Lean On Me / BILL WITHERS03. Slow Hand / THE POINTER SISTERS04. Before The Rain / LEE OSCAR05. I'm Not In Love / 10CC06. Body And Soul / THE MANHATTAN TRANSFER07. I am The Black Gold Of The Sun / NUYORICAN SOUL08. This Is All I Ask / NILSSON09. As Time Goes By / NILSSON10. The Great Gig In The Sky / PINK FLOYD11. You're Still A Young Man / TOWER OF POWER12. Oye Como Va / SANTANA ◇DJK -1 mylist/7477700◇DJK -2 mylist/7477648◇DJK -3 mylist/11017031＜これからの予定＞ * 12/5 BILLBOARD CHART TOP20 in 1969 * 12/12 BILLBOARD CHART TOP20 in 1979 * 12/19 BILLBOARD CHART TOP20 in 1989 * 12/26 BILLBOARD CHART TOP20 in 1999
![[洋楽] Pabllo Vittar - Open Bar [MV]](https://nicovideo.cdn.nimg.jp/thumbnails/31353078/31353078)
Medal of Honor: Airborne 拳銃らんぼー ミッション2 (2/2)
PC版 メダル オブ オナー: エアボーンの、難易度:Expert、拳銃 (Level:Max) のみ、Lean 無しのプレイ動画です。PS3、Xbox 360。拳銃ランボーのリスト → mylist/10311320。前 → sm3147730。
【MMD】ハドウさんで洋楽３曲詰めあわせ
デラさんとハドウさんのMMDモデルが配布されたとのことで、自分用も兼ねてさっそくハドウさんの動画を作ってみました。
楽しんでいただけたら幸いです。
1.shattered glass
2.Super Psycho Love（http://www.bilibili.com/video/av2222280/）
3.Lean on
デラとハドウ Channel
https://www.youtube.com/channel/UC0QzO6nK1cEDZvJSt2769Zw