00:25 川端裕人『算数宇宙の冒険』を2/3までで図書館返却ポストへ。ソラ（キョン）ユーキ（ハルヒ）那由（長門）アラン（古泉）が地元の算数祭りでいざ勝負！みたいな話。みくるがいない…じゃなくて。『数学ガール ゲーデルの不完全性定理』は論理を追いきれ…