読むぞ〜
本
数学
論理学(3STEPシリーズ)
戸次大介『数理論理学』
計算論
計算できるもの、計算できないもの
優先度.低
Coq/SSReflect/MathCompによる定理証明 (本)
数理議論学(本)
多分もう読まない
学んでみよう！記号論理
実用技術
ふつうのHaskellプログラミング
nginx実践ガイド
オブジェクト指向UIデザイン(本)
EVERY LAYOUT (本)
言語哲学，諸々
規範とゲーム 社会の哲学入門
言語哲学入門 (本)
途中まで読んでる
メタ倫理学入門(本)
それは私がしたことなのか 行為の哲学入門 (本)
ヴィトゲンシュタイン 明確化の哲学 (本)
『論理哲学論考』を読む(本)
無理過ぎる
論理哲学論考
社会/世界史
世界を変えた6つの「気晴らし」の物語(本)
あなたを陰謀論者にする言葉(本)
優先度.低
インターネットは言葉をどう変えたか デジタル時代の〈言語〉地図