好評こうひょうにつき第だい三さん弾だんです。数学すうがく、論理ろんり学がくの問題もんだいです。その他たの作品さくひん頭あたまを使つかうクイズsm987191頭とうを使つかうクイズ２sm989891頭とうを使つかうクイズ４sm1008048頭とうを使つかうクイズ５sm1020044頭とう...

←出身しゅっしん地ちに嘘うそはつかねーよ おかしいこと書かいてるやつがいるけど文章ぶんしょうよく読よめ 分わかったけど問題もんだい文ぶんが不完全ふかんぜんだな　まあ普通ふつうに考かんがえれば簡単かんたんだけど 嫌きらいなものと足たりないものは食たべないってことでいい？ AそばBカレーCラーメン これ駄目だめじゃね？ Ａ　蕎麦そば　　Ｂ　カ...

2009年ねん7月がつ22日にち、私わたしの頭上ずじょうは見事みごとな曇くもり空ぞらでしたorz。みんなは日食にっしょく見みれた？　⑥:sm9225681　秘ひ封ふう動画どうが一覧いちらん:mylist/12024044 　誤記ごき... 8:30/逆ぎゃくに考かんがえれば～ ⇒逆ぎゃくに考かんがえれば、...

でも否定ひていできないならそれは理論りろんとして残のこるんすよ この辺あたりに関かんしては適応てきおう論ろんのほうが好このみだなたまたま生物せいぶつってやつが水みずと空気くうきに適応てきおうしただけ まあ宇宙うちゅう規模きぼでみたら何なにかしらの稀まれな現象げんしょうが必かならずどこかで起おこってて、それを人間にんげんがたまたま観測かんそくしてるから珍めずらしがって名前なまえを付つけ...

月つきについて色々いろいろ調しらべていたら、興味深きょうみぶかい記述きじゅつを見みつけたので。　part.08:sm10292435　後日ごじつ譚たん(講座こうざ①):sm7459253　秘ひ封ふう動画どうが一覧いちらん:mylist/12024044

ちゅっちゅ C ←それはウサギじゃない なら蓮子はすこの部屋へやにメリーがいないことを証明しょうめいしろ! いいなぁあのクソムシを見みなくて済すむなんて 現実げんじつ世界せかいに東方とうほうキャラはいないとかな・・・ バカ「よっしゃアイルランド住すむわ」 A.東方とうほう永なが夜よる抄しょう うどんげ「私わたしです(論理ろんり学がく無視むし)」

うp主あるじが遭遇そうぐうしたおもしろそうな哲学てつがくのネタについて、ファミレスで友達ともだちに話はなしてるくらいのテンションで紹介しょうかいしていく動画どうがシリーズです。（対象たいしょう年齢ねんれい＝うp主おもの精神せいしん年齢ねんれい＝１...

なんでみんなバラバラなんだw あ a w このシリーズの動画どうがすごく勉強べんきょうになる 意味いみを考かんがえずに、ペアノの公理こうりと十進法じっしんほう記法きほうに従したがっているってわけにはいかないのか ありがとー 原著げんちょに挑戦ちょうせんしてみようかな これ聞きくと争あらそいとか戦争せんそうとかなくならないわけだよなあって感かん...

アメリカ哲学てつがく界かいの大御所おおごしょサール（J. R. Searle）が、天才てんさいウィトゲンシュタイン（L. Wittgenstein）を語かたり尽つくした動画どうが。き手きては哲学てつがくコメンテーターのブライアン・マギー...

論考ろんこうktkr 楽譜がくふとレコードの例れいがわかりやすいね 訳わけありがたい すばひびで知しって、論考ろんこうの入門にゅうもん書しょ読よんだわ タコ8 字幕じまく無なきゃムリwww 写像しゃぞう理論りろん 同級生どうきゅうせいでなく同おなじ学校がっこうに通かよっていた 英語えいごが変へんて普通ふつうにイギリス英えい語ご聞きき慣なれてだけじゃんサールのがき取きとりづらい...

