集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。
更新履歴など
- 全ての実数の集合をLebesgue可測にする 〜Solovayモデル入門〜 - 2024/10/12 14:00:00 JST
「 + 任意の実数の集合がLebesgue可測」になる集合論のモデルSolovayモデルについてalg-dチャンネルで喋った時の資料です。
- 数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - 2024/09/18 13:27:51 JST
2024年後半におるうぇ君、るじゃ氏、こりーさんなどとやっている強制法自主ゼミの発表資料です。 私とおるうぇ君とで、ロジックの基礎からはじめて強制法の基本を他の参加者に叩き込もうという会です。目標はの独立性証明。
- 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
- ブログ未満の日常の破片。
External Links
- 主に日常のつぶやきなどはこちら。Twitter を始めてから情報発信を Twitter でしかしなくなった感じがする。
- mstdn.jp
- Twitter凍結が相次いでてこわいのでつくりました。
- Bluesky
- イーロンが怖いのでつくりました。こんさんドットコムに紐付いているので本物で安心。
- Nostr
- イーロンがまだ本格的にこわくなる前につくって放置しています。
- GitHub
- 開発したもので公開しても差し支えのないものなどはこちらで管理中。
- ブクログ
- 本棚。蔵書と既読の管理。レビュー等は気が向いたら更新している。だいたいここを見れば趣味が把握出来る。
- ねこはかわいい(Tumblr)
- たんぶらー。Twitter で見掛けた記事を適当にスクラップしている。
- slideshare
- 主に技術系のプレゼンの発表資料などはこちら。
- Keybase
- PGP鍵共有。