キーワード Lean が含まれる動画 ： 409 件中 289 - 320 件目

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。
初見プレイなので途中ちょっとガバってます。
前回：sm40481109
気づいたら前回から2ヶ月空いてました……。ごめんなさい。

お借りした素材
解説枠：blueberry様　ニコニ・コモンズ　nc152783
立ち絵：むにさが様　ニコニコ静画　im7853117
音楽：魔王魂様

http://www.nicovideo.jp/watch/sm40779784

数学の定理証明ゲーム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様

http://www.nicovideo.jp/watch/sm40460373

多忙でイラスト、メイキング動画をあげれていなくてすみません(´;ω;｀)
4月から社会人なので半年に1回動画をあげれるか否か…□

質問等々ございましたらコメントくださると嬉しいです！

-----使用BGM----
seventeen
・CALL CALL CALL!
・HIGHLIGHT -Japanese ver.
・Lean On Me -Japanese ver.

ソナタ（ mylist/61067580 ）
Twitter（ https://twitter.com/SSnt_19 ）

http://www.nicovideo.jp/watch/sm34457437

#11　自作モデルとステージのテスト動画です
　たくましい男性モデルがセクシーなダンスを踊っています。苦手な方はがんばりましょう。

　静画[im8367693]でも触れていますが、動画製作途中でモデルさん達の使用条件が変更されました。
何度も動画にご出演頂いたモデルさんです。本当にありがとうございました。
　今でもお借りする方法はあるようですが、折角なので自作することにしました。

　今回はエア・サプレーナ島の出島と本島（ハリボテ）、エシディシ様が動いた記念です。
製作途中の動画のカメラを変更したくなかったので、出島はお借りしていたものとほぼ同サイズです。
動画が完成したら、出島は（気になる方にご確認頂くためにも）配布しようと思っています。

　エア・サプレーナ出島と本島はPmdE、ライオン像はxismo(198)、エシディシはxismo(199a)で作成し、どれもPmxEで調整しています。まだよくわからないことだらけですが、楽しいです！
　配布してくださってありがとうございます。

ニコニコ動画専用・転載禁止。[mylist/58827194]

http://www.nicovideo.jp/watch/sm33678952

「ミスタービッグの最高傑作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

http://www.nicovideo.jp/watch/sm33628847

PC版 メダル オブ オナー: エアボーンの、難易度:Expert、拳銃 (Level:Max) のみ、Lean 無しのプレイ動画です。PS3、Xbox 360。拳銃ランボーのリスト → mylist/10311320。次 → sm3147957。

http://www.nicovideo.jp/watch/sm3147730

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入りきらない分は動画※

http://www.nicovideo.jp/watch/sm31140071

PC版 メダル オブ オナー: エアボーンの、難易度:Expert、拳銃 (Level:Max) のみ、Lean 無しのプレイ動画です。PS3、Xbox 360。拳銃ランボーのリスト → mylist/10311320。前 → sm3109547。

http://www.nicovideo.jp/watch/sm3109800

トランス、ビッグルーム、プログレッシブハウス、様々な曲の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

http://www.nicovideo.jp/watch/sm31008515

この頃モニター替えて、なんか画質が悪く感じます。

【　お借りしたもの　】
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様

http://www.nicovideo.jp/watch/sm29262157

作成物

http://www.nicovideo.jp/watch/sm28892755

YouTube 転載

http://www.nicovideo.jp/watch/sm28059859

ご視聴ありがとうございます。
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ソング)

http://www.nicovideo.jp/watch/sm27926577

http://www.nicovideo.jp/watch/sm27502369

__
フレンドシップゲームで彼らの最大のブキ、クリスタルプレップの守備のレギュラーに出会う
彼女は勝利マシンで、別に卑劣ではないことを意味するよ！
紹介するよ…トワイライト スパークル！

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】

http://www.nicovideo.jp/watch/sm26723124

