タグ VOICEROIDファンの数学サイド が登録されている動画 ： 330 件中 129 - 160 件目

youtubeに投稿していたものの転載ですわ！
https://youtu.be/IbVGUbs25EM

--------------------------------------------------------------------------------------------
◎参考文献
折原明夫, 測度と積分, 裳華房.
伊藤清三, ルベーグ積分入門, 裳華房.
--------------------------------------------------------------------------------------------
◎お借りした素材
琴葉姉妹立ち絵(そんそん様)
https://seiga.nicovideo.jp/seiga/im8282029
BGM(甘茶の音楽工房様)
https://amachamusic.chagasi.com/
booth様
https://booth.pm/ja/items/3107048?registration=1
photoAC様
https://www.photo-ac.com/
空想曲線様
https://kopacurve.blog.fc2.com/
イラストエイト様
https://illust8.com/
otologic様
https://otologic.jp/
フキダシデザイン様
https://fukidesign.com/

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

数学の研究というと、リーマン予想などの凄く有名な未解決問題を頑張って解こうとしているイメージがあるかもしれません。
しかし、日々数学者は「こういうことが成り立ちそうだなー」「これが言えたら面白そうだな」という自分だけの未解決問題（問題意識）を心の中に持って数学をしています。そしてその問題は、同じ分野の人であっても、人によって様々です。なので数学者の数だけ未解決問題があるといっても過言ではありません。
この動画シリーズ（仮）では、ゆかりさんの専攻分野の中での（ゆかりさんの中では）有名な未解決問題を取り上げていきます。

お借りした素材
背景：みんちり様　ニコニ・コモンズ　nc248443
立ち絵：ランタナ様
https://www.pixiv.net/artworks/88145409
https://www.pixiv.net/artworks/98365005
音楽：こんとどぅふぇ
この動画は　VOICEVOX:ずんだもん　の音声を使用しています。

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

COEIROINKのナコレコが，数学についてつぶやきます。
今回のテーマは球の表面積です。
知ってる人は知ってるが，知らない人は知らない話です。

--- 音声素材 ---
 無料AIトークソフト COEIROINK

--- 音声 ---
 ナコ：MANA@COEIROINK
 レコ：つくよみちゃん@COEIROINK
 カナタ：おふとんP@COEIROINK

--- 立ち絵 ---
 ナコ・レコ・カナタ@COEIROINK

--- フリーイラスト ---
 いらすとや

--- フリーBGM ---
 imataku Music

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

コメント・いいね・広告ありがとうございます
毎度のことですが この回から見られても殆ど問題ありません

・一部素材について(コンテンツツリー登録外)

