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

お知らせ

更新履歴など

プロフィール - 2014/08/29 21:45:09 JST
わたしについて。
F4, F5 アルゴリズムに関するサーベイ(A survey on F_4 and F_5 algorithms) - 2014/07/19 02:27:08 JST
Gröbner基底の効率的な計算法である F4, F5 アルゴリズムに関するサーベイ、メモ(A note on F4 and F5 algorithms to efficiently compute Gröbner bases)。
Definability lemma と Truth lemma [PDF版] - 2014/06/19 21:57:00 JST
研究室の集合論ゼミで,強制法の理論を支える基本的な定理である Definability lemma と Truth lemma の証明を発表したときの資料。
Martinの公理,範疇定理,小さな基数 [PDF版] - 2014/05/30 13:08:25 JST
研究室の集合論ゼミで,集合論の種々の独立命題を示す方法である強制法の理論の最初の方について発表した時の資料.
強制法のはじめのほう(1) [PDF版] - 2014/05/25 01:59:00 JST
研究室の集合論ゼミで,集合論の種々の独立命題を示す方法である強制法の理論の最初の方について発表した時の資料.

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

Table Of Contents

プロフィール

私について。最近の活動記録など。

数学関係を纏めておくばしょ

数学関係を纏めておくばしょです。

Programming

プログラミング関連の技術文書や開発したソフトウェアなど。

Writings

その他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。

これは圏です(Blog)

ブログです。Yesod 製の自作エンジンで動いている。主に Haskell 関連の記事が多い。

Twitter

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

GitHub

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

ブクログ

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

ねこはかわいい(Tumblr)

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

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