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

間違いなどあれば教えてください

この辺の話はまだしっかりと理解できてない気がするからこの動画を作ったのは自分の理解の確認のためでもある
強制法とかも説明できるようになりたい

さっき気づいたけど今日はゲーデルの誕生日らしい

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

間違いなどあれば教えてください

琴葉姉妹の誕生日だし誕生日に関する動画を作ろうかとも考えてたけどそれより前に作り始めてたこの動画に時間がかかりすぎた

反基礎公理の情報日本語のものが全然ない

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

間違いなどあれば教えてください

ほんとに突然有理数と実代数的数が順序同型か疑問に思った

任意の基数に対し任意の空でない開区間の濃度がそれになる順序集合はあるのか

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

間違いなどあれば教えてください

順序数のwikiにあった演算の定義他で見たことない

↑追記:キューネンにどれもあった

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

間違いなどあれば教えてください

先にセリフを決めて動画をそれに合わせるようにしたら10倍速にする部分とか出てきた

真の切片みたいな呼び方キューネンでもあった

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

間違いなどあれば教えてください

累積的階層Rで定義による拡張をするのが一番短く表せるかな

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

楽しい楽しい旅行動画の始まり始まり




記載忘れてました
画像　東北ずん子プロジェクト公式サイトより

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

間違いなどあったら教えてください

多目的スライダーの使い方が少しわかったから使ってみた

ZF^-で基数の集まりを考えたいときとかどうするんだろう

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

間違い等あったら教えてください

対角線論法が一般化できるんじゃないか考えてできた結論です
始めの方は証明のどこで選択公理を使ったか明確にしようとしてるだけ

整列されているって書き方したけど整列しているの方が正しい？

他に対角線論法みたいなの使う定理何かないかな

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

今回の証明もカントールの定理の証明も対角線論法みたいなやつだったけど対角線論法もっと一般化できないかな

4:16 の全射じゃないって選択公理なしで言えるのかな？
ここでは選択公理仮定してるから議論には問題ないけど
始めの方にいってたYの選択関数があることと同値かもっていうのには影響が出そう

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

順序数の関数が正規関数になることはよくありそうだけど不動点がいくらでも存在することって結構強い性質な気がする

集合論始めたきっかけは巨大数論だったと思う
順序数崩壊関数とか昔理解できなかったからまた調べてみようかな

始めに書いた定理の主張不等号にイコール付け忘れた
同値ではあるけどイコールをつけた方でずっと考えてた

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

線形代数Part2でもあります！
基底の存在証明と、基底の濃度一意性を証明しております。

■概要
・一次独立の定義と例
・基底の定義と例
・基底の存在定理
・基底の濃度一意性
・次元の定義

