mas-lab.blog

プレゼン資料の見栄えが劇的に良くなる、無料で使える素材集まとめ17個(Webデザインにも使えます) - Miqata(ミカタ) [del.icio.us]

2012-01-29T06:06:35-08:00

SoftbankのWi-Fiルーター007Z購入

2012-01-02T08:08:00.001+09:00

WiMAXのWi-FiルーターWM3500Rの年間契約が終わりそうで、通信環境を色々悩んだ末Softbankの007Zを購入して、1ヶ月半ぐらい使ったので雑感を。

ちなみに、僕のWi-Fiルーターの用途としては、メインが移動中とかちょっとした時間のiPod touch、後は電車で座ってる時とかカフェに行った時にMacBook Airで使う。

P1030709 posted by (C)mas

買い替え候補

WiMAXの年間契約が終わる！ってことで、買い替えの候補になったのは3つ。

WiMAXを解約→新規契約で機種をAZ01MRにする
イーモバイルのGP02にする
Softbankの007Zにする

WiMAX以外は2年契約になっちゃうので、そこがネックだった。2年も経てば、何が欲しくなるかわかんないし。でも、WiMAXを止めようかなと思ったのは、やっぱりまだエリアがキツいことだったので、2年契約は致し方なしという結論に。

イーモバイルのGP02は、端末価格が下がってて、エリアも広そうで良かったんだけど、最終的にランニングコストで007Zに競り負けた感じ。

007Zは、ファームウェアの評判が悪いのが気になってたけど、アップデートされてマシになったようだし、Softbankとイーモバイルの両エリアが使えるのが良かった。それと何より、月々割があるので、端末を一括で払ってしまえば、月々2,500円ぐらいで運用できるのが魅力。

で、007Zの一括が安いのを探すことにして、一括9,800円を見つけたので契約と相成りました。

P1030708 posted by (C)mas

ここからは、007Zの雑感をダラダラと。

エリア自動で良いかと思ってたけど、やっぱサブ固定

メインは所々入らない場所がある。田園都市線長津田駅5番ホームとか、会社の自席とか、地下鉄のホームとか繋がらなければ、WiMAXから乗り換えた意味がない。

イーモバイルのサブ回線固定でしばらく使ってみて、エリアの広さにビックリしたし、たいていの所で電波入るから、もうサブ固定で良いという結論に。

WM3500Rとは使い方を変えると良い

WM3500Rは、使いたい時に電源入れるか、使う時間が8時間以内なら電源入れっぱなしという使い方をしてた。こまめに電源を入れたり切ったりすると、起動→接続に1分ぐらいかかるのがストレスだった。

007は、ずっと電源入れっぱなしで、touchのWi-Fiを入り切りする感じの運用。連続接続は4時間で長くないんだけど、待ち受けが140時間いけるから、こういう運用になる。ちなみに単純に電源切れてる状態からの接続は、007Zであれば30秒ぐらい（実感）なので割りと速い。

エリアの広さはストレスレス

WiMAXもそこそこのエリアあると思った1年間だったけど、やっぱ屋内や地下鉄のホーム、移動中とかに繋がらなくてストレスかあった。

さすがに老舗のイーモバイルはエリアも広くて、エリアに関するストレスがだいぶなくなった。しかも、電波をつかむスピードも圧倒的に早い。

指紋、指紋、とにかく指紋

テカテカブラックの007は、とにかく指紋が目立つ。指紋付くのが好きじゃなくてtouchにもずっとエアジャケしてるのに…。

まぁ、007に保護フィルってのも、なんか違う気がしたから、Shure SE110に付いてたケースが、ピッタリとのTweetを見て、最初はSE110のケースに入れてみてた。

その後、指紋は気にしないことにしたので、裸で指紋を付け続ける運用に。

ファームウェアの安定感

まぁ、色々言われている通り良くはない。気づくとDISCONNECTになってて戻らなかったり、気づくとNo Servicesになってて戻らなかったり…。

今のところ、スリープ設定をしないで使うと若干安定する感じ。スリープからの復帰時に回線が戻れないことが多い感じがした。スリープ設定をしないと、電池の減りが早いんだけど、今はスリープ解除で運用中。これは、また変えるかも。

あとは、何か起きたら再起動する。30秒ぐらいで再起動終わるし、再起動してしまえば元に戻るので。WM3500Rだと再起動が億劫になるけど、007Zの起動スピードだったら良いかなと。

ランニングコストの安さは家計に優しい

一括9,800円で買えたので、毎月は月々割含めると2,500円ぐらい。WiMAXより1,400円ぐらい安くて、奥さんへの説明もつきやすいw 端末価格の9,800円とランニングコストの総額を明確に計算していないので、もしかしたら総額のキャッシュアウトはもっと安いのがあるかも。でも、目に見えて月々キャッシュアウトしていく額が減るのは、ある意味家計に優しい。

2年縛り

流れの早い現代に2年縛りは抵抗があったんだけど、ランニングコストが安いので目をつぶることにした。

どうせ、ガラケー＋touchの構成は当面揺るがないから、途中解約したくなることもないだろうと。

もし途中解約したくなるとしたら、ドコモからiPhoneっていう、ありそうでない時なので、まぁ問題ないかと。その時には違約金を支払う覚悟も…。

接続するUSBケーブルに注意

結構電力を使うのか、USBケーブルもモノによっては、使えない。WM3500Rで使ってたPLANEXの伸縮ケーブルは、007ZでMacBook Airだと使えなかった。なぜか100均で買った伸縮ケーブルで使えたけど…。

ついでに、デスクトップPCでも、USBハブ経由だと不安定になる。直接PCのUSB端子に挿せばOK。

まとめ

自分の使い方では、現状ベストなWi-Fiルーターだと思う。スピードもWiMAXと比べても申し分ないし、エリアは断然広い。

そして、何よりコストパフォーマンスが良いので、ガラケー＋007Zで月4,000円程度でこの環境が手に入るのは素晴らしい。

Date4j- 日付を扱う最小限のライブラリ [del.icio.us]

2011-12-10T13:32:29-08:00

Java Swing Tips - てんぷらメモ [del.icio.us]

2011-12-07T07:16:31-08:00

Programming tutorials and source code examples [del.icio.us]

2011-12-07T07:16:31-08:00

JavaやRuby等、色々な言語の色々なサンプルが載ってる

Redmineをrvm使ってるCent OS 5.7にインストールする長ーい顛末

2011-11-27T07:06:00.001+09:00

先日仕事でRedmineをCentOS 5.7のサーバーにインストールする必要があった。割りと新しいOSだし、Redmineも開発が活発なので、サクっとインストールするつもりだったけど、思いの外ハマったので、その顛末を残しておく。

ここから顛末ですが、長いです…。

基本は、Redmine.JP BLOGの流れ。

http://blog.redmine.jp/articles/redmine-1_2-installation_centos/

RedmineをCentOS 5.7にインストールしようしたが、CentOS 5.7のRubyはデフォルト1.8.5。使っているサーバは、rvmでRuby 1.9.xもインストールしてあって、そちらがデフォルトになっている。1.9.2は今は使ってないので、1.8.x系の最新を入れようと1.8.7をrvmでインストールして、そこにRedmineに必要なgem達を入れた環境を作ろうとしてハマった。

まずは、Ruby 1.8.7の最新版をインストールしようとして、

% rvm install 1.8.7-head

とやってもエラーが出る。

最初は、よくある会社のプロキシーがネックかと思ったけど、http_proxy, https_proxy,ftp_proxyを環境変数にセットしてるし、

% rvm list known

は動いてるので、なんかおかしい…。

で、今一度エラーメッセージを見なおしたら、

error: SSL certificate problem, verify that the CA cert is OK. Details:
error:14090086:SSL routines:SSL3_GET_SERVER_CERTIFICATE:certificate verify
failed while accessing https://github.com/ruby/ruby.git/info/refs

と書いてある。どうやらSSLの証明書関係でコケてるようなので、調べると以下のURLに行き着く。

http://stackoverflow.com/questions/6230031/rvm-install-1-8-7-head-errors-on-centos-5-5

ここのAnswerにあるように、

% cp /etc/pki/tls/certs/ca-bundle.crt ~/ca-bundle.crt
% curl http://curl.haxx.se/ca/cacert.pem -o /etc/pki/tls/certs/ca-bundle.crt

とやるが、

curl: (23) Failed writing body

とか、

curl: (6) Couldn't resolve host 'curl.haxx.se'

とか言い出す。仕方ないので、Curlを使わずに、

% wget http://curl.haxx.se/ca/cacert.pem
% sudo cp cacert.pem /etc/pki/tls/certs/ca-bundle.crt

とやって、証明書を追加。

で、今度はいけるかと思ったら、configureの途中でコケてて、こんなエラーが出てる。

configure.in:4: error: Autoconf version 2.60 or higher is required
configure.in:4: the top level
autom4te: /usr/bin/m4 failed with exit status: 63
aclocal: autom4te failed with exit status: 63
autoreconf: aclocal failed with exit status: 63

autoconfが2.60以上じゃないとダメらしい。CentOS 5.7には2.59がインストールされてる。惜しい。ソースからコンパイルしてインストールすると、後々アップデートとか面倒なので、ここは素直にRuby 1.8.7のインストールを断念。

気持ちを新たに、

% rvm install 1.8.6-head

として、1.8.6をインストールすることに。

で、ようやくRuby 1.8.6はインストール完了。

% rvm list

rvm rubies

=> ruby-1.8.6-head [ i386 ]
  ruby-1.9.2-p290 [ i386 ]

で、Redmine.JP BLOGにある通りにgemをインストール。

% gem install rack -v=1.1.1 --no-rdoc --no-ri
% gem install rake -v=0.8.7 --no-rdoc --no-ri
 →gem uninstall rakeで、0.9.2をアンインストール
