タグ VOICEROIDファンの数学サイド が登録されている動画 ： 330 件中 65 - 96 件目
種類:
- タグ
- キーワード
対象:
ボイボ寮生 数学講座 第1講+ 位相空間入門/ 直積位相
ノート:
https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing
［訂正］
#00:20 今回の話は，予定変更のため第2講とほとんど関係のないものとなりますが，重要な内容ですので，是非ご覧ください．
【動画素材】(敬称略．*はコンテンツツリー併記)
音声:
VOICEVOX/ 波音リツ．*
画像:
浅井麻，【解説枠】ソフトウェアトーク系全般フレーム⑧．*
浅井麻，【立ち絵】波音リツ．*
使用BGM等: (DOVA-SYNDROME)
SAKURA BEATZ.JP『RAINY GARDEN』
Make a field Music『閑話休題 ~ピアノジングル~』*
table_1『Morning Maze』
キーワード: 誘導位相，直積位相，箱位相，Cantor空間，Hilbert立方体．
【応用圏論】回路もフローチャートも数学で！図式と圏論のハナシ
『図式』について茜ちゃんが喋る動画です。
間違い等のご指摘はやさしくしていただけると大変助かります。
◆動画目次
#00:20 前語り
#00:58 趣旨説明
#02:36 動画の注意点
#04:54 図式とは何か
#07:44 図式とモノイダル圏
#13:12 定式化のいいところ
#21:57 まとめと参考文献
#27:06 おまけ
◆YouTube
https://youtu.be/r9DKJ6F1bBw
◆関連動画
きりたんと圏論 sm39632031
きりたんと関手 sm41877949
◆参考文献一覧
https://scrapbox.io/32842327/%E3%80%8C%E5%9B%9E%E8%B7%AF%E3%82%82%E3%83%95%E3%83%AD%E3%83%BC%E3%83%81%E3%83%A3%E3%83%BC%E3%83%88%E3%82%82%E5%9C%8F%E8%AB%96%E3%81%A7%EF%BC%81%E5%9C%8F%E8%AB%96%E3%81%A8%E7%90%86%E5%B7%A5%E5%AD%A6%E3%81%AE%E3%83%8F%E3%83%8A%E3%82%B7%E3%80%8D%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE%E4%B8%80%E8%A6%A7
次: みんなで集合論？
【VOICEROID解説】指数関数について語りたい！その3【第2回ソフトウェアトーク理工サイド交流祭】
動画で触れていたノートについては下記です
■本講座のノート
https://drive.google.com/file/d/1rCQ1nbbgmBFcmCrsh5M3T_sLNIMDNkTU/view?usp=drive_link
■微積ノート
https://drive.google.com/file/d/1UmNy5_nQ_iD-cjatTy-xJqeJwmPaHpzB/view?usp=drive_link
■ここまで見て下さった皆様へ
Lebesgue積分の自作ノートです。暇つぶしにどうぞ。
https://drive.google.com/file/d/1Xr9Aior6-NYZNSlqUFpB642hEmrsadBX/view?usp=sharing
【VOICEROID解説】指数関数について語りたい！その2【第2回ソフトウェアトーク理工サイド交流祭】
動画で触れていたノートについては下記です
■本講座のノート
https://drive.google.com/file/d/1rCQ1nbbgmBFcmCrsh5M3T_sLNIMDNkTU/view?usp=drive_link
■微積ノート
https://drive.google.com/file/d/1UmNy5_nQ_iD-cjatTy-xJqeJwmPaHpzB/view?usp=drive_link
■複素数の構成とか
https://drive.google.com/file/d/1MPy2Q5bAPYzGlkfGgP6A33t_HNg8X99t/view?usp=sharing
【VOICEROID解説】指数関数について語りたい!その1 【第2回ソフトウェアトーク理工サイド交流祭】
動画内で触れていたノートについては下記の通り
■本講座のノート
https://drive.google.com/file/d/1rCQ1nbbgmBFcmCrsh5M3T_sLNIMDNkTU/view?usp=drive_link
■微積ノート
https://drive.google.com/file/d/1UmNy5_nQ_iD-cjatTy-xJqeJwmPaHpzB/view?usp=drive_link
【第二回理工サイド交流祭】アリアルさんと学ぶ飛砂の数理モデル！【CoeFont解説】
壁檸檬さま主催の第二回ソフトウェアトーク理工サイド交流祭に参加しています。
アリアルさんが数値計算の話をする動画です。
一時停止推奨です。
お借りした超かわいい立ち絵はコンテンツツリーに！
音楽：フリーBGM・音楽素材MusMus https://musmus.main.jp
【数学ミステリー】工学部VS数学科風味【第2回ソフトウェアトーク理工サイド交流祭】
以前作った作品が説明不足だったため、逆転裁判風に作り直しました。
が、証拠品がないしゲーム性が崩壊し、再現もレベル低いです。
オチもありません。
無限小数は現実に存在するか、否かの戦いです。
これは、工学部であるうｐ主の勘違いから生まれました。
そして、この勘違いって工学部っぽいと思いました。
ですので、工学部をおとしめるようないとはありません。
よろしくお願いします。
【告知動画】理工サイド交流祭でゆかりさんがダラダラしゃべります
ノートはこちらから
https://drive.google.com/file/d/1rCQ1nbbgmBFcmCrsh5M3T_sLNIMDNkTU/view?usp=sharing
小5でも分かる行列【行列の演算/逆行列】【Voiceroid】
「正義とは不可能なものの経験である。アポリアを経験しないような構造になっている、そんな正義の意志、欲求、要求には、それがその当のもの、すなわち正義の正当な訴えとなるチャンスなど少しもありはしない」ので初投稿です。
解説でも劇場でもない
〇立ち絵
https://seiga.nicovideo.jp/seiga/im11043018
https://seiga.nicovideo.jp/seiga/im10632398
〇使用フォント
玉ねぎ楷書/あんずもじ湛/なつめもじ抑
小5でも分かる行列#1【行列の定義・特殊な行列・行列の演算】【Voiceroid解説】
「古典的哲学におけるような対立においては、われわれはなんらかの差し向かいといった平和的共存にかかわりあっているのではなく、ある暴力的な位階序列にかかわっている」ので初投稿です。
数学系ボイロ投稿者って少ないですよね
〇使用フォント
玉ねぎ楷書/あんずもじ湛/なつめもじ抑
【VOICEPEAK解説】ずんずん命題論理（３）統語論
正しいものから正しいものを導くのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
（20231029_応答）
(1) ∧Eの横線の上の「φ, ψ」は、「φ∧ψ」の誤植です！！！ ご指摘いただいた方、ありがとうございます。毎度助かっております。編集ミスは尽きないので、こんな感じで適宜ご指摘いただけると幸いです……！
(2) 次の動画のリンクを貼りました。これもご指摘いただいた内容です（（４）のほうでご指摘いただきました）。ありがとうございます。わすれっぽいんだワ。
（20240216_応答）
C. 「有限論理の論理式の数は可算無限、は誤り」の旨>14:51
A. おっと……Goedelが念頭にあったのはそうなのですが、不学ゆえしっかりお答えすることができない内容です。参考文献等ありましたらお教えいただけますと幸いです。勉強してきます。
（20240222_追記）
C. キューネン。
A. やっぱキューネン読まなきゃだめですかねえ、だめですよねえ、数学基礎論沼すぎて避けてたのが露呈しましたか……。
まえ……https://www.nicovideo.jp/watch/sm42060279
つぎ……https://www.nicovideo.jp/watch/sm42891860
ずんずん命題論理……https://www.nicovideo.jp/series/397548
定理証明支援系Lean 4導入手順【VOICEROID解説】
定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。
流れ：VS Codeをインストールして、その拡張機能からlean 4をインストールすれば（ほぼ）終わり！
過去のLean解説動画：
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
sm40432561
Lean公式サイト：
https://leanprover.github.io/
Lean 4 manual：
https://leanprover.github.io/lean4/doc/
お借りした素材：
立ち絵：むにさが様 ニコニコ静画 im6897805
解説枠：blueberry様 ニコニ・コモンズ nc136884
BGM：Sakuttipanda様 ニコニ・コモンズ
ボイボ寮生 数学講座 第1講D 位相空間入門/ 基本近傍系と開基
ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing
【動画素材】(敬称略．*はコンテンツツリー併記)
音声:
VOICEVOX/ 波音リツ．*
画像:
浅井麻，【解説枠】ソフトウェアトーク系全般フレーム⑧．*
浅井麻，【立ち絵】波音リツ．*
使用BGM等: (DOVA-SYNDROME)
SAKURA BEATZ.JP『RAINY GARDEN』
Make a field Music『閑話休題 ~ピアノジングル~』*
table_1『Morning Maze』
キーワード: 基本近傍系，位相の生成，準開基，開基．
【東北きりたん】今さら聞けない指数対数【VOICEROID解説】
※注意: 現時点で三箇所ほど内容全体に関わるミスがあります(3:09, 3:19. 特に内容を大きく左右するものではありませんが6:52でもやらかしています)。投稿者コメントにて修正しますので必ず確認するようにしてください。コメントにて指摘してくださった皆さん、ありがとうございました。
きりたんお誕生日おめでとう！！！(大遅刻)
(数学系の動画は)初投稿です。
今日の日付は5月4日。5 = 2 + 3 で 4 = 1 + 3 できりたんは東北家の第三女だから3を一つ取ってあげよう。それから残った要素をある法則に則って並べ替えると…… 2 月 1 3 日
何だこれは、たまげたなぁ……ひとまずこれで間に合ったことになるのでヨシ！
前の→ sm42132228
次の→ sm42230387
【VOICEPEAK解説】ずんずん命題論理（２）意味論
１と０のちまちまとした世界なのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
（20230410_応答）
意味論的演繹定理の系にかんして、その表記が一部不適切になっています。
具体的には、有限の書き方でのみ定義される部分が、無限の書き方をすることで定義不可になっています。
これについては、第３回のおまけコーナーで、問題点を説明しつつ修正案を提示します。
あと無前提の妥当式を書く時、ちょくちょく⊨を入れ忘れています。まじかよ。
あと妥当式って言うべきところを推論式って言ってる部分があります。まじかよ。
まえ……https://www.nicovideo.jp/watch/sm42006489
つぎ……https://www.nicovideo.jp/watch/sm42271709
ずんずん命題論理……https://www.nicovideo.jp/series/397548
琴葉茜と 一階述語論理のα同値性
自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。
前: sm40433507, 次: sm43229064
ボイボ寮生 数学講座 第1講C 位相空間入門/ 使用例: 最大値最小値定理
ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing
今回は展開が少し早いです．
補題3.2.6の厳密な証明，補題3.3.2のヒントは，ノートをご参照ください．
［訂正］
#18:07 「A⊆ℝが空でない」ことの仮定が抜けています（空集合の上界と下界は共にℝ自身で，この上限と下限は実数値を取りません）．ご指摘ありがとうございます．
【動画素材】 (敬称略．*はコンテンツツリー併記)
音声:
VOICEVOX/ 波音リツ．*
画像:
浅井麻，【解説枠】ソフトウェアトーク系全般フレーム⑧．*
浅井麻，【立ち絵】波音リツ．*
使用BGM等: (DOVA-SYNDROME)
SAKURA BEATZ.JP『RAINY GARDEN』
Make a field Music『閑話休題 ~ピアノジングル~』*
table_1『Morning Maze』
キーワード: 写像の連続性，コンパクト，Heine-Borelの被覆定理，有界閉集合，最大値最小値定理．
【VOICEPEAK解説】ずんずん命題論理（１）導入
ずんだもん、論理を学ぶ。
導入です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
（20230410_応答）
Γ⊢φは「証明可能」ではなく、正しくは「演繹可能」という用語でした……！
証明可能は、（当該体系において）φが無前提から演繹可能である、すなわち⊢φという概念を表します。
統語論の枠組み・用語については、第３回で少し詳しく解説します。
つぎ……https://www.nicovideo.jp/watch/sm42060279
ずんずん命題論理……https://www.nicovideo.jp/series/397548
ずんだもんと学ぶ0.999...=1
初投稿です。動画を作ろうと思ってから完成までに半年以上かかってしまいました...
(追記) 下の方にいくつか補足をのせました。やや長いので気をつけてください。
極限の考え方に基づいて0.999...=1について解説しました。
なるべく簡単になるようにいろいろ省いていますが、そのせいで疑問を生じさせるような部分があるかもしれません。また論理の飛躍はないように気をつけましたが、あったらすみません。
省略した部分の証明などを含めた補足動画をいずれ作るかもしれませんが、今回の内容よりややこしくて長くなると思うのでうｐ主のキャパ的に作れないかもしれません。
補足１：
今回紹介したことを厳密に扱うにはε-N論法という少しややこしい考え方が必要となります。レベルとしては大学1年生の数学の範囲ですが前提知識が必要ないので気になる人は調べてみるといいかもしれません。慣れるまでは難しいですがYouTubeにもいろんな動画が上がっているのでがんばればわかるようになると思います。
補足２：
小中学校では無限という概念は直観的な扱われ方をします。しかし∞は実数とは大きく異なる性質を持ち適切に扱わなければ様々な問題を引き起こします。例えば今回の動画のテーマである0.999...という数も直観的には1より小さい数を表す数字であるように見えてしまいます。それは実はある意味正しい感覚であり、考える範囲を実数に限定しない場合、0.999...<1となるように扱うこともできるそうです(自分はあまり詳しくないのでここでは紹介にとどめます)。今回は考える範囲を実数に限定しているために0.999...=1という直観に反するような式が成り立ちます。実数の中に「無限に小さい数」というのが0しか含まれないことが深く関係しているそうです(Wikipedia)
補足３：
極限を勉強したことがある人に向けての注意です。数列(a_n)が極限値をもつとします。そのときlim[n->∞] a_n は n 無限大に近づけたときの a_n の値ではなく a_n の極限値そのものを表すことには注意が必要です。これはlimの記号に対する誤解といえますが、limの記号は微分の定義をはじめ様々な場所で出てくるのでこのことを踏まえて見直すと違った見え方がするかもしれません。
VOICEVOX: ずんだもん
VOICEVOX | 無料のテキスト読み上げソフトウェア (hiroshiba.jp)
ボイボ寮生 数学講座 第1講B 位相空間入門/ 位相空間の開集合系と近傍系
ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing
【動画素材】(敬称略．*はコンテンツツリー併記)
音声:
VOICEVOX/ 波音リツ．*
画像:
浅井麻，【解説枠】ソフトウェアトーク系全般フレーム⑧．*
浅井麻，【立ち絵】波音リツ．*
使用BGM等: (DOVA-SYNDROME)
SAKURA BEATZ.JP『RAINY GARDEN』
Make a field Music『閑話休題 ~ピアノジングル~』*
table_1『Morning Maze』
キーワード: 位相，開集合系，近傍系．
優等生きりたんが数学パズルに挑む Part.1
知る人ぞ知る作図ガチ勢御用達のゲーム「EAUCLiDEA」で遊びます。
この動画は初見プレイではなく、初見プレイの再現プレイです。
遊んでいるゲームはこちら https://www.euclidea.xyz/
ボイボ寮生 数学講座 第1講A 位相空間入門/ ユークリッド空間と距離空間
ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing
［訂正］
#03:06 Cauchy-Schwarzの不等式で，右辺の二乗はそれぞれカッコの内側です．
#05:19 三角不等式の上からの評価は「<1」です．ご指摘ありがとうございます．
【動画素材】(敬称略．*はコンテンツツリー併記)
音声:
VOICEVOX/ 波音リツ．*
画像:
浅井麻，【解説枠】ソフトウェアトーク系全般フレーム⑧．*
浅井麻，【立ち絵】波音リツ．*
使用BGM等: (DOVA-SYNDROME)
SAKURA BEATZ.JP『RAINY GARDEN』
Make a field Music『閑話休題 ~ピアノジングル~』*
table_1『Morning Maze』
キーワード: ユークリッド空間，距離空間，開集合，閉集合，近傍．
猿でも出来るシェークスピアの書き方！無限猿の定理について解説【結月ゆかりの思考実験解説】
今回おまけはありません
前 → sm41859106
次 →
お借りしたもの
曲
The Musical Ghost 様(https://soundcloud.com/the-musical-ghost)
Halloween Electro Swing Medley 2
Undertale - Dummy [Electro Swing]
Epithet Erased - Great At Crime (ft. OR3O) [EXTENDED VERSION]
Undertale - Ghost Battle [Ghost Remix]
《効果音》
効果音ラボ 様
《画像》
いらすとや 様
ヒューマンピクトグラム 様(https://pictogram2.com/)
《立ち絵》
だぼだぼゆかりさん立ち絵素材/夏樹テル 様(im7077733)
あかりちゃん立ち絵/夏樹テル 様(im9258709)
《その他》
ニコニ・コモンズの皆様
【圏論】圏の圏を考えたい！そうだ関手を定義しよう！
『関手』についてゆかりさんがきりたんに教える動画です。
間違い等のご指摘はやさしくしていただけると大変助かります。
◆動画目次
#00:00 前回のあらすじ・おさらい
#01:21 関手のイメージ・定義
#03:51 関手の例 - 恒等関手
#05:40 関手の例 - 直積
#08:20 関手の例 - 順序を保つ写像
#10:36 関手の例 - 忘却関手
#12:37 関手の例 - 表現可能関手
#15:52 圏の圏 Cat, CAT
#21:16 関手は同型を保つ
#25:25 まとめ
◆補足情報・あとがき
https://bit.ly/3Y0ix01
◆YouTube
https://youtu.be/8ycVEcgH4bI
◆関連動画
きりたんと圏論 sm39632031
前回 (葵ちゃんとカオス) sm41351109
◆参考文献一覧
●Tom Leinster, Basic Category Theory. Cambridge University Press, 2014.
●中岡宏行, 圏論の技法. 日本評論社, 2015.
●CAT in nLab, https://ncatlab.org/nlab/show/CAT (2023/03/05)
次: みんなで集合論？
【解説】じゃんけんの矛盾【ずんだもんの純粋数学】無限について
ずんだもんがじゃんけんの不思議について語るようです。
ついったー
https://twitter.com/doublelemon2022
●使用画像
いらすとや
https://www.irasutoya.com/
万屋_絵師
https://www.ac-illust.com/main/detail.php?id=23484060&word=%E5%BB%83%E5%A2%9F%E5%8C%96%E3%81%97%E3%81%9F%E8%A1%97%E3%81%AE%E9%A2%A8%E6%99%AF%EF%BC%BF%E3%82%B2%E3%83%BC%E3%83%A0%E3%81%AE%E4%B8%96%E7%95%8C
taku7326
https://www.ac-illust.com/main/detail.php?id=1949694&word=%E6%95%B0%E5%BC%8F%E8%83%8C%E6%99%AF%EF%BC%88%E9%BB%92%EF%BC%89
●使用音源
musumus
https://musmus.main.jp/
gooset
https://dova-s.jp/bgm/play17716.html
効果音ラボ
https://soundeffect-lab.info/
●立ち絵
坂本アヒル神
https://seiga.nicovideo.jp/user/illust/97452727
●声
VOICEVOXずんだもん
VOICEVOX春日部つむぎ
https://voicevox.hiroshiba.jp/
●使用フォント
けいふぉんと
http://font.sumomo.ne.jp/font_1.html
∴∵∴∵∴∵∴∵∴∵∴∵∴∵【数学】【ずんだもん】【コント】
時間あったので、忙しくなる前に上げられました！
今後こそ、投稿ペースは落ちそうです。。。ご了承下さい。
---
いつもコメント・いいね・広告ありがとうございます。
個々にお礼を申し上げられないのが心苦しいですが、大変励みになっております。
これからもどうぞよろしくお願いします！
束縛したい葵ちゃん
線分の内分・漸化式・極限といった分野の基礎事項を確認できる、大学入試の良問（1979 鳥取大）を元ネタにしたコント。
来週からお仕事が忙しくなりそうなので、動画投稿ペースガクッと落ちると思います…。
