普段使用してるラップトップでwindowsをまったく使わずgentooが常時起動しているので，windowsを削除してしまうことにした．それだとライセンスが一つあまるのでVirtualBox上にでもインストールする予定．これにはオプティカルドライブを内蔵していないので…

現代数理論理学序説を読み始めた．

はじめてすぐ一週間も空いてしまった． 応用数学IIのプリントをした CTMを木の前まで読んだ ただし期限なので返却

nibkame: 比較命令の扱いについて考えた 以上．

MacBook Air 11インチ欲しい！いろいろあってコピー本を作成しようかなと．思いたっていはいるのですが． すると，Adobe Acrobatとか InDesign とか欲しくなるわけで．しかしWindowsで扱うのも気が引けて．というわけでMac OS Xなマシンが欲しいです．

とてもたのしかった． 自分の観測範囲は狭いのだけれど，色々な人の意見を知れてよかった．自由に発言できるのは印象が薄い利点ですね!以下，私が議論をたきつけるのが好きであることを前提に話半分に理解してもらえるとよい． ちなみに議題となった発表は見…