session_start() で $_SESSION が出来て、読み書きできる。この時、他で書き換わったら、反映されるの？ 読み書きのが反映されるタイミングとは？ session_destroy() を実行した後も、 $_SESSION は消えない（つまりその時の値を保持し続けている）。このと…

Gnome の Evince には dvi 表示機能がついているわけだが、 Fedora では無効になっていた。それを有効にできるらしいパッケージ evince-dvi があったらしい。気づかなかった。 …まぁ、どうせ日本語含んだのは表示できないわけだがな。

1時ごろ、大学へ。ボスと 15 時に打ち合わせだったのに、もういるし…。 Taylor 研究室の共有マシンが昨日から不調だったのは、CPU ファンが止まって熱暴走だったことが KSY 君の調べで分かった。というわけで、新しいPCを買ってもらえるように打診。 Fedora …