ここのところ、空き時間はずっとアロンシャイン直線、もっと正確にはアロンシャイン連続体のことを考えていたので、頭が変なモードに入っていろいろ妄想しているわけですが。あ、アロンシャイン直線というのは、非可算可分全順序(つまり実数直線の非可算部分…

@kururu_goedel: 学生の一人に、現時点での成績の計算の説明をするメールを書くのに45分もかかってしまった。確かにスプレッドシートに少しバグがあったのだけれども。2011-04-25 22:52:53 via Seesmic Desktop @kururu_goedel: @SillyCrown 汎用人型決戦計…