集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。

更新履歴など

全ての実数の集合をLebesgue可測にする 〜Solovayモデル入門〜 - 2024/10/12 14:00:00 JST

ZF+DC\mathrm{ZF}+\mathrm{DC} + 任意の実数の集合がLebesgue可測」になる集合論のモデルSolovayモデルについてalg-dチャンネルで喋った時の資料です。

数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - 2024/09/18 13:27:51 JST

2024年後半におるうぇ君るじゃ氏こりーさんなどとやっている強制法自主ゼミの発表資料です。 私とおるうぇ君とで、ロジックの基礎からはじめて強制法の基本を他の参加者に叩き込もうという会です。目標はCH\mathrm{CH}の独立性証明。

Talks - 2024/03/10 15:00:00 JST

これまでに行った講演

うたにっき - 2024/01/28 03:30:00 JST

(最終更新:20240127)ブログ未満の日常の破片

Disco Elysium - 頽廃の都マルティネーズで世界の迷宮に迷い込もう - 2023/01/01 17:35:00 JST

Disco Elysium が前評判に違わず素晴しかったのでみんなプレイしましょうという話です。

上記最新5件以外は、アーカイブ をご覧ください。

Table Of Contents

プロフィール
私について。最近の活動記録など。
数学関係を纏めておくばしょ
数学関係を纏めておくばしょです。
Programming
プログラミング関連の技術文書や開発したソフトウェアなど。
Writings
その他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。
Blog
その他の雑多な雉や旧ブログ記事の保管庫です。
Logs
ブログ未満の日常の破片。