おまたせ、健全けんぜんです。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。まえ……https://www.nicovideo.jp/watch/s...

うれしい でかA 配慮はいりょが行いき届とどいてる うぽつ！ うぽつ

お酒さけを飲のみながら数学すうがくの話はなしをするイベント「日曜にちよう数すう学会がっかい」。そのメイン企画きかくである数学すうがくLT（５分間ふんかんの発表はっぴょう）の部分ぶぶんを、抜粋ばっすいしてお送おくりします。日曜にちよう数すう学会がっかいは、年とし３回かい（１月がつ、...

88888888888888888 Null含ふくめなきゃいけないもんな ほなウカシェヴィチの方ほうかー(wikipedia見みながら) 逆ぎゃくだったかもしれねェ クリーネの3値ち論理ろんり？(未み定義ていぎを残のこした論理ろんり) T/F 神憑かみがかりの翻訳ほんやく家かはいつも大変たいへん Minnie The...

むむむ無矛盾むむじゅんな論理ろんり、いかがですか。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。（20230216_追記ついき）(1) 爆ばく...

形式けいしき証明しょうめいは有限ゆうげん個この論理ろんり式しきの列れつだから、どんな主張しゅちょうでもそれを示しめすのに必要ひつような前提ぜんていは有限ゆうげん個こだけということを使つかうと定義ていぎできます。 このセリフに無限むげん論理ろんりは関係かんけいないです。有限ゆうげん論理ろんりでも無限むげん個この論理ろんり式しきを前提ぜんていにおくことは普通ふつうにあります。 メタ論理ろんりというかメタ定理ていりですね。...

いろんな証明しょうめい体系たいけいを見みるのだ。なにこれ、え、無理むり。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。（20240213...

入門にゅうもんじゃないだと 理論りろんの完全かんぜん性せいは理論りろん（＝公理系こうりけい）の性質せいしつ。意味いみ論ろん・統語とうご論ろんのどちらの観点かんてんからも説明せつめいできる。> 20240213_応答おうとう(2) そもそもGödelの不完全性ふかんぜんせい定理ていりは二に値ち原理げんり・排中律はいちゅうりつを許ゆるす証明しょうめい体系たいけいを採用さいようしたうえでの主張しゅちょうである。> 20240213...

証明しょうめい論ろん・証明しょうめい体系たいけい・シーケント計算けいさんについて話はなし、 Γがんま ⊢_{LK} Δでるた ⇒ Γがんま ⊨ Δでるた を証明しょうめいします。前まえ: sm42049458

勃起ぼっき大好だいすき？ 丁寧ていねいでわかりやすかった　おつ 完全かんぜん性せい（狭義きょうぎ） 推移すいい律りつに似にてる？ いまいちなにの話はなしをしとるんかわからん

ドモルガンの法則ほうそくを証明しょうめいするのだ。なにこの、なに。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。まえ……http...

オナニーみたいなもんか 草くさ うぽつ 証明しょうめいチョットワカル うぽつ

証明しょうめいするのだ。こう、ええと、うまく言いえないけど、こんな感かんじで。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので...

うぽｔ～前ぜん動画どうが主ぬし※にも動画どうがリンク載のせてくれると嬉うれしい メタメタしてる定理ていりはこれより難むずかしいのいっぱいありそう やさしいせかい 次回じかいも楽たのしみ intro h (Lean民みん) うぽつ

正ただしいものから正ただしいものを導みちびくのだ。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。（20231029_応答おうとう）(1) ∧...

←マズくなかった。失礼しつれいしました。 述語じゅつご論理ろんりの論理ろんり式しきの個数こすうが非ひ可算かさんになりうるのは言語げんごが可算かさんとは限かぎらないから。非ひ可算かさん濃度のうどの言語げんごはモデル理論りろんでよく使つかう。キューネン数学すうがく基礎きそ論ろん講義こうぎp155参照さんしょう。 ←おまけパートだしGödel数すうが根拠こんきょになっているしで述語じゅつご論理ろんりも念ねん...