■コメ返
15:49 「非可算の場合の総和って定義できるの？」
→するどい…
　濃度なので、J(i)同士の非交和の濃度として定義できます。
　今回の場合はJ(i)∩J(i')≅∅となることがあり得るのですが、すべて=∅とみなして和集合を取る感じです。
　みなす…という言い回しが曖昧なので、例えば
　　Σ_{i∈I} card(J(i))=card(∪_{i∈I} J(i)×{i})
　のように考えればよいです！

■YouTube版
https://youtu.be/YDHZ-5c_f6w

■お借りしたもの

【合成音声】
・VIOCEVOX: ずんだもん
・VOICEVOX: 四国めたん

【立ち絵】
・坂本アヒル様：
　　ずんだもん、四国めたん

【音声素材】
・OtoLogic様( https://otologic.jp )
・DOVA-SYNDROME様( https://dova-s.jp/ )
・MusMus様( https://musmus.main.jp )
・効果音ラボ様( https://soundeffect-lab.info/ )

【画像素材】ニコニ・コモンズ

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

みなさまも思いつかれた回答をコメントしてくれるとうれしいです！！
いいねに次回（あれば）出題したいお題書いてます。

マスリーグ（https://www.nicovideo.jp/watch/sm43219813 ）とか
指数対数の授業動画（https://www.nicovideo.jp/user/125513903/series/451999?ref=user_series ）とか
なかなか続き出せなくて申し訳ありません。上記も鋭意作成中ですのでお待ちいただけますと幸いです。

インスパイア元：TBSリンカーン内企画「朝までそれ正解」
QuizKnockさん「朝からそれ正解」シリーズ
https://www.youtube.com/watch?v=-2Y06UjqkAo&list=PLWPrDZ_jwb2TTmSfaKy3vCa5uxFJLiJrZ

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

数学サイド演習問題バトルの解答動画です
間違い等あったら教えてください

補題を見つけたとこ 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)

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

葵ちゃんが早口で語るだけです。
温かい目で流し見するも良し、一時停止を挟みつつじっくり見るも良しです。
質問や指摘はいつでもお待ちしています。

結論：05:08

サークルTUSB様
https://skyblock.jp/

YouTube→https://www.youtube.com/channel/UCfKevDMc2qY8l_SoPYuii2Q
Twitter→https://twitter.com/onisarue

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

数学サイド演習問題バトルの解答(?)動画です
間違い等あったら教えてください

順序って偉大

始めの仮定はRやQは満たすけどCやF_3は満たさないですね

主催者：さん (user/32842327)
出題者：壁檸檬さん (user/97374083)
出題動画：【演習バトル出題】Re：中間値の定理 (sm42960169)
他の参加者：不見さん (user/104491771) じょーどさん (user/32057294)

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

間違い等あったら教えてください
無意識に選択公理使ってるとこがあったりするんじゃないか心配

裏という単語多分初めて使った

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

書くのを2倍速にしてみました

春休みの内に編集に慣れたいので動画のテーマがあればコメントしてください

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

初投稿です
間違い等あればコメントで教えてください

書くのが遅すぎるので次からは倍速にします...

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

#春日部つむぎ解説 #ずんだもん解説 #3分沼落ち動画投稿祭 #3分沼落ち動画投稿祭参加動画 #数学

ザンギおいしい様が主催する　3分沼落ち動画投稿祭参加作品です
https://www.nicovideo.jp/watch/sm43243242

星の数ほどある動画の中から　私の動画を観て頂き　誠にありがとうございます
挨拶はしゃぶれよで　お願いします
コメントは　好き勝手に書いてどうぞ(=ﾟωﾟ)ﾉ

高評価なんて　しなくていいから
高評価されなかった方々　良かったら理由も書いて下さいませ
今後の動画制作の　参考にさせて頂きまっくす(*^◯^*)

You Tubeは敵、ニコニコ動画は敵、視聴者は敵、biim兄貴は私の嫁
https://tadatika773.jimdosite.com/

VOICEVOX　春日部つむぎとずんだもんはここ
https://voicevox.hiroshiba.jp/

春日部つむぎの立ち絵は　まぺん様よりお借りしました
https://seiga.nicovideo.jp/seiga/im11150985

ずんだもんの立ち絵は　490様よりお借りしました
ほんとセクシー！エロイ！
https://seiga.nicovideo.jp/seiga/im10833549

１.得点を競う数学を変革する
２.女性の数学者を増やす
３.命と数の問いを論理的に破砕する

数学について更に知りたい方は　YouTubeの方の動画を観てどうぞ
https://www.youtube.com/c/rtainmath

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

「体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/ )

【画像素材】ニコニ・コモンズ

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

いろんな証明体系を見るのだ。なにこれ、え、無理。

※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。

（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

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

ガロア理論講義Part13ですが、環論入門動画Part2的な側面の動画です。
実数上の多項式環をX^2+1で割ると複素数体になるよ、という面白げなことについても語っています。
こういうのを知ると方程式の本質に一気に近づく…気がしますね！是非ご覧ください！

■概要
・部分環の定義と例
・イデアルの定義と例
・商環の定義
・例：Z/nZ
・例：R[X]/(X^2+1)
・ガロア理論での使い方

■YouTube版
https://youtu.be/uDyzVE6O7Po

■お借りしたもの

【合成音声】
・VIOCEVOX: ずんだもん
・VOICEVOX: 四国めたん

【立ち絵】
・坂本アヒル様：
　　ずんだもん、四国めたん

【音声素材】
・OtoLogic様( https://otologic.jp )
・DOVA-SYNDROME様( https://dova-s.jp/ )
・MusMus様( https://musmus.main.jp )
・効果音ラボ様( https://soundeffect-lab.info/ )

【画像素材】ニコニ・コモンズ

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

今年初の数学動画です。遅くなりました(´・ω・｀)

しーだめだのTwitter⤵
https://twitter.com/4DameD4_SdSt

しーだめだのYouTube⤵
https://www.youtube.com/channel/UCXqrhvjihnDYOiLmM1L7MNA


使用したキャラクターやその音声⤵
　VOICEVOX:春日部つむぎ
　VOICEVOX:ずんだもん
　VOICEVOX:九州そら

　春日部つむぎの絵師：Sinα　様の
　「つくつくあーし（つむぎ）の素材」⤵
　https://seiga.nicovideo.jp/seiga/im11018277

　ずんだもんの絵師：鈴の実　様の
　「簡単ずんだもん」⤵
　https://commons.nicovideo.jp/works/nc305003

　九州そらの絵師：坂本アヒル　様のニコニコ静画⤵
　https://seiga.nicovideo.jp/user/illust/97452727


立ち絵以外の使用した画像⤵
　「ループするランダム図形斜めスクロール背景【緑】（1920×1080・ループ対応）」(feder　様)
　https://commons.nicovideo.jp/material/nc299719

　他の画像はいらすとや様のものを使用⤵
　https://www.irasutoya.com/

使用した楽曲や効果音⤵
　「ある日の出来事」(yuhei komatsu　様)
　https://commons.nicovideo.jp/material/nc281418

　「シフォンケーキ」(いまたく　様)
　https://commons.nicovideo.jp/works/nc280850

　「三拍子の明るくてかわいい感じの曲【海原のワルツ】」(こうだつの　様)
　https://commons.nicovideo.jp/works/nc309525

　「バァン(大破)」(アイフロ　様)
　https://commons.nicovideo.jp/material/nc143165

　他の効果音は効果音ラボ様のもの⤵
　https://soundeffect-lab.info/

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

【訂正】
19:25 2^(17/10)を定義通り表した表記について、正しくは「2の17乗の10乗根」です。
お詫びして訂正いたします。

授業の再生リスト→
https://www.nicovideo.jp/user/125513903/series/451999?ref=user_series
一問一答動画のリスト（こちらはYouTubeに投稿しているものをご覧ください！）→
https://www.youtube.com/watch?v=680HdPzvjVg&list=PLBGgwhJMYN3L4xPjT20k3Wcak0Eey5pPd

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

今年は授業動画の充実を図ってまいりますが、その第１弾は指数・対数！
感染症の拡大は「指数関数的」ってニュースで言ってたけど、指数関数とはそもそも何か？

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

この動画は、セイント女神沢学園　現代社会サバイバル研究会 (現サバ研) のメンバーとヒラリバタフライ男爵が織りなす、真の茶番劇である。

※「1 つの実数を表記するのに無限個の有理数が必要」という部分のみが重要なので、それ意外の部分では大幅に省略したり、定義を変更したり、ざっくりとした説明にしています。詳しく知りたい人は、参考文献などを見てください。

▛ 参考文献
実数の構成に関するノート - 九州大学
https://www2.math.kyushu-u.ac.jp/~hara/lectures/06/realnumbers.pdf
[エビングハウス] 数 
[松坂和夫] 代数系入門 

▛ マイリスト
算数・数学の解説シリーズ: mylist/76185027

▛ YouTube チャンネル
https://www.youtube.com/@dworld-zz

▛ Twitter
https://twitter.com/kenn_0imp_jp

▛ 検索キー
#算数 #数学 #高校数学 #ずんだもん #ゆっくり解説

▛ 使用している素材
下記の素晴らしいフリー素材を利用しています。感謝!!

・いらすとや https://www.irasutoya.com/
・VOICEVOX: ずんだもん (立ち絵: 坂本アヒル 様)
・VOICEVOX: 四国めたん (立ち絵: 坂本アヒル 様)
・VOICEVOX: No.7 (立ち絵: moiky 様)
・VOICEVOX: 中国うさぎ (blueberry 様)
・VOICEVOX: 春日部つむぎ (立ち絵: 坂本アヒル 様)
・効果音ラボ https://soundeffect-lab.info
・フリーBGM DOVA-SYNDROME https://dova-s.jp/
・フリーBGM・音楽素材MusMus http://musmus.main.jp/
・OtoLogic https://otologic.jp/
・ポケットサウンド https://pocket-se.info/

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

証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。

前: sm42049458

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

先ほどは音声に問題があるファイルをアップしておりました。申し訳ありません（修正前の動画は削除しております）。
コメントで教えていただいたみなさま、ありがとうございます！

はからずも去年最後の動画のはずが、今年最初の動画になりました。
今年もよろしくお願いします。
今年は授業動画の充実を頑張ります！
※こちらの動画の続編は気長にお待ちいただけますと幸いです。。。

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

ドモルガンの法則を証明するのだ。なにこの、なに。

※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。

まえ……https://www.nicovideo.jp/watch/sm42891860
つぎ……https://www.nicovideo.jp/watch/sm43388820
ずんずん命題論理……https://www.nicovideo.jp/series/397548

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

橋とか道って大抵ここにあってほしいなあってとこには無い気がします。

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

解説投稿者同士で問題を出し合う企画『数学サイド演習問題バトル』の閉会動画です

◆参加動画
『#演習問題バトル』でタグ検索！

◆振り返り生放送 (2023/12/13 20:00 ~ 23:00)
https://live.nicovideo.jp/watch/lv343695761

◆参加者
●わたし
●不見さん https://www.nicovideo.jp/user/104491771
●壁檸檬さん https://www.nicovideo.jp/user/97374083
スペシャルゲスト: じょーどさん https://www.nicovideo.jp/user/32057294

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