キーワード公理系を含む動画:4件 ページ目を表示
2024年7月20日 07時11分に生成された05時00分のデータです
2018-02-24 19:06:21
【VOICEROID】数学なかった話 - 神話編 -数学を信じろ
集合の形式的公理系であるZCF公理系の紹介と見せかけた何か
※真面目に数学をやりたい方は別の動画を見てください
寓話編:sm32829993
その他:mylist/61386040
全く数学記号に触れてないのでここで触れておきます。
基本的には左から読んでいき、変数の後に括弧がある場合は、「括弧内の条件を満たす変数」と読みます。
最初は戸惑いますが慣れると楽しくなります。
あと何で変換してるかも括弧書きで書きます(が、変換ソフトによって異なります)。
そのうち日本語打ってるときにも出てきてちょっとウザくなります。
∀(すべて):「すべての~」と同義。
∃(ある):「存在する」「ある~において」と同義。
¬(ひてい):「~でない」と同義。今回は「含まない」の記号が出なかったので代用。
∈(ふくむ):集合を右側に、要素を左側に書いて、要素が集合に含まれることを示す。
∧(および):「かつ」と同義。両側を共に満たす。
∨(または):「または」と同義。両側の少なくとも一方を満たす。
⇔(どうち):「同値」と同義。左側が成り立てば右側が成り立ち、かつ逆も成り立つことを示す。上2つが数学にとんでもない矛盾を発生させそう 神話のような論理性のないものを論理記号で書き表す冒涜的な試み 草 2020年に新作が来たのでおさらいとして最初から見るぜ! コレ科学タグより哲学タグのほうが良いんじゃないかと だいたいあってて草 何もない...
- 1,036
- 181.7
- 10.1
- 121.2 YouTubeで検索
2018-09-01 22:06:02
Re:ゲーム理論入門 第15回 - シャープレイ値 -動画視聴の皆様
たいへんお世話になっております。S.Kと申します。
第15回は 「シャープレイ値」
また、長いです。公理系からの導出は別でもよかったかもしれません。
UP主の小言:
隙間時間を利用して某サービスのAPI検証をしてます。
動画でUPするかも〜
次回、第16回は「シャープレイ値の応用」になります。
お問い合わせ:
(twitter) SK1225GT
次回:sm33827286
Re:第14回ゲーム理論(仁) :sm33749161
Re:第13回ゲーム理論(特性関数とコア) :sm33711818
Re:第12回ゲーム理論(交渉ゲーム) :sm33678131
Re:第1回ゲーム理論:sm33088378
モラルハザード : sm33525943
シグナリング : sm33537986
使用したBGMは以下:
Purple Planet Royalty Free Music http://www.purple-planet.com/
ゲーム論について熱く語るコミュ→co226157
作業など→co1037572
Youtube ch
https://www.youtube.com/channel/UCEr2VZ6DI4gATRtVJw49ZFw
以上、よろしくお願いいたします。おつ 講義だったら終わってるな 線形写像みたいだな いてもいなくても同じ人か・・・ この右枠何かおかしくね? このシリーズどんどん長くなっていくな 1
- 288
- 72.4
- 10.3
- 20.7 YouTubeで検索
2022-08-23 13:09:02
悲しみのアニマル feat.初音ミク / hingashi【歌詞】
僕は誰かを殺してでも 生きていたいと思うよ
綺麗な両手で首を絞められる前に
僕は誰かを殺してでも 生きていたいと思うよ
誰一人幸せになれないとしても
小綺麗な街の小綺麗な住人は
今日も生存活動に忙しい
薄汚い部屋の薄汚い住人は
今日も一人欺瞞を見つめていた
ヒーローは叶わないと知った時の
怒りに似た感情
逆流して倒錯して僕の
公理系に触れた
僕は誰かを殺してでも 生きていたいと思うよ
綺麗な両手で首を絞められる前に
僕は誰かを殺してでも 生きていたいと思うよ
誰一人幸せになれないとしても
君は僕の事を妄想癖と笑っただろう
安楽椅子の座り心地はどうだい
何の明日を信じて この心の臓を動かす
闘うことから逃げないと 俯いたままで
僕は誰かを殺してでも 生きていたいと思うよ
この世界に 押し潰される前に
僕は誰かを殺してでも 生きていたいと思うよ
そんな生に価値なんか無いんだろうけど
実はこの歌詞はフィクションで こんな奴どこにもいなかったとして
君はその手で何を救って何を屠って何を掴むんだいGJ
- 87
- 33.4
- 22.3
- 00.0 YouTubeで検索
1970-01-01 09:00:00
- 0
- 0nan
- 0nan
- 0nan YouTubeで検索