１と０のちまちまとした世界せかいなのだ。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。（20230410_応答おうとう）意味いみ論ろん...

おててやわらかすき 環境かんきょう大臣だいじん構文こうぶん 決定けってい可能かのう性せいからだめな気きがする 2人ふたりの字幕じまくの色いろが逆ぎゃくだと読よみやすくて助たすかる おまかわ へー ダメ？ これ、有限ゆうげん子こじゃないと 上うえのドットは最終さいしゅう的てきな結果けっかが出でる場所ばしょ？ へー うぽつ

自由じゆう変項へんこうと束縛そくばく変項へんこうと代入だいにゅうについて、そして ∀ξくしーφふぁい ≡ ∀ζぜーた(φふぁい[ζぜーた/ξくしー]), ∃ξくしーφふぁい ≡ ∃ζぜーた(φふぁい[ζぜーた/ξくしー]) について話はなします。前まえ: sm40433507, 次つぎ: sm43229064

評価ひょうか器き作つくってるみたい へー うぽつ！ずっと待まってた チェックリストたすかる うぽつ ただの項こうが深ふかさ0みたいな考かんがえがあったりするのだろうか やっと分わかった！ そのまんまやね はぇ～どうやって定義ていぎするのか気きになる

ずんだもん、論理ろんりを学まなぶ。導入どうにゅうです。※動画どうが内容ないように疑問ぎもん点てん・疑義ぎぎがあれば、お気軽きがるにコメントをお願ねがいします。実際じっさい、論理ろんり学がくはずぶの素人しろうとなので……。（20230410_応答おうとう）Γがんま⊢φふぁいは「...

ほう…いちまる派はですか deny 「でない」が"deny" ほむ 数学すうがくAだっけ 美び訛なまりずん子こかわいい おもしろい 助たすかる むしろそのように作つくられたのかな たのしみ それは嬉うれしい ふむ んならばすき ここのずんこさんいいな〜 おおー 分霊ぶんれいちゃんらくがき...

スマート＆スマイルなココロ、略りゃくしてスマココチャンネルです。 心理しんり学がくの世界せかいを楽たのしん学まなべる心理しんり教育きょういくバラエティーを目指めざしています。今田いまだ舞まい（CV：紲きずな星ほしあかり）と新しん条じょうあす...

←心理しんり学がくはやらないのが一番いちばんの治療ちりょうゾ ゲームとしては違反いはん　でも説得せっとく力りょくに傷きずはつく プロスペラ論法ろんぽう ポケモンの増田ますだ信者しんじゃの愉快ゆかい犯はん共どもがめっちゃやってた悪わるふざけ ポケモンでガルットモンスターをふざけて幇助ほうじょしてたクズ愉快ゆかい犯はんガキ共どもがしてたやつかな 常習犯じょうしゅうはんの場合ばあいは流石さすが...

みなさん、お久ひさしぶりですこんにちは。今回こんかいはそれって本当ほんとうに因果いんが関係かんけいになってるの？っていうことを解説かいせつしていきます。夏休なつやすみでフィーバーのためまだまだたくさん動画どうが上じょう...

おつ ネットの基本きほんだねーw おれもあぶねーw 一酸化いっさんか二に水素すいそ（ＤＨMO）は毒どく的てきなｗ アンケートとかで騙だまされそうだなｗ 卵たまごが先さきか鶏にわとりが先さきかみたいだなと思おもったけど、それは比例ひれい関係かんけいの方ほうに似にてるかｗ ヒュームはむしろこれを因果いんが関係かんけいの条件じょうけんとしているねｗ

前編ぜんぺん → sm40864910少すこし風邪かぜ気味ぎみです。音声おんせいがき取きとりづらい箇所かしょがあり，申もうし訳わけないのです。プログラムの検証けんしょうをするための手法しゅほうの一ひとつをご紹介しょうかいします。ソースコードと講義こうぎ...

