魔女の鉄槌 マリア様がみてる 黄薔薇革命 ラッセルのパラドクス 時間と自由 『ラッセルのパラドクス』は、タイプ理論の説明あたりまではニヤニヤしながら読んだ。この人はプログラム書けばいいのに、とか思う。死んでるけど。あとは面倒になったので3sppくら…