[B! 鉄道] robamotoのブックマーク

robamoto id:robamoto

鉄道に関するrobamotoのブックマーク (2)

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

ソフトウェア

鉄道
リンク
駅ノート
バイクで野宿ツーリングしてるとき、鉄道も好きなのでよく無人駅に寄ってるんですが、雰囲気が気に入った駅に旅ノートがあると”まったりDRer”って名前で駅の絵とか落描きしてます。そーゆーのでデジカメで撮ってたものをまとめました。そこそこまともな絵芸備線道後山駅廃三江線信木駅廃ふるさと銀河線薫別駅廃 JR石勝線東追分駅廃 JR江差線　神明駅① ② 廃ふるさと銀河線川上駅① ② JR宗谷本線糠南駅① ② JR肥薩線大畑駅 ① ② ③ ④ 廃 JR山田線大志田駅廃ふるさと銀河線様舞駅廃 JR宗谷本線智東駅 ① ② JR肥薩線嘉例川駅 JR宗谷本線日進駅 ① ② JR飯田線田本駅① ② JR指宿枕崎線西大山駅 ① ② ③ JR土讃本線坪尻駅 ① ② JR土讃本線新改駅 ① ② JR芸備線備後落合駅 ① ② くま川鉄道川村駅 JR飯田線中
robamoto 2008/06/13
絵師

鉄道
リンク
1