研究室でのネットワークがproxyを使うため，いろいろ設定が必要になった． まずは全体の設定のため， スタートメニューのNetwork->Network proxy からMethodをManualにして，HTTP Proxy, HTTPS Proxy, FTP Proxyを設定 そして全体に適用． apt-getをできるよ…

いままではinkscapeのjessyinkを使ってでスライドを作成していたが，PDF変換が面倒だったので別の方針をとることにする． inkscapeで作成することは変わらないが，自作のプログラムでpdfへ変換することにする．そもそもプレゼンソフトは以下の要件を満たして…

前回英辞郎を買ったのが5年以上前だったのに気づいたので，買い直した． データしかいらないのでダウンロード版を購入 http://www.dlmarket.jp/products/detail/249143 まずはデータを解凍 mkdir ~/sdic mv EDP-140.zip ~/sdic unzip EDP-140.zip sdicをイン…

サクラのVPSで容量を100GBに変更するため，契約をやり直す． とりあえずubuntu13.10を入れた，その設定メモ．とりあえずアップグレード sudo apt-get update sudo apt-get upgrade zshに変更 sudo apt-get install zsh scp yambi.jp:~/.zshrc . chsh でzshを…