ネットサーフィンしてこんなブログ書く暇があったら宇宙科学勉強しろ >僕 - ほんと集中力ないよなあ。もっと何とかしないと。 レッチリ聴いたことなかったけどいいわー デスノートの影響でsnowを聴いてる でもやっぱミスチルもいいなあ

眠さで口調がいつもと違うが気にしない。 ゲンツェンシステムがパない。最初は意味不明だったが、ちょっとづつ慣れてきたらなんだかすごいものに触っているのがわかってきた。推論の各ステップで論理記号の数が減らない*1から、増やしたり減らしたりやってみ…