■ Artist: Juicy J
■ Title: All I Need
■ Producer: Big Fruit
■ Mixtape: Blue Dream & Lean 2 (2015)

■ Uploaded Videos: mylist/38434515

http://www.nicovideo.jp/watch/sm25871781

Beth Orton & Terry Callier

http://www.nicovideo.jp/watch/sm17668887

Lean苦手なのであんま使わないんですよね・・・
移動キー使いづらくなるのとaimしづらいのが何とも。
案の定強化親父が出てきましたが、動きが本当に酷い。周りの雑魚もうざい。
ここは若干運ゲーな面がある気がします。ノーダメ無理そう・・・
ちなみに、左のヴァレリーが死んでもゲームオーバーのようです。
次→sm1626204　（前→sm1625867）　だるおリスト→mylist/376577/2968665

http://www.nicovideo.jp/watch/sm1626076

2010年、デビュ－・アルバム「Something To Lean On」より1曲目をご紹介。　

http://www.nicovideo.jp/watch/nm18810639

【ネタバレ注意】『ドラゴンクエスト ビルダーズ２ 破壊神シドーとからっぽの島』の初見実況です。

実況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Ø) 』

http://www.nicovideo.jp/watch/sm46260809

はじめまして、かんじマスターです。
ボカコレ2026冬ルーキー参加曲です。

曲：かんじマスター
声：重音テト
絵：ノーコピーライトガール

http://www.nicovideo.jp/watch/sm45972871

なぜエルデシュは、自分で解ける問題を「未解決」として残したのか？
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 #数学 #テレンス・タオ #人工知能 #エルデシュ

http://www.nicovideo.jp/watch/sm45854755

お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT（５分間の発表）の部分を、抜粋してお送りします。
日曜数学会は、年３回（２月、６月、１０月）の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。

コミュニティ：co3098377
日曜数学会マイリスト：mylist/54162119
Twitter：https://twitter.com/nichimath

発表タイトル：グラスビーズ
発表者：中村暁
発表資料等：https://castalien.com/glassbeads

http://www.nicovideo.jp/watch/sm45464497

ミストファイナァ・・・

http://www.nicovideo.jp/watch/sm42667552

※５曲目には漫画のネタバレになりうる表現が含まれています。

可愛らしい三姉妹をお迎えさせていただきました！
Twitterに上げたもの＋４曲のまとめ動画です。

#00:00 『ラビットホール』（三姉妹）
#00:16 『Lay It All on Me』（胡蝶カナエ）
#01:24 『MANIAC』（胡蝶しのぶ）
#02:01 『Lean On』（栗花落カナヲ）
#02:51 『Shadow Shadow』（三姉妹、ネタバレ表現アリ）

『ラビットホール』モーション：DIBU様
『Shadow Shadow』モーション：りんご様
Stray Kids "MANIAC"
https://youtu.be/OvioeS1ZZ7o

お借りしたものは動画内記載＆コンテンツツリーに登録してあります。
製作者様方ありがとうございました！


転載（スクショ含む）及び、この動画をAIに学習させる行為を禁止
Repost is prohibited.
禁止转载
――――――――――――――――――――――――

ご視聴のみならずいいね・マイリス・コメントをありがとうございます！

広告をいただきました！ありがとうございます♪
びすこってぃ様

http://www.nicovideo.jp/watch/sm42273009

歌詞に「Fire a gun」（銃を撃つ）ってあるじゃん……！と気付いてしまったのでポカニキに踊ってもらいました。
特に深い意味はありません。
無断転載禁止：Do Not Repost

お借りしたものはクレジットに記載およびコンテンツツリーに登録致しました。
ありがとうございます。

http://www.nicovideo.jp/watch/sm42103456

【ネタバレ注意】仁王 Complete Editionの実況です。

実況8作目です。　
1周年なので一番好きなゲームを実況します。
果たして41歳は30時間でクリアーできるのか？

©コーエーテクモゲームス

