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

お知らせ

更新履歴など

プロフィール - 2015/07/27 18:45:36 JST

わたしについて。

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

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

latexmk で楽々 TeX タイプセットの薦め(& biblatex+biberで先進的な参考文献処理) - 2015/01/06 23:48:54 JST

TeX ファイルの変更を監視して、必要な回数だけ自動タイプセットしてくれる latexmk の紹介です。OMake はもう古い。あとbibtexの代替である biber と biblatex についても紹介。

Haskell ではじめるふわとろ Cocoa アプリ開発 - 2014/12/29 23:27:30 JST

Haskell による Cocoa アプリ開発の実際についての記事。Haskell Advent Calendar 2014 参加記事です。

可算推移的モデルの存在について [PDF版] - 2014/12/10 15:42:37 JST

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

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

Table Of Contents

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

旧ブログ記事の保管庫です。消すには惜しい記事もあるので。

Twitter

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

GitHub

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

ブクログ

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

ねこはかわいい(Tumblr)

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

slideshare

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