タグ

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

  • 酒器を持ち、寝台特急サンライズに乗り込んで、香川でうどんをたらふく食べる - 今夜はいやほい

    夜行というのはなんだか不穏な響きがある。これは、寝て起きたら、全く知らないところに突然放り出されるということに起因するのではないかと思う。 赤い車体がなおのこと怪しい印象を強める寝台列車、サンライズ瀬戸に乗り込んだ。東京から高松へと向かう便である。ライトに照らされた細い通路が奥へ奥へとと続いている。入り口すぐのところが、どうやら僕の部屋であるらしかった。 乗車前日、ビールについていろんな作家が何事かを書いているを読んでいた。パラパラページをめくっていると、恩田陸の文章に目をひかれた。何やらその文章を読んでいると、旅先の列車の中で飲むビールに勝る幸福はない、その際、ただの紙コップで飲み始めるなどというのは、旅情を解さない者のやることで、ちょっと気の利いた酒器のひとつでも持ち込んでいるのであれば、その幸福は一段も二段も高まるものなのであると、自信ありげに書かれていたのだ。 旅行も好きで、酒も

    酒器を持ち、寝台特急サンライズに乗り込んで、香川でうどんをたらふく食べる - 今夜はいやほい
    wyukawa
    wyukawa 2022/05/16
    サンライズに乗りたくなってきたな。それはそれとして恩田陸は列車で飲む時のおすすめおつまみはタンドリーチキンもしくはシュウマイって言ってるのか。
  • 自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)

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

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)
    wyukawa
    wyukawa 2012/09/24
    これはすごい。テストケースの絞り込み、検証プログラムの作成、形式仕様記述言語の試みなどが書かれている。
  • 1