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

お知らせ

更新履歴など

プロフィール - 2016/06/05 00:47:06 JST

わたしについて。

絶対性チートシート [PDF版] - 2016/05/26 19:00:00 JST

公理的集合論においてあるモデルの性質を調べる際,様々な概念の絶対性を利用します.このプリントは,どのような条件下でどんな概念が絶対性を満たすのかをメモした個人的な覚書です.あくまで手軽に使うための覚え書きなので,そこまで踏み込んだ証明などは載せず,寧ろ一覧表のような体裁になる予定です.

On Regularity Properties of Sets of Reals and Inaccessible Cardinals (実数の集合の正則性と到達不能基数) - 2016/02/01 18:02:38 JST

修士論文。Solovayによる「ZF+弱い選択公理+"任意の実数の集合が可測"」という体系の無矛盾性証明と、およびKhomskiiによる一般化、そしてSolovayの逆向きの結果であるShelahの結果についてのサーヴェイ論文。また、上述の体系における代替的な解析学の結果も簡単に紹介。

可算推移的モデルの存在について [PDF版] - 2015/12/03 00:57:26 JST

ZFの可算推移的モデルの存在がCon(ZF)よりも真に強いことに関する説明です.

空から Mandelbrot 集合を見てみよう - 2015/01/24 02:26:00 JST

Mandelbrot 集合はよく知られたフラクタル図形ですが、これを「上から」(あるいは「下から」)見てみたらどう見えるのか、というお話。

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

Table Of Contents

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

主に日常のつぶやきなどはこちら。Twitter を始めてから情報発信を Twitter でしかしなくなった感じがする。

GitHub

開発したもので公開しても差し支えのないものなどはこちらで管理中。

ブクログ

本棚。蔵書と既読の管理。レビュー等は気が向いたら更新している。だいたいここを見れば趣味が把握出来る。

ねこはかわいい(Tumblr)

たんぶらー。Twitter で見掛けた記事を適当にスクラップしている。

slideshare

主に技術系のプレゼンの発表資料などはこちら。