1.初見ではありません。
2.30時間はあくまでも目標です。（達成できなくても最後まで実況します。）
3.ネットワークはオフラインで行きます。

メインミッション『魔王耀変』

遂に織田信長登場。


前→sm41708832
次→sm41709310

mylist/74111252

今日聞きたい曲『 Major Lazer & DJ Snake - Lean On (feat. MØ)』

http://www.nicovideo.jp/watch/sm41709140

「Protect.」
作曲：小林成宇　作詞：福田千穂

ねえ ひとりぼっち 傷だらけで
ここまで走って来たの？
「立ち止まるわけにいかないの」と
君はまた一歩踏み出すけど

転ぶたびに また起き上がる
小さな背中を支えたくて
手を伸ばした 一緒に進もう

君の心から溢れ出す
想い全部受け止めるから
繋いだ手離さないで
ここにいるよ
I am always by your side


張り裂けそうな 心の声
誰にも言えずにいるの？
笑顔張りつけ「大丈夫」と
口に出すのが癖になって

難しいこと わかんないんだけど
強がりばかりの君のこと
守りたいから そばにいさせて

君の瞳から溢れ出す
涙全部受け止めるから
交わる視線逸らさないで
ここにいてよ
Here's my shoulder lean on me


君の怒り悲しみ嘘も
僕が全部受け止めるから
繋いだ手離さないで
ここにいるよ
I am always by your side

ーーーーーーーーーーーーーーーーーーーー

1st EP『AGAIN』
1.AGAIN
2.シャララ
3.Protect.
4.夢ニ咲ケ
〈全４曲〉
□https://linkco.re/sXZSHvnA?lang=ja

http://www.nicovideo.jp/watch/sm41594485

Youtube ver ♥ https://youtu.be/bFBqfIuE89Q

小泉花陽 : Hanerung (@Hane_79)
西木野真姫 : 59 (@OGU59_COS)
星空凛 : タナ (@JJKtana)

高坂穂乃果 : もち米 (@guswn991009)
南ことり : ツエ (@cosplay_lean)
園田海未 : ソラ (@soraehwan)

矢澤にこ : Sayo (@saaaaayosoro)
絢瀬絵里 : ユポリン (@upporing)
東條希 : ゆり (@Yuri_cos__)

撮影 & 編集 : Gopoktan (@gopoktan)

http://www.nicovideo.jp/watch/sm41118958

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。
前回：sm40469814
次回：sm40779784

お借りした素材
解説枠：blueberry様　ニコニ・コモンズ　nc152783
立ち絵：むにさが様　ニコニコ静画　im7853117
音楽：魔王魂様

http://www.nicovideo.jp/watch/sm40481109

矢野顕子×上原ひろみ

http://www.nicovideo.jp/watch/sm40054737

Cad a chiallaíonn an teachtaireacht ón spéir? I stair na gcéadta milliún milliún bliain, déantar croílár na cruinne a athainmniú i gcónaí, agus is é dlí na cruinne go ndéanann daoine dearmad air agus go maireann siad trí thabhairt faoi deara, foghlaim agus tacú lena chéile. Ar an gcúis seo, tá na flaithis bíonn faisnéis á scaoileadh i gcónaí, ach fiú má fhaigheann daoine an fhaisnéis sin, déanann siad í a athsholáthar mar áis dóibh féin agus úsáideann siad í mar gheall ar a saint féin. Tá an talamh ag screadaíl gan stad Tá an ghealach tacaíochta ídithe, mar sin tá sé fíor-riachtanach leanúint de theachtaireacht a sheoladh neamh mar atá sé Is é an t-aon ról ar domhan a bhfuil muinín 100% ag neamh ann Leanúint an reincarnation deireanach ar an saol seo <Hasutomo Cocoro> Tógfaidh sí a saol agus beidh an ról deireanach aici ar an saol seo

http://www.nicovideo.jp/watch/sm39226210