タグ VOICEROIDファンの数学サイド が登録されている動画 ： 331 件中 1 - 32 件目
種類:
- タグ
- キーワード
対象:
対角線論法はケーニヒの定理だった!?
間違い等あったら教えてください
対角線論法が一般化できるんじゃないか考えてできた結論です
始めの方は証明のどこで選択公理を使ったか明確にしようとしてるだけ
整列されているって書き方したけど整列しているの方が正しい？
他に対角線論法みたいなの使う定理何かないかな
そもそもZFCって何なの?集合論のはなし
間違いなどあれば教えてください
実際の歴史に合わせたりはしてないです
集合論が生まれた流れというより集合論を学ぶモチベーションみたいな感じ
分かりやすい解説をするためのアドバイス誰か教えて...
ゆかりさんの数学解説01の補足03
「前の続きなので[解説01の補足02の追記01]とかでしょうか？」
「いや流石に補足03で良いでしょ！？」
解説本編 [sm40973588]
補足01 [sm40998366]
補足02 [sm41621873]
基礎の公理が成り立たない!?アクゼルの反基礎公理
間違いなどあれば教えてください
琴葉姉妹の誕生日だし誕生日に関する動画を作ろうかとも考えてたけどそれより前に作り始めてたこの動画に時間がかかりすぎた
反基礎公理の情報日本語のものが全然ない
有理数と実代数的数が同型!? カントールの同型定理
間違いなどあれば教えてください
ほんとに突然有理数と実代数的数が順序同型か疑問に思った
任意の基数に対し任意の空でない開区間の濃度がそれになる順序集合はあるのか
和より積の方が大きい!ケーニヒの定理
今回の証明もカントールの定理の証明も対角線論法みたいなやつだったけど対角線論法もっと一般化できないかな
4:16 の全射じゃないって選択公理なしで言えるのかな？
ここでは選択公理仮定してるから議論には問題ないけど
始めの方にいってたYの選択関数があることと同値かもっていうのには影響が出そう
【演習バトル解答】実閉体は実体か?最大値を取る自然数の組は?
数学サイド演習問題バトルの解答動画です
間違い等あったら教えてください
補題を見つけたとこ https://books.google.co.jp/books?id=GJv6CAAAQBAJ&pg=PA9&dq="real%2Bfield"&redir_esc=y#v=onepage&q="real%2Bfield"&f=false (10ページの下の方)
積は左の変数に対しては単調増加じゃなくて良かったかも
組の制限についてはまだいろいろ考えられそう
和の方と積の方で計算の順序を変えてもいいようにしたら帰納的に求められないな
主催者：さん (user/32842327)
出題者：壁檸檬さん (user/97374083)
出題動画：【演習バトル出題】Re：中間値の定理 (sm42960169)
出題者：じょーどさん (user/32057294)
出題動画：【企画告知】『数学サイド演習問題バトル』開幕！！【ソフトウェアトーク解説】 (sm42950504)
【演習バトル解答】和を変えずに積を大きくするには？【ソフトウェアトーク解説】 (sm43091917)
他の参加者：不見さん (user/104491771)
ボイボ寮生 数学講座 第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』
キーワード: 基本近傍系，位相の生成，準開基，開基．
ゆかりさんの数学解説01の補足02
このシリーズは毎回なんらかのボケやガバをやってる気がする
解説本編 [sm40973588]
補足01 [sm40998366]
これの次↓
補足03 [sm41634024]
ボイボ寮生 数学講座 第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立方体．
【ガイダンス】この動画シリーズについて【たまには真面目に数学とか】
ゲームばかりしてると怒られるので
きりたんと一緒にたまには真面目に数学とかどうですか
【2021.11.04 23:30修正】
ブログ当該記事：https://thenstudy.com/introduction/
【VOICEPEAK解説】ずんずん命題論理（５）証明の２
ドモルガンの法則を証明するのだ。なにこの、なに。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42891860
つぎ……https://www.nicovideo.jp/watch/sm43388820
ずんずん命題論理……https://www.nicovideo.jp/series/397548
【曜日計算】年月日から曜日を求めてみよう！
サマーウォーズとかでも有名な、年月日から曜日を求めるやり方を解説するよ！！！
この解説では、暗記量を多め、計算量を少なめのやり方を紹介しています。
速い方なら１０秒程度の計算で、曜日が求められるようになると思います。
＜補足＞
今回の解説には入れませんでしたが、『年の値』の求め方で、１００通りすべて丸暗記するやり方があります。これを使えば、５秒程度で曜日が分かるようになるよ！！
コツは、「９５年＝６（くっころ）」みたいな語呂合わせを１００通り考えて覚える。これがオススメ！！
さあ、みんなも覚えよう！！！
ボイボ寮生 数学講座 第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解説】ずんずん命題論理（６）証明の３
いろんな証明体系を見るのだ。なにこれ、え、無理。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
（20240213_応答）
コメントありがとうございます！
(1) 8:27周辺
Q. １行目が「０：¬（P∨Q）」となっている。が、正しくは「¬¬（P∨Q）」では？
A. たぶん、どちらでも大丈夫です。というか、お示しの後者の方がより正統派だとおもいます。
タブローは意味論と密接に語られることがあり、その際に前者のように真理値が併せて表記されることがあります（cf. 丹治2014、戸次2012）。
今回は、そのような意味論寄りのタブローを取り上げて、「タブローに意味が入ったとき、これは意味論なのか統語論なのか」という問題に繋げたかったので、真理値を併記するよう表記しました。
ただ、枝を閉じる条件について、前者は同形式の命題が異なる真理値を持つ、後者は肯定と否定のリテラルが同時に出る、という異なりがあるため、動画内の表現はやや混在しております（お見逃しを〜〜〜！！！）。
(2) 13:28周辺
C. 古典論理の完全性と算術の完全性は異なりますよ。
A. ばれちった……！ ごまかしが露呈しましたね、へへへ。第９回か第１０回で盛り込みます。
私の現在の理解をお話しします。Pを証明体系、Aを命題としましょう。
・（意味論的完全性）古典論理の完全性は、概略「Aが恒真であるならば、Pで証明可能である」です。換言、論理体系が不完全であるとすれば、それは「Aが恒真であるからといって、Pで証明可能であるわけではない」となります。
・（統語論的完全性）たいして、Goedel的な不完全性（第一不完全性定理における）は、概略「Pにおいて、Aも¬Aも証明できない、そのようなAが存在する」です。ここには、Aの恒真性の概念が含まれません。
(3) 投稿者から
Q. ここで、統語論的完全性に①二値原理、②排中律を加えると、意味論的完全性との関連はどうなるでしょうか？ また、これらを加えることは可能でしょうか？ もしお考えのことがあれば、コメントお願いします。
（20240216_追記）
15:43 議論ありがとうございます！ たすかります。
まえ……https://www.nicovideo.jp/watch/sm43183004
つぎ……https://www.nicovideo.jp/watch/sm43402491
ずんずん命題論理……https://www.nicovideo.jp/series/397548
不動点はいくらでも存在する!?正規関数の不動点補題
順序数の関数が正規関数になることはよくありそうだけど不動点がいくらでも存在することって結構強い性質な気がする
集合論始めたきっかけは巨大数論だったと思う
順序数崩壊関数とか昔理解できなかったからまた調べてみようかな
始めに書いた定理の主張不等号にイコール付け忘れた
同値ではあるけどイコールをつけた方でずっと考えてた
【演習バトル解答】実閉体は順序体か？
数学サイド演習問題バトルの解答(?)動画です
間違い等あったら教えてください
順序って偉大
始めの仮定はRやQは満たすけどCやF_3は満たさないですね
主催者：さん (user/32842327)
出題者：壁檸檬さん (user/97374083)
出題動画：【演習バトル出題】Re：中間値の定理 (sm42960169)
他の参加者：不見さん (user/104491771) じょーどさん (user/32057294)
じっくりガロア理論解説16 - K[X]/(f)【多項式のユークリッド互除法】【ずんだもん解説】
![じっくりガロア理論解説16 - K[X]/(f)【多項式のユークリッド互除法】【ずんだもん解説】](https://nicovideo.cdn.nimg.jp/thumbnails/43407109/43407109.15553723)
「体K上の多項式環K[X]を既約多項式fが生成するイデアルで割った環は体」であることを証明します。
やっていることは、要するに「多項式でユークリッド互除法をやる」ただそれだけの動画ではあります。
逆に言えば、「ユークリッド互除法が成立することの証明を知らない(知りたい)」という方にもオススメです！
とはいえ、一応自力証明なので、誤りがないか皆さんよく確認してください！もし間違っていたら優しく教えてくだしあ。。。
【内容補足】
次数 deg(f) は、通常通りfの最高次の次数を意味します。
注意していただきたいのが、deg(0):=-∞です。
deg(0)については敢えて触れないよう努力していたのですが、無理だったので動画内で【補足】として色々言い訳してます。。。
■概要
・示すべき主張を「多項式のユークリッド互除法すれば良い」ということに落とし込む
・無手勝流で法則を探す
・無限ループを見出す
・無限ループの証明
・ガロア理論での体K[X]/(f)の役割を少し紹介
■YouTube版
https://youtu.be/IDV1Uu4iXUg
■お借りしたもの
【合成音声】
・VIOCEVOX: ずんだもん
・VOICEVOX: 四国めたん
【立ち絵】
・坂本アヒル様：
ずんだもん、四国めたん
【音声素材】
・OtoLogic様( https://otologic.jp )
・DOVA-SYNDROME様( https://dova-s.jp/ )
・MusMus様( https://musmus.main.jp )
・効果音ラボ様( https://soundeffect-lab.info/ )
【画像素材】ニコニ・コモンズ
小5でも分かる行列【行列の演算/逆行列】【Voiceroid】
「正義とは不可能なものの経験である。アポリアを経験しないような構造になっている、そんな正義の意志、欲求、要求には、それがその当のもの、すなわち正義の正当な訴えとなるチャンスなど少しもありはしない」ので初投稿です。
解説でも劇場でもない
〇立ち絵
https://seiga.nicovideo.jp/seiga/im11043018
https://seiga.nicovideo.jp/seiga/im10632398
〇使用フォント
玉ねぎ楷書/あんずもじ湛/なつめもじ抑