宿題しゅくだいまであるのか…

後編こうへん → sm40866923プログラムの検証けんしょうをするための手法しゅほうの一ひとつをご紹介しょうかいします。この分野ぶんやに少すこしでも興味きょうみを持もっていただけたら嬉うれしいのです。ソースコードと講義こうぎ資料しりょう： https...

Bの=は==の書がき間違まちがい？ １ゲト

ゆっくり茶番ちゃばん劇げき投稿とうこう祭さい

素振そぶりは基本きほん 悲かなしいなぁ・・・ｗ 業者ぎょうしゃの勧誘かんゆう電話でんわに真面目まじめに付つき合あっちゃう人ひとみたいだなｗ かわいいですねｗ どっちもダメじゃないですかｗ 質問しつもんに質問しつもんで返かえすのと似にた感かんじかｗ でも数学すうがくの圏けん論あげつらってそういう感かんじじゃないのかな？ 太刀筋たちすじが寝ねぼけているよｗ 議論ぎろんと...

Γがんま ⊨ φふぁい→ψぷさい ⇔ φふぁい, Γがんま ⊨ ψぷさい を証明しょうめいします。前まえ: sm40293733, 次つぎ: sm42049458

おお？ でたー 論理ろんり回路かいろで似にたようなことやったなあ 歩あるいたのに不幸ふこうなことが起おきないなら前提ぜんていφふぁいか「不幸ふこうなことが起おきない」という結論けつろん¬ψぷさい（プサイの否定ひてい）が間違まちがってるということか。 多分たぶんだけど「歩あるいたら不幸ふこうなことが起おきる」かつ「歩あるいた」ならば「不幸ふこうなことは...

Γがんま ⊨ φふぁい って何なに？という話はなしをします。次つぎ: sm40433507

いきなり全部ぜんぶ未定義みていぎでいやきついっす そんなことがあり得えるのか…？ 42 代入だいにゅう操作そうさを割わり当あててgと呼よんでいるのかな ようは変数へんすうξくしーに何なにかaという具体ぐたい的てきな元もとを代入だいにゅうするということか 完全かんぜん性せいと不完全性ふかんぜんせいまでみたい 定義ていぎ的てきにφふぁいが必要ひつようなのか。 宇宙うちゅう(数学すうがく) ここ論理ろんり式しき...

並列へいれつ処理しょりの基本きほん的てきな概念がいねんをいくつかご紹介しょうかいします。この分野ぶんやに少すこしでも興味きょうみを持もっていただけたら嬉うれしいです。（追記ついき： 一部いちぶ音声おんせいがき取きとりづらい箇所かしょがあり，申もうし訳わけないの...

へー、こんなことやるんか やっほー

追記ついき>>FishとChikinに重かさなり合あう部分ぶぶんがないいい着眼ちゃくがん点てんです！FishやChikinそのものを集合しゅうごうとして捉とらえれば，Fish ∩ Chikinはタンパク質たんぱくしつだとかそういう話はなしになるってい...

論理ろんり演算えんざん子こじゃなくて？ NOT AND エクスクルシブオア Y=AB ←お風呂ふろやないかい !=条件じょうけんを逆ぎゃくにする　AND=両方りょうほうが一致いっちしないと実行じっこうしない条件じょうけん分岐ぶんきの一種いっしゅ　OR=片方かたがた又または両方りょうほうだと実行じっこうする条件じょうけん分岐ぶんきの一いち種しゅ もう助たすからないぞｗ メーデーメーデー、乗務じょうむ...

次つぎ：sm37885383先輩せんぱい兄貴あにきのパラドックス動画どうがが面白おもしろくて自分じぶんでも作つくってみました！スマリヤンのパラドックスと呼よばれる物もので、めちゃんこよくできてると思おもいます。三浦みうら先生せんせい...

