集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。
更新履歴など
- 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対応を拡張する形でのモデルを与える方法であり,Krivineによって導入された. 強制法を特別な場合として含むが,から開始してものモデルが得られるという点で強制法を真に一般化するものになっている.
- Boole値モデルと強制法 [PDF版] - 2022/06/11 18:00:00 JST
集合論における無矛盾性証明で用いられる主要な手法である強制法と,密接に関連するBoole値モデルの手法について,本稿では幾らか証明を省略しつつ概略を採り上げます.また,Hamkinsら [Hamkins:2012qv] の説明に基づいて,超冪とBoole値モデルの関係についても簡単に解説します.
上記最新5件以外は、アーカイブ をご覧ください。
Table Of Contents
- プロフィール
- 私について。最近の活動記録など。
- 数学関係を纏めておくばしょ
- 数学関係を纏めておくばしょです。
- Programming
- プログラミング関連の技術文書や開発したソフトウェアなど。
- Writings
- その他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。
- Blog
- その他の雑多な雉や旧ブログ記事の保管庫です。
- Logs
- ブログ未満の日常の破片。
External Links
- 主に日常のつぶやきなどはこちら。Twitter を始めてから情報発信を Twitter でしかしなくなった感じがする。
- mstdn.jp
- Twitter凍結が相次いでてこわいのでつくりました。
- Bluesky
- イーロンが怖いのでつくりました。こんさんドットコムに紐付いているので本物で安心。
- Nostr
- イーロンがまだ本格的にこわくなる前につくって放置しています。
- GitHub
- 開発したもので公開しても差し支えのないものなどはこちらで管理中。
- ブクログ
- 本棚。蔵書と既読の管理。レビュー等は気が向いたら更新している。だいたいここを見れば趣味が把握出来る。
- ねこはかわいい(Tumblr)
- たんぶらー。Twitter で見掛けた記事を適当にスクラップしている。
- slideshare
- 主に技術系のプレゼンの発表資料などはこちら。
- Keybase
- PGP鍵共有。