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

更新履歴など

うたにっき - 2018/06/14 23:43:22 JST

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

プロフィール - 2018/02/10 02:50:51 JST

わたしについて。

こんさんドットコムを TLS (HTTPS) に乗り換えた話 - 2018/02/09 22:35:00 JST

こんさんドットコムを TLS ベースに乗り換えたのでその顛末を。 特に、はてなブックマークの数が移行されないのでちょっと工夫したという話をする。

集合論の地質学4:下方有向性原理の証明 [PDF版] - 2017/12/11 21:00:00 JST

集合論の地質学に関する記事の第四回目. 今回はいよいよ,マントルや生成多宇宙の構造の大部分を確定させる基本定理である下方有向性定理を証明します.
前回はこちら初回はこちら

集合論の地質学3:Bukovskýの定理──強制拡大の特徴付け [PDF版] - 2017/11/30 00:20:34 JST

集合論の地質学に関する記事の第三回目. 最終目標の下方有向性原理の証明の準備として,Bukovskýによる強制拡大の特徴付けを証明します. 前回はこちら初回はこちら

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

Table Of Contents

プロフィール
私について。最近の活動記録など。
数学関係を纏めておくばしょ
数学関係を纏めておくばしょです。
Programming
プログラミング関連の技術文書や開発したソフトウェアなど。
Writings
その他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。
Blog
その他の雑多な雉や旧ブログ記事の保管庫です。
Logs
ブログ未満の日常の破片。
Twitter
主に日常のつぶやきなどはこちら。Twitter を始めてから情報発信を Twitter でしかしなくなった感じがする。
mstdn.jp
Twitter凍結が相次いでてこわいのでつくりました。
GitHub
開発したもので公開しても差し支えのないものなどはこちらで管理中。
ブクログ
本棚。蔵書と既読の管理。レビュー等は気が向いたら更新している。だいたいここを見れば趣味が把握出来る。
ねこはかわいい(Tumblr)
たんぶらー。Twitter で見掛けた記事を適当にスクラップしている。
slideshare
主に技術系のプレゼンの発表資料などはこちら。
Keybase
PGP鍵共有。