最強の巨大基数「0=1」について解説します ■参考文献 Akihiro Kanamori『The Higher Infinite』 https://amzn.to/4e9qfO2 渕野 昌, 公理的集合論, 特別企画──これから学ぶ人のために── https://doi.org/10.11429/sugaku.0654411 Alwe, 独立命題とはなにか https://mathlog.info/articles/1332 ■Wikipedia 巨大基数的性質の一覧 https://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E5%9F%BA%E6%95%B0%E7%9A%84%E6%80%A7%E8%B3%AA%E3%81%AE%E4%B8%80%E8%A6%A7 ーーーーーーーーーーーーーーーー ■動画の途中で登場する動画 順序数の共終数

https://t.co/enzyGwW2lr とても面白かった。冒頭のこの部分で引き込まれた。 https://t.co/CBgyABQWf2

古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」という気持ちに突き動かされて書いた個人的なメモを、他人に見せられるように整形・拡張したものです。今年言語哲学について学んだことのメモにもなっています。 直観主義論理とはまず、今回のテーマである直観主義論理についての説明をしておきたいと思います(すでにご存じの方は次章に移ってくださって構いません)。いわゆる普通の論理学の体系、古典論理(classical logic)についての知識は前提としているので、知らない方は色々調べて見てください。 さて、直観主義論理を非常に簡単に説明するなら、古典論理の

予約したもののインフォバーを手に入れられない海野です． 人間の高度な知的処理の一つが、推論処理です．今日はその推論を、述語論理と機械学習の組み合わせで模倣したMarkov Logic Networkという手法と、そのOSS実装であるAlchemyの紹介です． 鳥とはなんですか？という質問に対してどう答えるでしょうか．大雑把には、以下のように考えるでしょう． 鳥とは、空を飛ぶ動物です． この回答に対して、「ペンギンは飛ばないよ」と反論する人がいるかも知れません． 鳥とは、くちばしを持った動物です． すると、「カモノハシは鳥じゃないよ」と言われるでしょう．人間は初めて見た生き物が鳥かそうじゃないか判断するとき、どうしているのでしょうか．思うに、少数の規則（飛ぶかどうか．くちばしをもつか）から総合的に判断しているように思われます．人間の推論というのは概ね以下のような特徴を持っているのではないかと

【外山恒一の「note」コンテンツ一覧】 ──名探偵・外山恒一の冒険４ 「名探偵・外山恒一の冒険」シリーズ １．オフィスＶＡＤの秘密（98年） ２．「アナーキー・イン・ザ・UK」の秘密（04年） ３．『ファイト・クラブ』──“映像の乱れ”の謎（16年） １． さて皆さん。 北尾修一氏による勇気ある告発によって、〝コーネリアス〟こと小山田圭吾氏への今回の壮絶なバッシングの火元となったブログ記事が、文章能力の不足といった不可抗力の類ではなく、明白なる悪意に基づいて巧妙に構成されたデマ、要するにいわゆる〝フェイク・ニュース〟の類であることはすでに明らかとなりました。 「勇気ある」というのは、北尾氏はそもそも、小山田氏が自身のイジメ加害体験を赤裸々に告白したインタビュー記事が掲載された『クイック・ジャパン』誌の編集者であり、しかも問題のインタビューの場にも居合わせたというのですから、「身内をかばっ

子供の頃、大人と話していて一番イヤだったのは、自分がおかしいと感じたことを、どんなに論理的に説明しても、「屁理屈」だと笑われ、真面に相手にされなかった時。で、理屈の通らない話が正しいとされたままになる、とか。もう少し年齢が上がると、「小難しい」といってまた嘲笑されるのだが。

このブログ記事は、Advent Calender 2020, Rust 3、23日目の記事となります。自分は現在大学で教員をしていまして、セキュリティ系の研究室に所属しています。現在はセキュリティの講義を担当しており、そこでRust言語を教えているため、その内容を紹介しようと思います。 はじめに 皆さんご存知のようにソフトウェアの脆弱性は今でも大きな問題となっていますが、それを完全ではないにしろ根本から解決するための技術的手法として型システムが注目されています。型システムの考え自体は古くからありますが、最近ではRust言語が登場し、OSなどいわゆる低レイヤーなソフトウェアも型システムの恩恵を預かることができるようになってきました。SMTソルバや定理証明などと言った難しい（かつ面白い）手法でC言語やC++言語で書かれたソフトウェアを解析する方法もありますが、セキュアソフトウェアを語る上では、

理系の学問は自己相対化とか客観性とかの担保が実験や統計などの「研究法」に外部化されているから、「研究」の外側に出ると途端に思い込みや偏見丸出しになる人が時々いるラジよね。

デレステにプロデュース方針機能とやらが追加。先日まで"デレPのコミュ文体が男女切り替えられる"的なやつなのかと勘違いしてました。どこに場数振ればいいのか分からないですけど、どうやら

#ハロウィン でわかる論理演算　#Halloween https://t.co/jDpGG001xC

この番組は、思わず頭の中で手順を組み立て、先を予想したくなるような興味深い実験、手順の組み合わせを改善していく楽しさを伝えるアニメーション、さまざまな仕事や物の中にプログラミング的思考が活かされていることを伝えるコーナーなどで構成されています。番組の中では、実際にコンピューターを使ったプログラミングを体験するシーンは出てきません。コンピューターへの苦手意識やICT 環境を問わず、誰でも楽しくプログラミング的思考を育めます。コンピューターを使ったプログラミングへの導入としてはもちろん、実際のプログラミング体験をした後でも、活用できる番組です。