研究室で自分が使える一番速い計算機が MacBook Air (Mid 2011; Intel Core i7-2677M) という状況を打破すべく，年末の予算で個人用サーバとしてMac mini Server (Late 2012)を購入してもらった．Apple の製品で現在 CPU が一番速いのはデスクトップ向け CPU…