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

更新履歴など

VSCode で YaTeX のイメージ補完やユニコード数式記号を入力する為の拡張をつくった - 2018/11/12 18:54:00 JST

VSCode で YaTeX のイメージ補完相当の機能を実現したり、Agda や Lean などの定理証明系で必要となるユニコード数式記号の入力を補助するための機能拡張を作った話しです。

Emacs から Visual Studio Code に乗り換える作業のメモ - 2018/10/16 00:05:00 JST

Emacs にそろそろ辟易してきたので、VSCode に乗り換えようとしています。その作業記録。

プロフィール - 2018/10/01 17:46:25 JST

わたしについて。

欲望の赴くままRustで型レベルPeano自然数とサイズ付きベクトルを書いた - 2018/08/29 18:45:17 JST

あるていど強い型システムを持った言語を見ると、型レベルペアノ自然数サイズ付きベクトルを書きたくなる、というのは人類普遍の欲求だと思います。 という訳で欲求に忠実であることとし、型レベルPeano自然数とサイズ付きベクトルRustで実装しました。実用性?皆無です。

Haskellerの私的Rustチートシート - 2018/08/29 18:35:07 JST

Rustに入門したので、適宜HaskellのこれはRustのこれ、ということをここに蓄積していって、個人的なチートシートにする。

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

Table Of Contents

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