自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡

欧州南天天文台（European Southern Observatory、ESO）が公開した天の川銀河（Milky Way）のイメージ画像（2012年1 月11日提供、資料写真）。(c)AFP/ESO/M. Kornmesser 【9月24日 AFP】国際天文学連合（International Astronomical Union、IAU）は21日、天文学で用いられる距離の単位「天文単位（Astronomical Unit、AU）」の長さとして新たな数値を採用したと発表した。 天文単位は太陽と地球との平均距離で、天体間の距離を表すために使われる。これまで天文単位はモデルや観測などに基づいて経験的に決められてきたが、3メートルの誤差があったという。 今回のIAU決定により、天文単位の長さは1億4959万7870.7キロメートルになった。北京（Beijing）で8月20～31日に開かれたIA

Mozc+dictを作るのをやめました Launchpad PPAの利用規約とMozc+dictはそぐわない、という指摘を受けました。やめるのにちょうどいい機会だと思うので終了します。awkやrubyによるテキスト処理の勉強ができて、私は満足。今後、野良リポジトリのMozcはどうなるのかUbuntu 12.04 mozc-server+dictは消えますが、mozc-serverは更新を続けます。そんで、次にMozcがバージョンアップする時、mozc-server+dictをインストールしている人に対し、自動的にmozc-serverへ戻る処理を入れる予定です。辞書がオリジナルに郵便番号を加えただけのものになります。Ubuntu 11.10/11.04/10.04、Debian 6、CentOS 6 リポジトリのMozcはもうバージョンアップしません。そのままです。最近のMozcは「ibu