JST集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。JSTわたしについて。サーバで何とか頑張った話。定理証明系で必要となるユニコード数式記号の入力を補助するための機能拡張を作った話しです。Contentsプロフィール私について。数学関係を纏めておくばしょ数学関係を纏めておくばしょです。Programmingプログラミング関連の技術文書や開発したソフトウェアなど。Writingsその他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。Blogその他の雑多な雉や旧ブログ記事の保管庫です。Logsブログ未満の日常の破片。LinksTwitter主に日常のつぶやきなどはこちら。なくなった感じがする。mstdn.jpTwitter凍結が相次いでてこわいのでつくりました。GitHub開発したもので公開しても差し支えのないものなどはこちらで管理中。