昨日MacBookをもって帰ってきて起動しようとしたら動かず、電源を切って振ってみてなんとか動いたのだが、なにぶんメインマシンのハードディスクが吹っ飛んだら生きる棋力気力を失いそうで怖いのでハードディスクを買うことにした。ヨドバシの店頭では1GB1TB…

選択公理を認めると、実数は無限次元の有理数体上のベクトル空間になる 1個取って、線形結合で取れる元を全部とって、残ったやつからまた取って、を繰り返す ツォルンの補題 - Wikipedia 極大元が実数全体じゃないと仮定すると、まだ元が残っているからそれ…