「形式手法入門」P157 「6.2.5 イベント駆動スタイル」 ref: http://qiita.com/kencoba/items/d3c91be08a871ccd4014