確率と統計講義資料サーバ再起動この連休には受電設備の入れ替え・点検のために停電が予定されていたので、研究室のサーバの電源を落としていた。シャットダウンはリモートからやったもんだで、どの機械に火を入れたらいいんだかわからんのだわ。うちにはまさに売るぐらい計算機が並んでいる。順番につけて見たんだけど、DNSに登録された名前とOSが認識している名前が違うものがこんなにあるとは。kimiソースの表示以前のリビジョン文書の先頭へ。