TikZ¶ BeamerのためのTikZ TikZとは¶ Beamerは便利なのですが，図を描いたり絵を貼るのは苦手なので，どうしても文字を箇条書きしたようなスライドになりがちです． TikZを使うと，模式図やグラフ等を用いた ビジュアル性の高いプレゼンテーション を行うことができます．また，Beamer自体がTikZの機能を利用して作られているので，Beamerとの親和性は最高です． 準備¶ まずは，TikZをプリアンブルでロードします．同時に \usetikzlibrary コマンドで”positioning”ライブラリをロードしておくと便利です．:

[update] If you would like to skip the instructions and just install from an AMI, search the community for ami-b141a2f5 (Theano - CUDA 7) in the N. California region. Theano is an amazing Python package for deep learning that can utilize NVIDIA's CUDA toolkit to run on the gpu. The gpu is orders of magnitude faster than the cpu for math operations (such as matrix multiplication), which is essentia

Introduction zbackup is a globally-deduplicating backup tool, based on the ideas found in rsync. Feed a large .tar into it, and it will store duplicate regions of it only once, then compress and optionally encrypt the result. Feed another .tar file, and it will also re-use any data found in any previous backups. This way only new changes are stored, and as long as the files are not very different,

Docker を使い続けてコンテナやイメージを放置していると差分だけとはいえ、 ディスクの消費が増えていって、 書き込みエラー: デバイスに空き領域がありません (ENOSPC, write error: No space left on device) というエラーになってしまいます。 2017-03-18 追記 最近のバージョンでは docker system prune を使うのが良いようです。 古いバージョンを使うときの参考として、以下の記述は古いまま残しておきます。 コンテナの削除 docker rm の Eamples にあるように で停止しているコンテナを削除できます。 実行中のコンテナがあると削除できないというエラーが出ますが、 意図的にやっていることなので気にする必要はありません。 公式のドキュメントにも書いてある方法なので、 コンテナの削除方法はこのやり方で問題ないと思

「Dockerとは何？」というところから、インストール〜イメージの取得、コンテナの起動/停止まで超入門メモ。 目次 Dockerとは？ 軽量･高速なコンテナ型の仮想化方式 差分管理できるコンテナイメージ 実環境用Linuxを準備 CoreOS githubからVagrantfileを取得 起動と接続 Ubuntu Virtualbox用Boxを追加 Vagrant fileの作成 起動と接続 Dockerをインストール dockerグループにユーザを追加 コンテナイメージの操作 利用できるイメージ一覧を確認 Docker index イメージを取得 イメージの詳細情報を確認 イメージの削除 コンテナの操作 新規コンテナの作成 コンテナ一覧の確認 コンテナの詳細情報を確認 コンテナのアタッチ コンテナの停止 コンテナの開始 コンテナの削除 Dockerとは？ 軽量･高速なコンテナ型の仮想化方

今更ながら、ちょっとだけマジメに help を読んだので、メモしておく。 ほぼチュートリアルの要約だけど...。 なんといっても最初が肝心！この手順とルールを知っておかないと あとがすごくメンドウになる。 # というか、やっぱりマニュアルは読むべきだな。 1. 新規プロジェクトを作成 開始日を決めて OK とする(他は決めなくても OK)。 ひとまず保存して「ガントチャート」画面を開く。 2. タスクを積み上げる。 このとき、開始日・リソースは気にしないで、タスクと期間のみを淡々と入力する。 ※小技その１： 期間の欄で、数値の後に次の省略文字を付けると、月、週、日、時、分を簡単に入力できる。 ・ 月 = mo ・ 週 = w ・ 日 = d ・ 時 = h ・ 分 = m 単位は「日」か、もしくは「時間」で揃えるとラクかも。 ※小技その２： 期間の欄に ０日(0d)を入力すると、そのタスク

linux, UbuntuSandS とはSandS とは Space and Shift の略で，スペースバーを他のキーと同時に押すことによりシフトキーとしてつかえるようになるというキーボードハックを指します．僕が初めてこの機能を知ったのはありえるえりあのmatsuyamaさんの記事でした．SandS を導入することで，親指でシフトキーを扱うことができ小指の体力を温存することができます．特に記号を多用する html や tex ソースを書いているときや大文字を連続で打たなければならないときに，この機能の恩恵を感じています．実際に使ったことがない人はうまくイメージできないかもしれませんが，使い始めるとなぜこの機能が標準で装備されていないのだろうと感じるくらい便利な機能です*1． SandS を導入する方法当初はキーボードからの入力を hook で横取りして処理するプログラム(ダウンロード元

このページについて このページの内容はUbuntu Desktopを対象とする。 本文中のこのようになっている部分はメニューやメニューパスを表し、このようになっている部分はフォルダー名やフォルダーパスを、このようになっている部分はショートカットキー（キーボードショートカット）を表す。 以下はコマンドなど、端末に入力する内容を表す。

今年の初めくらいから個人的な技術検証にはSSDで動作が速く、1時間1円で料金が安いのと ロケーションをSan Franciscoにするとsshでもレスポンスが悪くないので、全部Digital Oceanを使っている。(徳丸先生が紹介する前から使っていたんだ！) Digital OceanについてはRebuild: 2: Rails, Redis, VPS (Kenn Ejima)の42分くらいから言及されてます。必聴です。 使ってる旧型のMacBookAirみたいな貧弱なマシンだとローカルでVM動かすとファン回りまくりとかで泣きたくなるので、Digital Oceanだと泣かずに済んで快適。 そんで今日Vagrant経由でDigital Ocean利用すると、コマンドラインから必要なときに新規インスタンス(Droplet)作って、 検証終わったら削除という手軽な使い捨て高速サーバ環境が利用

オフィスや日常に遊び心と個性を加えたら？ というわけで、邪悪なハンコを作ってみました。 イラストや模様の入った印鑑は実印にはできませんが 認印には（ほぼ）問題ありません。 乾いた都会の喧騒に、湿った日常に イエスイエス！ディスイズ認印！

2004年12月1日更新 PDFファイルの直接編集について－TouchUp機能の使用例 PDFファイルを直接編集する必要性が業務の中で生じました． 一般に，PDFは最終出力形式として広く使われていますが， 編集については，有料のツールが必要である事など，あまり便利とはいえません． 原稿を集めて一つにしてページ番号を付け直す，などの 小さな編集を目的として， Acrobatのtouchup機能を使った編集方法を調べました． ウェブや本も見ましたが，あまり詳しく載っていず， また自分自身これからしばしば必要になる事が予想されるので， 今の時点でわかったことをここに書いておきます． 実はPDFファイルには「品質」とも言える属性があります． 一番わかりやすいものとしては， 文字の書いてある原稿でも，それが「文字」として認識されている場合と， ［画像」（単なるドットの集まり）でしかない場合があります