太郎たろうと次郎じろうの二に人にんですね　お互たがいの相互そうご作用さようで三さん郎ろうを死しに追おいやったと考かんがえるのが自然しぜんかと思おもわれます テーレッテレー！ WWWW 水すいを飲のませないようにして結果けっか的てきに三郎さぶろうは水みずが飲のめずに死しんだのなら次郎じろうでは？ ならない　水みずを飲のめなくして死期しきを早はやめたのは次郎じろう　三郎さぶろうは...

論理ろんり的てきやロジカルシンキングという言葉ことばをよく耳みみにしますが、みなさんはこれらの言葉ことばの意味いみを知しっていますでしょうか？参考さんこう文献ぶんけん「地頭じとう力りょくを鍛きたえる」「論ろんより詭弁きべん」「知的ちてき...

面白おもしろかった ww きしょいw www 事ごともあるだと無限むげんに言葉ことばが紐ひも付ついて収集しゅうしゅうできなくなるぞw 電気でんき回路かいろで便利べんりなやつ 大草おおくさ 草くさ はえ〜 「他たの方ほうも読よんでいらっしゃいます」「じゃあ読よもう」 ボイチェしてるだけでウサン臭におえw 「世界せかいの法則ほうそくなんぞ知しるか!この経けい...

共感きょうかんしました！みたいなコメント待まってます！追記ついき：なぜかいくつかのコメントが表示ひょうじされないみたいです。プレビューでだけ見みえているコメントが何なん個こかあります。BGM：す...

例たとえばZFCだと、c.t.m.の住人じゅうにんにとっては非ひ可算かさんだがVの住人じゅうにんにとっては可算かさんという考かんがえ方かたができる コーシー列れつとか言いわれてもなんか疑うたがわしいよね しょっぱなから飛とばすなあ ? 声こえがわりしたんだ

別べつに変へんではないです

論理ろんりパズルを解とくプログラムの簡単かんたんな解説かいせつです。この分野ぶんやに少すこしでも興味きょうみを持もっていただけたら嬉うれしいです。youtube版ばん： https://www.youtube.com/watch?v=GYrFliXBFEo【ソ...

思おもったよりためになりそう。ノート買かってきて週末しゅうまつもう一いち回かい見直みなおす 基本きほんの単語たんごから説明せつめいしてくれるの助たすかる 再帰さいき下降かこう構文こうぶん解析かいせきって全体ぜんたいを細こまかくわけてくやつか お声こえ可愛かわいい うぽつ ( /*>ωおめが<)/♡ ソルバー作つくるとか怖こわい・・・

予想よそう外がいに反響はんきょうがあった「√3＞3の証明しょうめい（sm33505304）」の解答かいとう編へんです。本当ほんとうの意味いみで正解せいかいにたどり着ついた方ほうは少すくなかったようです。※問題もんだい編へんを見みてからのご視聴しちょうをお勧すすめします...

非ひユークリッド幾何きかでも無理むりか？ あとはこれが成なり立たつ公理系こうりけい組くんでやりゃいいんだもんな 「誤あやまっている」かどうかの根拠こんきょ（現実げんじつ）や論理ろんり、自意識じいしきの正ただしさは証明しょうめいできないから気きにすることないゾ 図形ずけい問題もんだいで虚数きょすう解かいが出でてくる時点じてんで前提ぜんていがおかしいってことね 要ようは初手しょてか...

琴きん葉は姉妹しまいがパジャマパーティーするだけの簡単かんたんな内容ないようです。よろしくお願ねがいします。基礎きそ論ろんマイリス:mylist/60751437sm32594566←前まえ｜次つぎ→sm32659112動画どうが終了しゅうりょう後ごにミスがあっ...

草くさ この流ながれで和わ集合しゅうごうとか聞きくとなんか卑猥ひわい 愛あい、愛あいってなんだ ふーん。いいんじゃない？ただ少すこし……すこぺっそすだなあと思おもっただけさ いやそのりくつはおかしい だがこいつが許ゆるすかな？ てことは言葉ことばもあったんだな たしかに お前まえらひとつになっとるやんけ 工こう...