タグ論理学を含む動画:53件 1ページ目を表示
2024年6月19日 07時10分に生成された05時00分のデータです
2021-05-21 16:50:00
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的に正しいのか追記
>>FishとChikinに重なり合う部分がない
いい着眼点です!
FishやChikinそのものを集合として捉えれば,
Fish ∩ Chikin
はタンパク質だとかそういう話になるっていう考え方です。
ANDにすれば領域が狭まるのですから,減ることはあっても増えることはないですね。
一方この動画では,乗客を「Fishを食べる人」,「Chikinを食べる人」,「FishとChikinを両方食べる人」…のように集合とみなしています。
他にも何かあればどんどんコメントしてください!
前回の広告主様
https://uncerta.info/7
つべ版
https://youtu.be/L-RY905UVU8論理演算子じゃなくて? NOT AND エクスクルシブオア Y=AB ←お風呂やないかい !=条件を逆にする AND=両方が一致しないと実行しない条件分岐の一種 OR=片方又は両方だと実行する条件分岐の一種 もう助からないぞw メーデーメーデー、乗務...
- 104,364
- 910.1
- 1630.2
- 300.0
YouTubeで検索
2018-01-13 00:24:35
琴葉姉妹の数学キソ論:第2回「光と闇のパラドックス」琴葉姉妹がちょっとデュエルに詳しくなるだけの簡単な内容です。
よろしくお願いします。
基礎論マイリス:mylist/60751437
sm32548726←前|次→sm32594566法解釈学とかがなんとかしてくれるでしょ この作者は説明の順序が上手くて安心して観られる 邪教徒/サボる事も宗教/仕事の内や… 必殺魔法が見つからないやーつ? キリスト「求職はゼロ集合の仕事やで」 自分へ入って行くのか…?(哲学) 俺はお前が俺を見るの...
- 34,861
- 5591.6
- 870.2
- 1930.6
YouTubeで検索
2007-09-08 00:37:25
頭を使うクイズ4第4弾を制作いたしました。数学、論理学などの問題です。その他の作品頭を使うクイズsm987191頭を使うクイズ2sm989891頭を使うクイズ3sm996664頭を使うクイズ5sm1020044頭を使うクイズ6sm1034320頭を使うクイズ7sm1136265頭を使うクイズ8(最終回)sm1899328数学 ちょっと考えてしまう問題sm971095解答sm971095クイズ内容の募集のところで紹介されているteem.jpは、招待制に移行したため登録できません。
↓お前の辞書はなんでも書いてるんだな あげたいわけではないだろw そんざいする 絶対当てれないな… 思った寄り簡単だった。。。 かけれないけど計算すると→6.25 と‥中からx―Ⅹ(Ⅹ=Ⅹ) 17 0 15にちご 父親の考えていることをいう 17日 ...
- 34,105
- 5,03714.8
- 00.0
- 960.3
YouTubeで検索
2018-07-13 20:38:05
【解答編】√3>3の証明予想外に反響があった「√3>3の証明(sm33505304)」の解答編です。
本当の意味で正解にたどり着いた方は少なかったようです。
※問題編を見てからのご視聴をお勧めします。
BGMは木村わいPさんの曲を使わせていただきました:sm23212603
【youtube版】
https://www.youtube.com/watch?v=yzUzqLYjK64
【他のシリーズ】
◆何にも縛られずにFF6:sm32955800
◆FF7英字・カタカナ禁止で低レベルクリア :sm32356994
◆3つのボタンでFF5:sm30938242
◆FF8最少コマンド入力回数クリアに挑戦:sm29792055
◆FF7物欲封印低レベルクリア):sm28522127
◆FF8ノージャンクンション1人旅+α:sm27238226
◆石橋を叩いてFF4:sm25971042
【twitter】
https://twitter.com/shelfall非ユークリッド幾何でも無理か? あとはこれが成り立つ公理系組んでやりゃいいんだもんな 「誤っている」かどうかの根拠(現実)や論理、自意識の正しさは証明できないから気にすることないゾ 図形問題で虚数解が出てくる時点で前提がおかしいってことね 要は初手か...
- 30,349
- 1720.6
- 160.1
- 560.2
YouTubeで検索
2018-01-22 00:08:30
琴葉姉妹の数学キソ論:第4回「愛と平和とストーカー」琴葉姉妹がパジャマパーティーするだけの簡単な内容です。
よろしくお願いします。
基礎論マイリス:mylist/60751437
sm32594566←前|次→sm32659112
動画終了後にミスがあったため動画を一旦削除しました。大変申し訳ありません。
特にコメントしていただいた35名の方、無駄にしてしまって本当にごめんなさい。良ければまたコメントしてください。草 この流れで和集合とか聞くとなんか卑猥 愛、愛ってなんだ ふーん。いいんじゃない?ただ少し……すこぺっそすだなあと思っただけさ いやそのりくつはおかしい だがこいつが許すかな? てことは言葉もあったんだな たしかに お前らひとつになっとるやんけ 工...
- 28,889
- 5231.8
- 750.3
- 1760.6
YouTubeで検索
2007-09-06 18:31:17
頭を使うクイズ3好評につき第三弾です。数学、論理学の問題です。その他の作品頭を使うクイズsm987191頭を使うクイズ2sm989891頭を使うクイズ4sm1008048頭を使うクイズ5sm1020044頭を使うクイズ6sm1034320頭を使うクイズ7sm1136265頭を使うクイズ8(最終回)sm1899328数学 ちょっと考えてしまう問題sm971095解答sm971095クイズ内容の募集のところで紹介されているteem.jpは、招待制に移行したため登録できません。
←出身地に嘘はつかねーよ おかしいこと書いてるやつがいるけど文章よく読め 分かったけど問題文が不完全だな まあ普通に考えれば簡単だけど 嫌いなものと足りないものは食べないってことでいい? AそばBカレーCラーメン これ駄目じゃね? A 蕎麦 B カ...
- 27,060
- 2,0837.7
- 00.0
- 440.2
YouTubeで検索
2016-07-19 22:18:07
(V)・∀・(V)<世界に一つだけの花(SMAP)を対偶で歌ってみぱん。花でないなら世界中に何かが沢山ある
幸せなら手をたたこう:sm29280065 エアーマンが倒せない:sm29280425 アニメじゃない:sm30014052 真赤な誓い:sm31660510
絶滅危惧種:sm19706393 メイキング:sm29328714
2003本目の動画深いな・・・・ 歌詞があれだけど声が最高♥/// あらあらw なんかロックだな これすき 「花であろうとさえしなければ、どこかでNo1になれる」と読むと確かに対偶なのよね 音がBGM ww ひでぇな … 汚いのがスキな奴もいるゾ~(激寒) 歌詞を気に...
- 24,326
- 3601.5
- 220.1
- 4681.9
YouTubeで検索
2016-07-19 21:54:15
(V)・∀・(V)<エアーマンがたおせない を対偶で歌ってみぱん。エアーマンがたおせるなら何回もやらない
幸せなら手をたたこう:sm29280065 世界に一つだけの花:sm29280707 アニメじゃない:sm30014052 真赤な誓い:sm31660510
メイキング:sm29328714
2002本目の動画
blog:http://kanipan.diary.to/
twitter:kanipan666 Youtube:http://www.youtube.com/user/kanipan666E「eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee」(e=え“) (V)・∀・(V) 結局負けてるのかw w アレか、リメイクとかで難易度下がったら「これなんか違う...
- 13,299
- 1881.4
- 70.1
- 1311.0
YouTubeで検索
2009-06-16 01:44:29
【東方人形劇】蓮子とメリーの秘封倶楽部活動 番外編 ~悪魔の証明月について色々調べていたら、興味深い記述を見つけたので。
part.08:sm10292435
後日譚(講座①):sm7459253
秘封動画一覧:mylist/12024044ちゅっちゅ C ←それはウサギじゃない なら蓮子の部屋にメリーがいないことを証明しろ! いいなぁあのクソムシを見なくて済むなんて 現実世界に東方キャラはいないとかな・・・ バカ「よっしゃアイルランド住むわ」 A.東方永夜抄 うどんげ「私です(論理学無視)」
- 9,833
- 1561.6
- 30.0
- 1321.3
YouTubeで検索
2016-07-19 21:09:43
(V)・∀・(V)<幸せなら手をたたこう を対偶で歌ってみぱん。手を叩かないと不幸だよ
エアーマンが倒せない:sm29280425 世界に一つだけの花:sm29280707 アニメじゃない:sm30014052 真赤な誓い:sm31660510
メイキング:sm29328714
2001本目の動画
blog:http://kanipan.diary.to/
twitter:kanipan666 Youtube:http://www.youtube.com/user/kanipan666wwwwwwwwww腹痛いww たのしよたのしよ 手を切ろう切ろう 私は~ふこうだよ 8888 お帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰りお帰り も...
- 9,760
- 1491.5
- 130.1
- 890.9
YouTubeで検索
2009-03-20 19:49:52
哲学の「て」第3回 ヴィトゲンシュタイン+クリプキ=パラドックスうp主が遭遇したおもしろそうな哲学のネタについて、ファミレスで友達に話してるくらいのテンションで紹介していく動画シリーズです。(対象年齢=うp主の精神年齢=16歳くらい)//アメリカ人哲学者ソール・クリプキ(Saul Kripke)による独創的なウィトゲンシュタイン解説本から、「クワス算」で有名な意味のパラドックスについて解説します。結構急いで喋った部分もありますが、まだこの時間…話術はもっともっと精進しなければ//第2回→sm6433161 第4回→sm6565125 mylist/11290022 co127083
◆ツイッタ:@yuuki_with2us ウェブ:http://bit.ly/yuukiohtaなんでみんなバラバラなんだw あ a w このシリーズの動画すごく勉強になる 意味を考えずに、ペアノの公理と十進法記法に従っているってわけにはいかないのか ありがとー 原著に挑戦してみようかな これ聞くと争いとか戦争とかなくならないわけだよなあって感...
- 9,259
- 6527.0
- 30.0
- 1051.1
YouTubeで検索
2012-06-03 14:09:32
宇佐見教授の哲学パラドクス講座⑳ ~テセウスの船未知の花の音楽CDがなくても、もともと東北旅行を舞台に話をつくる予定でした。
㉑:sm20900667
舟幽霊:sm12746329
秘封動画一覧:mylist/12024044すごく面白かった えええ なるほど なるほどん おおこれは…面白いなぁ 実際にドッペルゲンガーが出たら役所に届け出れば普通に生き別れの一卵性双生児として処理されるっしょ サイボーグは本人か 蓮メリの時代なら大学の授業も時間内きっちりでやるようになって...
- 8,946
- 3033.4
- 70.1
- 560.6
YouTubeで検索
2009-12-13 21:34:24
宇佐見教授の哲学パラドクス講座⑤ ~怪奇!!皆既日食2009年7月22日、私の頭上は見事な曇り空でしたorz。みんなは日食見れた?
⑥:sm9225681
秘封動画一覧:mylist/12024044
誤記... 8:30/逆に考えれば~ ⇒逆に考えれば、人間が生きているから空気と水がある
見返してみたら解説が酷過ぎたので以下補足。勘弁です。
定義上の怪奇日食は動画内での説明の通りですが、現在においては『皆既日食≒月と太陽の見かけの大きさが等しい(≒金環日食)』の意味合いが強いと思います。いちいち説明するのが面倒だったらしく、この動画では後者の解釈で扱っています(4:48のメリーの発言を除く)でも否定できないならそれは理論として残るんすよ この辺に関しては適応論のほうが好みだなたまたま生物ってやつが水と空気に適応しただけ まあ宇宙規模でみたら何かしらの稀な現象が必ずどこかで起こってて、それを人間がたまたま観測してるから珍しがって名前を付け...
- 8,749
- 2482.8
- 50.1
- 500.6
YouTubeで検索
2013-09-29 03:00:47
宇佐見教授の哲学パラドクス講座㉒ ~自然選択説個人的には続石が一番オススメ。あれすごいよ。
㉓:sm24265208
去年ここに来たとき:sm7106591
秘封動画一覧:mylist/12024044、話 科学的な事実を教訓じみたことに組み込むべきではないあくまで事実は事実というだけ ここ蓮メリが近未来に生きてる設定を忘れると????ってなるな 子どもたちが笑わなくなった(公園で遊ぶ子どもを迷惑だなどとのたまいながら) むしろ生物的な進化の枠から...
- 7,096
- 3294.6
- 20.0
- 450.6
YouTubeで検索
2011-07-04 03:06:06
宇佐見教授の哲学パラドクス講座⑭ ~矛盾矛盾の結末は、紹介しているのより遥かにトンデモなものもあります。例によって市場をクリック!!
⑮:sm15245099
秘封動画一覧:mylist/12024044ちゅっちゅ この辺科学への偏見別に科学者そこまで人々からモノ奪ってないやろ。むしろ発明されたものをダッサい使い方しかできん政治家とか資本家の方が問題やろ そもそもAが間違っているということ自体が自己言及のパラドクスでアーイキソ 「人間らしさ」が思い込...
- 6,469
- 2133.3
- 10.0
- 410.6
YouTubeで検索
2013-05-19 03:29:03
宇佐見教授の哲学パラドクス講座㉑ ~私は嘘つきです作画環境が変わったので、動画制作も少し変わりました。
㉒:sm21931670
秘封動画一覧:mylist/12024044え、鰐って鮫のことなの すごくいい Aワニが私をたべる→正解と言っても見逃すと言ったのに食べるのが正解はおかしい→不正解で食べてもその答えは合っていたことになるかな? SPC 紙ではない、張ったわけではない(ピン留め)など回避策は多そうだ 例外のない...
- 6,047
- 1923.2
- 20.0
- 480.8
YouTubeで検索
2011-12-28 13:22:26
宇佐見教授の哲学パラドクス講座⑰ ~プロタゴラスの契約窃盗事件の犯行方法や顛末については何も考えてないです。
⑱:sm16707513
秘封動画一覧:mylist/12024044
サバイバルスってなんだよorz論理サバイバルと結論が違いますね あぁどっちにしても金返してもらえるっていう… 論理だけで現実問題全ては解決できないからこそ、ある程度良識とかその辺に頼らざるをえないとこもあるのかもね 裁判のテーマの方が後で、契約とあわせると矛盾するようにできている...
- 5,740
- 1883.3
- 10.0
- 220.4
YouTubeで検索
2014-08-18 04:20:06
宇佐見教授の哲学パラドクス講座㉓ ~コンコルド効果何が辛かったかって、劇中ネタのためだけにあのクソつまらない映画を観たことよ。
㉔:sm25920832
秘封動画一覧:mylist/12024044「勿体ない」を気にしてるやつはそれが更なる無駄な出費を産んでいることに気づいていない…やっぱ美徳とか言ってるやつの思考わかんねーわ ただ、大学レベルのことを世の常識まで押し上げるのはむずいんやろなぁ…俺らが思う以上の愚か者が世に大勢いる ほえー俺が心...
- 5,546
- 2033.7
- 10.0
- 490.9
YouTubeで検索
2008-09-21 17:16:19
若き日のサール、ウィトゲンシュタインを語る その1アメリカ哲学界の大御所サール(J. R. Searle)が、天才ウィトゲンシュタイン(L. Wittgenstein)を語り尽くした動画。聴き手は哲学コメンテーターのブライアン・マギー(Bryan Magee)。youtubeより転載。その2→sm4696557
論考ktkr 楽譜とレコードの例がわかりやすいね 訳ありがたい すばひびで知って、論考の入門書読んだわ タコ8 字幕無きゃムリwww 写像理論 同級生でなく同じ学校に通っていた 英語が変て普通にイギリス英語聞き慣れてだけじゃんサールのが聞き取りづらい...
- 4,466
- 1312.9
- 10.0
- 841.9
YouTubeで検索
2020-11-28 14:52:02
【ボイスロイド解説】犯人がどうしても見つからない殺人事件のパラドックス次:sm37885383
先輩兄貴のパラドックス動画が面白くて自分でも作ってみました!
スマリヤンのパラドックスと呼ばれる物で、めちゃんこよくできてると思います。
三浦先生にご許諾頂戴しまして参考にさせて頂きました。
この場を借りて厚く御礼申し上げます。
『論理パラドクス―論証力を磨く99問』二見書房 三浦俊彦
https://amzn.to/3oogWQz
『この本の名は?: 嘘つきと正直者をめぐる不思議な論理パズル』日本評論社 Raymond M. Smullyan (著), 川辺治之 (翻訳)
https://amzn.to/3fRjh3n太郎と次郎の二人ですね お互いの相互作用で三郎を死に追いやったと考えるのが自然かと思われます テーレッテレー! WWWW 水を飲ませないようにして結果的に三郎は水が飲めずに死んだのなら次郎では? ならない 水を飲めなくして死期を早めたのは次郎 三郎は...
- 4,064
- 1313.2
- 561.4
- 200.5
YouTubeで検索
2022-04-09 14:08:03
琴葉茜と 一階述語論理の統語論と意味論Γ ⊨ φ って何?という話をします。
次: sm40433507いきなり全部未定義でいやきついっす そんなことがあり得るのか…? 42 代入操作を割り当てgと呼んでいるのかな ようは変数ξに何かaという具体的な元を代入するということか 完全性と不完全性までみたい 定義的にφが必要なのか。 宇宙(数学) ここ論理式...
- 3,200
- 300.9
- 541.7
- 200.6
YouTubeで検索
2011-09-19 08:35:47
論理学を学ぶ動画 第1回 「序論 論理と言語①」『論理学(野矢茂樹)』という本を読んでいきます。
生放送での議論も目的にしていますので、興味がある方はぜひ参加ください。
次回→sm15647894 まとめ→mylist/27577391 コミュニティ→co1262081不完全性定理からやった方が早くないか?公理が何故必要か分かりやすいし まず直線は180度だと言わなければならなんじゃなかろか その通りBY数学専攻 編集しろ 沢田允茂さんの現代論理学入門読んで興味持ちました atamawaru ha? まだか? ? ???
- 2,062
- 100.5
- 10.0
- 140.7
YouTubeで検索
2010-12-31 17:34:27
【公式生放送】白熱対談! 田原総一朗×孫正義②「緊急提言! デジタル教育は日本を滅ぼす」を出版し、デジタル教科書問題に一石を投じた田原総一朗氏とIT時代の寵児、孫正義社長との対談をお送りします! この対談は、講談社 現代ビジネスによる企画です。 Twitterハッシュタグ#gendaitv 放送URL lv33573450 ①sm13181884 ③sm13182514 USTREAM=http://www.ustream.tv/recorded/11223377
正論wwwww 納得 ないね だよな~ 上をとっかえないとだめだな 金儲けして、周りの人の知識と...
- 2,052
- 1828.9
- 00.0
- 100.5
YouTubeで検索
2023-04-07 20:50:30
琴葉茜と 一階述語論理のα同値性自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。
前: sm40433507, 次: sm43229064評価器作ってるみたい へー うぽつ!ずっと待ってた チェックリストたすかる うぽつ ただの項が深さ0みたいな考えがあったりするのだろうか やっと分かった! そのまんまやね はぇ~どうやって定義するのか気になる
- 1,846
- 130.7
- 201.1
- 30.2
YouTubeで検索
2012-08-27 00:00:00
im@s輪読会 第2回 前編 「投票のパラドックス」 【理工学m@ster祭り3rd】経済学は応用数学です(ドヤァ
……理工学の射程を超えてしまっているようですが、
李奇人Pの言葉を借りるなら、「私が!私達が理工学だ!!」という
精神で推していきたい。
お題:『「きめ方」の論理 ――社会的決定理論への招待――』佐伯 胖、東京大学出版会、1980
後編「アロウの一般可能性定理」→sm18672112←イコールはeq...いえなんでもないです ただし二郎はらぁめんではない 多数決って奥が深い...
- 1,402
- 423.0
- 00.0
- 120.9
YouTubeで検索
2020-05-19 23:03:02
【作ってみた】SATソルバを作ってみよう【論理学】論理パズルを解くプログラムの簡単な解説です。
この分野に少しでも興味を持っていただけたら嬉しいです。
youtube版: https://www.youtube.com/watch?v=GYrFliXBFEo
【ソースコード】
前半: https://github.com/yukatayu/Rustic_SAT_Solver
後半: https://github.com/yukatayu/Rustic_PL_Solver
【講義資料】
pdf: https://github.com/yukatayu/Rustic_SAT_Solver/blob/master/lecture_material.pdf
【訂正】
× 充足可能性問題の判定ソルバ
〇 充足可能性判定問題のソルバ
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu思ったよりためになりそう。ノート買ってきて週末もう一回見直す 基本の単語から説明してくれるの助かる 再帰下降構文解析って全体を細かくわけてくやつか お声可愛い うぽつ ( /*>ω<)/♡ ソルバー作るとか怖い・・・
- 1,043
- 80.8
- 20.2
- 212.0
YouTubeで検索
2024-01-03 15:12:03
琴葉茜と シーケント計算LKの健全性証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。
前: sm42049458勃起大好き? 丁寧でわかりやすかった おつ 完全性(狭義) 推移律に似てる? いまいちなにの話をしとるんかわからん
- 911
- 111.2
- 232.5
- 40.4
YouTubeで検索
2020-06-14 16:33:02
【ゆっくり解説】ロジカルシンキングとは?論理的とは?論理的やロジカルシンキングという言葉をよく耳にしますが、みなさんはこれらの言葉の意味を知っていますでしょうか?
参考文献
「地頭力を鍛える」
「論より詭弁」
「知的トレーニングの技術」
「新版 論理トレーニング」
「ロジカルシンキング」
画像
・いらすとや
音楽
・甘茶の音楽工房
#ゆっくり解説 #ロジカルシンキング #哲学 #論理的思考面白かった ww きしょいw www 事もあるだと無限に言葉が紐付いて収集できなくなるぞw 電気回路で便利なやつ 大草 草 はえ〜 「他の方も読んでいらっしゃいます」「じゃあ読もう」 ボイチェしてるだけでウサン臭えw 「世界の法則なんぞ知るか!この経...
- 750
- 557.3
- 40.5
- 121.6
YouTubeで検索
2022-05-07 18:46:03
琴葉茜と 表現的適格性と演繹定理Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。
前: sm40293733, 次: sm42049458おお? でたー 論理回路で似たようなことやったなあ 歩いたのに不幸なことが起きないなら前提φか「不幸なことが起きない」という結論¬ψ(プサイの否定)が間違ってるということか。 多分だけど「歩いたら不幸なことが起きる」かつ「歩いた」ならば「不幸なことは...
- 692
- 456.5
- 273.9
- 20.3
YouTubeで検索
2011-09-19 09:03:03
論理学を学ぶ動画 第2回 「序論 論理と言語②」『論理学(野矢茂樹)』という本を読んでいきます。
生放送での議論も目的にしていますので、興味がある方はぜひ参加ください。
前回→sm15647792 次回→ まとめ→mylist/27577391 コミュニティ→co1262081面白いなぁこうゆうの まず言葉の意味をだな・・ 角が3つあるから三角形じゃないの?って聞かれそう ユーグリットや非ユーグリットは考えないでよいのかな のやっ up
- 589
- 61.0
- 10.2
- 50.8
YouTubeで検索
2013-05-06 23:43:57
カメストレス曲名:(KuniKuniMitanni)/作詞:(KuniKuniMitanni)/作曲:(KuniKuniMitanni)/(↓以下の3項目は該当者が存在する場合に記入ください)編曲:(ここに記入してください)/イラスト:(KuniKuniMitanni)/PV制作者:(KuniKuniMitanni)/コメント:(格式覚え歌外伝 君にカメストレス~浮気な呪文~ 改め「カメストレス」 です。
三分以内だったので楽曲募集に滑りこみ。格式が覚えられてラーメンタイマーにもなります。便利。)まさかのシェオゴラスである GJ♪面白い曲で良かった なんか好きだなあ なごなご トゥルッ...
- 552
- 50.9
- 10.2
- 173.1
YouTubeで検索
2011-09-18 11:21:21
ぐだぐだと論理学を学ぶ動画 第7回たろたす_co1262081(【数学】教養高めようよう。【プログラミング】)_lv64206309(論理的な思考とは!???第7回)_timeshift1.flv
前→次→まとめ→mylist/27577391その辺の区別は述語論理でないと表現できない 晴れなかった場合の定義はしていない。と言う事か 時代に飲まれるな!!!!!!!!!!!!!!!! おみゃーは最強だ!!!!! 書きっきーやすそっー めっちゃ書きやすそう 超書きやすそう そのペン書きやすそう...
- 496
- 183.6
- 00.0
- 51.0
YouTubeで検索
2017-10-29 05:47:15
【議論のための日本語】ブラック企業対策?悪魔の証明と悪魔の代弁者内容についておかしな部分があればコメントでご教示いただければと思います。
コンテンツクリエイター牛さん
ブログ
http://profile.ameba.jp/koushi1983
Twitter
@POPN_WAKABA_vv
コラボ企画・案件等ご依頼は
naitakoushi@gmail.com
よりお願いします。
前回:【議論のための日本語】表現の自由とレッテル貼りの応用
http://www.nicovideo.jp/watch/sm32060314
次回:未定
音響素材:魔王魂様
動画編集:AviUtl乙~ 先ず人の親の素養として論理の基礎が必要じゃないかなと、思いました まぁ電気を消して仕事しろと言われる訳ですがw 複数の承認印が必要なときの立場による傾きの角度とかね。1度未満だけど足りてない!ってね うちの親父がC+認知バイアスだなぁ GJ GJ
- 444
- 61.4
- 00.0
- 10.2
YouTubeで検索
2011-08-29 07:55:38
【理工学m@ster祭り2nd】亜美真美あずさと学ぶ論理学:第1講座2日遅れの理工学M@STER祭2nd参加
とりあえず第1講座です
黒板に使用したフォントは「たぬき油性マジックフォント」です
ツール・素材制作者の皆様、アイドルマスター関係者の皆様のお陰でこの動画を作ることができました。ありがとうございます。
ツッコミどころ、多そうで怖いかも
第2講座:出来たら→:ならば 乙 ああw 春香なのに真とはこれ如何に! そんな虫みたいにw まずいw アイマスで論理学があったとはw うぽつ 「真(しん)」と「偽(ぎ)」ですね 大丈夫なのかこのメンツでw セリフ欄を動かして通り道とは…斬新な演出だ( ・`ω・´) 構...
- 440
- 163.6
- 00.0
- 92.0
YouTubeで検索
2022-06-06 19:34:02
【ゆっくり論理学解説】ひろゆきvs勝間和代編ゆっくり茶番劇投稿祭
素振りは基本 悲しいなぁ・・・w 業者の勧誘電話に真面目に付き合っちゃう人みたいだなw かわいいですねw どっちもダメじゃないですかw 質問に質問で返すのと似た感じかw でも数学の圏論ってそういう感じじゃないのかな? 太刀筋が寝ぼけているよw 議論と...
- 437
- 112.5
- 71.6
- 00.0
YouTubeで検索
2024-03-17 19:00:00
直観主義論理の気持ち @第29回日曜数学会お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。
日曜数学会は、年3回(1月、6月、10月)の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ:co3098377
日曜数学会マイリスト:mylist/54162119
Twitter:https://twitter.com/nichimath
発表タイトル:直観主義論理の気持ち
発表者:キグロ
発表資料等:https://kakuyomu.jp/works/16817330668267473152
※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました88888888888888888 Null含めなきゃいけないもんな ほなウカシェヴィチの方かー(wikipedia見ながら) 逆だったかもしれねェ クリーネの3値論理?(未定義を残した論理) T/F 神憑りの翻訳家はいつも大変 Minnie The...
- 401
- 133.2
- 112.7
- 20.5
YouTubeで検索
2022-12-21 20:00:00
【論理学】ひろゆきが使う詭弁対策講座 ブーメラン編【VOICEROID解説】スマート&スマイルなココロ、略してスマココチャンネルです。
心理学の世界を楽しん学べる心理教育バラエティーを目指しています。
今田舞(CV:紲星あかり)と新条あすか(CV:琴葉茜)がお届け!
今回は心理学から少し離れて論理学がテーマです。
ひろゆきは論破王として有名ですが、実体としては詭弁を使って相手を黙らせる印象が強いです。
今回はそんなひろゆきみたいな人とディベートをするときになったときの詭弁の返し方を見ていきましょう。
【Twitter】
https://twitter.com/smacoco_ch
【お世話になっているサイト】
かわいいフリー素材集 いらすとや様…https://www.irasutoya.com/
甘茶の音楽工房様…http://amachamusic.chagasi.com/
ニコニ・コモンズ様…https://commons.nicovideo.jp/
効果音ラボ様…https://soundeffect-lab.info/sound/button/
DOVA-SYNDROME様…https://dova-s.jp/
小学生の流行語ニュースの出典はこちら
https://www.itmedia.co.jp/news/articles/2212/02/news090.html←心理学はやらないのが一番の治療ゾ ゲームとしては違反 でも説得力に傷はつく プロスペラ論法 ポケモンの増田信者の愉快犯共がめっちゃやってた悪ふざけ ポケモンでガルットモンスターをふざけて幇助してたクズ愉快犯ガキ共がしてたやつかな 常習犯の場合は流石...
- 390
- 4010.3
- 297.4
- 10.3
YouTubeで検索
2023-03-29 17:32:03
【VOICEPEAK解説】ずんずん命題論理(1)導入ずんだもん、論理を学ぶ。
導入です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
Γ⊢φは「証明可能」ではなく、正しくは「演繹可能」という用語でした……!
証明可能は、(当該体系において)φが無前提から演繹可能である、すなわち⊢φという概念を表します。
統語論の枠組み・用語については、第3回で少し詳しく解説します。
つぎ……https://www.nicovideo.jp/watch/sm42060279
ずんずん命題論理……https://www.nicovideo.jp/series/397548👻 ほう…いちまる派ですか deny 「でない」が"deny" ほむ 数学Aだっけ 美訛りずん子かわいい おもしろい 助かる むしろそのように作られたのかな たのしみ それは嬉しい ふむ んならばすき ここのずんこさんいいな〜 おおー 分霊ちゃんらく...
- 378
- 379.8
- 349.0
- 71.9
YouTubeで検索
2017-10-07 22:27:10
【議論のための日本語】表現の自由とレッテル貼りの応用内容についておかしな部分があればコメントでご教示いただければと思います。
コンテンツクリエイター牛さん
ブログ
http://profile.ameba.jp/koushi1983
Twitter
@POPN_WAKABA_vv
コラボ企画・案件等ご依頼は
naitakoushi@gmail.com
よりお願いします。
前回:【議論のための日本語】レッテル貼りとラベリング理論
http://www.nicovideo.jp/watch/sm32050456
次回:未定
音響素材:魔王魂様
動画編集:AviUtl小学生にも解るように解説しないとね
- 319
- 10.3
- 00.0
- 00.0
YouTubeで検索
2023-04-09 21:53:02
【VOICEPEAK解説】ずんずん命題論理(2)意味論1と0のちまちまとした世界なのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
意味論的演繹定理の系にかんして、その表記が一部不適切になっています。
具体的には、有限の書き方でのみ定義される部分が、無限の書き方をすることで定義不可になっています。
これについては、第3回のおまけコーナーで、問題点を説明しつつ修正案を提示します。
あと無前提の妥当式を書く時、ちょくちょく⊨を入れ忘れています。まじかよ。
あと妥当式って言うべきところを推論式って言ってる部分があります。まじかよ。
まえ……https://www.nicovideo.jp/watch/sm42006489
つぎ……https://www.nicovideo.jp/watch/sm42271709
ずんずん命題論理……https://www.nicovideo.jp/series/397548おててやわらかすき 環境大臣構文 決定可能性からだめな気がする 2人の字幕の色が逆だと読みやすくて助かる おまかわ へー ダメ? これ、有限子じゃないと 上のドットは最終的な結果が出る場所? へー うぽつ
- 312
- 216.7
- 258.0
- 31.0
YouTubeで検索
2023-05-27 00:10:02
【VOICEPEAK解説】ずんずん命題論理(3)統語論正しいものから正しいものを導くのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20231029_応答)
(1) ∧Eの横線の上の「φ, ψ」は、「φ∧ψ」の誤植です!!! ご指摘いただいた方、ありがとうございます。毎度助かっております。編集ミスは尽きないので、こんな感じで適宜ご指摘いただけると幸いです……!
(2) 次の動画のリンクを貼りました。これもご指摘いただいた内容です((4)のほうでご指摘いただきました)。ありがとうございます。わすれっぽいんだワ。
(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←マズくなかった。失礼しました。 述語論理の論理式の個数が非可算になりうるのは言語が可算とは限らないから。非可算濃度の言語はモデル理論でよく使う。キューネン数学基礎論講義p155参照。 ←おまけパートだしGödel数が根拠になっているしで述語論理も念...
- 281
- 238.2
- 258.9
- 20.7
YouTubeで検索
2022-08-03 17:00:03
【前編】モデル検査入門【作ってみよう】後編 → sm40866923
プログラムの検証をするための手法の一つをご紹介します。
この分野に少しでも興味を持っていただけたら嬉しいのです。
ソースコードと講義資料: https://github.com/yukatayu/model_checking_example
【訂正】 3:22
正: 1 | if(turn == 1-pid){ goto 2 }
誤: 1 | if(turn == pid){ goto 2 }
【お問い合わせ等】
twitter: https://twitter.com/yukata_yuBの=は==の書き間違い? 1ゲト
- 247
- 20.8
- 72.8
- 10.4
YouTubeで検索
2020-06-03 20:57:04
実数について共感しました!みたいなコメント待ってます!
追記:なぜかいくつかのコメントが表示されないみたいです。プレビューでだけ見えているコメントが何個かあります。
BGM:すもち様「おうちタイム」例えばZFCだと、c.t.m.の住人にとっては非可算だがVの住人にとっては可算という考え方ができる コーシー列とか言われてもなんか疑わしいよね しょっぱなから飛ばすなあ ? 声がわりしたんだ
- 199
- 52.5
- 00.0
- 10.5
YouTubeで検索
2016-08-15 04:25:03
【東方】輝夜とフランドールの哲学教室 『ならば』の論理学【手書き】姫様と妹様が論理学についてオシャベリする動画です。絵はほとんど固定しています、すみません。主に参考にしたのは<野矢茂樹『論理学』(東京大学出版会)>です。特に、『ならば』の謎めいたところと、雨の事例による議論を拝借いたしております。お借りした音楽は<nc119305>です。よろしくお願いいたします。
それでも茶会をやらかす姉貴 フランをなめるな 絵が酷い。 最後上手く〆ましたね、続き楽しみにしてます うー☆ww うぽつです^^ 続き期待ー!
- 191
- 73.7
- 00.0
- 10.5
YouTubeで検索
2023-10-15 16:48:03
【VOICEPEAK解説】ずんずん命題論理(4)証明の1証明するのだ。こう、ええと、うまく言えないけど、こんな感じで。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42271709
つぎ……https://www.nicovideo.jp/watch/sm43183004
ずんずん命題論理……https://www.nicovideo.jp/series/397548うぽt~前動画主※にも動画リンク載せてくれると嬉しい メタメタしてる定理はこれより難しいのいっぱいありそう やさしいせかい 次回も楽しみ intro h (Lean民) うぽつ
- 187
- 137.0
- 168.6
- 21.1
YouTubeで検索
2024-02-13 12:55:02
【VOICEPEAK解説】ずんずん命題論理(6)証明の3いろんな証明体系を見るのだ。なにこれ、え、無理。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20240213_応答)
コメントありがとうございます!
(1) 8:27周辺
Q. 1行目が「0:¬(P∨Q)」となっている。が、正しくは「¬¬(P∨Q)」では?
A. たぶん、どちらでも大丈夫です。というか、お示しの後者の方がより正統派だとおもいます。
タブローは意味論と密接に語られることがあり、その際に前者のように真理値が併せて表記されることがあります(cf. 丹治2014、戸次2012)。
今回は、そのような意味論寄りのタブローを取り上げて、「タブローに意味が入ったとき、これは意味論なのか統語論なのか」という問題に繋げたかったので、真理値を併記するよう表記しました。
ただ、枝を閉じる条件について、前者は同形式の命題が異なる真理値を持つ、後者は肯定と否定のリテラルが同時に出る、という異なりがあるため、動画内の表現はやや混在しております(お見逃しを〜〜〜!!!)。
(2) 13:28周辺
C. 古典論理の完全性と算術の完全性は異なりますよ。
A. ばれちった……! ごまかしが露呈しましたね、へへへ。第9回か第10回で盛り込みます。
私の現在の理解をお話しします。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入門じゃないだと 理論の完全性は理論(=公理系)の性質。意味論・統語論のどちらの観点からも説明できる。> 20240213_応答(2) そもそもGödelの不完全性定理は二値原理・排中律を許す証明体系を採用したうえでの主張である。> 20240213...
- 149
- 2315.4
- 149.4
- 10.7
YouTubeで検索
2023-12-24 01:04:02
【VOICEPEAK解説】ずんずん命題論理(5)証明の2ドモルガンの法則を証明するのだ。なにこの、なに。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42891860
つぎ……https://www.nicovideo.jp/watch/sm43388820
ずんずん命題論理……https://www.nicovideo.jp/series/397548オナニーみたいなもんか 草 うぽつ 証明チョットワカル うぽつ
- 146
- 74.8
- 149.6
- 21.4
YouTubeで検索
2022-08-09 20:20:02
【ゆっくり解説】それって本当に因果関係?因果関係の詭弁と誤謬【第1論】みなさん、お久しぶりですこんにちは。
今回はそれって本当に因果関係になってるの?っていうことを解説していきます。
夏休みでフィーバーのためまだまだたくさん動画上げるんで楽しみにしててね。
お借りした素材;
ニコニコモンズ 様・・・http://commons.nicovideo.jp/
きつねゆっくり 様・・・http://nicotalk.com/charasozai_kt.html
魔王魂 様・・・https://maoudamashii.jokersounds.com/
いらすとや 様・・・https://www.irasutoya.com/
123theory 様・・・https://1se2or3.com/
参考資料;
論理的思考力と議論
http://ronri2.web.fc2.com/kiben21.html
Wikipedia相関と因果
https://ja.wikipedia.org/wiki/%E7%9B%B8%E9%96%A2%E9%96%A2%E4%BF%82%E3%81%A8%E5%9B%A0%E6%9E%9C%E9%96%A2%E4%BF%82
Wikipedia前後即因果
https://ja.wikipedia.org/wiki/%E5%89%8D%E5%BE%8C%E5%8D%B3%E5%9B%A0%E6%9E%9C%E3%81%AE%E8%AA%A4%E8%AC%AC
NHK ロンリのちから
https://www.nhk.or.jp/kokokoza/tv/ronri/index.html
かっこデータサイエンスぶろぐ 疑似相関
https://cacco.co.jp/datascience/blog/statistics/503/#i-6
食品分析開発センター
http://www.mac.or.jp/mail/100801/04.shtml#:~:text=Dihydrogen%20Monoxide%EF%BC%88DHMO%EF%BC%89%E3%81%AF%E6%B0%B4,%E6%B0%B4%E7%B4%A0%E3%82%AC%E3%82%B9%E3%82%92%E7%99%BA%E7%94%9F%E3%81%95%E3%81%9B%E3%82%8B%E3%80%82
ゆっくりそらチャンネルtwitter;https://twitter.com/sora_yukkuri_kj?s=09おつ ネットの基本だねーw おれもあぶねーw 一酸化二水素(DHMO)は毒的なw アンケートとかで騙されそうだなw 卵が先か鶏が先かみたいだなと思ったけど、それは比例関係の方に似てるかw ヒュームはむしろこれを因果関係の条件としているねw
- 138
- 107.2
- 64.3
- 00.0
YouTubeで検索
2024-02-16 17:47:02
【VOICEPEAK解説】ずんずん命題論理(7)健全性の1むむむ無矛盾な論理、いかがですか。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230216_追記)
(1) 爆発律は第5回のときにちょろっと触れてましたね、どわすれしてます、うへ。
(2) 09:53周辺
C. 強い健全性にかんする台詞、無限論理と無関係では。
A. おっしゃる通りです。無限個の前提を含む有限論理の推論にかんする統語論・意味論の接続に、もちろん無限論理は関係ありません(有限論理の話ですから!)。
ここで無限論理の話を引き合いに出しているのは、本シリーズにおいて推論を任意の論理式列に拡張していないことから発生する、演繹定理を利用するときの注意とのずれの修正のためです。むしろ、ここでの議論は無限論理を考慮する必要がない、という旨を補足したかったので、ご指摘賜りありがたい限りです。
一往、この表現にかんする私の意図を記せば、以下のようになります。さらなるご指摘等あれば、よしなにお願いします。
①(想定される注意)「無限個の前提をそっくりそのまま結論部に送る」という操作は、第3回に補足したように、有限論理の範囲では不可能です。
②(本来すべき定義)ここで、無限個の前提を含む推論は、有限個の前提によって議論することが可能です(cf. 「形式証明の図式は高々有限列」という旨の指摘>10:07)。
③(主張されること)したがって、任意の推論は、その妥当性・演繹可能性を論じる範囲において、演繹的理により、定理の形に書き換えることが可能です。本来すべき定義を用意すれば、本シリーズで採用する野矢(1994)的導出式の方針から、自然演繹の健全性は強い形で論証されるものと考えられます。
まえ……https://www.nicovideo.jp/watch/sm43388820
つぎ……まだ
ずんずん命題論理……https://www.nicovideo.jp/series/397548形式証明は有限個の論理式の列だから、どんな主張でもそれを示すのに必要な前提は有限個だけということを使うと定義できます。 このセリフに無限論理は関係ないです。有限論理でも無限個の論理式を前提におくことは普通にあります。 メタ論理というかメタ定理ですね。...
- 110
- 1311.8
- 87.3
- 10.9
YouTubeで検索
2020-05-29 22:19:02
多重否定について別に変ではないです
- 94
- 00.0
- 00.0
- 11.1
YouTubeで検索
2021-09-25 18:15:02
【ゆるく解説】並列処理の基礎知識並列処理の基本的な概念をいくつかご紹介します。
この分野に少しでも興味を持っていただけたら嬉しいです。
(追記: 一部音声が聞き取りづらい箇所があり,申し訳ないのです。)
youtube版: https://www.youtube.com/watch?v=GIEkD6CJZ_U
気になる点などがありましたらコメント頂けると幸いです。
【お問い合わせ等】
twitter: https://twitter.com/yukata_yuおもしろかったー! へー、こんなことやるんか やっほー
- 80
- 33.8
- 56.3
- 00.0
YouTubeで検索
2024-04-10 20:38:02
【VOICEPEAK解説】ずんずん命題論理(8)健全性の2おまたせ、健全です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm43402491
つぎ……まだ
ずんずん命題論理……https://www.nicovideo.jp/series/397548うれしい でかA 配慮が行き届いてる うぽつ! うぽつ
- 68
- 913.2
- 710.3
- 11.5
YouTubeで検索
2022-08-04 17:35:02
【後編】モデル検査入門【作ってみよう】前編 → sm40864910
少し風邪気味です。音声が聞き取りづらい箇所があり,申し訳ないのです。
プログラムの検証をするための手法の一つをご紹介します。
ソースコードと講義資料: https://github.com/yukatayu/model_checking_example
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu宿題まであるのか…
- 65
- 11.5
- 69.2
- 00.0
YouTubeで検索