◎効果音
魔王魂 様 (https://maou.audio/)
効果音ラボ 様 (https://soundeffect-lab.info/)

◎音楽
甘茶の音楽工房 様 (https://amachamusic.chagasi.com/)

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

日本語で読める圏論の書籍について解説しています。
紹介する本は以下の通り。

1. S. Mac Lane『圏論の基礎』
2. T. Leinster『ベーシック圏論』
原著のarXiv版（無料ダウンロード可）：
https://arxiv.org/abs/1612.09375
3. 中岡 宏行『圏論の技法』
4. S. Awodey『圏論』
（！注意！あまり日本語訳の評判がよろしくないようです）
5. 浅芝 秀人『圏と表現論』
6. alg-d『全ての概念はKan拡張である』
alg_dさんのサイトの圏論ページとYoutubeチャンネル：
http://alg-d.com/math/kan_extension/
https://www.youtube.com/c/alg-dx

E. Riehlさんの"Category Theory in Context"
著者が無料で公開しているpdf：
https://math.jhu.edu/~eriehl/context.pdf

過去に投稿した三角圏の動画：
sm40257631


お借りした素材
背景：左藤様　ニコニ・コモンズ　nc168266
解説枠：blueberry様　ニコニ・コモンズ　nc155894
立ち絵：むにさが様　 ニコニコ静画 　im8316584
音楽：Sakuttipanda様、音楽の卵様

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

今回でノートの一章が終わりです. 今回は抽象的になりますが丁寧に進めるつもりですのでよろしくお願いします.

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

5月にすら間に合わなかったが許してください

Twitterやってます→@izou_exp

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

編集普通に間に合いませんでした申し訳ございません。
今回は「数学小説　確固たる曖昧さ」という本のお話です。
本書の数学は小学生でもがんばればついていけるレベルと思われます。
というか私の数学力が（以下略）

●ユークリッド幾何学の「原論」の内容はこちらで見られます
https://pisan-dub.jp/doc/2011/20110205001/index.html

●立ち絵
あかり：サポタ様、akihiyo様
ゆかり：ポン様

●BGM
sanche様

●背景
Unsplash/Janko Ferlič様( https://unsplash.com/photos/sfL_QOnmy00 )
Unsplash/Thomas T様( https://unsplash.com/photos/OPpCbAAKWv8 )

●本の表紙画像は版元ドットコム(https://www.hanmoto.com)で利用可能なものをお借りしました。

●その他、コンテンツツリー参照

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

ソフトウェアトーク理工サイド交流祭になんとか間に合ったぜ。
その代わり雑になってしまったぜ。

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

壁檸檬さんによる企画「ソフトウェアトーク理工サイド交流祭」
に参加しています。タグなどから他の動画もぜひ見てみてください
　
VOICEVOX:ずんだもん、VOICEVOX:四国めたん
を使用しています。VOICEVOXのホームページはこちら→https://voicevox.hiroshiba.jp/
　
魔王魂によるBGM『8bit17』
を使用しています。こちら→https://maou.audio/bgm_8bit17/
　
動画中で表示した参考文献→https://yutaka-nishiyama.sakura.ne.jp/susemi/susemi0709.pdf

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

動画でのコメント,いいね,広告等ありがとうございます

------------
この回から見られても支障はありません
内容のカテゴリは整数論となっております
------------
・一部素材について(コンテンツツリー登録外)

◎音楽
ramzoid 様 (https://soundcloud.com/ramzoid)
incompetech 様 (http://incompetech.com)

◎効果音
魔王魂 様 (https://maou.audio/)
効果音ラボ 様 (https://soundeffect-lab.info/)

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

Youtubeに挙げていた動画の転載です。
URL：https://youtu.be/QCLt_qCFt6I

◎お借りした素材
琴葉姉妹立ち絵(そんそん様)
https://seiga.nicovideo.jp/seiga/im8282029
photoAC様
https://www.photo-ac.com/
空想曲線様
https://kopacurve.blog.fc2.com/
イラストエイト様
https://illust8.com/
otologic様
https://otologic.jp/

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

発表者: 結月ゆかり

(1/2): sm40532347

この動画は壁檸檬様主催の動画投稿祭、「ソフトウェアトーク理工サイド交流祭
」の参加作品です。
壁檸檬様、このような楽しい投稿祭を企画してくださいありがとうございました！

間違いなどがありましたらコメント等でやさしくご指摘していただけると大変助かります。

◆お知らせ
　以前投稿していた「茜ちゃんのひとくち数学」シリーズの更新停止を決めました。
詳細は次のURLに載せています。
https://scrapbox.io/32842327/%E3%80%8C%E8%8C%9C%E3%81%A1%E3%82%83%E3%82%93%E3%81%AE%E3%81%B2%E3%81%A8%E3%81%8F%E3%81%A1%E6%95%B0%E5%AD%A6%E3%80%8D%E6%9B%B4%E6%96%B0%E5%81%9C%E6%AD%A2%E3%81%AE%E3%81%8A%E7%9F%A5%E3%82%89%E3%81%9B

◆YouTube
https://youtu.be/0qOryA4OrEo

◆参考文献一覧
●p-adic Numbers An Introduction (Fernando Q. Gouvea)
●Introduction to Commutative Algebra (M. F. Atiyah, I. G. MacDonald)
●Applied Algebraic Dynamics (Vladimir Anashin, Andrei Khrennikov)

◆連絡先
Twitter: https://twitter.com/7x127x36943
メール: [email protected]
次: 葵ちゃんとカオ

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

発表者: 結月ゆかり

(2/2): sm40532393

この動画は壁檸檬様主催の動画投稿祭、「ソフトウェアトーク理工サイド交流祭
」の参加作品です。
壁檸檬様、このような楽しい投稿祭を企画してくださいありがとうございました！

※動画内でゆかりさんが「勉強会を月一ぐらいで開催したい」と言っていますが、これは動画の定期投稿を示唆するものではありません

間違いなどがありましたらコメント等でやさしくご指摘していただけると大変助かります。

◆お知らせ
　以前投稿していた「茜ちゃんのひとくち数学」シリーズの更新停止を決めました。
詳細は次のURLに載せています。
https://scrapbox.io/32842327/%E3%80%8C%E8%8C%9C%E3%81%A1%E3%82%83%E3%82%93%E3%81%AE%E3%81%B2%E3%81%A8%E3%81%8F%E3%81%A1%E6%95%B0%E5%AD%A6%E3%80%8D%E6%9B%B4%E6%96%B0%E5%81%9C%E6%AD%A2%E3%81%AE%E3%81%8A%E7%9F%A5%E3%82%89%E3%81%9B

◆YouTube
https://youtu.be/0qOryA4OrEo

◆参考文献一覧
●p-adic Numbers An Introduction (Fernando Q. Gouvea)
●Introduction to Commutative Algebra (M. F. Atiyah, I. G. MacDonald)
●Applied Algebraic Dynamics (Vladimir Anashin, Andrei Khrennikov)

◆連絡先
Twitter: https://twitter.com/7x127x36943
メール: [email protected]
次: 葵ちゃんとカオ

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

Youtubeに挙げていた動画の転載です。
URL：https://www.youtube.com/watch?v=4WKysxIdoBQ

◎お借りした素材
琴葉姉妹立ち絵(そんそん様)
https://seiga.nicovideo.jp/seiga/im8282029
photoAC様
https://www.photo-ac.com/
空想曲線様
https://kopacurve.blog.fc2.com/
イラストエイト様
https://illust8.com/
otologic様
https://otologic.jp/

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

え？主催なのに期間ギリギリまで動画が完成しなかった投稿者がいるだって？

期間：2022年5月21日～5月29日

ご質問はこちらまで：https://twitter.com/lemon_walls_

交流祭ロゴ：https://commons.nicovideo.jp/material/nc268989
----
お借りした素材

立ち絵5種類：浅井麻 様 (Twitter @asaiasa0)
画像素材：フリー素材あそび 様、ゆきしば＠みるくらふと 様
BGM：フリーBGM・音楽素材MusMus 様 https://musmus.main.jp
効果音：効果音ラボ 様：https://soundeffect-lab.info/

(立ち絵、画像素材についてはコンテンツツリーに登録してあります。)

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

ポスドクのゆかりさんが、数学の研究とは何をするのか、研究するにはどうしたらいいのかを解説します。
数学前提ですが数学以外でも通じるところはあるかもしれません。
数学者への道動画：sm40317674

この動画は壁檸檬様主催の「ソフトウェアトーク理工サイド交流祭」の参加動画です：
sm40175317

お借りした素材

背景：みんちり様　ニコニ・コモンズ　nc227434
解説枠：blueberry様　ニコニ・コモンズ　nc152783
立ち絵：むにさが様　ニコニコ静画　im6928060　im7853117
音楽：Sakuttipanda様
ロゴ：壁檸檬様　ニコニ・コモンズ　nc268989

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

反省文（一応書き終わりました）→https://drive.google.com/file/d/19uCB33ZrzmTFFCv7n7PU0zqMGiN4YrUc/view?usp=sharing
本命が間に合わないけど、とりあえず参加するという意思は表明したいという思いで作りました。

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

理工学全体のお祭りなら色んな分野とかかわる話をしたいな、
と考えた結果微分方程式に落ち着きました。

壁檸檬さん(user/97374083)が主催する、こちらの投稿祭の参加作品です。
【企画告知】ソフトウェアトーク理工サイド交流祭
sm40175317

[前編]微分方程式とはなんぞやという話をします
[後編]関数解析の紹介と、微分方程式とのかかわりを説明します(予定)

【使用スクリプト】
AviUtl + 拡張編集 + ブラウザー = ??? 
sm38772089

【AviUtlスクリプト】MarkdownEX【数式・絵文字】
sm38814110

前:sm40304678
次:(近日中)

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

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

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

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

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。
ゆかあかLeanプレイ解説講座：sm40432561
自由群を作るゆかりさん：
https://youtu.be/c1QZ8mUTjEo
次回：sm40481109

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

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

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

元ネタ→sm40196287　sm40436164

BBの取り方→sm40449630
普段動画を素材に作ったことない私でも理解できたので、使ってみたい方は参考にされると良いでしょう

使ってみたかったのですが、貧弱な発想力しかなかったためこれしか思いつきませんでした。

VOICEVOX:春日部つむぎ

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

今回は実数の連続性です.ここからが解析学のスタートになります.

ゆるキャン△読み返していたら焼き肉が食べたくなりました

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

Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。

前: sm40293733, 次: sm42049458

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

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。
第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。
Natural Number Gameは↓のURLから。
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
アクセスできないときのミラー：
https://cbirkbeck.github.io/natural_number_game/
次回：sm40460373
LeanやMathlibについて：
https://leanprover-community.github.io/

お借りした素材
背景：みんちり様　ニコニ・コモンズ　nc227434
解説枠：blueberry様　ニコニ・コモンズ nc155894
立ち絵：
むにさが様　ニコニコ静画　im7050036 im6928060
山栗鼠様　ニコニコ静画　im5354179　
音楽：sanche様、Sakuttipanda様

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

前回の動画でのコメント,いいね,広告等ありがとうございます

------------
この回から見られても支障はありません
内容のカテゴリは整数論となっております
(編集上の変更点:字幕瞬間表示,話速上昇)
------------
・一部素材について(コンテンツツリー登録外)

◎音楽
VaLSe 様 (http://valse.coresv.com/)
TrackTribe 様 (https://www.tracktribe.com/)

◎効果音
魔王魂 様 (https://maou.audio/)
効果音ラボ 様 (https://soundeffect-lab.info/)

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

数学に疲れた琴葉姉妹がネーター環で遊ぶようです。
ようつべ：
https://youtu.be/Ga9ElAIdbGA

元ネタ：
"A Game on Noetherian Rings"
https://mathoverflow.net/questions/93276/

お借りした素材
背景：みんちり様　ニコニ・コモンズ　nc227436　nc227434
解説枠：blueberry様　ニコニ・コモンズ nc155894
立ち絵：むにさが様　ニコニコ静画　im7050036　
音楽：ポケットサウンド様、こんとどぅふぇ様、魔王魂様

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

今回は高校数学なので、お気楽にご覧いただければと思います！
内容は§1,2で使った平方根の無理数判定です

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

道に迷ってしまったずんだもんが、ランダムウォークで帰宅を試みない。


・音声
VOICEVOX：ずんだもん
https://voicevox.hiroshiba.jp/
VOICEROID：桜乃そら
https://www.ah-soft.com/voiceroid/sora/

・立ち絵
ずんだもん：坂本アヒル様
https://seiga.nicovideo.jp/seiga/im10788496
桜乃そら：ふにちか様
https://seiga.nicovideo.jp/seiga/im10575789

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

このあと滅茶苦茶chaseした
スネーク：sm40345481

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

9 lemma：sm40348264

参考文献：
T. Bühler, Exact categories, Expo. Math. 28 (2010), no. 1, 1-69.

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