rn4ru diary

ストレスフルな生活の中で心がけてること

2017-01-24T07:50:03-06:00

普段と違ったり、継続的に結果を求められたりするような環境で働いていると色々ストレスを感じることも多くなってくると思います。普段の生活でストレスに対して心がけてることを書いてみます。

A Sunny Saturday flickr photo by rob surreal shared under a Creative Commons (BY-NC-ND) license

最近になって根付いてきたものですが、ストレスへの対応としては自分の中で2つの軸があって、一つはそもそもストレスにしないこと。そしてもう一つはストレスと共存することです。

tl;dr

80/20ルールを意識しよう
詰まったら人に聞こう
他人は変えられないけど自分は変われる
ストレスが害になるのは考え方次第(かも？)

80/20ルール

やらなきゃいけないことを1から100まで全部やろうという考えだと、そう思うだけで結構なストレスになってしまうんですよね。結果的に後回しにしてしまって後々泣きながらやることになってしまう。これをなくしたい。

それで意識しているのは「とりあえずやる」ということです。といってもただやるだけじゃなくて、少ない時間で一番効果があるところからやる。いわゆる80/20ルールです。(これについてはかなり前の記事にも書いてたのを見つけたのでリンクしときます。完全に忘れてた。)

必ずしも全ての物事に当てはまるものでもないと思いますが、一つの基準としてとりあえず最短で80%を目指すというのを持っていると良いかもしれないです。

人に聞く

一人で3日悩んでいたのを、誰かに聞いたら5分で解決した。というような経験はありませんか？

ここのところそんな感じで自分の問題を解決してもらったり、逆に他人の問題を解決したりということが多くあるので、改めて早めに誰かに尋ねることの大切さを実感しているところです。

とりあえず80%終わったところで人からフィードバックをもらう、という80/20ルールとの合わせ技もよく使います。他の人からしてみたら「それ80%の中に必要ないよ」ということもあるので、(理想的には)20%しか使ってない比較的早い段階で方向修正できます。

他人を変えることはできないが自分は変われる

チームメンバーだったり、よく知らない人だったり、他人とのコミュニケーションが増えてくるとたまに自分と全く価値観が異なる人がいて面食らうことがあります。そりゃ自分が思う通りに周りの人が動いてくれればストレスもないでしょうが、なかなかそういうわけにはいかないですよね。そんな時に無理やり相手に変わってもらおうとしても大抵うまくいかないです。

そこで誰かが言っていた受け売りなのですが、「相手のことは変えられないけど自分のことは自分次第で変われる」んです。自分の受け取り方や行動一つでストレスを軽減できるのならばそっちの方がトータルで必要な労力が少ないんじゃないかと思っています。

もうかなり昔のことですが自動車学校へ通ってた時に、ちょっとしたミスでもなんでも怒鳴るように指摘する教官がいました。まあ車の運転はそういうミスが大惨事になることもあるのでそれは構わないんですが、逆にうまく操作できた時には当然であるかのように何も言わない人でした。

叱られて伸びる人と褒められて伸びる人っていますよね。自分はどちらかというと後者よりなので最初は初心者ながらに「なんだかなー」って思っていたのですが、途中で考え方を変えてみました。その教官が助手席にいる間、できるだけ無言にさせることを目標にしたのです。

それまでの価値観では教習中に叱られることは−50点、無言は0点のままとかだったのですが、それを叱られることは−50点だけど無言の間は20点ずつ加算という風に変えてみたらあまり嫌にならなくなったんです。するとその教官との教習でも萎縮しなくなって、しばらくすると怒鳴られるように注意されることもほぼなくなってました。

自分の方を変えるというのは効果的ですがどちらかというと消極的に感じられるかもしれません。また、どうしても相手に変わってもらいたい時もあるでしょう。そんな時は相手に「自分を変えなきゃ」と思わせることが大切なのではないかなと思っています。この辺りのことはまだ模索中なのでもっと知見が貯まったら書いてみたいテーマの一つです。

ストレスって健康に悪いの？

最後に紹介する動画はTEDで見つけたものです。TEDについてはこの前も書いたのでそっちも是非読んでみてください。

これは先に書いたようにストレスを減らす方向に自分を変えるというよりも、「別にストレスはあってもいいんだ」というふうに受け取り方を変えてみてはという話だと思います。

ストレスそのものより「ストレスは害だと考えること」が害であるというのは別にストレスだけに限った話でもないかもしれないですね。

もしストレスとの付き合い方や解消法があったら是非コメント欄などで教えてください。

Docker for MacでPelicanを動かす

2017-01-15T07:00:00-06:00

このサイトを作るのに使っている静的サイトジェネレーターのPelicanをDocker for Macで動かせるようにDockerfileを書きました。

flickr photo shared by jkirkhart35 under a Creative Commons ( BY ) license

最近メインのMBPにmacOS Sierraをクリーンインストールしたのですが、それをきっかけにDocker for Macを使ってみることにしました。

というわけでPelican用のDockerfileを作ってみます。DockerコンテナにPelicanの環境が閉じていればいろんなマシンで同一のPelicanを動かすことができるようになるので便利かなと。

目標はDockerコンテナからpelicanのMakefileを叩いて一通りの作業ができることです。Pelicanには開発用のWebサーバがついてるので、そこに外部から接続できるようにしたいと思います。余計なものも入れない方針で。

まず最初に調べてみたのはDocker Hubです。先人たちが既に用意してくれてるなら利用しない手はないので。

しかしリストされてるものを上から順にいくつかみたのですがどうにもピンと来ません。一回HTML生成して終わりとか、自作のスクリプトが同梱されてるとかちょっと微妙だったので、参考にしながらも自分で作ってみることにしました。

FROM alpine:3.4

RUN echo -e "@edge http://nl.alpinelinux.org/alpine/edge/main\n@testing http://nl.alpinelinux.org/alpine/edge/testing\n@community http://nl.alpinelinux.org/alpine/edge/community" >> /etc/apk/repositories

RUN apk -U add --no-cache \
    python \
    python3 \
    perl \
    make \
    bash \
    && apk -U add --no-cache --virtual deps \
        py-pip \
    && pip install --upgrade pip \
    && pip install pelican==3.6.3 markdown \
    && apk del --purge deps

EXPOSE 8000
WORKDIR /site
ENTRYPOINT ["bash"]

とりあえず基本はalpineでいきます。リポジトリを設定してapkで色々取ってくるっぽいです。以下の記事も参考にさせてもらいました。

Alpine Linux で軽量な Docker イメージを作る - Qiita

make devserverの為にbashが必要でした。pipでpelicanとmarkdownを入れます。Pelicanは最新バージョンだとなぜか今のテーマの表示が崩れたので、バージョンを指定しています。

開発サーバのためにポートを指定します。デフォルトでは8000です。作業ディレクトリとコンテナ起動時に実行するコマンドも設定しておきます。

コンテナのビルドと起動は以下です。Dockerfileをpelicanconf.pyなどがあるディレクトリに置くのを想定しています。カレントディレクトリをコンテナ内の/site以下にマウントしてローカルの8000番ポートをコンテナにバインドします。

docker build -t pelican .
docker run --rm -it -v $(pwd):/site -p 8000:8000 pelican

コンテナを起動するとbashが立ち上がるのでそのままmake devserverとかできます。localhost:8000に接続すると開発サーバが生成されたHTMLを返すはずです。

お疲れ様でした。

自分のTED観を変えたTED動画

2017-01-10T07:36:31-06:00

あなたは皆に何か伝えたい、知ってほしいと思っていることはありますか？ここで紹介するのはそのうちの一つです。

様々な人が、自ら伝えたいことを聴衆の前でプレゼンして、世界中に発信するTEDという場があります。サイトに行ってみると多くの動画がアップされています。

TED: Ideas worth spreading

一時期TEDブームみたいなのがありましたよね。このプレゼンがすごい！みたいな。自分もその時にいくつか動画を見たりしてたんですが、どうも話されてるテーマが「重い」というか壮大すぎてピンとこないことが多くてそのうち見なくなりました。

そんな自分の中でTEDの価値観を変えたプレゼンを今回紹介しようと思います。5分以内の短い動画なのでまずは最後まで見てください。字幕もついてます。

目から鱗が落ちるとはこのことでした。こういうのもあっていいんだ！って。よくよく聞けば根幹のテーマはペーパータオル削減による環境保護とかになると思うんですが、大上段に構えられるよりも、こうやってできることを実演されるとまずやってみようという気になりませんか？

この動画の後、もっといろんなTED動画を見てみたいと思うようになります。例えばTEDの動画を視聴数でソートするとこの動画は６ページ目に来るんですよ。1ページに36本紹介されてるので、これより見られている動画がまだ200本近くあることになります。こう言われると見たくないですか？

もちろんそれらのプレゼンの中にはテーマがめちゃくちゃでっかいものもあるでしょう。どうすんだこれ？みたいな。また、この動画みたいに見たらすぐわかるというスタイルでないものもあります。何が言いたいんだろう？みたいな。

そんなプレゼンでも何か一つ日々の生活で応用できることを見つけられるかもと思って見ると、見るのが楽しみになりそうです。今後そういうのも紹介できたらいいなと思ってます。

残念なことに自分の身の回りの洗面所はハンドドライヤーがあるところばかりなんですよね。しかしペーパータオルを使う必要があるときは必ずこの動画を思い出すようになりました。それから最後のトイレットペーパーの件、いつまでも待ってます。

あなたのおすすめのTED動画があったらぜひコメント等で教えてください。

AWS S3のindex.htmlとCloudFrontのキャッシュ削除でちょいハマり

2017-01-06T07:00:00-06:00

CloudFrontをS3にホストしたウェブサイトの前段として使っている場合、CloudFrontのキャッシュを削除しても思った通りの動作にならなかったので解決策を調べてみました。

tl;dr

S3のウェブサイトはデフォルトでURL末尾のスラッシュをindex.htmlとして解釈する。例えば、
- (1) www.example.com/hoge/ と
- (2) www.example.com/hoge/index.html
CloudFrontのキャッシュはURLそのものに効くので(2)のパスだけでなく(1)のパスをinvalidateしないと想定した動作にならない (っぽい)。
ドキュメントにしっかり書いてありました (汗)。

flickr photo shared by mikecogh under a Creative Commons ( BY-SA ) license

CloudFrontのキャッシュとInvalidation

前回の記事でAmazon CloudFrontを利用してウェブサイトをSSL化することにしましたが、もう一つの機能としてCDN (Content Delivery Network)というものがあります。というかむしろこっちのほうがメインです。

CDNを使うとインターネット上のコンテンツを効果的に配信することができます。詳しくはWikipedia等を参照してください。

コンテンツデリバリネットワーク - Wikipedia

CDNの機能として配信されたコンテンツをキャッシュしておいて配信元のサーバにアクセスする頻度を下げるというものがあります。逆に言うとCDNにキャッシュされているものは常に最新の状態ではないかもしれません。

例えば、このサイトで新しい記事を書いたときにトップページやサイドバーに表示されている最新記事のリストを変更したかったりしますが、それらがキャッシュされてしまっているといくらリロードしても以前の表示のままになってしまいます。

そこで登場するのがinvalidationです。この操作を行うとCloudFrontに対して指定したコンテンツのキャッシュを破棄するように伝えることができます。

Invalidating Objects (Web Distributions Only) - Amazon CloudFront

自分の場合、ブログ記事を新たに書いたときに少なくともトップページとブログトップ、アーカイブは最新にしておきたかったのでそれぞれに対してinvalidationをしようと思いました。

さて、ほとんどのWebサーバの動作としてURL末尾がスラッシュで終わっているときに指定したファイルを表示するということができます。

S3をウェブサイトとして利用するときも例外ではなく、デフォルトでindex.htmlの内容を表示させることができます。つまり rn4ru.com/ にアクセスしたとき、 rn4ru.com/index.html の内容が表示されます。

そういうわけで実際に表示されているのはindex.htmlなのだから更新時はそのファイルのみをinvalidateすればいいと思っていました。実はそれだけでは不十分で、末尾スラッシュのほうもinvalidateしなければなりません。

と、ここまで書いておいてもう一度公式のドキュメントを確認したらしっかり書いてありました (汗)。

Browsers and other web applications will resolve both formats to the same directory. However, CloudFront stores public URLs exactly as they appear in the request. If you want to invalidate a directory, you'll need to specify the exact same directory, including or excluding the slash.

(強調筆者)

つまりブラウザのアドレスバーに表示されてるURLとしてキャッシュするということですね。

しかしこの書き方だと末尾スラッシュなしのもinvalidateしないと駄目っぽいですが、ブラウザの挙動をみてるとスラッシュなしはスラッシュありにリダイレクトされてるみたいです。「リダイレクトされる」という動作がキャッシュされてるなら別にそれはそれでいいかなとも思うのですが、詳しい人がいたらアドバイスいただけると嬉しいです。

結論

ドキュメントはちゃんと読みましょう。

AWS CloudFrontを使ってS3上のウェブサイトをHTTPSに対応した

2017-01-04T07:25:00-06:00

AWSのCloudFrontを導入してHTTPをHTTPSにリダイレクトするようにしました。いまのところうまく動いてるっぽい。

flickr photo shared by perspec_photo88 under a Creative Commons ( BY-SA ) license

理由としてはただ Amazon CloudFront を使ってみたかったから。果たしてこの設定が報われる日は来るのだろうか。その他ウェブサイトのSSL化については以下の記事が詳しいです。

5分でわかる正しい Web サイト常時 SSL 化のための基礎知識 | WWW WATCH

まあそれはともかく、このサイトは以前より www.rn4ru.com から rn4ru.com にリダイレクトされるような設定になっていましたが (設定例)、今回はさらに http://rn4ru.com/ から https://rn4ru.com/ にリダイレクトされるようになります。

導入には以下の記事を参考にさせてもらいました。というかほぼこの通りにやっただけ。記事の最後に「誰の役に立つのかわからない内容になってしまいましたが」と書かれていますが、大変役立ちました。このような記事をこのブログでも公開していけるようになるのが目標です。

Amazon S3でSSL対応の静的ウェブサイトを公開する | マジメナラボ - majimena Inc.

重要なところとしては、wwwつきとwwwなしのS3ウェブサイトに対してCloudFrontディストリビューションをそれぞれ作成することと、それらにDNSでAレコードを向けること (Route53を使っています) でしょうか。別の記事で一つのディストリビューションにAlternate Domain Namesを2つ設定して、wwwつきの方をCNAMEにするとあったのですがそれだとwwwつきがうまくリダイレクトされませんでした。

証明書の発行については以下の記事が参考になりました。

[ACM] AWS Certificate Manager 無料のサーバ証明書でCloudFrontをHTTPS化してみた｜ Developers.IO

今回はrn4ru.comと*.rn4ru.comの証明書を発行しました。発行するドメインに対するメール(hostmaster@domainなど)を自ら受け取れる環境が必要です。ワイルドカードの証明書はプレフィックス無しのほうにも対応できるようなことが書いてありましたが、試せていません。

AWS CLIを使ってS3上でのリダイレクトを設定する

2017-01-02T07:30:56-06:00

このブログは静的ファイルジェネレータのPelicanで作成したHTMLファイルをAWSのS3にホストしているのですが(過去記事)、今回URLを変更して、それに伴うリダイレクトをコマンドラインから設定しました。

flickr photo shared by ShanMcG213 under a Creative Commons ( BY-SA ) license

記事の年月日をURLからなくすことにしました。特に必要な理由もないし、短い方がいいなと思ったので。

前: http://rn4ru.com/blog/posts/YYYY/bbb/DD/hogehoge/
後: http://rn4ru.com/blog/posts/hogehoge/

すると問題になるのがリダイレクトです。URLを変更すると以前のURLでリンクされている記事が軒並みNotFoundになってしまい、せっかく見に来てくれた人をがっかりさせてしまうことになります。

もしApacheのmod_rewriteを利用しているなら年月日を取り除くのは正規表現一発でできそうですが、AWSのS3ではどうでしょうか。

結論から言うと、S3をWebsiteとして利用している場合には各オブジェクトに対してリダイレクトを設定することができます。ただし、すべてのリダイレクトを手作業でやっていくにはちょっと骨が折れそうです。

そこでAWSのCLIを使ってS3のAPIを叩くことにします(リファレンス)。リダイレクトをオブジェクトに設定するコマンドは以下の通りです。ここではPelicanについてきたMakefileに追記しました。

REDIRECT=aws s3api put-object --acl public-read --bucket hoge --key $(1) --website-redirect-location $(2)

リダイレクト前のオブジェクトを$(1)、リダイレクト対象のオブジェクトを$(2)に指定してください。あとはリダイレクト前、後のパスを一行に書いたリストのファイルを用意しておいてwhileループを回します。