% gem install i18n -v=0.4.2 --no-rdoc --no-ri
% gem install mysql --no-rdoc --no-ri

MySQLの設定は既にしてたので、configをサイト通りに編集。

で、

% rake generate_session_store
(in /var/www/redmine)
rake aborted!
private method `chomp' called for nil:NilClass
/var/www/redmine/Rakefile:4
(See full trace by running task with --trace)

エラー！調べると、同じ症状で悩んでる人がいて、

http://www.redmine.org/issues/7616

解決策がpatchとして提供されている。

http://www.redmine.org/issues/7616#note-3

で、これを ~/.rvm/rubies/ruby-1.8.6-head/lib/ruby/1.8/logger.rb に適用してあげて、再度

% rake generate_session_store --trace
(in /var/www/redmine)
** Invoke generate_session_store (first_time)
** Invoke config/initializers/session_store.rb (first_time)
** Execute config/initializers/session_store.rb
** Execute generate_session_store

OK！

% rake db:migrate RAILS_ENV=production
(in /var/www/redmine)
zsh: virtual time alarm  rake db:migrate RAILS_ENV=production

あれ？またなんかエラー出てる。エラーメッセージで検索すると、gemのMySQLをダウングレードすれば良いとのこと。

http://groups.google.com/group/rubyversionmanager/msg/43d3d4d9c842ba56

これまた、2.7のインストールは普通にやるとダメ。なので、以下のコマンドで実行。

% gem install mysql -v=2.7 --no-rdoc --no-ri -- --with-mysql-lib=/usr/lib/mysql
※途中にある「--」を抜くとインストールできない

gemのmysql 2.8.1はアンインストール。これで再度、

% rake db:migrate RAILS_ENV=production

うまくいった。

続いて、Passengerのインストール。

% gem install passenger --no-rdoc --no-ri
Building native extensions.  This could take a while...
Successfully installed fastthread-1.0.7
Successfully installed daemon_controller-0.2.6
Successfully installed passenger-3.0.9
3 gems installed

これはすんなり行った。

次、PassengerのApache向けモジュールインストール。

% passenger-install-apache2-module
Welcome to the Phusion Passenger Apache 2 module installer, v3.0.9.

This installer will guide you through the entire installation process. It
shouldn't take more than 3 minutes in total.

Here's what you can expect from the installation process:

 1. The Apache 2 module will be installed for you.
 2. You'll learn how to configure Apache.
 3. You'll learn how to deploy a Ruby on Rails application.

Don't worry if anything goes wrong. This installer will advise you on how to
solve any problems.

Press Enter to continue, or Ctrl-C to abort.


--------------------------------------------

Checking for required software...

 * GNU C++ compiler... found at /usr/bin/g++
 * Curl development headers with SSL support... not found
 * OpenSSL development headers... found
 * Zlib development headers... found
 * Ruby development headers... found
 * OpenSSL support for Ruby... found
 * RubyGems... found
 * Rake... found at /hdd/ueki/.rvm/wrappers/ruby-1.8.6-head/rake
 * rack... found
 * Apache 2... found at /usr/sbin/httpd
 * Apache 2 development headers... found at /usr/sbin/apxs
 * fastthread... found
 * Apache Portable Runtime (APR) development headers... found at
/usr/bin/apr-1-config
 * Apache Portable Runtime Utility (APU) development headers... found at
/usr/bin/apu-1-config

Some required software is not installed.
But don't worry, this installer will tell you how to install them.

Press Enter to continue, or Ctrl-C to abort.

あっ、curl-develがない…。

% sudo yum install curl-devel

気を取り直して、

% passenger-install-apache2-module

コンパイルしたり、なんだったりしてるけど、無事成功。

ここで、Redmine.JP BLOGでは、Apacheをworker MPMに切り替えるってあるけど、これをやるとPHPで書かれたWebアプリが動かなくなるからやめといた。（実際試して、XOOPSとかがグダグダになった…。）

Passengerの設定をApacheへ。基本は、Redmine.JP BLOGのままだけど、Passengerの場所はrvm使ってるので全然違う。それは実態に合わせて書き換え。

Apacheへ、Redmineの場所を設定。（http://○○/redmineに設置する場合）

% ln -s /var/www/redmine/public DOCUMENT_ROOT/redmine

あと、/etc/httpd/conf.d/passenger.confに

RailsBaseURI /redmine

も追加。

で、Apacheを再起動。

% sudo /etc/init.d/httpd configtest
Syntax OK
% sudo /etc/init.d/httpd restart
httpd を停止中:                                            [  OK  ]
httpd を起動中:                                            [  OK  ]

はぁ、ようやくRedmineのインストール完了。ここまで長かった。

敗因は、RedmineやRubyが要求する新しめのパッケージが、CentOS 5.7のyumではまだ提供されていないこと。CentOS 6.0に乗り換えたいところだが、クリーンインストールじゃないといけない6.0には、なかなか行けない。まぁ、これは別の問題。

Luc Viatour [del.icio.us]

2011-11-10T13:08:52-08:00

Creative Commonsライセンスで高品質な写真がダウンロードできる

プレゼンテーションZenに学ぶ「プレゼンはシンプルで行こう」：In the looop：ITmedia オルタナティブ・ブログ [del.icio.us]

2011-11-10T13:08:52-08:00

iPresentee - Keynote Objects [del.icio.us]

2011-11-10T13:08:52-08:00

Keynoteにマッチするアイコン

Icons & Icon Packs - Download Free PNG Icons | IconsPedia [del.icio.us]

2011-11-10T13:08:52-08:00

Keynoteに使えるキレイなアイコンがいっぱい

twieve(ツイエバ) [del.icio.us]

2011-10-06T02:36:49-07:00

日々のつぶやきをTwitterからEvernoteへ簡単に送れるサービス

DistroWatch.com: Put the fun back into computing. Use Linux, BSD. [del.icio.us]

2011-10-04T01:39:20-07:00

どのディストリビューションに、どのバージョンのソフトウェアがインストールされるか調べられて便利

INCIPIO feather超軽量MacBook Air 11インチ専用ケースモニター

2011-09-28T22:49:00.001+09:00

またまたFans:Fansのモニターで、「INCIPIO feather超軽量MacBook Air 11インチ専用ケース」をリンクスインターナショナルさんからいただいた。

IMGP5068 posted by (C)mas

今回このモニターに応募したのは、僕のMacBook Airの使い方と性格にある。まず使い方だが、通勤時間が非常に長い僕は、MacBook Airを電車で使うことが多い。ほぼ毎日電車でMacBook Airを開いている。

IMGP5071 posted by (C)mas

そうすると気になるのが、座ってる僕の前に立っている人の荷物やその人自体がMacBook Airに触れること。朝の電車なので、それなりに混んでいるし、そんな混んでる電車でMacを開いてるのが悪いのだが、やっぱり愛用しているMacBook Airに傷が付くのが気になって仕方ない。多少傷が付くぐらいの方が味が出るとか、使ってればイヤでも傷が付く、のはわかっているんだけど、性格上どうしても傷が付くのがきになるのだ。

IMGP5072 posted by (C)mas

そんなこともあって、MacBook Airに付けるジャケットみたいなものが欲しいなぁ、と思ってる所にこのモニターキャンペーンがあったので応募した。

IMGP5073 posted by (C)mas

早速届いたINCIPIO featherを一通り眺めた後に装着。装着は非常に簡単で、説明とかは全然どこにも書いてなくても、なんとなくで装着することができる。さすがの専用ケースなので、寸法もピッタリ。

IMGP5074 posted by (C)mas

僕が当選したINCIPIO featherマットブラックは、名前の通りマットな感じ。その触り心地から、一見ゴム製のようだが、素材は割りとしっかりとした固いモノ。なので、グニャグニャしたりせずに、シャッキリしてる。

P1030085 posted by (C)mas

装着したまま数日使ってみて感じたことは以下の通り。

傷が付くのを気にしなくて良いのは素晴らしい
気軽に持ち出せる感がアップする
重たくなったり、大きくなった感じがしなくて良い
滑るテーブルに載せると、グリップが効かない
モニター部が重くなるので、ある程度傾けると勝手に閉じたり、後ろに倒れたりしやすくなる
MagSafeのコネクタが、ちょっと斜めになる（充電ができなくなったりはしない）

P1030091 posted by (C)mas

総じて言うと、自分の「電車で使う」という使い方に最適で、これで快適な通勤を楽しめる♪MacBook Airと共に長く使っていこう。

P1030090 posted by (C)mas

DreamPages（ドリームページ）モニター

2011-09-06T22:17:00.001+09:00

P1020846 posted by (C)mas

Fans:Fansのモニターキャンペーンで、DreamPages（ドリームページ）のモニターをした。DreamPagesは、Web上でフォトブックを作って、それを送ってもらうサービス。ちょうど、息子が産まれて4ヶ月ぐらい経ち、息子の誕生と弟が産まれて成長した娘を残しておきたくて、このキャンペーンに申し込んだ。

で、まずは作る過程の感想。今回作ったのは、一番小さい「ポータブル」というやつ。

Webサービスは全体的に良くできていて、奥さんとああでもないこうでもないと言いながら楽しんで作れた。ただ、アップした写真をドラッグ＆ドロップで配置していくんだけど、場合によってドラッグできる時とできない時があって、ちょっとストレスになった。ページを変えたりするとドラッグできるようになったりするので、まぁ実害はなかったけど。

P1020847 posted by (C)mas

今回は、お試しで作れるクーポンをもらってたんだけど、そのクーポンはフォトブックを作る最初に入力する仕組み。ところがそれを忘れてて、クーポンを入力しないままフォトブックが完成してしまった！まさかの作り直し？と思ったら、作成済のフォトブックを複製すればクーポンが入力できて助かった。

こんな感じで作って、こりゃー出来上がりが楽しみだなと思って待ってた。良い品質だったら、娘誕生の時のも作っちゃおうかな、とか思いながら。

P1020845 posted by (C)mas

で、数日してできあがってきたフォトブックが送られてきた。丁寧に梱包されていて、好印象。作ったフォトブックも、なかなか質感が良かった。ただ唯一の難点は、写真の画質がいまいちな所。せっかくフォトブックで、写真が主役なのだから、ここはがんばってほしかった！

全体的には良いサービスで、そんなに高くもないので、もっと写真画質が良くなれば、また注文しても良いかなと思った。まぁiPhotoのフォトブックサービスの方が楽なんだけど…。

MacBook Air(mid 2011) 11インチを購入！（1ヶ月半ぐらい前に）

2011-09-06T21:58:00.001+09:00

IMGP4731 posted by (C)mas

購入まで

通勤時間が長い…。朝だと2時間ぐらい。しかも1つの電車に乗ってる時間が1時間ぐらいあって座れる。この時間を本読んで勉強するのにあててもいいんだけど、これだけ時間があると他にもできそうな気がする。

あとはETロボコン等、MacBookを外に持ち出す機会が増えた。白MacBoookは、3年ぐらい愛用してる相棒だけど、さすがに持ち歩くには重い。

そんなこんなで、MacBook Airに目をつけ、家庭内稟議も通し、ようやく今回購入にこぎつけた。

どのモデル？

買うことは決まった。じゃあどのモデルにするかだ。一番大きな所では11インチか13インチか。ちなみに、今回購入したMacBook Airは、自分のメインマシンと考えてる。

これは、色々迷ったこともあったけど、最終的には最初から考えていた11インチに決定。よくMacBook Airで言われることとして、メインマシンにするなら13インチ、サブマシンにするなら11インチ。でも、あえて僕は11インチをメインマシンにした。その上で、スペックはCTOで最も上げられるものに。11インチにした一番の理由は軽さと小ささ。これを重視したからだ。他にも理由はあって、

解像度は、白MacBookとそんなに変わらない
キーボードの打ち心地もほとんど変わらなそう
電車で開くことを考えると、フットプリントは小さい方が良い（白MacBookはちょっと大きかった）
11インチと13インチの重量差、約300gは日々持ち歩くとなると、意外と響きそう
スペックは、11インチでも白MacBookより良くなるはず（ストレージ除く）
- CPU：Core 2 Duo 2.4GHz → Core i7 1.8GHz
- メモリ：4GB → 4GB
- ストレージ：HDD500GB → SSD256GB

こんな理由と想定で、11インチを購入。結果的に、ほとんど想定を外していない。白MacBookと比べて、あらゆるスピードが格段に速くて、かつ電車で開いても問題ないぐらいの大きさ。

ちなみに、白MacBookは奥さんに譲って、Snow Leopardのまま運用中。Core DuoのMacBook Proから白MacBookになって、奥さんもスピードが速くなったと言ってる。

購入記

今回も長年使っていきたいので、MacBook AirにCore iが載ったモデルが出そうだ、って噂が出てからずっと待ってた。あとは、前モデルのCore 2 Duoだと、白MacBookとあんまり変わらないからね。で、7月にようやく新モデルが出た。

奥さんの了承も取って、発売日に銀座のアップルストアへ。しかも会社の昼休み。2駅しか離れてないからね。がっ！11インチの最高スペックは、日本語キーボードしかないとのこと。白MacBookは英語キーボードで、とにかくその見た目が好きなこともあって、MacBook Airも当然英語キーボードを考えていたので、その場でぐるぐる迷うことに…。今すぐ欲しい、でも日本語キーボードしかない、日本語キーボードなら持って帰れる、何年も使おうとしているものを今更妥協？と迷った末、断腸の思いで買わずにアップルストアを後にした。で、昼休み中にオンラインで注文完了。

オンラインストアからのお届け IMGP4723 posted by (C)mas

MacBook Air所感

ファンが回ってる時、ディスプレイの角度によって音がだいぶ違う。前に倒すと気流が前に来る感じでうるさい。後ろに倒すとちょっとマシ。
USBポートへの指し心地が異常に固いのはこんなもの？
わかってたことだけど、escキーが小さくて、vi使う時にちょっと不便。これは慣れるかな？
スリープからの復帰で、カーソルが操作できるまで結構時間かかる…。
スリープからの復帰で、無線LANを見失うことがある。Lionの問題？

これを開ける瞬間が楽しい♪ IMGP4726 posted by (C)mas

美しい P1020688 posted by (C)mas

どうしても英語キーボードにしたかった P1020687 posted by (C)mas

インストールしたアプリケーション

ここから、MacBook Airのセットアップ。備忘録的に、インストールしたものを残しておく。

1Password
DaisyDisk
Mailplane
The Unarchiver
Dropbox
OnyX
Transmission
Emacs
OpenOffice.org → LibraOfficeに乗り替え
Twitter
Evernote
Parallels Desktop
FaceTab
VLC
Firefox
Wunderlist
Pixelmator
astah professional
eclipse
ecto
GitHub
Reeder
Canon Utilities
Canon DR-150M → Lion対応はまだ先
Skitch
SmartSVN
ClamXav
MacPorts
SugarSync Manager
CotEditor
MacWinZipper Lite
Cyberduck
TeXShop
VDMTools
Overture tool
AppZapper
Xcode
Java runtime
TunesTEXT
GoogleJapaneseInput

一緒に注文したディスプレイアダプは同梱されてた IMGP4730 posted by (C)mas

Macports

MacPorts自体は、公式サイトからバイナリーパッケージを持ってきてインストール。

coreutils
lv +lesslikeslash
nkf
wget
pTeX +utf8 +no_x11

Ruby関連

最近wxRuby使ったりして、Rubyも勉強中なので色々環境整備。

gem

(gem update --systemも)

httpclient
net-ssh
net-sftp
net-scp
ruby-serialport
wxRuby → インストールできず

rvm

wxRubyのインストールを色々試す過程でrvmもインストール。

% bash < <(curl -s https://rvm.beginrescueend.com/install/rvm)
% echo '[[ -s "$HOME/.rvm/scripts/rvm" ]] && . "$HOME/.rvm/scripts/rvm" # Load RVM function' >> ~/.zshrc
% rvm install ruby-1.9.2
% rvm 1.9.2 --default

小技

Macintosh HDのアイコン変更（Apple製のMacBook Airアイコンへ）
- sudo cp /System/Library/CoreServices/CoreTypes.bundle/Contents/Resources/com.apple.macbookair-11-unibody.icns /Volumes/Macintosh HD/.VolumeIcon.icns
~/Libraryを可視ディレクトリにする
- chflags nohidden Library

その他やったこと

MacBook AirとMacBookでiTunesライブラリーを共有することに
- MacBookの~/Music/iTunesを外付けHDDにコピー
- MacBook AirでOptionを押しながらiTunesを起動
- ライブラリー選択画面があるので、外付けHDDのiTunesディレクトリを指定
.zshrc, .vimrc, .emacs.dをDropbox管理に
- .zshrcとかをDropboxの任意のディレクトリ（例えばdotFiles）に保存
- ln -s ~/Dropbox/dotFiles/.zshrc ~/.
GoogleカレンダーとiCalの同期
- システム環境設定からGoogle Appsのアカウント入れて、カレンダーを設定しただけで、iCalに無事表示された
- iCalはGoogleカレンダービューワーになったな

MacBook Pro 15インチ, MacBook 13インチと共に P1020823 posted by (C)mas

薄さが際立つ P1020824 posted by (C)mas

FraiseでVDMのシンタックスカラーリングする

2011-08-12T18:26:00.001+09:00

Macのテキストエディターを、CotEditorから浮気して、Fraiseを使い始めてみた。Fraiseの前身？であるSmultronは前に使ってたんだけど、名前が変わったのかな？いまだにSmultronって書いてある所もあるけど。

当然VDM用のシンタックスカラーリング定義なんてないので、毎度のことながら自作する。VDM書いてて、Fraiseを使っている人がどのくらいいるかわからないけど、誰かの役に立つかもしれないので、ここに残しておく。

Fraiseにシンタックスカラーリングの定義を追加するには、アプリケーションパッケージ内に追加しなきゃいけない。ちょっとめんどくさいけど、詳しく手順を書いている方がいるので、そちらから引用。

/Applications/Fraise.appを右クリック→パッケージの中身を表示

Contentsフォルダ→Resourcesフォルダ→SyntaxDefinitions.plistを上書き

Syntax Definitionsフォルダ→processing.plistを追加する

from Fraise用Processingのシンタックス定義 | yabuchany.com blog

で、手順2のSyntaxDefinitions.plistへの追加は、以下の記述を追加してあげる。

<dict>
<key>name</key>
<string>VDM</string>
<key>file</key>
<string>vdm</string>
<key>extensions</key>
<string>vdm vpp vdmpp</string>
</dict>

この手順3のprocessing.plistではなく、vdm.plistを追加すればOK。
vdm.plistのダウンロードはこちらから。（Githubからのダウンロードです。）

wxRubyをWindowsで動かす

2011-08-02T12:45:00.002+09:00

最近、wxRubyで少しずつ遊んでて、主にMacで開発してた。でも、せっかくクロスプラットフォームなので、Windowsでも動かせるように環境を作った。

Rubyをインストール

参考URL：http://wp.graphact.com/2011/02/08/windows-ruby-gem
http://rubyforge.org/frs/?group_id=167 から、rubyinstaller-1.9.2-p290.exeをダウンロード
rubyinstaller-1.9.2-p290.exeをインストール → PATHの設定はしてもらう*.rbと*.rbwは関連付ける

wxRubyの1.9.2対応版をインストール

http://rubyforge.org/frs/?group_id=35 から、wxruby-ruby19-2.0.1-x86-mingw32.gemをダウンロード
任意の場所に置いて、コマンドプロンプトでgem install wxruby-ruby19-2.0.1-x86-mingw32.gem
コマンドプロンプトで
ruby C:\Ruby192\lib\ruby\gems\1.9.1\gems\wxruby-ruby19-2.0.1-x86-mingw32\samples\calendar\calendar.rb
が動作すればOK

[本] スティーブ・ジョブズ驚異のイノベーション

2011-07-17T00:05:00.003+09:00

P1020652 posted by (C)mas
Fans:Fansのモニターキャンペーンで、スティーブ・ジョブズ驚異のイノベーション―人生・仕事・世界を変える7つの法則が当選。早速読んでみたのでブログに記録してみる。
この本を読んだ今の技術者としての自分の状況はあんまり良くない。なんかモヤモヤしてる自分がいる。
何もかも中途半端で、自分のスキルレベルも分からず、かといって具体的なアクションも起こさない。毎日を何となく生きていて、技術に真摯に向き合ってない。アウトプットのレベルは落ち、過去の資産で何とか回してるに過ぎない。モデルもコードも中途半端にしか書かず、インプットをアウトプットに昇華できていない。
一言で言うと、人生の停滞期に引きこもってる状態。
この本は、そんな状況で何か自分を変えることができるヒントが見つかるといいな、と思って読んでみた。
まぁ実際はそんなに目からウロコな話がたくさんあるわけじゃないけど、2つほど響くものがあった。
1つ目は、法則1にあった大好きなことを探すということ。これは、上も下も見ればキリがなくて、人と比較するより自分のスキルと興味に向きあって伸ばせる所や伸ばしたい所をやっていきたいと思った。
2つ目は、以下の引用した部分。

「平凡な会社」にならない・・・・・どういう会社なら自分は仕事をしたいのか、どういう理想なら自分は実現したいのか、それを考えてみよう。未来を見ようとせず、他人と張りあうだけの人の部下として働きたいだろうか。今日はこちら、明日はあちらとふらふらする人のもとで働きたいだろうか。目的がはっきりしない理念に時間とエネルギーをつぎ込みたいだろうか。
そうしたいとは思わないだろう。あなたが巻き込みたいと思う人々も同じように思うはずだ。イノベーション文化の背景には、必ずビジョンが存在する。ビジョンとは世界のイメージ------とても刺激的で、優秀な人から優れたアイデアを引き出すことができるイメージである。ビジョンはトップから始まる。ビジョンはあなたから始まる。

これを読んだ時、最初は自分の会社が「平凡な会社」だなぁと思った。でも、自分の会社の現状に不満を持ってるだけじゃダメで、最後の「ビジョンはあなたから始まる」とあるように、主体性を持って何かしらしていかなければ、平凡な自分になってしまう気がする。
今回、普段読まないジャンルの本を読む機会に出会ったことで、反省したり、刺激を受けたりした部分があった。この気持ちを大事に、またがんばっていこう。

VDM+TeXで形式仕様書を作る - 作成編

2011-06-10T23:45:00.001+09:00

はじめに

前回書いた、TeX混じりでVDMを書く方法。今回は、それの続編で、形式仕様書として仕上げる部分。できることは以下の通り。

Makefile+VDM記述+TeXファイルを使って、形式仕様書PDFを作る
VDMToolsを用いた静的チェック＋動的チェックをし、カバレッジ情報も含めて出力する
これらをコマンド一発で実施する

と言っても、特別なことをするわけではない。各種ファイルを用意した上でmakeを走らせ、その中でコマンドライン版VDMToolsを使ったり、TeXのコンパイルをしているだけ。

前準備

TeXがコンパイルできる環境を作っておく

Macなら→mas-lab.blog：Snow Leopardの開発系インストールログ
Windowsなら→Texのインストール法

makeが使える環境を作っておく

Macは標準で付いているはず
WindowsはCygwinでインストールがお勧め

VDMToolsをインストールしておく

Makefile

以下のMakefileを参考に、一部を変更すれば基本的にはmakeができて、PDFができるはず。

###########################
# Auto VDM -> TeX report
###########################

## Definitions
#################

# TeX commands
PLATEX = platex
MENDEX = mendex
DVIPDFM = dvipdfmx
EBB = ebb

# VDMTools command line
# これは、各自の環境でパスを変えた方が良い
VPPDE = vppde

# Output document name
# メインのTeXファイル
OUTDOC = VDMTeXTemplate
# VPP files
# vppファイル達
VPPFILES = spec.vpp specT.vpp VPPUnit.vpp io.vpp
# Test script name
# これは、インタープリタで動かすコマンドを書いたファイル
# 例えば、「new testapp().Execute()」だけを書いたファイル
TESTSCRIPT = test.script
# Image directory
# TeXの説明で画像を使う場合はこのサブディレクトリへ
IMGDIR = image

## Make
#################

# make target
all: $(OUTDOC)

$(OUTDOC): makebb vdmtex
	$(PLATEX) $(OUTDOC)
	$(MENDEX) -f -g $(OUTDOC)
	$(PLATEX) $(OUTDOC)
	$(PLATEX) $(OUTDOC)
	$(DVIPDFM) $(OUTDOC)

# run VDMTools
vdmtex:
	# Read & Syntax check
	$(VPPDE) -p -R vdm.tc $(VPPFILES)
	# Type check
	$(VPPDE) -t $(VPPFILES)
	# Run Interpreter with TESTSCRIPT
	$(VPPDE) -i -D -I -P -Q -R vdm.tc $(TESTSCRIPT) $(VPPFILES)
	# Pretty print
	$(VPPDE)  -l -r -n $(VPPFILES)

# To use the PNG file on TeX, *.bb is needed. 
makebb:
	cd $(IMGDIR); $(EBB) *.png

# Clean files. But Output document is not deleted.
clean:
	rm -rf *.aux *.log *.bbl *.blg *.dvi *.toc *.ilg *.ind
	rm -rf *.out *.vpp.tex *.idx vdm.tc
	rm -rf image/*.bb

# Clean output document
realclean: clean
	rm -rf $(OUTDOC).pdf

このMakefileを使って、「% make all」すると、以下のようなPDFができる。

Uploaded with Skitch!

ectoが落ちた時に書きかけの記事を救済できるかもしれない方法

2011-05-15T15:10:00.001+09:00

ectoが落ちる。割と良く。しかも長文を書いてるような時に。全く笑えない。そんなに頻繁に保存しているわけでもないし。

これがどうにかならないかと、ちょっとLibraryの中を探してみた。一応手作業で救済できそうなので、その方法を残しておく。

救済の方法は、~/Library/Caches/ecto3 以下のディレクトリを辿っていった先に、それらしき日付のファイルがあるので、それをテキストエディタで開く。そうすると、XMLになっているのでそれから救済することが一応可能タグのコンバートは必要だけど、多分これで大丈夫。

具体的には、このXMLは記事を書いた時の履歴になっていて、開いたXMLの始めの<dict>から</dict>が最新。で、その中の最初の<string>から</string>が本文。</dict>の直前の<string>から</string>がタイトル。

あとは、<と>と&をテキストエディタで「<」と「>」と「&」にコンバートすれば大体OKだと思う。

このXMLを使って、手作業じゃない救済方法があったら、ぜひ教えてください。

VDM+TeXで形式仕様書を作る - 記述編

2011-05-15T13:11:00.000+09:00

はじめに

VDMで仕様記述・検証をするツールVDMToolsには、「清書機能」がある。これは、以下の2つのことができる。

記述した仕様の自動整形
仕様実行カバレッジの表示と実行/未実行の色分け

また、この清書機能を使うには、RTFを用いて仕様記述する場合と、TeXを用いて仕様記述する場合の2種類の方法がある。僕のお勧めは後者のTeX を使う方法で、理由は3つある。

TeX、VDM共にテキストファイルとして管理でき、バージョン管理ツールと相性が良い
TeXを使った方が美しい文書ができる
清書機能が持つ、「自動整形」の機能はTeXでないとできない（RTFでは単に色分けとカバレッジ表が出るだけ）

なので、この記事では、TeXを使う方法を解説する。記事はいくつかに分けようと思っていて、まずはVDM+TeXでどのように記述するかを解説する。

TeX混じりのVDMを書く方法

といっても、そんなに難しいことはない。今回は簡単なテンプレートを用意したので、最低限であればテンプレートを使えば実現できる。もちろんTeXに詳しい方は、テンプレートをベースに色々カスタマイズできるだろう。
VDM+TeXテンプレート（VDMTeXTemplate.tex）

準備

VDM+TeXで書き始めるには、1つ準備が必要。それは、VDM用のTeXスタイルファイルをtexmfなり、texmf-localに配置すること。VDM用のスタイルファイルは、数学記号変換版と数学記号非変換版の2種類あって、数学記号非変換版は公式には公開していない。
元々、VDMToolsの清書機能は、清書した時に数学記号に変換することを前提に作られていた。しかし、数学記号が読めない僕としては、数学記号で清書されるのは迷惑だったのだ。そこで、数学記号に変換しないスタイルファイルを新たに作成した。
数学記号非変換版を公開していないのは、現状まだブラッシュアップが必要な部分があるからだ。だからと言って使えないものではなく、僕はこちらのスタイルファイルを常用している。
今回は、このスタイルファイルをこの記事に置いておく。公式にパッケージに入る or 問題が出た場合は、撤去することをご容赦ください。
VDM数学記号非変換版（vpp-nms.sty）
VDM数学記号非変換版（vdmsl-2e-nms.sty）

VDM+TeXで書く

TeX混じりのVDM仕様は大きく2つのセクションに分けて記述する。
これらのセクションは、同じファイルに記述することも可能であるが、今回はお勧めであるTeXとVDMを別ファイルとする方法をご紹介する。

TeX文書セクション（A.tex）

これは、通常のTeX文書であり、VDMToolsはここに書かれた記述については一切関知しない。例えばこのセクションにVDMを記述しても、何ら影響を与えない。
【書き方】
※コピペで円マークがおかしくなる可能性があるので、上のテンプレートファイルを使うことをお勧めします

\documentclass[a4paper,10t]{jsarticle}

\usepackage[dvipdfm]{graphicx, color}

\usepackage{color}
\usepackage{array}
\usepackage{longtable}
\usepackage{alltt}
\usepackage{graphics}
\usepackage{vpp-nms}
\usepackage{makeidx}

\usepackage{colortbl}

\usepackage[dvipdfm,bookmarks=true,bookmarksnumbered=true,colorlinks,plainpages=true]{hyperref}

\definecolor{covered}{rgb}{0,0,0}      %black
\definecolor{not-covered}{rgb}{1,0,0}  %red

\renewcommand{\sf}{\sffamily \color{blue}}

\begin{document}

\input{A.vpp.tex}

\end{document}

VDM仕様セクション（A.vpp）

TeX文書セクションと反対に、ここがVDMToolsが仕様として対象にする部分。構文・型チェックや仕様実行の対象になるのはこちらのセクションだ。
以下のように、\begin{vdm_al}から\end{vdm_al}までが、VDMToolsが認識する仕様部分となる。また、最下部の\begin{rtinfo}〜\end{rtinfo}の部分は、カバレッジを以下の図のように表として出力するための記述であり、クラス名以外は定型的な書き方である。

Uploaded with Skitch!

【書き方】

\begin{vdm_al}
class A
instance variables
    a : nat := 0;

operations
    public setA : nat ==&gt; ()
    setA(aNat) == a := aNat
    pre
        aNat &lt; 10;
end A
\end{vdm_al}

\begin{rtinfo}
    [A]{vdm.tc}[A]
\end{rtinfo}

以上がVDM+TeXで形式仕様書を作るための書き方である。次回は、この記述したVDM仕様とTeXファイルをどのように使うかを解説する予定。

ET ロボコン 2010 モデル座談会（前編）～ゴールドモデラーが明かす、モデリングの秘訣～を読んで

2011-05-05T06:33:00.001+09:00

「 ET ロボコン 2010 モデル座談会（前編）～ゴールドモデラーが明かす、モデリングの秘訣～」と題して、田町レーシングの方々が、ETロボコンのモデリングに関する座談会を公表してくれている。

去年ETロボコンに初出場して、まぁ残念な結果だったが、今年も出場できることになったので、この記事を参考に読んでみた。コンテストという性質上、こういうノウハウが公開されるのはまれで、であるからこそありがたい。今年こそ！という気持ちも込めて、読んでみて思ったことや疑問に思ったこと、重要だと思ったことを、Twitterじゃ書き切れないのでブログにつらつらと書いてみる。

UMLだからこそ取れるモデル間のトレーサビリティって何だろう？
読みやすい＝ストーリー性があるってことかな
対象ドメインが徹底的に分析されていて、それを審査員の立場でどう表現するかが、戦略的に練られてる
UMLの基本に忠実に、かつ適切な図の選択をすることが重要
要求図は、要求と機能と制約の関係が1つの図で示せる反面、ゴチャゴチャしがちな印象だけど、ここに対する審査員の評価ってどうなんだろう？
→コメントなかったんだ…
これだけのモデルが、どの段階でできあがったか？に興味がある。開発段階で基礎的な部分はできあがってて、それをモデリングシート用に見た目を変えたのか、開発がほぼ終わってから説明のためにできあがったのか。
UML以外の手法を使う場合は、その手法を使ううれしさが求められる
去年も要求図を良く見たけど、今年は定着フェーズになりそう。だって、この記事見てると、要求図でモデル書きたくなるw

とこんな感じ。今回は要求分析が中心で、今月公開予定？の記事は構造と振る舞いらしいので、こちらも楽しみ。田町レーシングの皆様ありがとうございます！

息子誕生・地震・里帰り・そして自宅へ

2011-04-23T22:55:00.001+09:00

長らく放置をしていたブログをそろそろ再開しようと思う。放置していた2ヶ月以上、色々なことがあったので、まずはその記録から。

息子誕生

IMGP4460 posted by (C)mas

2011年3月7日に第二子となる息子が産まれた。娘と同じく無痛分娩で産んで、同じ日に産む予定の10人中最速で産まれるという順調なお産。やっぱ賛否両論あるけど、父親の立場から見ても無痛分娩は素晴らしい。奥さんへの負担が小さいのが何より。

お産は何があるか分からないと頭では分かっているけど、性格的に楽観主義なので、まぁ大丈夫だろうと思ってた。むしろ心配なのは娘の方。娘はママ大好きなので、奥さんが入院している間、僕と2人で生活ができるだろうかと。しかも奥さんの実家で。

と色々心配はしていたんだけど、結果大丈夫だった。「ママに会いたい」が口癖ではあったものの、娘なりにガンバって割と普通に暮らせた。下の子ができることで、上の子の成長が1つジャンプアップした感じ。

IMGP4477 posted by (C)mas

息子に関しては、娘が産まれた時にも思ったけど、やっぱりイヤなことや不幸なことは知らないで幸せに育っていってほしい。2人目が産まれるまでは、1人目と2人目への愛情の配分ってどうなるんだろう？って考えたことがあった。50%/50%になるのかなぁとか思ってたけど、産まれてみて違うことが分かった。半分ずつになるんじゃなくて、瞬間瞬間に100%の愛情を注ぐものだった。やっぱり子どもはかわいい。

無事息子も産まれ、産後の経過も順調。予定通り、息子と奥さんは2011年3月11日に退院した。そう東日本大震災の日。

地震

息子と奥さんが退院してきて、まずは奥さんの実家で里帰り。午前中に退院してきて、これから大変だけど楽しみだな、なんて思ってた矢先に地震が起こった。

その時は、ちょうど娘も息子も昼寝をしていて、スゴい穏やかな時間だったんだよね。でも、体験したことのない揺れで、とりあえず子ども2人を抱えて外に出た。すぐに外に出るのは危ないとか、色々な意見もあるけど、そこまで頭が回る状況じゃーなかった。で、大きな揺れがあったものの、これがそんなに大変な事態になるとは思ってもみなかった。子ども達は昼寝し続けてたしね。ところがご承知の通りの大災害。産まれたばっかの子どもがいる中で、特に奥さんは本当に不安な日々だったと思う。

特に東京都の水から放射線物質が出たニュースは、この状況下でかなりの衝撃。息子がたまに飲むミルク、まだ2歳の娘が飲む水、授乳している奥さんが飲む水、全てが安全でないと困る。あんまり買いだめはしないようにしていたけど、子どもが関わるとそうも言ってられない。近所にはもう水とか売ってない状況だったので、急遽熊本の親戚に水を送ってもらうよう依頼した。ちなみに熊本でも、水の在庫がかなり減っていて、1人2本までとか制限があったらしい。

ちなみに、我が家の被害は大したことなかった。写真に収めたので、一部を公開。

P1010635 posted by (C)mas

娘のおもちゃがグチャグチャに…。IKEAの棚が倒れなかったのが、不幸中の幸い。

P1010631 posted by (C)mas

個人的にショックだったのが、Olasonicのスピーカーが机から落ちて傷ついたこと。

里帰り

息子が産まれる前は、僕は仕事もあるから平日は基本的に自宅にいて、週末に奥さんの実家へ行く程度って考えてた。あっ、奥さんの実家は、自宅から車で30分ぐらいの所なので、すぐに行けるのです。

でも、地震のように、いつ何があるか分からないと思い、極力家族の所にいようと、僕もほとんど奥さんの実家に泊まってた。里帰り中も余震があったり、水から放射線物質が出たりと不安な日々だった。

そして自宅へ

息子の1ヶ月健診も済み、地震もだいぶ落ち着いてきたので、まぁそろそろ家に帰ろうかと思った矢先にやりました。ここ数年クセになってるギックリ腰。今回は、立ったまま靴下を履こうとしてやっちまいました。これのせいで、自宅に帰ろうと思った日の前日まで、帰るかどうか悩むことに…。最終的にはギックリ腰が少し残ったまま、奥さんに力仕事を任せて帰りました。奥さんには申し訳なかったな。

多少無理やり気味に家へ戻ったけど、やっぱり家が良い。子どもが2人になってバタバタした生活で、奥さんは1人で2人を相手にする時間が長くて大変だけど、ふとした瞬間に落ち着けるのはやっぱり自分の家だと実感。

まぁそんなこんなで、色々ありました。これからは家族4人楽しく暮らしていこうと思います。

ミラーレス一眼 DMC-GF2 ダブルレンズキット購入

2011-02-12T23:00:00.002+09:00

昨日書いた通り、パナソニックのDMC-GF2を買った。購入したのは、エスプリブラックのダブルレンズキット。カメラは黒いもんだ、って考える古いタイプの人間なんで。
開封から初撮りまでをレポート。今回は写真多めなので長いです。
まずは開封した写真。新しいカメラ買っといてなんだけど、K100D SuperとFA50mmF1.4の組み合わせは最高。

K100D Super / FA50mmF1.4 IMGP4389 posted by (C)mas
ダブルレンズキットなので、単焦点レンズと標準ズームレンズが付いている。

K100D Super / FA50mmF1.4 IMGP4391 posted by (C)mas
レンズを付ける前の姿。

K100D Super / FA50mmF1.4 IMGP4393 posted by (C)mas
単焦点レンズ、LUMIX G 14mm/F2.5 ASPH.を付けるとこんな感じ。

K100D Super / FA50mmF1.4 IMGP4395 posted by (C)mas
で、早速色々撮りに行ってみた。ちなみに、今日は全てLUMIX G 14mm/F2.5 ASPH.で撮ってる。撮ってみて、このカメラに対する感想を一言で言うと、こんな感じ。

GF2、スナップに最適。気軽に一眼クオリティって感じ。室内だと、フラッシュをバウンスさせると、いい感じに撮れる。less than a minute ago via Twitter for iPhonemas0061
mas0061

絞りを開放すれば、結構ボケる。

P1010003 posted by (C)mas
このカメラでおもしろいのは、内蔵のフラッシュでバウンス撮影できること。バウンスさせないとこんな感じの写真が。

P1010023 posted by (C)mas
バウンスさせて撮ると、こうなる。かなり目で見た感じに迫ってるし、色が優しい感じになる。

P1010024 posted by (C)mas
後は、色んな写真を載せてみる。

P1010036 posted by (C)mas

P1010051 posted by (C)mas

P1010052 posted by (C)mas

P1010055 posted by (C)mas

P1010057 posted by (C)mas

P1010058 posted by (C)mas
明日は、予定通りなら新江ノ島水族館に行くので、バシバシ撮ってこよう！

DMC-GF2とNEX-5Dで悩んでDMC-GF2を注文した

2011-02-11T21:49:00.001+09:00

注文しただけなので、まだ手元には来てないけど。

3年ぐらい前にデジタル一眼レフデビューして、PENTAXのK100D Superを使ってる。こいつは600万画素という、今となっては携帯にも劣る画素数しか持ってなくて、AFがあんまり早くない。でも、FA50mmF1.4という僕にとっては最強のレンズがあって、このレンズで写真を撮るのは大好き。

だが、常に50mmを使ってると寄れないし、娘の動きについていけないAFへの不満もあった。それに加えて、K100D Superの重さが億劫になってる自分がいる。そこで、最近話題のミラーレス一眼に目をつけた。軽くて小さいミラーレス一眼で、気軽に写真を撮りたいと思ったから。しかも、当初の計画では、K100D Superは売却して、ミラーレス一眼のみでいこうと思ってた。

購入の候補になったのは、最終的に2機種。パナソニックのDMC-GF2とソニーのNEX-5D。どちらも軽くて小さい、しかも単焦点レンズがキットに付いてる。

ここからが大変。どっちにするのか？悶々と悩んでる所に、@donkeyshinがNEX-5Dを購入。元々DMC-GF2に傾いていたのに、さらに悩みが深くなってしまった。

で、紆余曲折あったんだけど、最終的には今日DMC-GF2を注文した。ポイントとなったのは以下の通り。

デザイン的には、GF2の方が自分の好み
NEX-5Dの映像素子はAPS-Cで、GF2よりも確実に画質がいいのだが、単焦点レンズの評判がいまいち
GF2のマイクロフォーサーズは、パナソニックとオリンパスの2メーカーが採用
NEX-5DのEマウントは、ソニーのみ採用
GF2はフラッシュが内蔵、しかも手動バウンスできる。NEX-5Dは付属してるけど別付け
途中で考えを変えて、K100D Superをメインで残すことにしたので、セカンドカメラを買うことになった

ってわけで、GF2で使ってまたガンガン写真を撮ろう。来月には、被写体がもう1人増えるしね。

今回購入したのは、ダブルレンズキット。ついでに、液晶保護フィルムとレンズ保護フィルターも購入。レンズ保護フィルターは、これまで使ったことないので、主に使うであろう単焦点レンズ用だけ購入した。

Template Methodパターン - VDMで学ぶデザインパターン

2011-01-28T06:50:00.002+09:00

ようやく3つ目となった、VDMで学ぶデザインパターン。今回はTemplate Methodパターン。似たような処理順番の仕様で、さらにバリエーションがあるような仕様が結構多いので、これは割と使う機会が多い。
ちなみに、今回の題材はホップステップジャンプを日本語と英語で出すこと。
まずは、Template Methodパターンで言う所のAbstractクラス。これが、アルゴリズムの流れを示す。

class AbstractHSJ
operations
  public hopStepJump : () ==> ()
  hopStepJump() == (
    hop();
    step();
    jump();
  );

  protected hop : () ==> ()
  hop() == is subclass responsibility;

  protected step : () ==> ()
  step() == is subclass responsibility;

  protected jump : () ==> ()
  jump() == is subclass responsibility;

  protected print : seq of char ==> ()
  print(s) == def - = new IO().echo(s ^ "¥n") in skip;
end AbstractHSJ

そして、Template Methodパターンで言う所のConcreteクラス。まずは日本語で出す方。

class JaHSJ is subclass of AbstractHSJ
operations
  protected hop : () ==> ()
  hop() == print("ホップ！");

  protected step : () ==> ()
  step() == print("ステップ！");

  protected jump : () ==> ()
  jump() == print("ジャンプ！");
end JaHSJ

次が英語で出す方のConcreteクラス。

class EnHSJ is subclass of AbstractHSJ
operations
  protected hop : () ==> ()
  hop() == print("Hop!");

  protected step : () ==> ()
  step() == print("Step!");

  protected jump : () ==> ()
  jump() == print("Jump!");
end EnHSJ

で、最後にこれらを使うクラス。AbstractHSJクラス型だけど、JaHSJクラスとEnHSJクラスのインスタンスとして生成して使う。

class UseHopStepJump
operations
  public use : () ==> ()
  use() == (
    dcl ja : AbstractHSJ := new JaHSJ(),
          en : AbstractHSJ := new EnHSJ();
    ja.hopStepJump();
    en.hopStepJump();
);
end UseHopStepJump

上記のクラスをVDMToolsで動作させるには、VDMToolsのインタープリタで以下のコマンドを入力してください。ちなみに、今回はVDMTools付属の標準ライブラリIOクラスを使っているので、VDMToolsのプロジェクトに、io.vppも追加しないと動作しません。

>> init
>> print new UseHopStepJump().use()

WM3500Rの設定例（僕の安定稼働版）

2011-01-25T22:49:00.000+09:00

先月購入したWM3500R。巷では、安定しないとか、接続切れるとか言われているけど、今のところ割と安定して使えてる。なので、備忘録も兼ねて今の設定をメモ。

ちなみに、主な用途は通勤時や休日外出時にiPod touchでの接続。MacBookでの接続は、まだ家の中だけ。他の機器に関しては、一切試してない。

良く出没するエリアは、相模原を中心とした神奈川と東京都心。なので、比較的電波の入りがいいんじゃないかな。

で、ここから設定。

無線LAN設定

無線LANアクセスポイント(親機)設定: ネットワーク名（SSID）：任意のやつ; デュアルチャネル機能：チェックオフ（使用しない）; 使用チャネル：1

暗号化: 暗号化モード：WPA2-PSK(AES); WPA暗号化キー(PSK)：任意のやつ; 暗号化キー更新間隔(分)：30

無線LAN端末(子機)の接続制限: ESS-IDステルス機能(SSIDの隠蔽)：チェックオフ（使用しない）; MACアドレスフィルタリング機能：チェックオフ（使用しない）

拡張設定: 送信出力：50%; 無線優先制御機能：チェックオフ（使用しない）; マルチキャスト伝送速度(Mbps)：1; DTIM(回)：1; 無線LAN端末(子機)との通信方法：速度優先

MACアドレスフィルタリング

使用しないので、設定なし

ECO設定

ECO設定: ロングライフ充電：チェックオフ（使用しない）; LED自動消灯：チェックオフ（使用しない）

自動省電力設定: 無通信時間：60分

詳細設定

ここは全てデフォルトのまま

以上が、僕の設定例。特殊な設定をせずに、割と素直な設定だから上手くいってるのかな？

ハンドオーバーがうまくいかないのか、たまにネットに出られない時があるけど、そんな時はちょっと待ってから別のアプリで接続するといいみたい。接続できなくなったアプリで何回も接続しようとしても、ダメな時がある。

まぁこのあたりもありつつ、WM3500Rと付き合っていこう。そういえば、次のファームウェアアップデートはいつかな？

色々買った（Apple TV, eggshell, RADIUS Dock Stand）

2011-01-10T22:57:00.001+09:00

年末年始にお調子にのって、色々買った。まとめて書いとく。

Apple TV

IMGP3699 posted by (C)mas

8,800円という安さにつられて、つい購入。ちょっと衝動買いっぽかったんだけど、これは非常に便利。

うちの2歳の娘は、最近自分を撮った写真だの動画を見たがる。今までは、奥さんのMacBook Proで写真を見せるか、動画はカメラをテレビに直接つなげて見せてた。これが、非常に面倒。特に動画が…。

Apple TV導入後は、写真はApple TVから見せることができるようになった。動画に関しては、今までと変わってない。理由は2つあって。

めんどくさくて動画をカメラからMacに取り込んでない
Apple TVはiMovieからのAirPlayができない

2番目ができるようになれば、Macに動画を取り込むようになるのになぁ…。

IMGP3703 posted by (C)mas

あと便利だったのは、光デジタルケーブルでアンプと接続していれば、テレビを起動していなくてもAirPlayで音が出せること。最近めっきりリビングでMacを使うので、CDプレーヤーで聴くのが面倒で、家で音楽を聴くことが少なくなってた。

でも、Apple TVとアンプを接続したことで、iTunesで再生した曲をMac -> Apple TV -> アンプ -> スピーカーと出せるようになったので、リビングでも全ての曲を聴けるようになった。

eggshell for iPod touch 2G

IMGP3959 posted by (C)mas

愛用のiPod touch 3Gに装着している、Airジャケットセット for iPod touch 2ndが傷だらけになったので新調した。

薄い薄いと思ってたAirジャケットを上回る薄さ。薄すぎて、割れないか心配なぐらいで、薄さがポイントのiPod touchを引き立ててくれる。

ただ、これ装着する時に、スリープボタンの部分が切り取られてなくて、自分で切り取ったんだけど、バリが残ってしまった。これはそのまま付けるべきだったんだろうか？説明書もないので、よくわからんままやってしまったので、ちょっとマイナスイメージ。

まぁこの薄さはかなりのアドバンテージなので、また傷だらけになるまで使おう。

DOCK STAND for iPhone / iPod

IMGP4071 posted by (C)mas

iPod touchとWM3500Rを毎日充電するようになって、ケーブルでそれぞれを接続するのが美しくないなぁと思ってた。そこで、このドックを衝動買い。

ドックコネクタ部分が動くので、大体どんなケースを付けてても、iPod touchでもiPhoneでも使える。しかも、必要最小限なデザインで、素晴らしい。

純正ドックもいいんだけど、ライン出力やApple Remoteの受信とかはいらないので、自分の使い方にはオーバースペックだった。

[ReviewPlus] MacPeople 2月号

2011-01-07T22:53:00.002+09:00

IMGP4068 posted by (C)mas
レビュープラスに登録してみました。そしたら、早速MacPeople 2月号を献本いただいたので、レビュー。
ここ最近は雑誌を買うこともなくて、久々だったので、雑誌を読むってことがなんか新鮮だった。久々に読んでみて、やっぱり紙ベースで読むのって、頭に入るし読みやすい。
で、内容としてはAndroidあり、最新ニュースあり、コラムあり、マンガありと盛りだくさん。雑誌って、こんなに情報詰まってたんだって感じ。
中でも、「最新ワード10」という特集で、Blu-ray（Blu-rayって、Blue-rayじゃないんだ…）やexFAT、HDMI、LTEとかの解説と、今後Macにどう関わるかの予測が、夢が広がる感じでおもしろかった。
あと、別冊付録として、MacとWindowsのUIの違いを解説した小冊子が付いていたので、これはMacを買おうか迷ってる @yosafune に読ませることにした。
今回通勤中に読んでたんだけど、最新の情報ではなく、体系的に情報をまとめてくれる雑誌の存在を再確認した。これからは、特集によって買ってみようかな。

F-03Aに機種変更

2010-12-23T08:20:00.001+09:00

IMGP3676 posted by (C)mas

1年半程使い続けたL705iXから機種変更した。といっても、最新の機種ではなくて、2年ぐらい前の機種であるF-03A。新しいモノは好きで、昔は新機種が出たら発売日に買っていたような人だったんだけど、携帯の売り方が変わって5万も6万もするようになって、最新機種を追うのはやめた。

そもそも通話とメール、たまにカメラぐらいの機能しか使ってないので、最新機種なんていらんのだ。F-03Aの前に使っていたL705iXは、見た目が気に入っていたので、機種変更するつもりはなかったんだけど、ここ最近効きづらいキーがいくつか出てきて、使うのが辛くなってきてた。

IMGP3673 posted by (C)mas

そんな所に、ドコモオンラインショップで「オンラインショップ2周年記念割」をやっていて、L-01Aが4,935円、F-03Aが9,975円、SH-03Aが15,750円になってた。なので、これを機にその中からF-03Aに機種変更することにした。それにしても、2年前の機種とはいえ、こんなに安くなってるのに、なかなか在庫がなくならないことにビックリ。みんな最新機種使ってるのかな？（現在はどの機種も在庫なし）

初めてドコモオンラインショップを使ってみたけど、電話帳やブックマークを自分で移さなきゃいけない以外は、店舗に行く面倒がなくて良かった。しかも、電話帳やブックマークも、赤外線で送るだけなので、大した手間じゃないし。

IMGP3674 posted by (C)mas

で、2年前の機種とはいえ、L705iXから機種変更した身としてはビックリするほど変化があった。

画面が大きい、キレイ
歩数計まで付いてる
デコメ絵文字の一覧が出るスピードが異常に速い
絵文字のデフォルトがデコメ絵文字になってる
普通に写真がキレイに撮れる（携帯で見るレベルにおいて）
iアプリのドコモ料金案内の見た目がだいぶ変わってる

などなど、最近の機種を使ってる人なら当たり前のことを、今さらビックリしてる自分…。

IMGP3675 posted by (C)mas

F-03Aはちょっと大きいのが玉にキズだけど、これも長く使っていこう。

VDM++とJavaのコンストラクタ

2010-12-18T07:34:00.001+09:00

VDM++はオブジェクト指向で、Javaを参考にした面もあって、似ている部分がたくさんある。今回は、VDM++とJavaで色々並べて書いてみようと思う。ちょっと長いです。

デフォルトコンストラクタと引数ありコンストラクタ

VDM++

class Super
  operations
    public Super : () ==> Super
    Super() == def - = new IO().echo("Super class constructor called.¥n") in skip;
end Super

class Child is subclass of Super
  operations
    public Child : () ==> Child
    Child() == def - = new IO().echo("Child class constructor called.¥n") in skip;
    
    public Child : seq of char ==> Child
    Child(s) == def - = new IO().echo(s ^ "¥n") in skip;
end Child

Java

これをJavaで書くとこうなる。VDM++との違いは、記法の違いぐらいしかない。
※ 実行できるように、mainメソッドを追加してます

public class Super {
  public Super() {
    System.out.println("Super class constructor called.");
  }
}

public class Child extends Super {
  public Child() {
    System.out.println("Child class constructor called.");
  }

  public Child(String s) {
    System.out.println(s);
  }
  
  public static void main(String[] args) {
    new Child();
    new Child("aaa");
  }
}

実行してみても、まったく同じ。

VDM++

インタープリタでコマンドを入力
>> init
>> print new Child()

Super class constructor called.
Child class constructor called.

>> print new Child("aaa")

Super class constructor called.
aaa

Java

Super class constructor called.
Child class constructor called.

Super class constructor called.
aaa

デフォルトコンストラクタなしで引数ありコンストラクタあり

違いが出るのは、こんなコードを書いた時。

VDM++

class Super
  operations
    public Super : () ==> Super
    Super() == def - = new IO().echo("Super class constructor called.¥n") in skip;
end Super

class Child is subclass of Super
  operations
    public Child : seq of char ==> Child
    Child(s) == def - = new IO().echo(s ^ "¥n") in skip;
end Child

Java

public class Super {
  public Super() {
    System.out.println("Super class constructor called.");
  }
}

public class Child extends Super {
  public Child(String s) {
    System.out.println(s);
  }
  
  public static void main(String[] args) {
    new Child();
  }
}

VDM++

これをVDM++は実行するとこうなる。

>> init
>> print new Child()

Super class constructor called.

VDM++では、Childクラスにデフォルトコンストラクタがなくても、実行してくれる。Javaだと、Childクラスに引数ありコンストラクタがあるのにデフォルトコンストラクタがないから、コンパイルが通らない。

番外編

ちなみに、VDM++のコンストラクタで気をつけなければならないケースがある。それはこんなケース。

class Super
  operations
    public Super : seq of char ==> Super
    Super(s) == def - = new IO().echo(s ^ "¥n") in skip;
end Super

class Child is subclass of Super
  instance variables
    i : int := 1;

  operations
    public Child : () ==> Child
    Child() == def - = new IO().echo("Child class constructor called.¥n") in skip;
    
    public getI : () ==> int
    getI() == return i;
end Child

これを、こんな実行するとこうなる。

>> init
>> create child := new Child("aaa")
>> print child.getI()

Run-Time Error 73: 識別子が定義されていないか、初期化されていません

インスタンス変数の初期化がされずに、そのままアクセスするとエラーとなるのだ。

これが起こる条件は以下の通り。

親クラスに引数ありのコンストラクタがある
子クラスには、親クラスにある引数ありコンストラクタがない
親クラスにインスタンス変数がある
子クラスのインスタンスを、親クラスにある引数ありコンストラクタで生成する

この問題は、VDM++におけるオブジェクト指向の取り扱い仕様のせい。現在は、こういった問題も含めて、VDMの言語仕様を決めるLanguage Boardがあって、そこで検討しているので、その結果をVDMToolsにもフィードバックしていけるといいね。。

モバイルWiMAXルーター Aterm WM3500R購入

2010-12-05T23:09:00.001+09:00

先日Try WiMAXをして、WiMAXのモバイルWiFiルーターを借りてみた。その結果、メインで使う通勤時に問題ないこと、iPod touchが常時接続できることの魅力に耐えかねて、遂にAterm WM3500Rを購入。

これはTry WiMAXの箱 IMGP3450 posted by (C)mas

そもそも、iPod touchを購入して1年余り。毎日のように便利に使っていたんだけど、やっぱりオフライン時のもどかしさがあった。だが、我が家は10年以上のdocomoユーザーであり、奥さんはdocomoから絶対にキャリアを変えたくない人…。なので、iPhoneを持てず、2台持ちするほど贅沢な暮らしもできないってことで、どうしたもんか色々考えてた。候補としては、

iPhone（最有力だが最も実現性が低い）
iPad 3G（月々割を考えると月額安いが、初期投資が大きい）
Android（これは血迷って出た候補）
Pocket WiFi（これのソフトバンク版が最有力だった）
WiMAX（紆余曲折あってこれに）

これらの中で、初期投資とランニングコストのバランスを取ったのが、今回のお買い物。ちなみに、年間契約にすることで、こいつ自体は2,800円で買えた。

IMGP3484 posted by (C)mas

で、数あるWiMAXルーターの中で選んだのが、出たばかりのAterm WM3500R。Try WiMAXで借りたUroad-7000も良かったんだけど、このWM3500Rはバッテリーの持ち時間が8時間と長いのが決め手。

IMGP3485 posted by (C)mas

見た目もまぁまぁだし、コンパクトだしね。

当初ネットの情報を見てると、初期サインインでトラブルがあったり、動作に不安定な所があったり、とあったんだけど、まぁそのうちファームウェアアップデートで直るかなと。

しかも、買ってきたやつは最初のファームウェアじゃなくて、最近アップデートされた1.0.2が入ってた。そのおかげか、サインインもトラブルなく順調にできた。

IMGP3486 posted by (C)mas

裏面は若干残念なデザイン…。

IMGP3487 posted by (C)mas

この右側にあるクレードル用の端子はカバーが欲しかった。

今回は、WiMAXの年間契約にしたので、まずは1年間使ってみる。もしかしたらdocomoからiPhoneが出る日が来るかもしれないし、もっと魅力的なスマートフォンが出るかもしれないし、違うデバイスを使いたくなるかもしれないけど、当面iPod touch + WiMAXの組み合わせで楽しんでみよう。

SubversionリポジトリをProjectLockerからassemblaへ移行した

2010-12-01T07:32:00.001+09:00

個人的に持ってるSubversionのリポジトリを、ProjectLockerからassemblaへ移行した。

昔assemblaにリポジトリ持っていたんだけど、プランが変更されてニーズに合わなくなったので、一旦ProjectLockerに移行してた。最近assemblaを見たら、SubversionかGitのリポジトリを無料で2GB持てるようになってたので、移行することにした。

ちなみに、当初はGitにしようと思ってたんだけど、assemblaのGitはWebDAVが使えなかったので、Subversionにした。WebDAVじゃないと、会社からつながらないからね。

動機

ProjectLockerのディスク容量は500MB、assemblaは2GB。容量がassemblaの方が大きいのが第一。あとは昔使ってた安心感。Tracは個人では使わないから、リポジトリの場所だけ提供してくれるassemblaが最適。

移行

ProjectLockerのリポジトリをsvnsyncでバックアップ

ProjectLockerは、リポジトリのバックアップ方法が3つあって、そのうち2つは有料オプション。1つだけ無料でできるのは、svnsyncを使うこと。これはサポート対象外。

そこで、初めてsvnsyncを使ってみることにした。環境はMac OS X 10.6.5

まずは、syncするバックアップ先リポジトリを作る。

% svnadmin create syncRepo

次に、作ったバックアップ先リポジトリのhookスクリプトを用意。

% vi sync/hooks/pre-revprop-change

内容は、

#!/bin/sh
exit 0

で、バックアップ先リポジトリをsvnsyncで初期化

% svnsync file:///file/to/syncRepo バックアップ元リポジトリ

※これは、ローカルにバックアップする場合。
※file:///の部分は、スラッシュが3つ必要

バックアップ元リポジトリの認証があるので、それも済ませると以下のメッセージが出る。

「リビジョン 0 の属性をコピーしました。」

ここまでで準備OK。リポジトリのsyncをする。

% svnsync sync file:///file/to/syncRepo

しばらくすると、syncが完了する。これで、ローカルにリポジトリと全く同じ変更履歴を持ったリポジトリができる。

svnsyncでバックアップしたリポジトリをdump

リポジトリのバックアップができたので、次はそのリポジトリをdump。assemblaは、gzかzip圧縮したdumpしか受け付けないので、以下のコマンドを発行。

% svnadmin dump syncRepo | gzip > syncRepo.gz

assemblaでインポート

assemblaのSubversionリポジトリのWebページを開いて、dumpしたファイルをインポート。無事インポートできれば、これまでの履歴を持ったリポジトリの移行完了。

初めてsvnsyncってものを知って使ってみたけど、これ便利。Subversionのリポジトリをホスティングしてたりすると、サーバに直接入って何かするのは難しい。でも、svnsyncを使えば、サーバ側で何ら操作することなくバックアップができるのは助かる。

Schick HYDRO 5 モニターレビュー使い心地

2010-11-27T21:56:00.002+09:00

前回に引き続き、Schick HYDRO 5のレビュー。ファーストインプレッションを書いてから2週間あまり、毎日使った結果を書いてみる。

よかったとこ

モイスチャージェルボックスのおかげ？で剃り心地は非常に滑らか
5枚刃でヘッドが大きいので、広範囲を一気に剃れる
確かに軽い力でも深剃りできるので、カミソリ負けしづらい

いまいちなとこ

ヘッドが大きいぶん、ヒゲを残すとこと残さないとこの際剃りが難しい
握り方の問題か、剃ってる途中にヘッドが回ってしまうことがある
クアトロ4の刃にある、細かい部分剃り用の1枚刃が欲しかった

こんなとこかな。
まだ2週間しか使ってないので、これから刃の劣化が進んだ時にどうなるかが、もう1つのポイントになるかな。これからは。クアトロ4と併用してやっていこう。

Schick HYDRO 5 モニターレビュー

2010-11-14T22:28:00.001+09:00

Fans:Fansのモニターに当選して、Schick HYDRO 5をいただいたので、早速レビュー。

IMGP3432 posted by (C)mas

8年ぐらい前から、少ないながらヒゲを生やしているので、ヒゲ剃りは毎日のこと。この新製品、HYDRO 5が発売される前からヒゲ剃りはSchickのものを使っていた。これまでは、以下の製品を使ってた。

普段使い → クアトロ 4
ヒゲのトリミング → クアトロ 4 チタニウムレボリューション

今回のハイドロ5は、普段使いのクアトロ4と交代するかな。

IMGP3433 posted by (C)mas

ハイドロ5の見た目は、これまで使っていたクアトロ4より爽やかな色合い。常に風呂場に置いておくことになるので、これがどう汚れていくかは、今後見守りたい。

IMGP3436 posted by (C)mas

上の写真は、クアトロ4 チタニウムレボリューションとともに。こっちは、電動バリカンみたいな機能がついてるので、かなりゴツい。

IMGP3442 posted by (C)mas

これまで使っていた2製品との大きな違いは、4枚刃から5枚刃になっていること。それと、ハイドロ5の刃の上部にある、「モイスチャージェルボックス」。ここからジェルが出てきて、滑らかに剃れるらしい。

次回は、この製品の剃り心地をレビューしたいと思う。自慢ではないが、すぐにカミソリ負けするので、大丈夫かなー。

mas-lab.blog

プレゼン資料の見栄えが劇的に良くなる、無料で使える素材集まとめ17個(Webデザインにも使えます) - Miqata(ミカタ) [del.icio.us]

SoftbankのWi-Fiルーター007Z購入

買い替え候補

エリア自動で良いかと思ってたけど、やっぱサブ固定

WM3500Rとは使い方を変えると良い

エリアの広さはストレスレス

指紋、指紋、とにかく指紋

ファームウェアの安定感

ランニングコストの安さは家計に優しい

2年縛り

接続するUSBケーブルに注意

まとめ

Date4j- 日付を扱う最小限のライブラリ [del.icio.us]

Java Swing Tips - てんぷらメモ [del.icio.us]

Programming tutorials and source code examples [del.icio.us]

Redmineをrvm使ってるCent OS 5.7にインストールする長ーい顛末

Luc Viatour [del.icio.us]

プレゼンテーションZenに学ぶ 「プレゼンはシンプルで行こう」：In the looop：ITmedia オルタナティブ・ブログ [del.icio.us]

iPresentee - Keynote Objects [del.icio.us]

Icons & Icon Packs - Download Free PNG Icons | IconsPedia [del.icio.us]

twieve(ツイエバ) [del.icio.us]

DistroWatch.com: Put the fun back into computing. Use Linux, BSD. [del.icio.us]

INCIPIO feather超軽量MacBook Air 11インチ専用ケースモニター

DreamPages（ドリームページ）モニター

MacBook Air(mid 2011) 11インチを購入！（1ヶ月半ぐらい前に）

購入まで

どのモデル？

購入記

MacBook Air所感

インストールしたアプリケーション

Macports

Ruby関連

gem

rvm

小技

その他やったこと

FraiseでVDMのシンタックスカラーリングする

wxRubyをWindowsで動かす

Rubyをインストール

wxRubyの1.9.2対応版をインストール

[本] スティーブ・ジョブズ驚異のイノベーション

VDM+TeXで形式仕様書を作る - 作成編

はじめに

前準備

Makefile

ectoが落ちた時に書きかけの記事を救済できるかもしれない方法

VDM+TeXで形式仕様書を作る - 記述編

はじめに

TeX混じりのVDMを書く方法

準備

VDM+TeXで書く

TeX文書セクション（A.tex）

VDM仕様セクション（A.vpp）

ET ロボコン 2010 モデル座談会（前編）～ゴールドモデラーが明かす、モデリ ングの秘訣～を読んで

息子誕生・地震・里帰り・そして自宅へ

息子誕生

地震

里帰り

そして自宅へ

ミラーレス一眼 DMC-GF2 ダブルレンズキット購入

DMC-GF2とNEX-5Dで悩んでDMC-GF2を注文した

Template Methodパターン - VDMで学ぶデザインパターン

WM3500Rの設定例（僕の安定稼働版）

無線LAN設定

無線LAN設定

MACアドレスフィルタリング

ECO設定

ECO設定

詳細設定

色々買った（Apple TV, eggshell, RADIUS Dock Stand）

Apple TV

eggshell for iPod touch 2G

DOCK STAND for iPhone / iPod

[ReviewPlus] MacPeople 2月号

F-03Aに機種変更

VDM++とJavaのコンストラクタ

デフォルトコンストラクタと引数ありコンストラクタ

VDM++

Java

プレゼンテーションZenに学ぶ「プレゼンはシンプルで行こう」：In the looop：ITmedia オルタナティブ・ブログ [del.icio.us]

ET ロボコン 2010 モデル座談会（前編）～ゴールドモデラーが明かす、モデリングの秘訣～を読んで

Schick HYDRO 5 モニターレビュー使い心地