login shell のとき /etc/zshenv -> $ZDOTDIR/.zshenv -> /etc/zprofile -> $ZDOTDIR/.zprofile -> /etc/zshrc -> $ZDOTDIR/.zshrc -> /etc/zlogin -> $ZDOTDIR/.zlogin login shell ではないが、対話的な shell のとき /etc/zshenv -> $ZDOTDIR/.zshenv -> …

Boost.Randomの利点は、generator(乱数生成器)とdistribution(分布関数)を分離できるところです。d:id:faith_and_brave:20090629:1246263401であげられている、「80%の確率で0, 20%の確率で1」といった事例は、まさにBernoulli Distributionそのものなので、…

現在、ネットワークアクセス制限がきついところに出入りしているのですが、外部からメールを送受信するのも大変なので、IMAP4が使えるGMailにメールをすべて移動することにしました。Pythonの勉強を兼ねて、Python クックブック 第2版を参考にしてPOP3サーバ…

研究室でSun X4100 Serverを運用しているのですが、管理の都合でDebian GNU/Linux (lenny)を導入しました。この機種には標準オプションとしてサービスプロセッサ(ILOM)が付属しており、リモートからの電源On/Off、グラフィカルコンソールの転送まで行うこと…