redirect:
 @while read line; do \
      $(call REDIRECT,$${line%% *},$${line##* }); \
 done < redirect_file

0バイトのオブジェクトがS3上にできてしまうので、ちょっと気持ち悪いこともなくはないですが、無事にリダイレクトを設定することができました。

タスク管理をToDoリストからカレンダーメインに変えてみた

2016-07-12T06:38:19-05:00

先日Rebuild.fmを聞いていたら、Planというカレンダーベースのタスク管理システムが紹介されていました。自分も最近カレンダーベースがいいかもなと思ってToDoリストメインから移行したのでそこに至った経緯を書いてみようかと思います。

きっかけはproductivityistというpodcastの1エピソードを聞いたときでした。ゲストのKevin Kruseさんは成功者の習慣をテーマに、7人の億万長者、13人のオリンピックメダリスト、29人のオールA成績保持者、239人の経営者を調査・インタビューした本を出したそうです。

15 Secrets Successful People Know About Time Management: The Productivity Habits of 7 Billionaires, 13 Olympic Athletes, 29 Straight-A Students, and 239 Entrepreneurs (English Edition)

posted with amazlet at 16.07.12

The Kruse Group (2015-10-09)

Amazon.co.jpで詳細を見る

追記：日本語版も出てるみたいです。

1440分の使い方 ──成功者たちの時間管理15の秘訣

posted with amazlet at 18.03.19

パンローリング株式会社 (2017-08-05)
売り上げランキング: 39

Amazon.co.jpで詳細を見る

24分すぎからタスク管理に話が移り、そこで話されていたことがとても印象的だったのでなにかと影響されやすい自分はさっそくKindle版をポチってみました。

実際読んでみると、著者自身の体験と調査対象の人たちの発言、科学的裏付けの3つの要素で構成されていて、ちょっととっ散らかってる感はあるものの、各章は短くまとまっているし文章自体も読みやすい英語で書かれていたので気軽に読める感じでした。

問題点

タスク管理にToDoリストを使うな、というKevinさんの主張はこの記事にもまとまっていますが、本だと第3章にもうちょっと詳しく書いてあります。

ToDoリストでタスク管理をする場合の問題点は、「各タスクが一元的に積まれている」というところにあります。タスクを一瞥しただけではそのタスクがどのくらいかかるのか、どれほど重要なのかということがわかりづらいということです。

その結果、次のタスクを消化しようとするときに結局リストすべてをレビューしなくてはいけなかったり、瞬時に判断しやすい「簡単である」か「緊急である」タスクを優先して、「重要な」タスクを後回しにしてしまったり、さらにはリストに未消化のタスクが積んであるのを見るだけでストレスになったりする(ツァイガルニク効果による)そうです。

実際この辺りの問題点ってGTDとかを実践してる方にとってはNext Actionや日次、週次レビューでカバーしたり、何が重要かを常に意識するマインドセットになってるのでしょうが、なんでもかんでもリストに放り込む使い方をしてた自分にとっては身につまされる思いでした。

「ToDoリストに積まれている項目のうち41%は永遠に実行されない」という統計データもかなり自分の経験に近くて耳が痛いです。

解決法

flickr photo shared by DafneCholet under a Creative Commons ( BY ) license

それでは、どうすればいいのかというとカレンダーにすべての予定を書いておき、そのスケジュール通りに行動するのです。まあ実際やってみようとするとわかりますが、いうほど簡単なことじゃないです。そこで予定を決める際のいくつかのTipsが紹介されてます。

やるべきことを決まった時間に割り当てる (必要ならばリピートさせる)
重要なことは一日のできるだけ早い時間に割り当てる
一度予定を立てたら取り消さず、必要ならば遅らせる、ただし！
それぞれの予定は病院の予約をしたかのように扱うこと

3と4が特に肝かと。事前にスケジュールしたからといって、何が何でもその通りに動かなくてはならないわけではないんです。さっきのpodcastのエピソードでは「今日は素晴らしい天気だから午後からは予定を変更して子どもたちと外へ出かけよう」という例が紹介されてます。最も重要な事は午前中に終わらせているので、そういう判断もできるとのこと。

一方で、なんでもかんでも予定を遅らせていたら終わるものも終わりません。そこで一度決めた予定は病院の予約や取引先とのアポイントと同じようにします。つまり15分予定を遅らせることは取引先とのミーティングに15分遅れていくことと同じです。それをするだけの特別な理由がメールや友人のFacebookをチェックすることにありますか？

驚いたことに、タスクをカレンダーに落としこむだけで、実際に行動せずともツァイガルニク効果によるストレスが軽減されるという研究結果もあるそう。ToDoリストに積みっぱなしのタスクは一月先、半年先でもいいのでまずスケジュールしてしまいましょう。

自分の場合

環境としては、家でも研究室でも作業でき、ミーティングが多すぎない程度には定期的にあり、割り込み作業がほとんど発生しない(大抵非同期コミュニケーションで解決)という感じです。ツールはOS X標準のカレンダーと、タスクの一時退避用にTodoistのフリー版を使っています。

とりあえず日時が決まっている予定は事前にすべてカレンダーに放り込んでおきます。
タスクが発生した場合、
1. 2分以内にできることならその場でやる(GTDっぽく)
2. 日時が指定されている場合はカレンダーに記録
3. それ以外はTodoistに放り込みます(プロジェクトごと)
1日の最後に翌日の予定を立てます。Todoistにたまったタスクをカレンダーにマッピングしていきます。
1日の最初にもう一度確認します。後は予定通りに1日を過ごすだけ。

タスクと予定は必ずしも一対一対応しないこともあります。殆どの場合一つのプロジェクトに関する複数のタスクはそのプロジェクトの作業予定としてまとめて時間をとります。

時間をポモドーロ(25分)単位で管理していて、各プロジェクトを最低1ポモドーロはやることにしています。その他重要度に応じてプロジェクトごとのポモドーロ数を調整しています。

こうしておくと各プロジェクト毎日必ず何かしらの進展があり、プロジェクトごとの作業時間もカレンダー上で可視化できるので今のところ気に入っています。

一日を予定通りに過ごすことを始めてから、8ポモドーロを超えると集中力がガクッと落ちることに気が付きました。今後の課題です。

まとめ

ToDoリストからカレンダーベースのタスク管理に移行した話を書きました。予定を事前に立てておくとその通りに行動することに適度な緊張感と達成感がある気がします。作業の内容と環境によってはうまく適用できないこともあるかもしれませんが、一度試してみてはいかがでしょうか。

カレンダーを用いたタスク管理以外にもいろいろなことが書かれているこの本。おすすめです。

1440分の使い方 ──成功者たちの時間管理15の秘訣

posted with amazlet at 18.03.19

パンローリング株式会社 (2017-08-05)
売り上げランキング: 39

Amazon.co.jpで詳細を見る

15 Secrets Successful People Know About Time Management: The Productivity Habits of 7 Billionaires, 13 Olympic Athletes, 29 Straight-A Students, and 239 Entrepreneurs (English Edition)

posted with amazlet at 16.07.12

The Kruse Group (2015-10-09)

Amazon.co.jpで詳細を見る

正規表現が正しいことを数学的帰納法で証明する(その1)

2016-02-22T06:27:58-06:00

自分がTAをやっている理論系のクラスの宿題から、多くの学生がつまづいていたところを紹介解説してみます。問題をかいつまんで言うと

アルファベットa、bからなる文字列のうち、aが偶数個ある文字列にマッチする正規表現を示し、それが正しいということを証明せよ。

用語について英語日本語間の対訳は適当なのでご了承下さい。原文も並べて書きたいのですがそれはまずいかもなんでやめときます。

この記事ではMathJaxを利用して数式等を表示しています。環境によってうまく表示されない場合はパソコンやスマホのwebブラウザで表示してみてください。

いくつかマッチする正規表現がありますが、とりあえず$(b\cup ab^*a)^*$としておきます。DFAやNFAもそうですが、正規表現を構築するには多少のひらめきが必要だったりします。

2つの言語$A$と$B$が等価であることを示すには$A\subseteq B$かつ$B\subseteq A$であることを両方示さないといけません。ここでは正規表現を$R$、aが偶数個あるような文字列の集合を$L$とします。

ステップ1

まずは$R\subseteq L$です。そもそも$R\subseteq L$とはどういうことなのでしょうか？$R$と$L$はそれぞれ集合なのでベン図を書いてみます。

すると$R\subseteq L$を示すには

$R$の中にあるものが$L$の中にもある($w\in R\Rightarrow w\in L$)か、その対偶
$L$の中にないものが$R$の中にもない($w\not\in L\Rightarrow w\not\in R$)

のどちらかを示すことができれば良さそうです。どちらを示すかはケースバイケースです。

$w\in R\Rightarrow w\in L$ということはつまり具体的に言うと、「正規表現にマッチする文字列はaが偶数個ある」ということです。「正規表現にマッチする文字列」というのを表現しなければいけないので数学的帰納法で証明しましょう。

命題

$w\in (b\cup ab^*a)^*$より$w$が0以上の$(b\cup ab^*a)$からなることがわかるので、命題を「$n$個の$(b\cup ab^*a)$にマッチする文字列はaが偶数個ある」としてみます。

Base case

まずは$n=0$の時にこの命題が成り立つことを証明します。

$$w^0\in (b\cup ab^*a)^0=\epsilon$$

ということで空文字$\epsilon$は明らかにaが偶数個の文字列ですね。

Induction step

ここで、$n=k$の時にこの命題が成り立つと仮定します。つまり「$k$個の$(b\cup ab^*a)$にマッチするような文字列$w^k$はaが偶数個ある」です。この仮定するところが数学的帰納法の肝かつややこしいところなのですが、ここでは置いておきます。で、この時に$n=k+1$に対してこの命題が成り立つことを証明すればいいわけです。

$w^{k+1}\in (b\cup ab^*a)^k(b\cup ab^*a)$ですが、ここでわかることは$w^k$の後で$b$か$ab^*a$のどちらかがマッチするということです。

もし$b$がマッチした場合、その文字列のaの数は増えていないことになります。一方$ab^*a$がマッチすると、aの文字数は2個増えたということになります。どちらにしても仮定より$w^k$は偶数個のaを含んでいるのですから$w^{k+1}$に含まれるaの数も偶数個であると結論付けることができます。

結論

上記より全ての$n\ (n\geq0)$において$n$個の$(b\cup ab^*a)$にマッチする文字列はaが偶数個ある」という命題が成り立つということを証明できました。

ここまで出来てようやく半分です。

ステップ2

では次に$L\subseteq R$を証明しましょう、としたいところですが、だいぶ長くなってしまったので次回の記事にしようと思います。是非皆さんも考えてみてください。「aが偶数個の文字列」というのをどう表すかが微妙に混乱したりします。

ついでにこの授業で使ってる教科書(の日本語版)をはっておきます。この本は状態遷移図から始まってチューリングマシンとNP問題にたどり着くんですが、アルゴリズムの方から考えるNP問題とは結論が同じだとしても視点が全く異なるので新鮮かつ、こっちの方がしっくり来るという人もいるかと思います。自分は結構好きです。

計算理論の基礎 [原著第2版] 1.オートマトンと言語

posted with amazlet at 16.02.22

Michael Sipser
共立出版
売り上げランキング: 41,157

Amazon.co.jpで詳細を見る

計算理論の基礎 [原著第2版] 2.計算可能性の理論

posted with amazlet at 16.02.22

Michael Sipser
共立出版
売り上げランキング: 311,707

Amazon.co.jpで詳細を見る

計算理論の基礎 [原著第2版] 3.複雑さの理論

posted with amazlet at 16.02.22

Michael Sipser
共立出版
売り上げランキング: 303,041

Amazon.co.jpで詳細を見る

洋書では第3版が出ています。

Introduction to the Theory of Computation

posted with amazlet at 16.02.22

Michael Sipser
Course Technology Ptr (Sd)
売り上げランキング: 116,769

Amazon.co.jpで詳細を見る

シカゴの歩き方 (音楽、レストラン編)

2016-02-09T06:29:43-06:00

シカゴのおすすめ観光名所を紹介しています。今回は音楽、レストラン編です。

前々回、前回の続きです。

音楽

Blue Chicagoは毎日ブルースのライブが開かれてるバーで、いつ行っても満席というかなり人気の高いスポットになっています。オープンは午後8時でライブは9時開始。ワンセッション1時間ちょっとで、だいたい4つのセッションが深夜過ぎまでおこなわれるみたいです。入場料は日から木曜まで一人10ドル。金土は12ドルとのことです。

自分たちが着いたのは8時を少し回ったぐらいだったのですが、すでにテーブル席は埋まっていて、ギリギリ立ち見にならなくてすむという感じでした。そのおかげかめちゃくちゃステージから近いところで演奏を見ることができました。いやー、めっちゃうまかった。シカゴのブルースが聴きたい人は是非オススメです。見た目は少し入りにくいですが、中に入ってみると学生や旅行者もちらほらいたりとわりかし良い雰囲気です。

地下鉄の幾つかの駅ではストリートミュージシャンが演奏してたりします。ほとんどが弾き語りですが、レッドラインのジャクソン駅ではバンド形式でやってます。ジャンルもジャズからブルースからハードロックまであるので駅を利用する毎に日替わりで楽しめます。多分許可もらってやってるのだと思うですが、一人でいきなりギターやらサックスやら演奏し始める人もいるので。もぐりの人もいるのでしょう。

結構みんなチップを放り投げていきます。友人の一人も弾き語りのNo Woman, No Cryが良かったとかで1ドル渡してました。

レストラン

シカゴのピザといえばディープディッシュ。今回はGiordano'sで食べました。正直言うとそこまで頻繁に食べるようなものじゃないんですが、シカゴに来たからには是非とも体験して行っていただきたい。その他にもLou Malnati'sやUno & Dueが人気です。注文してから出てくるのに30−40分ほどかかるので、スケジュールにはご注意を。

ファストフードで是非トライして欲しいのがホットドッグとイタリアンビーフ。Portillo'sでは両方注文できます。ボリュームがあるので胃袋も満足できると思います。内装も古き良きアメリカなイメージでいい感じです。シカゴのホットドッグはケチャップNGです。別に禁止まではされてないですけどね。イタリアンビーフは肉汁たっぷりのソースにパンが浸かるDippedというのもあるんですが、ここのはやや控えめでした。それでもびちゃびちゃになってましたが。

シカゴにはチャイナタウンがあって、ダウンタウンからも電車一本とアクセスが良いのでオススメです。正式名称はちょっとわかりませんが新旧チャイナタウンとありまして、今回は旧の方にいきました。街並みからして完全に中華街です。

この写真を撮ったのは2010年ですけど。

で、入ったのがTriple Crownこと大三元。なんか縁起が良さそうな名前です。大皿料理をがっつり頼むこともできますがこの日は飲茶スタイルで。Dim Sum(点心)とも呼ばれてますが、餃子や焼売、春巻きなどの小皿を多く頼んでつつく感じです。観光客も多く入ってるみたいですが、ここはアメリカ寄りの中華でした。より中華っぽい中華がいいという人はCAIの方があってるかもしれません。

と、駆け足で紹介してきましたが、皆さんも機会があったら是非シカゴに遊びに来てください。冬のシカゴも楽しいですが、夏はその２倍は楽しめるのでよろしくお願いします。

B11 地球の歩き方シカゴ 2014~2015

posted with amazlet at 16.01.27

地球の歩き方編集室
ダイヤモンド社
売り上げランキング: 94,515

Amazon.co.jpで詳細を見る

シカゴの歩き方 (スポーツ、ショッピング編)

2016-02-08T06:29:43-06:00

シカゴの観光名所を歩く。今回はスポーツとショッピング編です。

前回の続きです。

スポーツ

シカゴといえばブルズ。ブルズといえばシカゴ。ということでユナイテッドセンターです。ダウンタウンの中心地からシャトルバスで15分くらいだったかな。ちょっと外れたところにどかんとあるかんじですね。実はシカゴに5年いながら初観戦です。

ユナイテッドセンターに着いたら中に入る前にまず見ておかなければならないものがあります。マイケルジョーダンの像！いやー神々しいですね。6番ゲートの近くです。中に入ると２度のスリーピートのトロフィーなんかもあります。

試合はニューヨークニックスとだったんですが、無事勝利！さらに100点ゲームで無料ビッグマック引換券もゲットすることができました。安いチケットだったのでかなり高いところから見下ろすような席でしたが、関係なかったですね。周りも熱狂してました。

ユナイテッドセンターはシカゴブラックホークス(アイスホッケー)の試合会場にもなってます。次はぜひアイスリンクを見に行きたいですね。シーズン中ならカブスやホワイトソックスの試合もそれぞれのスタジアムで観戦できたのですが。

ショッピング

ダウンタウンの東側を南北に通り抜けるのがミシガン通りです。おそらくシカゴで最も観光客が多くショッピングに訪れるところでしょう。北のほうに行くと通りの両サイドには高級ブランド店をはじめとした多くの店舗が所狭しと並んでいて、アップルストアや昨年秋にオープンしたばかりのユニクロもあります。時間がなかったのもあって実際入ったのはナイキタウンと友人がお土産を頼まれていたVictoria's Secretくらいですかね。

お土産といえば、今回初めて知ったんですがTrader Joe'sというスーパーのエコバッグが安くて種類が豊富ということで地球の歩き方で紹介されてるんですね。友人がまとめ買いしていましたが、次回帰国する際には自分もこのエコバッグをお土産として買っていこうと思います。

よく聞かれるのが「シカゴのお土産っていったら何なの？」なんですが、正直よくわかりません。これといって名産品もないですし。多分シカゴでピンとくるようなお土産は各種スポーツグッズか、建築関連。食べ物でいったら無難なチョコレートくらいかなー。

明日がこのシリーズ最終回です。

B11 地球の歩き方シカゴ 2014~2015

posted with amazlet at 16.01.27

地球の歩き方編集室
ダイヤモンド社
売り上げランキング: 94,515

Amazon.co.jpで詳細を見る

シカゴの歩き方 (アトラクション編)

2016-02-07T06:29:43-06:00

年末から年始にかけて友人がこっちに遊びに来たので、その時に回ったところをまとめてみようかなと思います。ニューヨークで年越しして、シカゴに戻ってきたんですが、今回はシカゴ版ということで。ニューヨークのことは別の記事で書きます。多分。

カテゴリ別でいきます。実質二日という短い期間でしたが、意外と満遍なく回れて、かつ今回行けなかったところは次があれば楽しみにできるというようなことになってると思います。次はぜひ夏に来て欲しい。シカゴの夏は最高なので。

アトラクション

ジョンハンコックセンターはいわゆる展望台です。たぶん有名なのはウィリスタワー(旧シアーズ、未だにしっくりこない)の方なんでしょうが、自分はジョンハンコックの方が好きですね、なんとなく。高いビルとしてはあの有名な(?)トランプさんのトランプタワーなんかもあります。

展望台に上がるには大人19ドルかかりますが、裏技があって、展望台のさらに上にあるラウンジには無料でのぼれるんです。もちろんそこでは飲み物や軽食を注文しないと駄目ですが、案外安く済むし、景色も堪能できるということでそちらの方が行列ができるほど人気です。そのためか従来の展望台でいいよって人はそれほど並ばなくて済みます。ウィリスタワーだと２時間待ちとかあるので。

ここは是非夜に来て欲しいです。シカゴの夜景が一望できます。おすすめは南側(上の写真もそう)ですが肉眼で見るとさらに感動します。

シカゴ美術館はダウンタウンの中心にあってアクセスしやすい美術館です。入り口の両脇にあるライオンの像が目印です。自分たちが行った時は閉館1時間前だったので大人12ドルで入館できました。展示品が多かったため1時間ではとても見切れませんでしたが、なんとなく雰囲気はつかんでもらえたと思います。

ゴッホの自画像を始めこれ知ってる、見た事あるかもという作品もありますし、日本のコーナーが意外に見応えあります。年中いろんな企画が催されているので、毎回違った展示品を楽しめるんじゃないでしょうか。と言っても、シカゴに遊びに来た人を連れてったことぐらいでしか自分は訪れる事はないんですが。

フィールド自然史博物館はダウンタウンの外れにある博物館です。近くにはアメフトのスタジアムもあって、自分たちが行った時はちょうど観客たちの波にのまれたりもしました。しかもベアーズ負けてた…。

それはともかく、普通の展示品(恐竜の化石や動物の標本がメイン)が見れるチケットと+αで特別展示品や、3Dムービーが見れるチケットがあります。イリノイ州に住んでる人は無料で入れる日もあります。というか2月は毎日無料なのでイリノイ在住の人はぜひ行きましょう。見応えあります。

ミレニアムパークはシカゴ美術館のすぐ近くにあるでっかい公園です。The Beanことクラウドゲートと呼ばれる金属製のオブジェが特徴的です。冬になるとスケートリンクが設営されます。ここが今回回った中では唯一のアウトドアスポットでした。冬のシカゴは野外でのアクティビティが微妙なので、観光の際はぜひ夏に来て欲しいです。

次点ではシカゴ商品取引所とか、リンカーンパーク動物園とか、海でなく湖なのになぜかビーチだったりとかいろいろあるんですが、寒かったのでね。ぜひ夏に（しつこい）。

続きは明日です。

B11 地球の歩き方シカゴ 2014~2015

posted with amazlet at 16.01.27

地球の歩き方編集室
ダイヤモンド社
売り上げランキング: 94,515

Amazon.co.jpで詳細を見る

Safari 9におけるピンで固定されたタブがある時のCmd-Wの挙動

2015-12-20T07:19:18-06:00

Safari 9ではタブをピンで固定することができるようになりました。これはこれで便利なんですが、これがある時にタブを閉じるキーボードショートカットを使った時の挙動が微妙なのでどうにかできないかと思って調べてみました。

タブを閉じるキーボードショートカット

Safariでは⌘Wでアクティブなタブを閉じることができます。一つのタブを閉じた時に、他にタブが残っていなければウィンドウが閉じられます。これ自体は問題ない動作だと思います。

ピンで固定したタブがあると…

問題なのは、ピンで固定したタブ(以下、固定タブ)がある場合です。どうやら固定タブが認識されていないらしく、固定されていないタブを⌘Wで閉じた時に残りのタブが固定タブのみの場合、そのままウィンドウが閉じられてしまいます。

一方で固定されていないタブを手動、つまりタブ左側のxボタンを押して閉じてみます。すると、固定タブが残っている場合はウインドウが閉じられず、設定に応じた新規タブが表示されます。

この違いが意図された動作かどうかはわかりませんが、自分としては⌘Wで閉じた時に手動で閉じた時と同じ動作になって欲しいのです。

システム設定からキーボードショートカットを上書きする

絶対誰かが解決してくれてるはずと調べてみると、案の定以下が見つかりました。

osx - Stop Safari 9 window closing when only pinned tabs are left - Ask Different

どうやら、システムのキーボードショートカット設定でSafariの"Close Tab" (注: 英語版。日本語版の場合は"タブを閉じる"のはず)というメニューを呼びだすショートカットを⌘Wに設定すればいいみたいです。

この通りにやってみると、うまく意図した動作にすることができました。このことから考察してみると、

オリジナルの⌘Wは厳密にはタブを閉じるショートカットではない
Safariのメニューにある"Close Tab"は手動でタブを閉じるのと同じ動作をする
つまり⌘Wで"Close Tab"をするにはショートカットを上書きする必要がある

Happy Safari life!

Python 2.7.6でSSLが動かなくなっていたので、pyenvとvirtualenvで新しい環境を作った

2015-06-08T09:53:37-05:00

久々にブログ書いたらいろいろ動かなくなってた。

さっきすげー久しぶりにブログ書いたんですが、まあそんなことはどうでもよくて。このブログはPelicanで生成してawscliでamazon s3に投げてます。で、今回もおぼろげながらその通りにやろうとしたらawscliがSSLのエラーでこけました。

というかPython 2.7.6だとimport sslですらコケる始末。調べてみると、以下の症状にしっかり当てはまったのでさてどうしたものかと。

Python from Brew breaks ssl after upgrade with Symbol not found: _SSLv2_method

結局システム標準のpython 2.7.10では大丈夫だったので、新しくpelicanの環境をpyenv と virtualenvで作りました。

まずはvirualenv環境をシステム標準のpythonで作ります。

pyenv virtualenv pelican35
pyenv activate pelican35

次にこれに沿っていろいろインストールしていきます。

pip install pelican Markdown awscli

設定とかは既存のを使うのでpelican-quickstartは使いません。そのままmakeを走らせてみるとPLUGIN_PATHがPLUGIN_PATHSに変更になったよと叱られたので設定ファイルをその通りに書きなおして終了です。無事再びブログを更新することができました。

よかったよかった。

8月は航空券が安い？

2015-06-08T07:44:43-05:00

8月に一時帰国します。

で、そのことを知人としていたら、その人に「8月は夏も終わりだからチケット安かったでしょ？」と聞かれました。その場ではそうかもねと流したんですが、感覚的には違うような気がします。

アメリカ人的には夏といえば5月から始まるものなので、8月を夏の終わりと言ったんでしょうが、そもそも日本では十分夏本番ですし。夏休みもお盆もあるしむしろ旅行シーズンなんじゃね？みたいな。実際のところどうなんだろ。まあ、あんまり調べる気もしない。

それでも同じ航空会社の日本発とアメリカ発の往復チケットの値段を帰国日近辺で比べてみたらドル換算で前者のほうが安いんですよね ($1200 vs $1800)。価格はいろいろ変動するので一概には言えませんが、なんか日本発だと安くなる理由みたいなのがあるのかな？

というわけでそのうち日本に帰ります。楽しみです。

機械学習： linear regression (1)

2014-08-28T19:14:34-05:00

機械学習と聞いて思い浮かぶことはニューラルネットワークだとかフィードバックループだとか、面白そうだけどなんだか難しいんじゃないの？という感じでした。しかし講義を聞いてみると基礎の部分は以外とシンプルなことがわかりました。

ツッコミ大歓迎です。

機械学習の目的をものすごく簡単にいうと、「学習データを用いて未知のデータを分類できるようにする」ということです。例えば、過去の天気データをもとに明日の天気を予測するとか、あるいは過去の顧客データをもとに商品Aを買った人は商品Bも買う可能性が高いから推薦しようとかです。

根本的なところは未知のデータxから分類データyを導くような関数f(x)を探せればいいことになります。一番簡単な例からから始めてみます。誰もが一度はIQテストで次のような問題を見たことがあるはずです。

この場合f(x)はx(x-1)とできます(一例です)。このような問題では大抵見当がつくようになっていますが、まったく見当がつかなかったらどうすればいいでしょうか？例えば次のテーブルをみてください。

#	走行距離 (km)	売値 ($)
1	100,000	10,000
2	80,000	11,000
3	150,000	6,000
4	75,000	10,500
...	...	...
n	110,000	8,500

これはあなたが売りたい車の走行距離と売値に関する過去データの一部です。あなたの目的は現在の走行距離から適切な売値を計算することです。少なくとも計算された値より高値で買い取ってもらいたいものです。

走行距離をx軸、売値をy軸にとったグラフを書いてみると、走行距離が長ければ長いほど、売値が低くなっているのでなんとなく負の相関がありそうです。計算を簡単にするためにf(x)は1次関数、いわゆるy=ax+bで表せられるような式であると仮定してみます。どうすれば適切なaとbを見つけることができるでしょうか。

一つの方法としてはaとbをしらみつぶしに試すことができます。例えばaを-0.01、bを15000などとして、それぞれのデータを当てはめてみて売値が一致するかを見ます。一致するかどうかを測るのに予想値から実際の売値を引いて2乗したもののトータルを使うことにします。一致したならトータルが0になりますし、その値が小さければ小さいほど良い値だということになります。ということでが最小になるようなaとbを探します。後々のために1/2を掛けておきます。

ただし、しらみつぶしにaとbを探すのは効率が悪すぎます。そこでJ(a,b)が2次関数であることを利用してその微分が0になるところ、つまりグラフの底を見つけることにします。aとbそれぞれについて微分します。

変換すると

となります。データの個数n及びは過去データから計算できるので未知なのはaとbだけ、2つの式があるので連立方程式として解くことができます。これで過去データからf(x)=ax+bの近似式に必要なaとbを導くことができました。これも立派な機械学習です。思っていたよりもややこしくないような気がしませんか？

もちろん現実には走行距離だけで売値が決まるとは限りませんし、実際の式が1次関数であるとも限りません。それでも一歩ずつ進んでいくために、次の記事では評価軸がたくさんある場合の1次関数の近似式を計算してみることにします。

2014年秋セメスターはじまる

2014-08-27T08:11:27-05:00

今週から秋セメスターが始まりました。

さて、何事もなかったかのようにしれっと書いてますが、結局夏休みの間はほとんどブログをあげなかったですね(ツイッターでは結構つぶやいてましたが)。一応言い訳をさせてもらうと、夏休み自体は結構充実した気ではいるのですが、研究以外でーというとそれほどネタがあったわけでもなく、かといって研究してることをどんどん書いていく、というのもそれはそれでどうなのかなー？と思う次第でありまして…、って読んでくださっている方からすればどうでもいいですね。

今後は授業で習ったことなど、面白かったことはどんどんブログに上げて行きたいですし、それ以外でも記事を書くハードルをちょっと下げようかな、とも思っています。短い日記みたいなのも増えるかもしれませんが、生存確認用かつ海外大学院生活のサンプルということで、ひとつどうぞよろしくお願いします。

さてその授業ですが、この秋はネットワーク基礎と機械学習のクラスを取ることにしました。両方とも自分の研究にそれほど密接に関わってるわけではないのですが、ネットワークに関しては基礎くらいやっておかないとなと、機械学習については最近色んな所で目にするし興味もあるし、ということで教授と相談して取ることにしました。あとはカリキュラムの関係と、それ以外に面白そうなクラスがなかったというのもありますが。

ネットワークで使う教科書はTCP/IP Protocol Suiteの第4版です。授業用にあらかじめ用意されているスライドの出来がいいから、ということなのですが実際に購入するかはちょっと考え中です。安い買い物でもないですし(教科書の値段ちょっと高すぎんよ)、どうしても必要になったら中古を友人から安く譲ってもらおうかと。この教授のクラスは以前受講したことがあるので、授業スタイルに関しては心配してません。

もう一つ機械学習の教科書は、Elements of Statistical Learning: data mining, inference, and predictionです。これはオフィシャルのサイト(上のリンク)からPDFをダウンロードできるので良心的ですね。つまり教科書を持たない理由はないわけで、クラスでもそれぞれのトピックを事前に読み込んでおくのを期待されてる感じがしました。この教授のクラスは初めてだったのですが、初回の授業の感じでは自分のペースでどんどん進んでいくタイプだったので、置いていかれないようにしないと。Machine Learning Textbook: Introduction to Machine LearningとPattern Recognition and Machine Learningも参考図書にあげられています。

というわけで生存報告兼リハビリポストでした。

vagrant-berkshelfでjenkinsをインストールする

2014-06-10T23:12:11-05:00

CIサーバが急に欲しくなったのでVagrant+Chef+BerkshelfでJenkinsをインストールした仮想環境を作ってみました。多分最短距離。

Chef's hands at work by Rob van Hilten is licensed under CC BY-NC-SA 2.0

とにかくJenkinsが動いてる仮想サーバがほしいという人向け。そもそもVagrantって何だろとか気になる人はいろいろググってみてください。ただ日進月歩の世界なので情報が陳腐化する速度がとんでもないです。

Vagrant のインストールに gem を使ってるもの(今はインストーラーがあります)、 Vagrantfile のconfig.vm.network が :hostonly になってるもの、(同 :private_network) Berksfile に site :opscode と書かれているもの(同 source "https://api.berkshelf.com")は古い情報となってるので、できれば最新の原典を当たるのがベストです。

構成

VirtualBox: 4.2.24
Downloads – Oracle VM VirtualBox
Vagrant: 1.6.3
Download Vagrant - Vagrant
berks: 3.1.3
Berkshelf
vagrant-berkshelf: 2.0.1
vagrant plugin install vagrant-berkshelf --plugin-version ">= 2.0.1"
vagrant-omnibus: 1.4.1
vagrant plugin install vagrant-omnibus
vagrant-vbguest: 0.10.0
vagrant plugin install vagrant-vbguest

雛形の用意

適当なディレクトリで

berks cookbook myciserver

./myciserverに雛形ができます。

cd myciserver

Vagrantfileの編集

vim Vagrantfile

config.vm.network :private_network, ip: "192.168.33.10"

仮想環境のipを192.168.33.10に設定します。もし他のboxを利用したいなら、config.vm.box (必要ならconfig.vm.box_urlも)を書き換えます。今回はデフォルトのままで。

metadata.rb

vim metadata.rb

depends "jenkins"

Jenkinsを依存関係に追加します。

recipes/default.rb

vim recipes/default.rb

include_recipe 'apt'

node.default['jenkins']['master']['install_method']='package'
include_recipe 'jenkins::java'
include_recipe 'jenkins::master'

apt-getのアップデートをした後に、jenkinsのパッケージをインストールしますが、その前にjavaを入れる必要があります。

その他必要な設定があれば以下を参考に。

opscode-cookbooks/apt
opscode-cookbooks/jenkins

起動

vagrant up

boxのダウンロード、VirtualBox Guest Additionのインストール, パッケージの更新、jenkinsのインストールが自動的に行われます。(初回のみ。結構時間かかります)

Jenkins

ブラウザから192.168.33.10:8080にアクセスするとJenkinsのホーム画面が表示されるはずです。お疲れ様でした。

80番ポートからリダイレクトするならapache2とproxy及びproxy_httpモジュールをinclude_recipeして、sites-avarilableの設定が必要です。metadata.rbにdependsも忘れずに。

詳しくは以下を参照.

Installing Jenkins on Ubuntu - Jenkins - Jenkins Wiki
onehealth-cookbooks/apache2 Getting Started Writing Chef Cookbooks the Berkshelf Way, Part 1 - Mischa Taylor's Coding Blog

まとめ

裏で妖精さんが働き過ぎていて怖いくらいですが、最初にberks cookbook app_nameしておけば、metadata.rbにdepends、recipes/default.rbにinclude_recipeを書くだけで、berkshelfが勝手にリポジトリからcookbookを取ってきてchef経由で料理してくれるということがわかりました。vagrant-berkshelf恐るべし。

さて、せっかくセットアップしたJenkinsを何に使おうかなー。

Chromecastへ給電するのにテレビのUSB端子を使ってはいけない、たった1つの理由

2014-05-30T07:20:00-05:00

タイトルは釣りです。

HDMI連動がテレビの電源OFF中に機能しないから

以上。

Chromecast by EricaJoy is licensed under CC BY-SA 2.0

ここからは補足。ほとんどのテレビにはHDMI連動機能がついていて、HDMIでつながっている機器の動作に連動して、テレビの電源を入れたり、入力ラインを切り替えたりすることができます。

Chromecastも例外ではなく、対応アプリやブラウザから送信先にChromecastを選ぶだけでテレビの電源オフの状態からでもシームレスに映像をみることができます。これがかなりスムーズで心地いい。

しかし、多くのテレビでは電源オフ/待機中にUSBポートから電力が供給されません。このため、Chromecastの電源をテレビの端子からとっていると、テレビを起動しないとChromecastも起動しない、したがってHDMIリンクを使ってテレビを起動することができない、というなんとも残念な結果になってしまいます。

Chromecastを利用するときにいちいちテレビの電源を入れないといけない、というのに耐えられないという人は、テレビ以外の外部電源を使いましょう。

ただ、見た目がちょっとよろしくないことになるかもしれません。

Twitterクライアントtを使ってオレオレBufferを作る

2014-05-27T03:44:45-05:00

Rubyで作られたコマンドラインのツイッタークライアントtを使って、自動投稿ツールのbufferをローカル環境に構築します。

Bufferとは

BufferというSNS自動投稿ツールを知っていますか？TwitterやFacebookと連携させれば、つぶやきをどんどんストックしていくだけで指定した時間に投稿してくれるWebサービスです。

Twitterで「なう」をつぶやくのも魅力のうちですが、やはりフォロワーさんとシェアしたい情報やつぶやきはなるべく多くの皆さんに見てもらいたいもの。そんな時にBufferを使えばアクティブなユーザが多そうな時間帯(例えば通勤時間帯やお昼休みなど)に自動で投稿してくれます。

自分の場合、日本との時差の関係で共有したいタイミングがベストでない事が多いのでよく使わせてもらってます。Buffer自体の使い方は他サイトさんを参照してもらうとして、このBufferもどきを自前で構築してしまおうと思いました。つまり指定した時間になったときに用意しておいた文章を投稿できるようにします。

Twitterをよく使う人必見！Bufferの使い方 | nanapi [ナナピ]

必要なもの

コマンドラインから投稿できる手段さえ見つければ後はスクリプトでなんとかなります。今回はtを使います。

tはRubyで書かれたtwitterのコマンドラインインタフェースです。つぶやきの投稿・削除はもちろん、タイムラインの取得、リツイート、フォロワー管理などさまざまなコマンドが用意されています。

セットアップ

インストールは gem install t でできます。事前にシステムにRuby 1.9.2以上がインストールされていることを確認してください。

このクライアントを利用するには自分でツイッターアプリとして登録しなければなりません。こちらでアプリの名前と概要、ウェブサイトを入力します。どうせ自分しか使わないので適当でいいでしょう(クライアントによっては投稿されたアプリの名前を表示するものがあるので名前くらいはいい感じにしておいた方がいいかもしれません)。アプリの権限をRead, Write and Access direct messagesにしておいてください。

自分用のアプリを登録したらコマンドラインでt authorizeと入力します。指示にしたがってAPIキーとシークレットキーを入力します。これだけでセットアップは完了です。 t update "つぶやく内容" でつぶやけたら成功です。

シェルスクリプトからtを使う

tはただのコマンドなので、シェルスクリプト内で簡単に実行できます。例えばqueue.txtに保存されたテキストから1行読み込んで投稿するシェルスクリプトは以下のように書けます。

#!/bin/bash

line=`head -n 1 queue.txt`

if [[ ! -z $line ]]; then
    t update "$line"
    sed -e "1d" queue.txt > queue.tmp
    mv queue.tmp queue.txt
fi

変数lineに1行読み込んで、それが空でなかった場合に t update で投稿します。投稿した行はもう必要ないので sed -e "1d" で削除したものを上書き保存します。

このスクリプトをcronやlaunchAgent(macの場合)を使って定期的に実行するようにします。あとはqueue.txtに投稿したい内容を放り込んでいくだけです。

メリット/デメリット

Bufferの無料アカウントではキューを10個までしか貯めることができませんが、このオレオレBufferでは好きなだけ放り込むことができます。投稿時間もcron及びlaunchAgentを使ってフレキシブル(x分毎とか)にできます。またtは複数アカウントに対応しているので、投稿内容に応じてアカウントを切り替えるというのも簡単です(先の無料アカウントでは1つのみ)。

Bufferでは投稿したそれぞれのつぶやきについてクリックやRTの統計を取ることができますが、本家Twitterでもできるようになったので、そこはもうアドバンテージではないかと。

これを応用すれば指定した時間にRTしたり(Bufferでもできる)や削除したりするスクリプトも書くことができます。それぞれのコマンドについてはtのドキュメントを参照してください。

指定した時刻にツイートやFB投稿を自動的に削除するサービス「Delete it Later」 : ライフハッカー［日本版］

また、外部サービスを利用せずにローカルで完結しているというのもメリットかもしれません。

【復旧済】Bufferがハッキングされ、勝手にツイート・Facebook投稿されている人多数。自分のアカウントも要チェック！

デメリットとしては、ローカルに構築しているのでコンピュータが電源OFFの時はスクリプトが動きません。スリープにしておけば裏でサービスが動かしてくれます。あとはもちろんネットワークにつながってないとだめです。

自宅サーバーやVPSで動かしてもいいでしょうが、このためだけに環境を構築するのはオーバーキルですね。普通にBuffer使ったほうがいいと思います。

まとめ

今回はコマンドラインTwitterクライアントのtを使ってオレオレBufferを作ってみました。(ところで「t」って検索し辛い名称)

Buffer自体はとても便利なサービスです。自分もずいぶん長い間利用させてもらってます。それでも無料で出来る範囲だとキューの数に制限があったり、複数アカウントが使えなかったりします。なら有料にしろっていう話ですが、そのために月10ドル払う気もしないという。オレオレBufferはそんな時にいいオプションになるのではないでしょうか。

gshufでテキストシャッフル (OS X)

2014-05-23T10:27:42-05:00

テキストファイルに格納されたデータをターミナル上でシャッフルしたかったので調べてみました。

Good Fortune by Nomadic Lass is licensed under CC BY-SA 2.0

Linuxなどでは shuf というツールがあるらしいのですが、OS Xにはデフォルトで見つかりません。

$ shuf
-bash: shuf: command not found

そこで brew install coreutils でサクッとインストールすると gshuf が使えるようになりました。これでいつでもおみくじを引くことができますね。

$ cat unsei.dat
大吉
中吉
小吉
吉
末吉
凶
大凶
$ gshuf unsei.dat | head -n 1
中吉

参照元: random - How can I shuffle the lines of a text file in Unix command line? - Stack Overflow

モンテカルロ法を用いた待ち行列モデルのシミュレーションについて

2014-05-19T22:39:22-05:00

待ち行列のシミュレーションというと、顧客が何時何分に列に並んで、何分待って、窓口の処理に何分かかったか、など時間を軸にすることが多いです。一方で、時間の概念を一切使用しない、単純に乱数と確率のみを用いるモンテカルロ・シミュレーションを待ち行列モデルに応用したものを授業で習ったので紹介します。

モンテカルロ・シミュレーションでπを求める

モンテカルロ・シミュレーションでおそらくもっとも有名なのは、円周率πの近似値を求めるものではないでしょうか。xy座標の中心に縦横長さ2の正方形を置き、さらにその中に半径1の円を描きます。乱数生成器を用いてx座標とy座標をそれぞれ生成し、その点(x,y)が円の内側にある、つまりになった回数をcとします。乱数が均一に(-1,1)の範囲の数値を生成すると仮定すると、点の総数Nが十分大きいとき、cとNの比は円と正方形に面積の比に等しくなるはずです(各点がまんべんなく正方形内に散らばってるのをイメージしてください)。円の面積:正方形の面積=π:4=c:Nなので、π=4c/Nが導けます。

というわけでJavaで書いてみました。

public static void main(String[] args) {
    Random r = new Random();
    int N = 100000000;
    int c = 0;
    for(int i = 0; i < N; i++){
        float x = r.nextFloat()*2-1;
        float y = r.nextFloat()*2-1;
        if(x*x + y*y <= 1){
            c++;
        }
    }
    System.out.println(4.0*c/N);
}

実行するとπの近似値が表示されるはずです。Nの数値は適当に大きくしてください。

モンテカルロ・シミュレーションで待ち行列のブロック率を求める

さて、これを待ち行列に応用してみます。顧客が1単位時間の間に列に並ぶ頻度(例えば、10分間で3人並ぶのならば0.3人/分)をとし、カウンターでの処理が終わって列から離れる頻度をとします。列に並べるのは5人まで、としましょう。すると並んでいる顧客の数に注目した以下の図を導くことができます。

これはBirth–death processという手法で、ある状態からその隣の状態に移る頻度を表したものです。この場合、列に並んでいる顧客の数がn人の時、の頻度でn+1人になり、の頻度でn-1人になることを表します。

一般的なシミュレーションでは、それぞれイベントを単位時間あたりの頻度に応じて発生させ、その変化を記録するものですが、モンテカルロ・シミュレーションでは上でも上げたように時間の概念がありません。つまり単位時間あたりの頻度は意味をなしません。そこで次のように考えます。

仮にあるイベントが起こったとして、そのイベントがArrival(顧客の到着)であるかDeparture(顧客の離脱)であるかを後から決めようじゃないか。もし、Arrivalだったら並んでいる顧客の数を増やし、Departureだったら減らせばいい。

イベントが発生したのに、顧客が増えるか減るかどうかはそのイベントの中身が決まるまでわからないという、なんだかシュレディンガーの猫みたいな話ですが、問題はどうやって中身を決めるかです。ここで確率を使います。

例えばとが同じ値であると仮定してみます。シミュレーション中はArrivalとDepartureが同じ頻度で発生するのですから、あるイベントが発生した時にArrivalである確率は50%であると簡単にわかります。それではがの2倍だったら? 2/3でほぼ66.7%ですね。このように、Arrivalが起こる確率はで計算できます。例外は列に誰も並んでいないときで、この時発生したイベントは100%でArrivalです。

というわけで、モンテカルロ・シミュレーションを用いて待ち行列をシミュレートするのは次のようになります。

イベント発生。
もし顧客の数が0だったら、確実にArrivalなので顧客の数を1つ増やす。5.へ。
そうでなければ乱数生成器を使って(0,1)の乱数xを発生させる
もしxがより大きければ、Departureなので顧客の数を一つ減らす。そうでなければ、一つ増やす。
1.に戻る。適当な数のイベントを発生させたら終了。

ところで、今回の目的はブロック率を求めることです。ブロック率はブロックされた数をArrivalの総数で割ればいいので2つのカウンターを用意しました。その名もarrivalとrejectionです。arrivalはArrivalが発生したときにインクリメントされ、rejectionはArrivalが発生し、かつ待ち行列が満杯(つまりN=5)の時にインクリメントされます。小数点以下第4位まで欲しかったのでArrivalを10000個発生させた時点で終了とします。Javaで書くと次のようになります。

public static void main(String[] args) {
    int N = 0; // 顧客数
    int lambda = 10; 
    int mu = 2; 
    int arrival = 0;
    int rejection = 0;

    Random r = new Random();    
    while (arrival < 10000) { // イベント発生
        if (N == 0) { // 確実にArrival
            arrival++;
            N++;
            continue;
        }
        double p = r.nextDouble();
        if (p > (double) lambda / (lambda + mu)) { 
            // Departure
            N--;
            continue;
        }
        arrival++;
        if (N == 5) { // キューが満杯なのでブロック
            rejection++;
        } else {
            N++;
        }
    }
    System.out.println((double) rejection / arrival);
}

実行すると大体0.800ほどの値が得られます。これはが5、が2、行列の上限が5の理論値(0.80005…)ともほぼ一致します(理論値を求める方法はまたの機会にします)。つまり、モンテカルロ・シミュレーションを用いて、ある待ち行列モデルのブロック率を求めることに成功しました。

まとめ

この記事ではモンテカルロ・シミュレーションを紹介しました。モンテカルロ・シミュレーションは乱数と確率のみを用いたシミュレーションで、有名なところでは円周率πの近似値を求めたりするのに使われます。

これを待ち行列に応用するには、顧客が並ぶ(Arrival)、離れる(Departure)といったイベントの頻度を使ってそれぞれのイベントの発生確率を計算します。次に、あるイベントが発生したと仮定して、そのイベントを乱数発生器を用いて確定します。その確定したイベントにしたがって待ち行列の状態を変化させます。

この手法のメリットの一つとして、プログラムを簡潔にすることができます。時間を軸にしたシミュレーションでは、シミュレーションクロックなどを用いて時間の流れを管理しなければならないからです。モンテカルロ・シミュレーションではシミュレーションクロックを完全に取り除くことができます。

その一方でデメリットとして時間を元にしたメトリクスを記録することが難しくなることが上げられます。例えば顧客の平均待ち時間などです。

シミュレーションで得た実測値を元に理論値を推測する方法。あるいは信頼水準とその区間について。

2014-04-17T13:22:48-05:00

例えば、銀行窓口の平均待ち時間が5分であるモデルを用いてシミュレーションを何回か行った場合、その待ち時間の実測値は(実装にミスがなければ)5分に収束すると予想されます。

それでは、逆にあるシミュレーションを行った結果、平均待ち時間が5分だったとして、それを元にしてこのモデルでは平均待ち時間は5分である、と言えるでしょうか？あるいはそのように主張する場合、どうすればより説得力を持たせることができるでしょうか？

シミュレーションでできること

シミュレーションは理論上のモデルだけでは計算するのが難しいパラメータを実際に計測するのに便利です。

例えば先の銀行窓口の例で言うならば、単位時間あたりの顧客数がポアソン分布だとか、各窓口の平均処理時間が指数分布だとかは簡単にモデル化することができます。しかし、そのモデルにおける各顧客の平均待ち時間などという表にでてこないパラメータを計算だけで取得するのはそれほど簡単ではありません。(まあ、この例では簡単かもしれませんが、言いたいことは伝わるかと)

そんなときにシミュレータをモデルに沿って構築すれば、そのようなモデルには直接出てこない数値を実測することができます。平均待ち時間ならば、シミュレーションの最中に各顧客の待ち時間をそれぞれ記録しておいて、終了後にそれらの平均を取ればいいのです。

実測値=理論値？

さてここで問題が出てきます。シミュレーションの実測値はあくまで一つの結果でしかありません。シミュレーションの結果がそうであったからといって、理論上のモデルでもそうなるに違いないと結論付けることができるでしょうか？

例えば多くの場合、シミュレーションには擬似乱数を使うでしょうから、その結果は完全ランダムにはなりません。一方、モデル上で乱数といえば完全ランダムを指すので、ここに齟齬が生じます。

それならば、と何回もシミュレーションした結果の平均をとってみるとどうでしょうか。回数が多くなればなるほど、実測値の平均=理論値であるという説得力が多くなるような気がします。それでは実際どのくらいの試行回数が必要なのでしょうか。

ある偉い人が提唱した大数の法則では次のように言われています。

式1：

ここで、は実測値n回の平均、は理論値の平均を表します。つまり、無限回試行した実測値の平均は理論値として扱ってもいいことになります。

時は金なり

とはいえ、シミュレーションを無限回やろうとする人はいないでしょう。なんとか有限時間内に収めたいものです。そこでまたまたある偉い人が中心極限定理というものを見つけました。

式2：の分布は正規分布に近似する。

ここで、とは先ほどと同じ、は理論値の分散を表します。

これはどういうことかというと、がどのような分布をとるかどうかにかかわらず、それを変形した式2の極限の分布は標準正規分布になるということです。標準正規分布とは平均が0、分散が1となるような分布です。

標準正規分布は完全にモデル化することができるので、次のような情報も計算することができます。

赤の斜線は標準正規分布に沿った変数の値が-zからzの範囲になる時の確率を表します。この場合90%の確率でその範囲に収まるということがわかります。先ほどの変数を用いた式で表すと、

式3：

となります。これをについて変形すると、

式4：

これはが区間内にある確率が90%であると読み替えることができます。このような区間を信頼区間と呼び、その確率を信頼水準または信頼係数と呼びます。改めて式を見てみると、実測値から得た理論値の信頼性とその上限及び下限を同時に示していることになります。

ここまでをまとめてみましょう。今回の目的は理論値を実測値から推定することでしたが、100%完璧に推定するためには無限回の試行が必要だとわかりました。そこで式の変形と標準正規分布を利用して、理論値がある一定の信頼水準を持つという区間を求めることにしました。

まず信頼水準を決めます。実際は90~95%が使われるとのことです。次に標準正規分布表を用いて、標準正規分布に沿った変数がある区間に存在する確率が信頼水準となるような区間(-z,z)を求めます。zが見つかればあとは式4に基いて実際の上限と下限を計算するだけです。このような評価を行ったグラフを提示する場合、以下のように上限と下限の範囲を示すことで、理論値の「あそび」を可視化することができます。

いくつかの制限

このような信頼水準と区間を用いた手法は、ただ実測値の平均を示すよりも説得力があることは確かです。しかし、それでも信頼水準があくまで確率である以上、理論値がその区間外にある確率もまた0ではありません。(理論値がある区間に100%の確率で存在するということは、その区間は(-無限,無限)である必要がある)。その他にもいくつか問題があります。

一つめは、式2が完全に正規分布と一致するには無限回の試行を必要とします。これは無理なので、nを十分に大きくしてできるだけ正規分布に近づくようにします。古い教科書では少なくとも30回以上としていますが、計算能力が発達した今日のコンピュータでは一つのシミュレーションにつき100回、1000回の試行はそれほど難しくないはずです。

もう一つは、です。理論値の平均を求めようとしているのに、その理論値の分散が必要になってしまいます。理論値の分散も未知の場合がほとんどなので、実際の手順では実測値の分散で置き換えるしかないとのことです。

まとめ

シミュレーションは計算モデルでは簡単に計算出来ないようなパラメータを実測するのに便利ですが、果たしてその実測値がどのように理論値と関連するかを示すことが必要です。今回は実測値を元にある信頼水準を満たすような区間を計算する方法を学びました。

上記の制限のおかげで、これらの区間はあくまでも近似値ということに注意する必要があります(t分布を用いた手法など、ある条件のもとで近似でない値を示すことのできる方法もある)。しかしながら、信頼水準と区間を示すことはシミュレーションを用いたモデル評価においては最低限のマナーであるといえるでしょう。

条件付き確率と独立性について

2014-03-20T10:22:57-05:00

52枚のトランプセット(ジョーカーを除く)から続けて二枚カードを引いた時、両方とも絵柄(J、Q、K)のカードである確率を求めなさい。

最初に52枚から12枚を選び、その後51枚から11枚を選ばなければいけないので、その確率はでおよそ5%となります。

条件付き確率

最初に絵柄のカードを1枚引いているのだから、その後の確率が影響をうけるのは自然なことにように見えますが、このように事象Aが起こったと仮定して、更に事象Bが起こる確率を条件付き確率と呼び、と定義されます。次のベン図を見てください。

まず事象Aが起こったと仮定するので、分母は事象Aの確率そのものになります(赤の円)。その上で事象Bが起こらなければならないので、分子は赤の斜線部分、すなわち「AかつB」の確率です。

両辺に事象Aが起こる確率P(A)を掛けて、式をちょっと変更してみると、となり、AかつBの確率を得ることができます。先ほどの問題に戻ってみましょう。

この場合P(A)が「最初に絵柄を引く」確率です。そしてP(B|A)が「Aが起こったとして、次に絵柄を引く」確率となります。それらをかけ合わせているので「AとBが両方起こる」確率を計算できていることがわかります。

事象の独立性

事象AとBが独立であるとします。それらはお互いに影響を受けないわけですから、になります。さらに独立な事象AとBが共に起こる確率はです。これらを使うとある2つの事象が独立であるかどうかを確かめることができます。

例題1、2つのサイコロX、Yを同時に振る。事象Aを「サイコロXが奇数」、事象Bを「サイコロYが偶数」とするとき、AとBは独立か？

まずそれぞれの確率を計算します。事象Aの確率は2分の1。事象Bの確率も2分の1なので、これらが独立であるためにはAとBが同時に起こる確率が4分の1でなければなりません。奇数と偶数の組み合わせは(1,2)、(3,2)、(5,2)、(1,4)、(3,4)、(5,4)、(1,6)、(3,6)、(5,6)の9通りで、確率は36分の9、約分して4分の1になります。したがって事象Aと事象Bは独立であるとわかります。

例題2、互いに排他的な事象AとBがあり、事象Aが起こる確率P(A)が0<P(A)<1のとき、事象AとBは独立か？

AとBは排他であるので、AとBが同時に起こる確率は0です。一方でBが起こる確率は問題文より1-P(A)>0なので、P(A)*P(B)>0。したがってAとBは独立ではありません。

「互いに排他的」と文章で書くと両者に接点がなく、それぞれ独立であるように思えますが、確率論的には全く独立ではありません。むしろべったりです。コインの裏がでる確率はコインの表が出る確率に影響をうけることを考えるとわかりやすいかもしれません。

まとめ、あるいはハイジャック犯と乗り合わせる確率

これまで条件付き確率と事象の独立性について書いてきました。条件付き確率は日常でも無意識に活用している場面も多いと思います。しかし、それらの事象が独立であるかどうかには気をつけないといけません。最後に、統計的独立性について次のようなジョークを見つけたので引用してこの記事の結びにしたいと思います。

あなたが旅行で飛行機に乗るとして、爆弾を持ったハイジャック犯と同じ飛行機に乗り合わせてしまう危険を避けるにはどうしたらよいか？答えは、あなたも爆弾を持って乗り込む、である。ある飛行機に爆弾を持った人間が一人乗っている確率をpとすると、爆弾を持った人間が二人乗っている確率は、統計的独立性から p×pとなる。明らかに p <<1 であるから、p×p は無視しうるほどに小さくなるであろう。よってあなたは安心して旅行ができる！ -- kakuritu

AWS S3にブログを移行しました。

2014-03-18T16:40:08-05:00

さくらインターネットのサーバーを使ってこれまでブログをホストしてきたのですが、今回Amazon webサービスのS3に移行することにしました。

そもそもさくらインターネットさんのサーバーを使い始めたのは、wordpressでブログを始めたかったのがきっかけでした。が、その後紆余曲折を経て静的サイトジェネレーターのPelicanに落ち着き、それならサーバーでなくてもファイル置き場でいいや、と今回の移行に踏み切った次第です。

S3は従量課金制ですが、このサイトの規模だと月々の料金がおそらく10分の1以下になると思います。一月たった頃に比較してみたいと思います。

移行にあたってやったことはS3にログインし、ドメインに対応するバケットを作成。DNS設定をRoute 53に登録した後、ドメイン側でDNSサーバーを切り替えただけです。以下のスライドがとても参考になりました。

Amazon S3による静的Webサイトホスティング

実際のアップロード過程は、PelicanでHTML作成→GZIPで圧縮→s3cmdでアップロードという感じ。Pelicanの場合、全てのファイルを新たに作りなおすので、s3cmd (あるいはS3 API)のsyncがうまく動かない(rsyncの--size-onlyに相当するオプションがない)ので、ソースをちょっと書き換えたりもしました。

今のところ特に変なことも起こってなさそうですが、何かありましたら連絡ください。

再帰関数の末尾再帰(最適化)について

2014-02-14T18:01:12-06:00

関数の再帰と末尾再帰について学習したのですが、ちょうど某所で話題にあがってたので良いタイミングだなと思って書き留めておきます。

再帰とは自分自身を参照するようなアクションのことです。再帰関数が一番に思い浮かびますが、定義や言葉遊びなどでも使われます。例えばプログラム言語のPHPですが、この頭文字は現在「PHP: Hypertext Preprocessor」を意味するものとなっています。PHPを展開したのにまたPHPが出てきます。

階乗を計算する!

さて自分自身を呼び出す関数のことを再帰関数と呼びますが、一例としてnの階乗を計算する関数を見てみましょう。nの階乗とはn!と書き、1からnまでを乗算した数です。1の階乗は1、2の階乗は1×2で2、3の階乗は1×2×3で6となります。同様に、nの階乗は1×2×…×(n-1)×nとなります。

もうちょっと詳しく計算を注目してみます。

1! = 1
2! = 1×2 = 1!×2
3! = 1×2×3 = 2!×3
…
n! = 1×2×…×(n-1)×n = (n-1)!×n

nの階乗は(n-1)の階乗にnを掛けたもの、ということがわかるので(n-1)の階乗を計算しようとします。そのためには(n-1)-1の階乗、つまり(n-2)!が必要です。そうやって一つ手前の階乗を順番に計算していって、最終的に1の階乗に来た時にやっと1!が1であることにたどり着きます。階乗を計算するのに階乗が必要になる、立派な再帰ですね。まとめると、

1! = 1
n! = n × (n-1)!

階乗の定義はこれだけです。簡単ですね。nの階乗を求めたいときには、nが1だったら1を、それ以外だったら(n-1)の階乗を計算してそれにnを掛けたものを返します。これをJavaで書くと次のようになります。

public int factorial(int n){
    if(n == 1) return 1;
    else return n * factorial(n-1);
}

このように再帰関数は定義をそのまま表したものによく似ていることが多く、見た目にも何をしているのかわかりやすいのが特徴です。もう一つの例を見てみましょう。

フィボナッチ数

フィボナッチ数列は以下のように定義されます(一例)。

1番目の数は1
2番目の数も1
n番目の数は(n-1)番目と(n-2)番目の数を足したもの

実際に計算してみると、1、1、2、3、5、8、13、…と続きます。そこでn番目の数を計算するプログラムはこうなります。

public int fib(int n){
    if(n == 1) return 1;
    else if(n == 2) return 1;
    else return fib(n-1) + fib(n-2);
}

イメージ通りだったでしょうか。

効率を考える

見た目もシンプルでわかりやすい再帰関数ですが、プログラム中で利用するにはいくつか問題があります。その内の一つが再帰から戻ってくるためにコールスタックを一つ消費する必要があるということです。

コールスタックとは新たな作業を始めるためのスペースだと思ってください。人が並んで座れる長机だと考えるとわかりやすいかもしれません。このスペースがなくなるまで(つまり、隣に人が座れなくなるまで)再帰を続けるとスタックオーバーフローというエラーが起こります。このため無限に再帰関数を呼び続けることはコールスタックに制限がある以上簡単にはできません。

もうちょっと具体的にみてみます。さっきのfactorial関数ですが、nを計算するときに(n-1)の階乗の結果を待たなければなりません。このため、この関数はコールスタックを一つ消費して(n-1)!を計算しようとします。座ってる机の隣のスペースにに人を呼んで仕事を頼む感じです。

(n-1)!を頼まれた人は、また別の人を呼んで(n-2)!の計算を頼みます。このように次々に仕事を次の人に頼んでいき、最終的に1!の計算を頼まれた人が1を計算結果として2!を計算しようとしている人に返します。すると2!の人は、返ってきた1と2を掛けた2を計算結果として3!の人に返します。このようにして次々と結果が返ってきて、最終的にはn!の人が(n-1)!の人から返ってきた結果にnを掛けて計算終了となります。

このやり方ですと100!を計算しようとすると100人が必要になることになります。さらに最初に仕事を頼んだ人は99!の人が計算を返すまでずっと待っていなければなりません。このような再帰は少し効率が悪そうに見えます。

隣の人に計算を投げっぱなしにする

ここで発想の転換を行います。頼んだ仕事が返ってくるのを待つのではなくて、自分の仕事を終わらせた後、隣に人を呼んで、後の作業を任せてしまうのです。任せてしまった後は自分は席を立って構いません。

このようにすれば、計算中に同時に長机に座っている人は一人だけです。いくら再帰を呼んでもコールスタックを消費しないので無限に再帰することができます。これが末尾再帰の概念です。

さて実際どのようにfactorial関数を末尾再帰にするかを考えます。最初の人が頼んだ計算結果を待たなければいけない理由は再帰を呼ぶ式に理由があります。関数の2行目を見てみましょう。

else return n * factorial(n-1);

作業を完了するには、返ってきた計算結果にnを掛ける必要があるので待っているわけです。ここを投げっぱなしにするにはどうすればいいでしょうか。勘の良い人は、関数を呼ぶだけにすればいいと気がつくかもしれません。つまり

else return factorial(...);

だけにするのです。こうすれば、最初の人は「あとはよろしく」と隣の人に任せて席をたつことができます。戻ってきたところで自分は何もすることがないですし。問題は...の部分をどうするかです。どうすれば隣の人に自分が計算した分を渡すことができるでしょうか。末尾再帰では補助変数としてaccumulatorというものがよく使われます。長机の例で言うなら、隣の人に渡す作業メモにそれまでの結果を書き記すようなものです。このaccを使ってfactorial関数を末尾再帰にしてみます。

public int factorial(int n, int acc){
    if(n == 1) return acc;
    else return factorial(n-1, acc*n);
}

違いが分かりますか？この関数は2つの変数を受け取るようになっています。ひとつは今までどおり計算対象のn、もうひとつはaccです。さらに関数の2行目に注目してください、return文が再帰呼び出しだけになっています。これなら隣の人に任せて自分は席をたつことができます。

ロジック

なるほど見た目は確かに末尾再帰になっているみたいですが、果たして計算結果は正しいのでしょうか。ちょっとロジックを見てみます。この関数はfactorial(n,1)のようにして呼び出します。

まずnが1の時を考えると、この関数はaccを直接返します。つまりfactorial(1,1)=1となり、これは正しいです。それではfactorial(2,1)はどうでしょうか。nは1ではないので、関数はfactorial(1, 2)を呼び出します。今度はnが1なのでaccである2を返します。うん、あってる。factorial(3, 1)のときは再帰呼び出しはfactorial(3, 1)->factorial(2, 3)->factorial(1, 6)となります。これも正しい。

accだけに注目してみましょう。nが1つずつ減っていくたびに、accにはその時のnが掛けられます。最初はn、その次はn-1、その次はn-2という風に。なんだか階乗の計算を逆からやっているような感じですが、実際その通りです。

再帰とループ

プログラムを勉強したことがある人は、再帰とループはいつでも相互に変換可能であると聞いたことがあると思います。再帰呼び出しをループに変換してしまえばもちろんコールスタックは消費しないので、いつまでもループすることができます。この点で末尾再帰とループ変換は同じ方向を向いていると言えます。末尾再帰が隣の人に作業を頼むなら、ループ変換は一人で黙々と計算し続けるイメージです。

ところがいくつかのプログラム言語にはループが言語仕様として定められていない、あるいは煩雑であるようなものがあります。関数型言語がいい例です。そのため末尾再帰がより利用され、そのようなコンパイラも末尾再帰の最適化をサポートしています。しかし、ここまでの例で使っておいてなんですが、Javaのコンパイラは残念ながら末尾再帰の最適化をサポートしていません。

まとめ

今回は末尾再帰を学習しました。末尾再帰とはプログラミングにおける再帰呼び出しの一種で、コンパイラの最適化によってはコールスタックを消費しないためネストが深くなりがちの再帰処理に向いています。末尾再帰になる条件は「再帰呼び出しを行う行がreturnと関数呼び出しだけで構成されていること」です。

Chromecast SDKが発表されたぞ。

2014-02-04T14:24:52-06:00

前回の記事でChromecastを買ったということを書きましたが、この度、グーグルがアプリケーションを開発するためのSDK(Software Development Kit)を公開したそうです。

Google opens Chromecast to all developers | Internet & Media - CNET News

改めて「Chromecastとはなんぞや」をおさらいしてみると、ChromecastはHDMI端子に接続できる親指大の端末で、PCやタブレットからデスクトップや動画を映し出すことができるというもの。AppleTVなどの類似の商品とは異なるのはそれ自体で動画を再生することはできず、あくまでもコントローラーとしてのGoogle ChromeやYoutubeなどの対応アプリが必要でした。

となるとアプリの充実度が問題になってくるわけですが、これまでChromecastが対応していたのはYouTubeやNetflix、Pandoraなどの限られたアプリだけでした。しかしながら、今回のSDKの公開によって今後多くのアプリがChromecastのコントローラーとして使えるようになりそうです。

個人的にはただ動画をテレビ画面に映し出すだけでない、+αで面白い発想のアプリが出てこないかなーと期待しています。

並行輸入品北米版グーグルChromecast HDMIストリーミングメディアプレーヤー

posted with amazlet at 14.02.03

Google
売り上げランキング: 665

Amazon.co.jpで詳細を見る

テレビを買ってスーパーボウルを見る/おまけでChromecast

2014-02-02T19:24:19-06:00

今スーパーボウルを見ながらこれを書いています。ハーフタイムショーのレッチリ一瞬だったなー。

ん？スーパーボウル？

cc licensed ( BY ) flickr photo shared by Alan Cleaver

今日の朝目が覚めた時に最初に思ったことは「あ、今日スーパーボウルじゃん。」そしてその次に思ったことは「そうだ、テレビ買いに行こう。」

そうなんです。今のアパートメントに引っ越してきてからはもちろん、これまでのアメリカ生活、テレビ無しで過ごしていたのでした。特になくても困らなかったし。

ところが今朝急になんとなくテレビが欲しくなったのです。せっかく契約したケーブルテレビがもったいないということもありました。無料だけど。

あ、後半始まったばかりなのにシアトルがタッチダウン決めた。

それでもそれでもBest Buyに行くまではまだ迷ってました。今まで必要なかったんだからこれまでも必要ないでしょって。引っ越すときめんどくさいでしょって。でもBest Buy(ヤマダ電機的な家電チェーン店)に入ってみたらセールしてたんです。32インチで170ドル。

次の瞬間店員さんに言ってましたね。「これください。」

そんなこんなでセットアップして今スーパーボウル見てます。

ケーブルTVってアナログじゃねーか

さすが無料サービスのケーブルTVだけあってアナログしか映りません。アメリカも地デジ的なものに移行してて、おそらくカスタマーサービスとかに連絡すればデジタルで見れるのかもしれないけど、まあそれはまたいつかということで。

でもそれだけじゃせっかくの32インチ720pの能力をフルに発揮できてないですね。上下左右に黒帯ができてるし。しかし、そんなこともあろうかと一緒に買っておいたのがこれです。先の画像からも分かる人もいるかもしれませんが。

そうです。Chromecastです。クロームキャスト。PCやタブレット上で見ているYouTubeやNetflixの動画をテレビに映し出すことができます。最初かなり真剣にAppleTVにしようかと思っていたのですが、このChromecastが猛プッシュされてました。定価35ドル。衝動買いです。

とりあえず動画をいくつか再生してみましたが、アナログ画質とは比べ物にならないほどキレイです。720pのところに1080pを投影してるので多少オーバースペックかもしれないですが。

パソコンやタブレットの画面上で再生できるものをテレビで再生してどうすんのというつっこみがありそうですが、自分でもびっくりしてますけどこれがなかなか快適なんです。なぜか？おそらく適度な距離感が保てるからじゃないかなと思いました。

言っても手元のMBPやiPadの画面までの距離は30-50cmくらいですよね。その距離で動画がチラチラ移り変わるとついそっちが気になってしまいます。これは「ながら作業」によくありません。いや、ながら作業自体あんまり良くないですが。

それがテレビという2-3m離れた場所で再生することで、ある種の環境音みたいな感じでそこまで気にならなくなります。このスーパーボウルもいい感じでながら見できています。ちょっと試合展開一方的なんですが、これをもし手元で見ていたらおそらくもう画面閉じてると思います。

まだYouTubeの動画しか試してないのですが、今度Netflixの映画とかも見てみようと思います。そう言えば1ヶ月無料の案内が来てましたし。

まとめ

あ、またタッチダウンした。シアトルが。

とにかくとにかく、今日はテレビとChromecastを買いました。今のところ満足してます。これに加えてゲームコンソールを買ってしまうと学校生活終わりそうなので、そこは自重しようと思います。

Chromecastについて興味のある人は以下のリンクもどうぞ。

並行輸入品北米版グーグルChromecast HDMIストリーミングメディアプレーヤー

posted with amazlet at 14.02.03

Google
売り上げランキング: 665

Amazon.co.jpで詳細を見る

Sifttter: IFTTTとDay Oneを使ってネット上のアクションを記録する。

2014-01-19T20:30:35-06:00

以前、RSSを含む様々なwebサービスの情報をDay Oneに集約できるSloggerというコマンドラインスクリプトを紹介しましたが、今回はそれをヒントに作られたSifttterというアプリを紹介します。

IFTTT

S「log」gerに対するS「ifttt」erということですが、IFTTTをすでにご存知の方は多いのではないでしょうか。これはIf This Then That (もしこうするとこうなる)をもじったもので、あるサービスのアクションをトリガーにして他のサービスに対して指定したアクションができるというものです。

例えば、RSSをトリガーにして更新されたアイテムをTwitterでつぶやくということができます。(1月19日現在)78個ものチャンネル(=サービス)に対応していて、それぞれのチャンネルを掛けあわせてさっきのRSS→Twitterのような「レシピ」を作ります。最近iOSアプリも提供されて、iOSのリマインダーや写真などもトリガーにできたりするので、是非チェックしてみるのをおすすめします。

+ Day One?

さてSiftterがどのように動くかというと、iftttを使ってアクショントリガーが起こった時にDropboxにそのログを保存するというレシピを作成します。その際フォーマットとして"- 日時 - 記録したい内容 @done改行"となるようにします。例えば次のレシピはTwitterのログを保存しますし、その他にもレシピをsifttterで検索すればいろいろ見つかります。

これを設定しておいて、あとは指定した時間にSifttterを起動するだけで、それまでに起きたイベントをファイルごとにまとめて日記のエントリにしてくれます。作者のサイトではスクリーンショットも見れます。が、基本的にMarkdownのリスト形式で表示されるのでかなり見やすいです。

インストール

Mavericks対応、あるいはOS X 10.8以前のスクリプトをダウンロードして適当な場所に置き、28行目付近(Day Oneエントリの保存先)と53行目(IFTTTのログフォルダ)のパスを適宜指定します。その後chmod a+xで実行権限をつけます。

Lingonなどを使って指定した時間にプログラムが起動するようにしましょう。アプリを使わなくても~/Library/LaunchAgents/以下に次のファイルを置けば午後11時55分に起動できます。(再起動か、あるいはlaunchctlによるloadが必要です。)

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
    <key>Label</key>
    <string>com.craigeley.Sifttter</string>
    <key>ProgramArguments</key>
    <array>
        <string>ruby</string>
        <string>/Path/to/sifttter_1.8.7.rb</string>
        <string></string>
    </array>
    <key>StartCalendarInterval</key>
    <dict>
        <key>Hour</key>
        <integer>23</integer>
        <key>Minute</key>
        <integer>55</integer>
    </dict>
</dict>
</plist>

Sloggerと比較すると

まず第1にあげられるのは、IFTTTを媒介としてる点です。これにより、IFTTTが対応するサービスすべてのログを毎日自動的にDay Oneに取り込むことができます。次にフォーマット変更が容易ということが挙げられます。

Sloggerのフォーマットを変更するにはrubyで書かれたプラグインやコンフィグファイルを見なければならないので、不慣れな人にはすこしハードルが高いです。一方Siftterは1行フォーマットの最初の日時と最後の@doneこそ正しく動作するために必須ですが、それ以外のフォーマットはIFTTT上から簡単に変更することができます。また、自分で対象フォルダに直接テキストファイルを置くのもいいでしょう。

とかなんとか言ってきましたが、自分自身はまだSloggerから乗り換えるには至りません。というのも自分の使い方ではSloggerのプラグインだけでも十分だからです。しかし今後のIFTTTのチャンネルの増え方とタイミング次第ではSifttterに乗り換えるかもしれません、

まとめ

今回は以前紹介したSloggerにインスパイアされて作成されたSifttterを紹介しました。SifttterはIFTTTを組み合わせることで無限の可能性を発揮します。みなさんも是非試してみてはいかがでしょうか。

分析モデルとシミュレーション -イントロダクション-

2014-01-17T11:24:46-06:00

今週から春セメスターが始まりました。教授と相談した結果、研究と平行して分析モデルとシミュレーションのクラスを取ることに決めました。

これまで火木と2回講義がありましたがまだ1週目なのでシラバスと簡単な用語説明だけでした。

何を学ぶか

コンピュータシステムとネットワークのモデルを評価するための分析とシミュレーションの手法
確率理論の基礎と確率分布が異なるキューイングシステムの開発
シミュレーション結果の統計的な評価を含めたDES(Discrete-Event Simulation)およびモンテカルロ法の性質

というわけで、確率理論とか統計的とかモンテカルロ法とかちょっと難しそうな用語が沢山ですが、おいおいと学習していくのでしょう。

待ち行列

キューイングシステムというのはいわゆる待ち行列モデルをつかったシステムです。銀行窓口からネットワークにおけるパケット伝送までさまざまなところで使われています。この待ち行列ですが、λとμという2つのパラメータが使われます。

λはあるイベントが到着する分布(といえばいいのか、よくわかりませんがdistributionです)でμがそのサービスにかかる時間の分布です。銀行の窓口で言えば、人がどのように並び始めるかを決めるのがλで、窓口対応にかかる時間がμみたいな感じです。

教授が言うには、λはpoissonianでμはexponentialであるというのが基本的な仮定なのだそうです。何が何だかちんぷんかんぷんなんですがpoissonianというのはポアソン分布に沿ったもの。そしてexponentialというのは指数分布に沿ったものというのが調べてわかりました。

日本語でもわからん。うーん先行き不安になってきた。

とにかくとにかく、セメスターの最初は確率理論の公式やらなんやらを基礎からやってくれるということなのでそこできっちり理解することを目標にしようと思います。で、残りの半分でシステムの分析と評価という応用をやっていくとのことです。

シミュレーションとその評価

システムをシミュレーションを使って評価する際にとても重要である項目を教授は何度も強調していました。それは、

モデル作成

まずは評価対象のシステムをモデリングしなければなりません。前述のパラメータをどのようにして調べるか。そのパラメータに見合うイベント群を生成することができるか。この前提が間違っているといくらシミュレーションしても正しい結果がでません。

試行回数

たった1回シミュレートしただけではもちろん不十分ですが、何度もやったところで例えば生成されるイベントの出現頻度、タイミングが全く同じならば同じ結果しかでないことになるので、やはりこれも適切ではありません。パラメータの範囲に収まってかつランダム性があるようにイベントを調整しなければなりません。

評価手法

きちんとランダムな環境で何十回、何百回とシミュレーションを繰り返したとしましょう。その結果をどのように評価するのかが最も重要です。先ほどの銀行の例でお客さんの平均待ち時間が10分になるというシミュレーション結果がでたとします。この結果はどれくらい正確で、どれほど信頼性があるのか、というのが問題です。

平均はあくまで平均です。15分待つお客さんと5分待つお客さんが半分ずついても平均は10分になります。しかしこれで平均10分待つはずだと言われても困ります。正確さと信頼性はConfidence interval(信頼区間)とConfidence level(信頼水準)で測られます。

信頼区間というのはその平均がプラスマイナスどの程度に収まるかという範囲です。そして信頼水準というのはその信頼区間に実際の結果が収まる確率を示します。通常90%から95%を目標にします。

95%の確率で10±1分の待ち時間になるシステムと、10±5分の待ち時間になるシステムとでは当然前者のほうが信頼性が高いことになります。このようなシステムをうまくシミュレートすることができるでしょうか。

どう表現するか

教授は続けます。「たとえ有名なジャーナルに掲載されるような品質の論文でも、そこに示されてるグラフが正しく表記されていないものがある。しばしば執筆者やレビュアーもどのようにグラフを評価するのかわかっていないのが問題だ」

これまでの流れからわかるように、ただ平均をプロットしただけのグラフはその結果がどれほど正しいのか、信頼性があるのかを読み取るのが不可能です。時間に経つにつれてお客さんの待ち時間が増加する場合でも、その上限(upper-bound)と下限(lower-bound)がどの程度にどのような確率で収まるのかを示すことが重要です。

まとめ

今回は分析モデルとシミュレーションについてのイントロダクションをまとめました。

確率、統計、モデリング、シミュレーションとこれまで深く入り込んでこなかった分野に手を出してみるわけですが、今のところ結構面白そうだという感覚です。基本プログラミングが好きなので前半しっかりと基礎を学習して、後半のシステムモデル構築、シミュレーションのところをきっちりやり遂げたいと思います。

Macbook Pro 15 inch Mid 2010がGPU Panicでほぼ全パーツ交換になった話

2014-01-14T06:36:23-06:00

注) 結果的に無料で保証対象外のパーツも交換になりましたが、アップルストアや機種の状態によって対応が異なる場合がありますので予めご了承ください。

前兆

昨年の11月ごろから3年前に購入したMBPが頻繁にクラッシュ(灰色の画面になって強制再起動)するようになりました。 Consoleでクラッシュの原因を確認してみると「GPU Panic」と表示されているので最初は熱暴走かなと思っていました。ところがそれほど本体が暖まっていないときにもクラッシュすることがあったので、これは何か他に原因があるのかもと考え検索してみました。

すると、各種フォーラムでも同様の事例/質問があるのを見つけます。

読み進めてみると、どうやらApple公式でも説明されてるとのこと。

MacBook Pro (15-inch, Mid 2010): Intermittent black screen or loss of video

ちょっと引用してみます。

Apple has determined that a small number of MacBook Pro (15-inch, Mid 2010) computers may intermittently freeze or stop displaying video on the built-in display or on an external display connected to the MacBook Pro. In this situation, you may also see a restart warning message before the video is lost or the display turns black or gray.

要するに少数のMBP 15 inch mid 2010においてディスプレイが表示されなくなったり、フリーズしたりして、再起動が必要になるとのことです。

対処法としては最寄りでアップルのサービスを受けてくれということらしいです。さらにこんなことも併記されています。

Apple will service affected 15-inch MacBook Pro computers free of charge until three years from date of purchase. This worldwide Apple program does not extend the standard warranty coverage of the affected MacBook Pro.

どうやら購入後3年以内なら保証範囲内だと。自分はアップルケアに入ってなかったのですがそれでも大丈夫でした。ただ、フォーラムでの後日談によると、購入後3年以上経っていたので修理費を請求された人もいるようです。

というわけでアップルストアに持っていく

cc licensed ( BY ) flickr photo shared by Christian Terboven

早速ジーニアスバー(要予約)に持って行ってみると簡単なテストを走らせた段階でGPUのエラーが見つかりました。対応してくれたお兄さんもこうなると話が早い、みたいな感じで「無償で交換できるよ、1週間くらいかかるかな」とのこと。

原因が判明したことで多少ホッとしましたが、その時は学校もあったので1週間MBP無しは厳しいなあと思い、セメスターが終わったら持ってきますということに。ついでにバッテリーがかなりヘタってるとも言われ、こっちは交換に100ドルかかると。

15インチでも全然モバイル用途として使っているので、バッテリーの持ちがやばいのも気づいていたのものあって、100ドルだったらいいかなと思ったもののそれも含めてまた今度持ってくるとしてその時は終わりました。

余談ですが、その後クラッシュするときは必ずミッションコントロールを表示するとき(3本指でスワイプアップ)だということに気づいたので、ミッションコントロールの機能、ショートカットを封印して1ヶ月ほど過ごしました。そのためCommand+TabとDockの使用頻度があがり、直って返ってきたいまでもそのくせが抜けません。ミッションコントロール便利ですけどね。

ついに交換へ、そしてサプライズ

セメスター終了後、2回めのジーニアスバー訪問へ。前回のメモが残っていたので交換手続きもスムーズにできました。その時はバッテリーのことは言われなかったのでこっちから聞いてみると、電源容量が80パーセントを切っていたなら交換したほうがいいのだけど、今の時点では81パーセントだと言います。そんなに切迫してるわけでもないのでなければないでいいかなと。その時もらった明細にはロジックボードの交換修理、ということだけ書かれていました。

受け取りはきっちり一週間後でした。携帯に連絡があったのですぐに行きますと伝え、ジーニアスバーのチェックインで身分証明書を見せてスタッフに現物を持ってきてもらいました(予約は不要)。受け取りの確認時に、スタッフが明細と共に「ほぼ全部取り替えてるね」と言っていたのですが、まさかそんなはずはないだろうと思っていたのと、早く家に帰りたかったことから特に確認もせずに流しておきました。だってバッテリー交換したなら100ドルはかかると言われていたのに、お金払えなんて一言も言われなかったし。

さて、家についてから実物をじっくり見てみたところで驚きました。そりゃ3年も持ち歩いていれば外装に擦り傷がたくさんついています。でもそれらが綺麗さっぱりなくなっていたのです。「ほぼ全部取り替えてるね」という言葉がフラッシュバックします。改めて受領書を確認してみるとそこに交換したリストとして表記してあったのは、

Logic Board 2.4 GHz
Battery Li-Ion 77.5 Whr
Bottom Case
Top Case w/Keyboard
MagSafe Board

なんということでしょう。交換対象だったロジックボード以外に、バッテリーから底面からキーボードまで、まさに「ほぼ全部」交換されていたのです。何度も記載を確認しましたがやはり作業費等の請求は一切ありませんでした、

一番うれしかったのはやはりバッテリーが交換されていたことですね。これでまだモバイルでも戦えます。加えて、ありがたくこれからも大事に使おうと心に決めました。あと3年は使い続けようと思います。(でも本当はMacbook Airが欲しい…)

APPLE MacBook Air 1.3GHz Dual Core i5/11.6"/4GB/128GB MD711J/A

posted with amazlet at 14.01.15

アップル (2013-06-11)
売り上げランキング: 921

Amazon.co.jpで詳細を見る

まとめ

今回は公式に発表されていた不具合だったこともあり、アップルケアがなくとも3年の保証期間内なら無料で対応してもらうことができました。しかも返ってきた本体は不具合対象のパーツ以外も交換されていました。領収書を見る限りでは、出荷時にハードウェアテストを実行して問題ないことを確認しているようです。意外だったのはアップルストアではぎりぎりセーフだったバッテリーがテストに失敗していたことです。工場へ輸送されている間に容量80パーセントを下回ったのでしょうか。

ということは、かなり限定された状況ではありますが、ジーニアスバーでオーダーしなかった故障対応でも直って返ってくる可能性があるということです。例えいくつか不具合があったとしてもあえて全部修理を頼まないという手も考えられますね。とはいえ冒頭にも書きましたがすべての状況にこれが当てはまるとは限りません。実際にやってみようという方は自己責任でお願いします。

シカゴの冬は雨の日も危険/キーボードカバーが届いた。

2014-01-11T00:23:36-06:00

ここ最近は氷点下の日々が続いてましたが、今日は久しぶりに暖かく外にでても耳が真っ赤にならなくてすみました。リスが駆けまわっているのを見たり、雨も降ってきたりして、色んな所で気温の高さを感じられる日でした。

午後過ぎから降り始めた雨は、夕方に大学から帰ってくるときもまだパラパラと降っていたのですが、わずか10分足らずの帰り道がひどいことになっていました。

歩道って水はけを良くするために傾斜がついてると思うんですが、その傾斜の先がここ3、4日ほどで積もった雪にせき止められていて、行き場を失った水がそこかしこに水たまりを作ってる状態。特に道路と歩道の境界では足首まで浸かるほど深く、しかも一見積雪のせいで渡れそうなところがズボっといったりするので足場を踏み固めたりジャンプしたりして帰ってきました。

さらに多少雨が降ったくらいではしっかり踏み固められてアイスバーン状態になった歩道の雪が溶けるはずもなく、それどころか余計に滑りやすくなっているということで足元を何度もとられて転びそうになったり大変でした。雪は嫌いじゃないけど、ほどほどにしてもらえないかな。

Ultra Thin Keyboard Protector

cc licensed ( BY ) flickr photo shared by Steven Depolo

そういえば学校に出かける直前に、アマゾンで注文していたキーボードカバーが届いたので早速MBPにセットしました。このMBPも3年前に買ったものですが、これまでは多少の傷はしょうがないと考えてカバーとかはしていませんでした。それがひょんなことから外装リニューアルされて返ってきたのですが(この顛末もあとで書くかもしれません)、ほぼ新品同様のボディを見て「せめてキーボードくらいはもう汚したくない」と思ってしまったのでした。

いや、そこまで汚れてたわけじゃないですよ？ジュースをこぼすとかそういうことは全くなかったですし。でも明細に交換理由としてSticky keysと書いてあったのでおそらくどこかに動作がスムーズでないところがあったのでしょう。

キーボードカバーを買うときはキー配列をきちんと確かめないと微妙にフィットしないことがあるので気をつけてくださいね。このMBPはキーボードの右上がCD取り出しキーですが、最新のやつはそれが電源キーになっていたはずです。

moshi clearguard (JIS)(2012model) [MacBook Pro等対応日本語キーボードカバー]

posted with amazlet at 14.01.11

moshi
売り上げランキング: 1,920

Amazon.co.jpで詳細を見る

新年一発目。槍を買う

2014-01-08T18:20:00-06:00

2014年も早いものですでに一週間が過ぎてしまいましたが、改めて新年明けましておめでとうございます。今年もよろしくお願いします。

シカゴに来てから4回目の冬を迎えたわけですが、この冬が今のところ一番厳しい気がします。次点は2011年の2月くらいの大寒波かな。寒さに負けず頑張ります。

昨年

非常に変化の多い年でした、まず修士課程を5月に卒業してそのまま8月の後半から博士課程に入学しました。その間に学校の近くに引っ越してきましたが、この選択は大正解でした。

前のアパートみたいにダウンタウンの中心までフラッと歩いていくなんてことはできず、周りには遊ぶところもありません(治安もあんまりよろしくない)。だけどその分より勉学に集中できていると感じるし、実際結果も出てきていますしね。今年は勝負の年でもあるので、この調子をキープしたいです。

cc licensed ( BY SA ) flickr photo shared by Steven Lilley

近況

みなさんはブロッコリーときいてどんなイメージが浮かびますか？おそらくほとんどの方は上の画像にあるような一房高さ3cmくらいのものを思い浮かべたと思います。

自分がこの前パッケージをよく見ないで買った冷凍ブロッコリーを温野菜で食べようと出してみたところ、出てくるブロッコリーが揃いも揃って茎の長さが10cmくらいありました。パッケージには「spears」と書いてありました。日本語で言えば「槍」。なんかカッコいいですね。

ニチレイ　そのまま使えるブロッコリー　冷凍　５００ｇ　冷凍

posted with amazlet at 14.01.09

ニチレイフーズ

Amazon.co.jpで詳細を見る

80/20ルールを試してみる

2013-10-29T22:46:00-05:00

80/20ルールというのを聞いたことはありますか？アウトプットの80%はインプットの20%から産出されるというアレです。

もともとは庭に植えた豆の収穫量からヒントを得たものらしいのですが、それに限らず、色々な場面で80/20ルールに対応するような統計があるみたいです。

まあ詳しいことは「パレートの法則」でググってもらうとして、ブログを巡回していたらこの法則をもっと積極的に生活のなかに活かそうじゃないかという主旨の記事がありました。

How to Add the 80/20 Rule to Your Life | inspirationfeed.com

例えば、8割のアウトプットを生み出す2割に集中する。ストレスの8割の原因となる2割の問題を解決する。などなどです。まあ出来る人は自然にこういうことができているのでしょうが、自分なんかにとってはなかなかその感覚がつかめなかったりします。

よくあるのが80%の出来のものを100%にしようとして時間をかけすぎてしまい、そのしわ寄せがまだやってないタスクにきてしまうようなことです。もちろんまったくアウトプットに関係ないことに没頭(現実逃避ともいう)してしまうことも多いのですが。

一つ疑問なのが、例えば2割のことに集中してその日のアウトプットの8割を終わらせたとします。その余った時間をさらにもう一つの8割を生み出す2割に使うと最初の8割は相対的に8割以下になるじゃん！(逆にいわゆるアキレスと亀状態になることも)という。まあ1日のアウトプットの定義そのものが時間とともに変化するのならば矛盾はないんですかね。というか厳密な定義とかどうでもいいですね。

というわけで、まずは1つのタスクにかかる時間を計測するところから始めてみようかなと思ってます。理論的にはいままで1時間かかってた作業の8割が15分以内にできるということなので、これが本当ならば凄いですよね。

というかというか、このブログを書くということ自体がそもそもアウトプットの8割に属するような生産的な行動になっているのかどうかすでに疑問ですが、そこは気分転換ということで。

ナヴラトリ

2013-10-14T20:58:00-05:00

インドのお祭りのお祝いにお菓子の差し入れもらいました。

うちのグループでは教授のスケジュールに合わせて月水金と個人およびグループミーティングを組んでいるのですが、今日ミーティングに行ったらインド人のメンバーがお菓子を差し入れしてくれました。

なんでもインドでは9日間にわたるお祭りが終わったばかりで、その間よく食べられるものだそうです。ググったらそれっぽいものが見つかりましたが、おそらくこれ。米粉とバターなんかを色々混ぜて焼いたものということで、なんとも言えない食感だったのですが美味しかったです。不思議と懐かしさも感じたんだけどなんでだろう。

そのお祭り(ナヴラトリというらしい)ですが、学問の神様も崇めるためか、その間は勉強を一切しないのだとか。断食の勉学バージョン？みたいな。インドはその間休みだからいいとして、海外留学してるインド人学生は母国が懐かしくなるだろうなあ、と思ったのでした。

Pelian3のfeedで特定のカテゴリを除外したかったのでplugin書いたよ

2013-10-12T20:49:00-05:00

この前wiki作ったまではよかったんですが、wiki記事への更新が全てRSSに流れてしまうのはよろしくないので、特定のカテゴリを除外したフィードを作成するプラグインを作ってみました。

とりあえずプラグインの作り方の基本はこちらを見てもらうとして、問題はPelicanがどうやってRSSフィードを作ってるかです。

ソースを読んでみると、pelican/generators.pyのArticlesGeneratorの中でgenerate_feeds()というのが呼ばれているので、プラグインでこれを真似してやればいいんじゃないかなと思いました。

という訳で以下がそのソースです。Python初心者なので変なことしてるかもしれません。

from pelican import signals
from pelican.generators import Generator
from collections import defaultdict
from operator import attrgetter

def get_generators(generators):
    return MyFeedGenerator

def register():
    signals.get_generators.connect(get_generators)

class MyFeedGenerator(Generator):
    """Generate atom/rss feed except wiki articles"""

    def __init__(self, *args, **kwargs):
        super(MyFeedGenerator, self).__init__(*args, **kwargs)

    def generate_feeds(self, writer):
        """Generate the feeds from the current context, and output files."""

        if (self.settings.get('FEED_ALL_ATOM')
                or self.settings.get('FEED_ALL_RSS')):
            all_articles = list(self.context['articles'])
            for article in self.context['articles']:
                all_articles.extend(article.translations)
            all_articles.sort(key=attrgetter('date'), reverse=True)

            all_articles_but_wiki = [x for x in all_articles if x.category != 'wiki']

            if self.settings.get('FEED_ALL_ATOM'):
                writer.write_feed(all_articles_but_wiki, self.context,
                                  'path/to/feed')

    def generate_output(self, writer):
        self.generate_feeds(writer)

MyArticlesGeneratorはgenerate_feeds内で指定したカテゴリ(ここでは'wiki')を除外した記事リストをwriterのwrite_feedに渡してます。そのgenerate_feedsはgenerate_outputから呼ばれていて、generate_output自体はPelican本体から呼ばれています。

プラグインの登録はsignal.get_generators.connect()にMyArticlesGeneratorを返す関数をセットしてあげればいいみたいです。

急がばまわれ

2013-10-11T19:44:00-05:00

今日目にした単語「Oxymoron」

意味：一見相反する2つの単語を並べること。語源自体がギリシャ語でoxus 'sharp'とmoros 'foolish'という単語の組み合わせより。

例えば「小さな巨人」、「稀によくある」など。

リニューアル

2013-10-09T00:14:00-05:00

サイトのデザインを変更して、Wikiのページを作りました。

いやー、早いもので今週は秋学期の中間テストウィークなんですが、テスト前になると他のことがしたくなるってあるあるにどっぷりハマってしまいました。

まずはサイトのデザインを変えました。といっても、Pelican用のテーマを当てただけですが。レスポンシブがいいなあと前々から思っていたので、twitter bootstrap互換にしました。CSSはreadableとかいうやつを使っています。

気付いた人もいるかと思いますが、日本語タイトルです。この記事。前回のはアルファベットしか使いたくなくなるようなフォントだったんですけど、このreadableのおかげか、日本語フォントも違和感無いようになっています。

それから前から欲しかったWikiのページを作りました。こちらは時系列だとちょっと取り扱いが微妙なものをストックしていきます。ブログって何かと書きっぱなしになってしまうのですが、それはそれでいいとして、講義ノートや研究ノートなんかは後から追記して校正しての繰り返しなのでちょっと独立させてみました。

書かれている内容は大多数の方にはちんぷんかんぷんだと思いますが、まれに誰かの役にたつかもしれません。

それではテスト勉強に戻ります。

Room Condition Form

2013-09-09T20:44:00-05:00

いつの間にか記録上大学の敷地内にある大学院生用アパートに住んでることになっていた。

今日の午後に大学のハウジング担当者から受け取ったメール、「あなたが住んでる大学院生用アパートのRoom Condition Formが未提出だから遅延手数料として50ドルかかるよ。あ、いまからそのフォームを提出したところで手数料が取り消されることはないのであしからず」

はい？

Room Condition Formというのはアパートなどに入居した時にどこか壊れている所や不具合がないか確認して、退去するときに同じように照らし合わせるための書類なんだけど、そもそも自分大学院生用のアパート(大学敷地内にある)に住んでないし！徒歩10分のところのアパートなんですけど！

と、確認のために大学ネットワーク内ポータルから自分の住所情報参照してみたら今住んでるところとそのアパートの住所両方載ってるし。誰が入力したんだ、まさかなりすましか？家賃はどうなってるんだ？などと多少混乱しながら直接担当部署に出向いてみました。

そこでわかったのは5月に専用フォームから申し込み手続きを開始した記録がある。その申し込みは完了していないが、システムの記録上の不具合か何かで院生用アパートが割り当てられている、とのこと。

確かに5月頭ごろは引っ越し先を探していたときだったから、大学のハウジング情報も参考程度に見た気がするけど、夏学期のために借りるのは締め切りすぎてたんだよな。それがそのまま引き継がれているとは思いもよらなんだ。

結局手数料はキャンセルされたし、家賃なんかももちろん発生してなかったから特に不満もないのだけど気になった所が一つ。「ところでその部屋はワンルームなの？」「いや、2Kでルームメイトがいる」「じゃあそのルームメイトからしてみたら同居人いつ来るんだって思ってるんじゃね？」「あ。」

まあ羽伸ばしてそうだけど。でも2Kで一人も色々持て余すかもしれないなあ。

Cards Against Humanity

2013-09-05T22:47:00-05:00

大喜利カードゲーム、Cards Against Humanityについて。

ソフトウェアエンジニアリングクラスのグループプロジェクトでなにかゲーム的なものを開発しようと企画しているのだけど、なんかないかなーと探してたら見つけたゲーム。

Cards Against Humanity

黒いカードにはお題や虫食いの文章が書かれていて、出題者がその1枚を読み上げる。参加者はそのお題に当てはまるキーワードを手札の白いカードから選ぶというもの。それでもっとも面白い解答をした人がお題カードをゲットすることができ、その合計枚数を競うという、まあ平たく言えば大喜利のカードバトルみたいな感じ。

こういうのはネイティブスピーカーだからわかるみたいなとこもあるんだろうし、企画としては却下なんだけど、発想に縛られないはずの大喜利の答えをあえて手札というもので縛ろうとするのは面白いところ。でもカード作るのにもセンスいるよね。Webであげられてるサンプルにはかなりエグいのもあるなあ。

大喜利トランプ

posted with amazlet at 13.09.06

ピーアンドエー
売り上げランキング: 57,073

Amazon.co.jpで詳細を見る

With respect to, or wrt

2013-09-04T19:45:00-05:00

今日覚えた短縮語。

w.r.t: with respect to/with regard to

WRT - Wiktionary

Chmod 600 authorized_keys to password free ssh connection

2013-09-03T16:49:00-05:00

パスワード入力なしで、サーバにsshでつなぐにはauthorized_keysを600にする必要がある。

パーミッションを600にしないまま、「できんなあ」と思ってたのでメモ。

パスワードなしssh loginに使用するauthorized_keysは、権限を600に - end0tknrのkipple - web写経開発

Labor day travel: Anderson Japanese Gardens

2013-09-02T21:11:00-05:00

今日はLabor day (勤労感謝の日)で休日だったのでシカゴ郊外にある日本庭園に行ってきました。

友人に誘われてシカゴから北西へ1時間半のところにあるAnderson Japanese Gardensに行くことに。日本庭園が近くにあるなんて初耳で実際あんまり期待してなかったのですが、すごくよかったです。

以下撮ってきた写真を適当に。ここに載せきれなかったものはFlickrにアップロードしました。

餌を投げられて荒ぶる鯉たち。

こういう小さな滝に風情を感じますね。アメリカとは思えない。

民家「安堵荘」の縁側。

茶室なんかもありました。侘び寂びの世界ですね。掛け軸には「日々是好日」と書いてあります。

これがメインの滝。紅葉の赤がいい感じに彩りを加えてました。

最後の方になって突然天使のモニュメントが出てきても許せてしまいます。

帰りに日系スーパーマーケットに寄り道して、ラーメン食べました。うまかった。

最後に何度でもリピートできる映像を。

It's been 2 weeks

2013-09-01T23:17:00-05:00

秋学期が始まって2週間が経ちました。

早いものでもう2週間が過ぎました。受講してるクラスの進め方にも大体慣れてきた感じです。計算理論のクラスはホワイトボードにバリバリ書き込みしまくる教授。数学や理論出身で、問題の解答や証明なんかをその場で検証して行きます。たまに計算が合わなくてクラス総出で間違ってるところを探すことになるのはご愛嬌。午前から頭をバリバリ回転させてる感じ。

分散システムの教授はパワポメインで、午後にあることもあって正直眠いです。ただこのクラスはプログラムの宿題が面白そうなので期待しています。なんでもP2Pファイル共有システムを言語問わず作るというものとGPUクラスタで分散コンピューティングなんてのがあるので、楽しみ。

やっぱり、それぞれのクラスの要点を多少なりともアウトプットしたほうがいいかなと思ってるので、そのうち。そ、の、う、ちやってみようかなと。

このブログのデザインもちょっと変えてみたいんだけど、なかなか踏ん切りがつかないというか。すげーめんどくさいのでいつになるかわかりません。

Shortcuts: moving to next occurrence in Eclipse

2013-08-21T12:00:00-05:00

Eclipseには選択した変数やメソッドをハイライトする機能がありますが、前後のハイライトに直接ジャンプするショートカットが便利だと思ったのでシェアします。

今のプロジェクトで扱ってるソースファイルは長くて2000行くらいあったりするので、このメンバ変数どこでセットされてんだ？なんてことがあります。そんなときはいちいち検索ダイアログで調べたりしてましたが、毎回やるのは手間が掛かり過ぎなので、せっかくハイライトされるんだしショートカットキーがあってもよさそうだと思って調べてみました。

指定した変数aaaの前後のハイライトに移動したい。

結論から言うとアノテーションをoccurrenceに限定した後で⌘+.(ピリオド)および⌘+,(カンマ)でやりたいことを実現できました。

Eclipse navigate to next/previous marked occurrence - Stack Overflow

これを限定してあげないと変なところにも飛んでしまいます。

その他、⌘+Kおよび⌘+shift+Kは文字列を検索して前後に移動するショートカットですが、検索文字列をセットするためにエディタ上でダブルクリックしなければならなかったのがNGでした。それと、文字列検索ということでabを探したくてもabcに引っかかるということもありました。ハイライト自体はカーソル合わせただけで起こるので⌘+.のほうがテンポがいいです。

自分の環境では⌘+shift+Uでハイライトがリストされることを発見しました。しかし、リストから選ぶよりエディタ内で直接ジャンプしたほうが、コード前後の状況も把握できるので効率がいいかなと思います。時と場合によってはリスト形式のほうが便利かもしれません。

Fall semester starts

2013-08-21T11:30:00-05:00

5月からの夏休みもあっという間に過ぎて、今週から秋学期が始まりました。

知ってる人がいるかどうかわかりませんが、rn4ruはこの5月に修士課程を卒業していました。にも関わらず学校の近くに引っ越しだとか、研究グループがとか今まで書いていたのは、この秋より博士課程に入学することが決まっていたからです。今後共精進していきたいと思います。

という訳で、博士課程の最初のセメスターが今週から始まっています。今セメスターは分散システムと計算理論のクラスをとります。

どこの博士課程もそうだと思いますが、博士候補として認められるにはまず試験をパスしなければなりません。筆記試験と口頭試験がありますが、両方をクリアして初めて博士課程のスタートラインに立てるようになります。

筆記試験では言語、理論、システムの3つの分野を別々に受ける必要があるのですが、指定されたクラスの成績がよければ筆記試験を免除できるとされています。指定されたクラスのうち2つが先に上げた分散システムと計算理論のクラスなので、このクラスでいい成績を収めることができればシステムと理論の筆記試験は受けなくてすみます。正直かなり必死です。

学んだことを積極的にアウトプットしたほうが体に染み付くかも、ということでこのブログでもあれこれ書くかもしれません。それか新しいカテゴリをつくるか。なんだかんだWebに置いてあるといつでも参照できるので便利だったりしますしね。

それでは今学期もこのサイトをよろしくお願いします。

Chinese Valentine's Day

2013-08-13T20:19:00-05:00

中国のバレンタインデーってもしかして…？

リサーチグループのメンバーが同じアパートの違う階に引っ越してきたので、遊びに行ってきました。そこで今日は中国のバレンタインデーだと聞かされました。

なんでも伝説によると、農民の娘と神様の息子が恋に落ちたところはいいものの、その後なんやかんやあって¹、神様の怒りに触れ、その後1年に1度しか会えない日が今日なんです。というお話。

ん？1年に1回しか会えないってそれ七夕じゃねーの？

日本のと時期は違うけど、旧暦って考えたらこのくらいだしなあと思って帰ってきてから調べると、どうやらそうみたいです。

七夕（たなばた、しちせき）は、中国、台湾、日本、韓国、ベトナムなどにおける節供、節日の一つ。旧暦の7月7日の夜のことであるが、日本では明治改暦以降、お盆が7月か8月に分かれるように、7月7日又は月遅れの8月7日に分かれて七夕祭りが行われる。五節句の一つにも数えられる。

古くは、「七夕」を「棚機（たなばた）」や「棚幡」と表記した。これは、そもそも七夕とはお盆行事の一環でもあり、精霊棚とその幡を安置するのが7日の夕方であることから7日の夕で「七夕」と書いて「たなばた」と発音するようになったともいう。

元来、中国での行事であったものが奈良時代に伝わり、元からあった日本の棚機津女（たなばたつめ）の伝説と合わさって生まれた言葉である。

七夕 - Wikipediaより

いやあ、色んな所でつながってたり影響しあったりしてるんですね。ちなみに伝統的に女性が織物をしたりする日だったらしいのですが、最近はバレンタインデーにちなんで男性が女性をもてなすんだそうです。

実際もこんな適当な説明でした。お互い英語だし ↩

Solution: can't assign application to desktop

2013-08-13T14:56:00-05:00

複数デスクトップを使っている時に、アプリケーションを指定のデスクトップで起動するメニューが出ないときの対処法です。

最近仮想デスクトップを使うようになったrn4ruです。

せっかくMIssion Controlで複数デスクトップを作ることができるので、それぞれのデスクトップを用途別に使い分けてみようと思いました。例えばデスクトップ2はカレンダーとタスク、デスクトップ5は論文書きと調べ物用という風に。つまり、Calendarアプリを開いたら常にデスクトップ2で起動して欲しいわけです。

調べた結果、Dockにあるアプリケーションのメニューからそのアプリケーションを起動するデスクトップを指定することができるとのこと。

この例では論文管理アプリのPaper2をデスクトップ5に指定しています。これで自分の好きなようにデスクトップをカスタマイズできると思った矢先、いくつかのアプリケーションではその項目が表示されない問題にひっかかりました。

そんなときは、そのアプリケーションを一旦終了して、LaunchPadから起動しましょう。Finderからでもいけるみたいです。(未確認)

するとメニューが表示されるようになりました。

どうやら問題のアプリケーションは自動起動になっていたり、常にランチャーから呼び出したりしてたというのが原因だったみたいです。マウンテンライオンのバグという話もありますが、詳しいところはよくわかりません。ともあれ一度設定さえすれば、次からは指定したデスクトップで開くようになりました。

参考元：Fix for missing "Assign to..." Mission Control bug in 10.8.x - Mac OS X Hints

THERMAE ROMAE in Chicago

2013-08-10T22:41:00-05:00

シカゴダウンタウンで開かれたテルマエ・ロマエの無料上映会に行ってきました。

1月ほど前に、シカゴの総領事館からテルマエ・ロマエの上映会があることを知らせるメールが来たので、本日ワクワクしながら行ってきました。

会場で配られたパンフレットによると、別にテルマエ・ロマエだけがピンポイントで上映されたわけじゃなくて、2013 International Screenings Programとして5月から9月にかけて毎週1本各国の映画を上映してるそうです。今回は日本映画としてテルマエ・ロマエが選ばれたということです。

予告編はこちら。

会場はシカゴダウンタウンにあるカルチャーセンターのシアター室で、上映開始時にはだいたい130〜150人くらいが座れるところが9割埋まっていたように思いました。客層は日本人ばかりかと言うとそうでもなくて、5:5か6:4で日本人ちょっと少ないくらいかなーという印象でした。

で肝心の中身ですが。コミック版を読んだことはあったので、大体のストーリーは知っていましたが面白かったです。コミックはどんどん続けられますが、映画として2時間弱で起承転結つけなきゃいけないとなるとこうなるのかなーと思いました。それでもワニ園の前のシーンとか逆タイムスリップとか必要だったかな？

なんかこういうのって我が子を発表会を心配する親の気持ちになるというか、どんな風に受け入れられるのかなって気になってしまいますが、笑わせたいところでしっかり笑いも起きてたし¹、上映後も「よかった」という声が周りから聞こえてきたので意味もなくほっとしました。

ただ結局日本人向けのエンターテイメントなわけで、そこに合わせると多少なりとも誇張されてしまうのはしょうがないわけですよね。その辺り外人目線で日本文化に詳しい人ほど「んん？」と思ってしまう所があったんじゃないかな。一緒に行った友人(日本語ちょっと話せる)はローマで日本語話してるところに凄い違和感あったみたいですがさすがにこればかりはねえ²。

と、余計なこともいろいろ考えてしまいましたが、全体的には大満足です。行ってよかったなと思いました。今度久しぶりに映画館に行ってみようかな。それかNetflix契約するか。

テルマエ・ロマエ Blu-ray豪華盤(特典Blu-ray付2枚組)

posted with amazlet at 13.08.11

東宝 (2012-11-23)
売り上げランキング: 12,231

Amazon.co.jpで詳細を見る

ウォシュレットがウケてたのが結構意外だった。 ↩
それならハリウッドとかどうなる。 ↩

Homebrew installs ggrep for tmux powerline

2013-08-08T19:27:00-05:00

tmuxのpowerlineを使うためにgrepをHomebrewでインストールしたらハマったのでメモ。

最近ターミナルを使うことが多くなったので、tmuxというターミナルを分割したり、作業を途中で保存したり、後で再開したりできるユーティリティを使ってみることにしました。

tmux
ターミナルマルチプレクサtmuxのインストール&設定方法 | prime factor

tmuxにはpowerlineという拡張があって、これまた様々な情報を画面下部に表示してくれるという便利なもので、例えばCPU負荷やネットワーク利用状況はもちろん、現在流してる曲のタイトルや天気、はたまた地震情報まで表示してくれます。

erikw/tmux-powerline · GitHub
モテるtmux - まつぼ x Web

その天気を表示しようとするところでハマりました。作者の説明によると、天気を取得するにはGNUのgrepが必要で、OS Xのgrepは古いのでbrewでインストールする必要があるらしいのでそれに従ってサクッといれることにしました。

その時のコマンドはこちら

brew install https://raw.github.com/Homebrew/homebrew-dupes/master/grep.rb

無事にインストールも終わり、さあこれで表示できるか。とワクワクしてみても一向に表示されません。スクリプトを読んでみると、一時ファイルを作成してるっぽかったのでその保存フォルダに行ってみても、そんなファイルは見つかりません。ほかのファイルはあるのに。

これはなんか見落としてるなーと思いながらいろいろ設定をいじってみてもなかなか解決しなかったので、最終的にはその一時ファイルを手動で作ってみることにしました。

スクリプトによるとyahooの天気情報APIを叩き、その結果をgrepして必要なところを一時ファイルに保存しているようでした。試した結果、APIは正しい結果を返しているように見えます。

しかしgrepのところで、usageが違うと怒られました。よくよくバージョンをみてみると対応していないとされていた古いgrepだったのです。さっきインストールしたのはどこいった、と思って探してみると、/usr/local/bin/にggrepとしてあるではありませんか。試しにggrepを使ってみるとうまく動いてるみたいです。

これで原因がわかりました。あとは.tmux-powerlinercのweatherセクションにgrepコマンドを指定するところがあったのでそこにggrepのパスを入れて見ます。するときちんと天気が表示されました。

これでターミナルをいじりながら天気を確認することができますね。

Can you trust Random?

2013-08-07T17:16:00-05:00

メンバーのデバッグを手伝ってるうちに、頭の痛くなるようなコードを見つけたのでシェア。

そのコードは簡単に言うと、トランプで例えるとカードをよく切って1枚ずつ配っていくようなもの。

もちろん1枚しかないカードを2回配ることはできないから、そのカードがすでに配られたかどうかを判定しなければならない、とでも思ったのだろう。

加えて、トランプデッキの数も変わる(例えば2セットだったら全部で104枚のカードになる)というから、今そのカードが何枚あるかも保持しておきたい。

そんな訳でできたコードがこれ。

void init(int numberOfDeck){
    // デッキを初期化
    for(i = 0; i<52; i++){
        card[i] = numberOfDeck;
    }
}

Random r = new Random();
Card getCard(){
    int x;
    do{
        x = r.nextInt(52);
    } while(card[x] == 0); // 枚数0だったらやり直し

    card[x]--; // 一枚引く。
    return new Card(x); // xに応じてなんか返す。
}

頭痛い。

だって、最初の1枚はどれ引いても当たりだけど、乱数rが最後の1枚引く確率は1/52ですよ。その分ループ回数も多くなるし、非効率すぎる。

さらに乱数なんだから延々最後の1枚がでないってこともありうるし。仕事でこんなコード書いたら切れられる。いや、誰にかはわかりませんが。

プロジェクトの極一部でしか使われていないコードだからそんなに影響もないんだろうけど、今度こっそり修正しとこうかな。

ちなみに重複なしでランダムなカードを配るというときは最初にすべての配列を作っておいて(2セットなら104個)、それをシャッフルした後に最初から順番に配っていくというのが王道だと思います。

選ぶときに乱数を生成するんでなくて、シャッフル時に乱数を使うというのがミソ。配るときには結局配列を総なめしてるだけなのでアルゴリズムのオーダーはO(n)で済みます。

シャッフルするにも普通に乱数使うと偏ってしまうので、ちょっとだけ工夫します。こちらに実装例がありました。wikipediaならこちらです。

このアルゴリズムの考え方としてはn個の配列からはn!の順列組み合わせが作れるので、シャッフルされた配列がちょうどn!分の1の確率で出るようになればいいわけです。

このアルゴリズムでは最初の1枚は1/nの確率で選ばれます。次の1枚は1/(n-1)の確率で、その次は1/(n-2)の確率でってやっていくと、最終的に選ばれる配列の確率は1/n * 1/(n-1) * ... * 1/1 = 1/(n!)ということでn!分の1になるのでした。

おそまつさまでした。

Long day, Keema curry

2013-08-02T21:51:00-05:00

今日は一日中ミーティング、そしてキーマカレーを作った話。

今所属しているグループでは一番古参ということで、ボスからメンバーのお目付け役に指名されている。

お目付け役とは名ばかりで、要するに今やってるプロジェクトのプログラムにエラーやバグがあったら真っ先に苦情が回ってくるような役なんだけど、毎日いろんなことが起こって結構勉強になる。

そのボスが来週からバケーションに行くとのことで、今日は各個人が入れ替わり立ち代わりボスとミーティングするスケジュールだったのだけど、その全てに同席しろという。

朝の10時から午後5時までぎっしり。昼食もボスがおごってくれたので、一日中そばにいてあーでもないこーでもないと話し合った。

そのおかげかどうかわからないが、後半のほうになると1を聞いて10を知る、というような感じでボスの発言の主旨を理解できるようになっていた。

これは不思議なんだけども、一つ前のミーティングでウンウン唸ってだした解決策を応用するとその後のミーティングに出てきた問題も解くことができるということがいくつかあった。なので、ボスが「そういえばさっきのミーティングもでこんなことがあって」と言い出すとピンとくるというわけ。

意見の一致も多かったし、脳内が問題解決モードに入ってる時は案外こんなものなのかもしれない。

家に帰ってからはこの前ネットの海をさまよってたときに見つけたキーマカレーを作った。

カレー作るのも久しぶり、ルーも日本製のを以前見つけた時に買っておいた。キーマカレーは初めて作ったけどもなかなかおいしかった。なんかルーの色がパッケージと違う気がするけど。

というかカレーはなんでもおいしい。余ったのはパックにいれて冷凍するので1週間は夕食毎日カレーだな。

S&B ゴールデンカレーB-5 1kg

posted with amazlet at 13.08.03

エスビー食品
売り上げランキング: 15,127

Amazon.co.jpで詳細を見る

August has begun

2013-08-01T16:26:00-05:00

8月に入った所でこのブログでも新展開を試みようかと。

これまで1ヶ月ほど記事を書いてみましたが、正直こんなに続くとは思ってませんでした。

ここまで来たらどこまでやれるか試してみたいものですが、前みたいに突然更新をやめてしまうかもしれません。

そんな更新状況と自分へのプレッシャーを兼ねて、今後ブログ書いたあとにTwitterで書いたよツイートを流してみたいと思います。

最近のサービスには無駄に解析ツールなんかもついているので、これまでのデータとあわせていろいろ試行錯誤してみようと思います。

やっぱり多くの人に読まれることがあれば嬉しいですし、だけどこのブログでこれまで一番アクセスを集めてるのはもう削除した旧URL(404になる)なんですけどね(涙)

その記事こっちでも新しく書きなおそうかな。

String.split in Java, retaining the delimiters

2013-07-27T17:12:00-05:00

文字列をあるパターンによって区切るときはString.split()を使いますが、そのときに区切り文字そのものも一緒に返してほしい。

単純にString.split()を使うと、区切り文字で区切られた文字列が配列になって返ってきます。例えば"AとBとC".split("と")は配列["A","B","C"]を返します。

String s = "AとBとC";
String[] ss = s.split("と"); //=> ["A", "B", "C"]

だけど今回は区切り文字も配列内に欲しい。つまり、"AとBとC".split(ほげほげ)としたときに、["A","と","B","と""C"]にしたいわけです。

結論から先に書くと、先読みと後読みを組み合わせて使います。

String s = "AとBとC";
String pattern = "(?<=と)|(?=と)";
String[] ss = s.split(pattern); //=> ["A","と","B","と","C"]

解説は後にするとして、その他の方法も紹介します。

一つはStringTokenizerを使う方法。StringTokenizerはほぼString.split()と同じ働きをします。さらにコンストラクタにreturnDelimsというパラメータがあり、ここがtrueだと区切り文字も配列に含まれて返ってきます。

StringTokenizer st = new StringTokenizer("AとBとC", "と", true);
while(st.hasMoreTokens()){
    System.out.println(st.nextToken());
    //=> A
    //=> と
    //=> B
    //=> と
    //=> C
}

しかしこのStringTokenizer、APIドキュメントではレガシークラスという位置づけで、新しいコードでの利用は推奨されていません。また、正規表現を区切り文字に使えないという欠点もあります。

実はこの問題はもともとStringTokenizerで書かれていたコードを書きなおそうとしてぶち当たったのです。

次に思いつく方法は、一旦文字列中に表れる区切り文字を絶対使わないような文字で囲んでから、改めてその使わない文字でsplit()するというものです。

String s = "AとBとC".replaceAll("と", "#と#");
String[] ss = s.split("#"); //=>  ["A","と","B","と","C"]

これなら正規表現も使えますし、何も問題がないように思えます。実際ほとんどの場合これで間に合うはず。でもなんとなく気に入りません。スマートじゃないよなあと感じてしまいます。

そもそも、絶対使わないような文字って意外に考えるのが難しいです。そりゃ最悪ユニコードの制御文字(不可視の区切り文字とか)でもいれとけばいいのでしょうが。

というようなものを調べてきたところで、先に記した先読みと後読みを組み合わせた方法を見つけたのです。

というわけで解説ですが、自分自身あんまり正規表現に関する知識はありません。もしなにかあったらツッコミお願いします。

さて、この正規表現"((?<=と)|(?=と))"のキモは先読み(?=)と後読み(?<=)を使っているところです。

先読みはパターンがいま見ている文字の先にあるときにマッチします。つまり、"AとBとC"だったら"A"を読み込んだ時点で"(?=と)"に該当するわけです。あるいは文字列が"ABCと"だったら、"ABC"と読んだ時点でマッチします。

また、先読みや後読みは一致文字そのものではなく、その位置に反応するみたいです。そのため、String.split()では一致した区切り文字を配列から除きますが、この場合"A"及び"と"の間に架空の文字があって、それを取り除いてるように動作します。

さて、"A"を配列に格納した後の文字列は"とBとC"になりますが、この"と"(正確にはその次の位置)を読み込んだ時に (?<=と)にマッチします。先ほどと同じように"と"そのものにマッチしたわけではないので、"と"が配列に格納されます。

これを繰り返すことで、区切り文字そのものを含みつつ、その区切り文字で区切られた配列を得ることができます。

参考サイトではString.format()を用いて、可読性と汎用性を改良したコードが紹介されています。

おそまつさまでした。

参考サイト：
- java - How to split a string, but also keep the delimiters? - Stack Overflow
- 先読みを使ったパターン - 先読みと後読み - Java正規表現の使い方

git-svn committing to remote branch from local branch

2013-07-26T17:20:00-05:00

昨日に引き続きgitの話。ローカルで色々いじってるブランチを、リモートSVNのブランチに突っ込むにはどうするか。

まだまだ始めたばっかりでよくわかってないところもあるんだけど、 gitでローカルに作ったブランチをSVNのリモートブランチに一旦置いときたいことがある。

例えば、trunkをhotfixしようとローカルブランチ切ったはいいんだけど、意外に影響範囲が大きくなりそうで、そのままマージするのちょっと気が引けるし、とかチームメンバーにレビューしてもらうときとか、じゃあSVNのブランチに入れといて、って言われたりとか。

最初からSVN側にブランチ作ればいいじゃんという人もいるかもだけど、常にそういうことができるというわけでもないので…(まだ家にインターネット環境ないし)

ちなみに、最初から作っとく場合はおそらく

git svn branch remotebranch # リモートにブランチ作成
git checkout -b localbranch remotebranch # ローカルに持ってくる
# 色々コミット
git svn dcommit # リモートにコミット

でおｋな気がする。試したことないけど。心配だったらdcommitのときに-nオプションつけて確認するとか。

これがローカルブランチのがすでにある状態からだと、リモートブランチを作成して持ってきたあとに、既存の奴をマージするという一手間があるのかと。つまり

git svn branch remotebranch
git checkout -b localbranch remotebranch
git merge --no-ff exsistingbranch # ローカルブランチに既存のをマージ
git svn dcommit

--no-ffオプションを使わないとなんかよろしくないことになるみたいなので常に使う方向で。あるいはコミットログが多すぎるよ、ってときは--squashでマージしてからコミットする方向で。 (この前SVNにマージしようとして200超のコミットログを作った反省を込めて)

何かもっといい方法あったら教えてください。

参考にしたサイト:
- git-svnでリモートリポジトリのブランチにコミットする - I sort my thought...
- Is it possible to make git svn dcommit result in a single svn commit? - Stack Overflow

Wasting my time

2013-07-25T17:15:00-05:00

今やってるプロジェクトではソースコードを研究室にあるSVNサーバで管理してるのだけど、個人的にはgit-svnを使って開発してる。細かくローカルにコミットするのとかが合ってるみたい。

今日も今日とて、たまってたリファクタリングを午後からやっていて、これがまた捗るんだ。

Eclipseのリファクタリング支援のおかげか、メソッドを分割したりとか、ロジックの順序を良い感じに入れ替えても一発でテストが通る。ので安心してガツガツリファクタリングしてたのさ。

で、あんまりうまい具合に進むもんだから途中でのコミットをすっかり忘れたのよ。なんかそういうリズムを崩したくないときってあるでしょ。

そんで結構いい感じで一段落したから、ローカルにコミットしようとしたわけ。そしたらgit statusがなんの結果も返さないわけ。あんた何も変更なんてしてないでしょっていうわけ。

確認用に置いといたSVN直のソースを直接変更してたのに気づくまでそこまで時間はかからなかったね。 SVNのトランクから持ってきたプロジェクトと、git-svnで持ってきたプロジェクトが並んでて、前者のほうをガツガツリファクタリングしてたって落ち。

そりゃあテストも一発で通るはずだわ、だってテストにクラスパス通ってる方のは手付かずなんだもの。

恐る恐るクラスパスを確認用プロジェクトに差し替えたら、まあエラーでるよね。これまでの3時間が無駄になった瞬間でした。

その勢いのまま半ばやけくそでこの記事を書いてます。もうちょっと現実逃避してからやり直そうと思います。

Bring the house down

2013-07-24T19:02:00-05:00

今日知った英語表現「bring the house down」、意味は…

「大喝采を浴びる」

いやー、いつかは大喝采を受けるような発表をしてみたいもんだ。

ちなみに目にしたのはこの動画の紹介欄。

この動画自体も微笑ましくて素晴らしいです。

New phone

2013-07-23T19:14:00-05:00

前々から怪しかった2年前に買ったプリペイドの携帯がついに壊れたっぽい。電話を受けることはできるけど、相手の声が聞こえない。

しょうがないので、新しいプリペイド携帯を買うことにした。実はiPhoneの5Sか6か新しいのが出たら今度こそ買ってやろうと思っていたのだけど、もっとも早い噂のでも発売まで1ヶ月以上あるから断念。

それでもつなぎの意味を込めて安いやつを選んだ。買ったその場でアクティベートしてもらったので、新しい番号になったが、その場では特に何も思わなかった。

というのもこの壊れたプリペイド、SIMカードが元々入ってない。ので、番号引き継ぎするのもSIM取っ替えるのよりはめんどくさそうだと。

ところが今ネットで調べたら、意外に簡単にできることがわかった。 (アクティベート中にやることがちょっと増えるだけ)

もうアクティベートしてしまった後だしなあ、とちょっと後悔する反面、 iPhoneに変えるときに今の電話番号に移せば混乱も少なく、かつ緊急用のサブとの2台持ちになるじゃん、とポジティブでもあるのだった。

Markdown, clickable image with link

2013-07-22T18:36:00-05:00

このブログの記事は(Multi)Markdownという記法で書かれているんだけど、リンク付きの画像はどうやるんだろう、と調べたのでメモ。

Markdownでは画像の埋め込みは![ALTテキスト](画像URL)で記述できます。

一方リンクは[リンクテキスト](リンク先URL)です。

さて、リンク付きの画像は一体どうすればいいんだろうと一瞬考えてしまったけど、単純に[![ALTテキスト](画像URL)](リンク先URL)と入れ子にしてやれば出来ました。

この辺がMarkdownのシンプルさだよねえ。とはいえ最初に試してみたときはBywordが認識しなかったので焦ったのであった。

og:image, Twitter cards, and Pubsubhunbub

2013-07-21T19:21:52-05:00

この週末で、ブログをいくつかアップデートしてみました。まずはog:imageを必要に応じて設定できるようにし、そのあとTwitter cardsの登録。最後にフィードをPubsubhubbubに対応させました。

個別記事のページを開くとhtmlのヘッダにmetaタグでいろいろ列挙されてるんですが、それはオープングラフという規格で、これらを指定しておくとフェイスブックや Twitterなどでシェアされたときに、タイトルや本文などを良い感じにしてくれます。まあ、シェアされたことは一度もないんですが。

その中には画像を指定できるタグ(og:image)があって、今までは固定の画像をつかっていました。今回これを指定した画像に置き換えるようにしました。例えば、この記事だと Taste of Chicagoのゲートが指定されるようになってます。

といってもPelicanのテンプレートをいじって、画像のパスが指定された時に置き換えるだけ。画像のパス指定はmarkdownのmetadataでします。そのためにimg:という項目を追加しました。

せっかくオープングラフも充実させたので、Twitter cardsにも登録してみたいと思います。 Twitter cardsの登録はここに指定項目を埋めて申請するだけでおｋ。実はここで、og:imageに固定画像は望ましくないと書かれていたので、今回の画像指定機能をつけようと思ったのです。申請には数日かかるかもと書かれてますが、数分で承認完了のメールが届きました。

最後にPubsubhubbub対応にしてみました。これは記事の更新をリアルタイムに通知することが可能な技術で、 Google先生が対応しているということで、その効果の程はわかりませんが、もしかしたら更新が即インデックスに反映されるかも、という期待を込めてやってます。

といっても単にここに書いてある項目にしたがっただけです。 ATOMフィードにlinkタグを追記しなければならないのですが、例によって、PelicanのATOMフィード生成に介入する方法を知らないので、フィード生成後にperlを使って必要な項目を追記しています。発行したことをGoogleのサーバに知らせるのはcurl --dataを用いました。

テストした限りでは、うまく行ってるみたいです。

Heat index over 100 these days

2013-07-18T18:35:00-05:00

暑い。

今日明日過ごせば土日だー、というところ、気温が急激に上がってます。いわゆる体感温度のことをHeat indexというのですが、Chicago Tribune紙によれば昨日は103°F、今日は105そして明日は108になるとのこと。実際の気温は95くらいらしいですが。

華氏 - Wikipediaによると、水が氷になる温度を32°F、沸騰する温度を212°Fとしてその間を180等分したもので、人の平熱が98.6ということなので、100超えともなれば暑いわけだなあ。

ちなみに計算式は℃=5/9(°F-32)で、自分で軽く計算するときは半分にして16を引き、それよりちょっと高いくらいと覚えています。

学校に着いてさえしまえば、ほとんどのところで冷房が効いているのでゆったり過ごせるわけですが、そこに行くまでのほんの10分ちょっとで、鞄を背負ってる背中に汗をかきます。といっても、日本もこの夏は暑いと聞くので弱音を言ってる場合ではないですね。

今日の○はお休みします。

Convert Byte[] to byte[] and vice versa

2013-07-17T20:20:00-05:00

Javaでプリミティブ型の配列と、クラス型の配列を相互に変換するのにスマートな方法ってないんだろうか。

Byte[] b1 = new Byte[10];
byte[] b2 = new byte[10];
// Byte[] => byte[]
int index = 0;
 for(Byte b : b1){
    b2[index++] = b.byteValue();
 } 
// byte[] => Byte[]
index = 0;
for(byte b : b2){
    b1[index++] = b; // 勝手に変換される
}

参考：java - how to convert byte[] to Byte[], and the other way around? - Stack Overflow

プリミティブ=>クラスはオートボクシングされるとはいえ、それでもイテレーションが必要なことに変わりはないしなあ。

ArrayUtils (Commons Lang 3.1 API)というものを見つけたけど、そこまではちょっと。

Why you shouldn't close the System.in

2013-07-16T18:14:00-05:00

メンバーからBufferedReaderが例外を投げると聞かれたので、調べてみました。

サンプルコードはこんな感じ。これも例外処理とか投げっぱなしですが、そこはまあ適当に。

public static void main(String[] args) throws Exception{
    {
        Reader r = new InputStreamReader(System.in);
        BufferedReader br = new BufferedReader(r);
        String s = br.readLine();
        System.out.println(s);
        br.close();
    }
    {
        Reader r = new InputStreamReader(System.in);
        BufferedReader br = new BufferedReader(r);
        String s = br.readLine();
        System.out.println(s);
        br.close();
    }
}

同じブロックが並んでますが、2つ目のブロックのreadLine()でStream closedというIOExcepitonが出ます。なぜかというと、1つ目のブロックの最後で、br.close()する際に、System.inもクローズしてしまうからです。

System.inというのはSystemクラス内にpublic staticで定義されています。なので1度クローズすると他の場所で使おうとしても閉じられたままです。もっと言えば再オープンもできません。のでSystem.inやout、errはクローズしてはいけません。

とのことでした。

対処法としてはSystem.inはクローズしなくてもいい。ということですが、それでもReaderやWriterを使った後に閉じないと気持ち悪いという人もいると思います。そんなときは、InputStreamReaderを継承して、close()だけを何もしないようにオーバーライドした、UnclosableInputStreamを作ってみてはいかがでしょうか。サンプルコードはこちらなどにあります。

あるいはApache Commons IOのCloseShieldInputStreamという手もあるそうです。

Finer volume adjustment by keyboard on Mac

2013-07-15T16:06:00-05:00

shift+option+fn+(F11 or F12)で音量を1/4単位で細かく調整できることを知ったのでメモ。

参照元: Macの音量を通常より細かく微調整する隠れ技 / Inforati

Taste of Chicago

2013-07-15T15:25:13-05:00

昨日はシカゴにあるレストランの屋台が広場に一同に集う一大イベントTaste of Chicago の最終日だったので行ってきました。

というわけでやって来ました。

バンドがライブしてたり

公園内に噴水があったりします。

なにはともあれチケットを入手。12枚シートで8ドル、を2組買いました。

早速チケット10枚をハンバーガーと交換。ついでにドリンクの試供品ももらいました。

ブラックアンガスバーガーです。

ごちそうさまでした。

次の獲物はフライドポテトwithカレー。チケット4枚でした。残りは10枚。

ワインバーなんかもあります。が、チケットの枚数的にパス。

なので隣のビアホールへ、チケット6枚でした。

最後のデザートはスイカ。チケット4枚全部使いました。

ごちそうさまでした。

ほとんどの屋台がメイン(チケット8-12枚)と、一口用(2-5枚)の食べ物を用意してくれているので、いろんな食べ物にトライすることもできるし、メインをがっつり食べることもできます。それにしてもめちゃくちゃ暑かったです。

おまけ。帰りに見つけたとても親近感のわくシカゴのロゴ。rn4ru的な意味で。

Can you talk about Japanese political system in English?

2013-07-11T19:41:41-05:00

この前、友人と食事に行った時に時期柄もあるのだろうけど日本の政治と選挙システムの話題になった。日本でさえも政治の話なんかしたことないのに加えて、英単語が出てこなくて焦る。というわけで英単語のお勉強。

こんなときWikipediaはいいリソース。1つの記事がいろんな言語で翻訳されてる。世間話くらいならちょっとくらい情報が不確かでもいいんじゃないの。

なになに、国会はNational Dietというらしい。Dietには食事という意味もあるけど議会という意味もあるのね。ちなみにアメリカではCongress。

衆議院はThe House of Representativesで参議院はThe House of Councillors。今回の比例選挙、非拘束名簿式は(the most) open listというらしい。

英単語だけを考えてると内閣からgovernmentもとっさにはでてこない。連立政権はCoalition government。ねじれ国会はぱっと見英語版の記事がなかったので、スペースアルクの“ねじれ国会”の検索結果へ、 the twisted Dietってホントか〜？

三権分立は立法(the legislation)、行政(the exective)、司法(the judiciary)と、まあこのへんにしておいて、日本のWikipediaの記事から英語の記事に飛ぶのはなかなかおもしろいのでオススメです。

で。そのときはどうしたかというと、幸いその友人が日本語をよく知っていたので「コッカイ」とか「サンギイン」とか交えながらすすめたけど、いまいちよくわからなかっただろうなあ。興味を持ってくれるのは嬉しいことなので、選挙が終わったら改めて話してみよう。

Enhance your Day One journals with Slogger

2013-07-09T19:18:00-05:00

日記アプリのDay One、iOS版が7月9日現在無料になってるんだけど、 Mac版とSloggerというユーティリティを組み合わせることで、色んな物を自動的に記録することができるよ、という話。

SloggerというのはMarkdownビューワのMarkedを開発した Brett Terpstra氏が作ったコマンドラインユーティリティ。

Sloggerを使うと、さまざまなプラグインを利用することで、1日のツイートやRSS、その日に終わらせたタスクなど、何から何まで全てをDay Oneのジャーナルに集約することができる。

デフォルトで対応してるのは、以下のとおり。

Github
Flickr
Last.fm
Blog entries
RSS Feeds
Twitter
Instapaper
Foursquare
Pinboard
Pocket
Goodreads
App.net
OmniFocus complete tasks

Install

SloggerのプロジェクトをGithubからダウンロード(cloneでもおｋ)して解凍。そのディレクトリをどこでも好きなところに置く。
ターミナルでそのディレクトリに移動した後、以下のコマンドを入力。
```
sudo gem install bundler
bundle install
```
デフォルトのプラグインは/plugins/に置いてあるので、その他必要なものを/plugins_disabled/から持ってきたり、逆に不必要なものを移動させたり。
最初はコンフィグファイルを作る必要があるのでターミナルで以下のコマンドを入力。
```
./slogger --update-config
```
1. できたslogger_configに必要項目を設定していく。"storage:"、 "image_filename_is_title:"、"date_format:"、"time_format:"の4つは必須項目。
"storage:"は"icloud"、Dropboxに同期されてるDay Oneのファイル (例えば/Users/username/Dropbox/Apps/DayOne/Journal.dayone)、またはmarkdownファイルと画像を保存するフォルダから選べる。 Day OneをiCloudで同期する設定にして、iCloudを選ぶのが一番簡単。

"image_filename_is_title:"はtrue/falseで、インポート時にファイル名を画像のタイトルにするかどうか。

"date_format:"と"time_format:"はstrftimeの書式にそって好きなように設定できる。
その他、プラグインごとに必要な設定を埋めるんだけど、例えばユーザ名とかRSSのURLとか、そんなに難しいこともないはず。
設定し終わったら、次からSloggerを起動(ターミナルで./slogger)する毎に指定した項目が勝手にジャーナルに書き込まれる。

確かTwitterだけoAuthの関係で初回にインタラクティブに認証する必要があるはず、でもそれもコマンドの指示に従っていれば問題ないです。

毎回手動で起動するのもかったるいので、OSのサービスに登録するスクリプトもオマケでついてくる。 install.rbがそれで、実行すると毎日午後11時50分にSloggerが自動起動するようになる。アンインストールしたいときは/Library/LaunchAgents/com.brettterpstra.slogger.plistを削除すればおｋ。

その他オプションなど詳しいことは本家のドキュメントを読んで下さい。自分はダウンロードしたそのままといくつかプラグイン入れて使ってるけど特に不自由ないです。

本文で使用したDay Oneの画像はMacアプリのアイコン画像をあっという間に作成 | MacとiPhoneたまにWindows を参考にしました。

Extend html head with Jinja2

2013-07-08T16:24:00-05:00

ちょくちょくPelicanのテンプレートいじったりしてるんだけど、記事が個別に表示されるときだけFBのOGPタグを出したかったのでちょっと調べた。

PelicanはJinjaというDjangoに影響されたらしいテンプレートエンジンを使ってるので、まあそのドキュメントを見ればいいかなと。

なんでもbase.htmlに書いてあるheadタグ内に継承先から追記することができるらしい。つまりbase.html冒頭が以下の様な感じだったら、

<!DOCTYPE html>
<html>
    <head>
    {% block head %}
        <title>rn4ru diary</title>
        <!-- 以下略 -->
    {% endblock %}
</head>

継承先のarticle.htmlでは

{% extends "base.html" %}
{% block head %}
{{ super() }}
<!-- 追記したい内容をここに -->
{% endblock %}

という風にheadブロック内に追記することができる。 {{ super() }}というのは継承元(つまりbase.html)のheadの中身をそのまま出力してるみたい。

最初base.htmlに{% block head %}が書かれてなくてハマったのでメモ。

Remove invalid Characters from RSS XML

2013-07-06T12:55:00-05:00

このブログの生成にはPelicanっていうサイトジェネレーターを使ってるんだけど、生成されたRSSをブラウザで見ると、なんかエラーがでてたので調べてみた。

character encoding - PHP generated XML shows invalid Char value 27 message - Stack Overflow

なんでも、XMLで使えないUTF-8文字が含まれてるときに出るエラーらしく、それをすべて置換しないといけないらしい。

とりあえず解答にのってるPHPコードみたいなのを生成後に走らせたら出なくなったので、解決？したのかよくわからないけど、まあ直ったからいいか。

perl -i.bak -CIO -nlp -e 's/[^\x{0009}\x{000a}\x{000d}\x{0020}-\x{D7FF}\x{E000}-\x{FFFD}]+//g' /path/to/feeds/*.xml

Perlのワンライナーについてはこちらを参考にさせてもらいました。

Independence Day

2013-07-04T08:46:00-05:00

今日はアメリカの独立記念日、Independence Dayなので、お決まりのこの動画でもどうぞ。

Timeout for reading input from System.in

2013-07-02T18:17:00-05:00

BufferedReader.readline()ってスレッドをブロックするから途中で処理やめることできなくて嫌だよね、って話がグループ内で話題になったので調べてみると、BufferedReader.ready()でI/O待ちするかどうかを判断できることを知ったのでとりあえずサンプルコード。

タイムアウトを10秒に設定して入力待ち。

例外処理なんかは適当に。

public static void main(String[] args) throws IOException, InterruptedException{
    BufferedReader r = new BufferedReader(new InputStreamReader(System.in));
    String str = "timeout";
    Calendar end = Calendar.getInstance();
    end.add(Calendar.SECOND, 10);
    while(Calendar.getInstance().before(end)){
        if(r.ready()){
            str = r.readLine();
            break;
        }
        Thread.sleep(1);
    }
    System.out.println(str);
}

参考: [JavaSpecialists 153] - Timeout on Console Input

記事のタイトルは日本語よりも英語のほうが見栄えがいいみたい。フォントの問題だろうけど、細かく見る気力なし。