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

更新履歴など

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 が前評判に違わず素晴しかったのでみんなプレイしましょうという話です。

古典的実現可能性モデルノート - 2022/09/16 21:00:00 JST

古典的実現可能性モデル(classical realisability)の手法は,Curry–Howard対応を拡張する形でZF\mathrm{ZF}のモデルを与える方法であり,Krivineによって導入された. 強制法を特別な場合として含むが,ZFC\mathrm{ZFC}から開始してもZF+¬AC\mathrm{ZF}+\neg \mathrm{AC}のモデルが得られるという点で強制法を真に一般化するものになっている.

Boole値モデルと強制法 [PDF版] - 2022/06/11 18:00:00 JST

集合論における無矛盾性証明で用いられる主要な手法である強制法と,密接に関連するBoole値モデルの手法について,本稿では幾らか証明を省略しつつ概略を採り上げます.また,Hamkinsら [Hamkins:2012qv] の説明に基づいて,超冪とBoole値モデルの関係についても簡単に解説します.

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

Table Of Contents

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