ご紹介いただいたリンク、めちゃくちゃ面白いですね。オムロンが自動改札機をどうやって開発・テストしているかという話。http://www.publickey1.jp/blog/12/_1040.html自動改札機の運賃計算プログラムはいかにデバッグされているのか?10の40乗という運賃パターンのテスト方法を開発者が解説(前編)2012年9月24日http://www.publickey1.jp/blog/12/_1040_1.html自動改札機の運賃計算プログラムはいかにデバッグされているのか?10の40乗という運賃パターンのテスト方法を開発者が解説(中編)2012年9月24日http://www.publickey1.jp/blog/12/_1040_2.html自動改札機の運賃計算プログラムはいかにデバッグされているのか?10の40乗という運賃パターンのテスト方法を開発者が解説(後編)読むと、京王線の話がよく出ている。オムロンも情報省のフロント企業や。\(^O^)/九大(九州大学)の荒木先生、この事例、知ってるかな。有益な情報提供ありがとうございました。追記:オムロンの事例、荒木先生に訊いたら、当たり前だけど、よくご存じだった。教えてやるけん、中洲に来いだって。Abstractions」の翻訳のこと、フォローしてなかった。2011年7月に、ちゃんと出てます。(翻訳)オーム社にある紹介。―Alloyではじめる形式手法もりたさんが障碍者ということで、その関連。地域に根ざしたリハビリテーション、障害者の社会開発、ケアを問いなおすhttp://iiyu.asablo.jp/blog/2012/12/29/6673818人間のクズ。はじめ、障碍者の苦境。障害者が語る“この一年”[コメント(0)|トラックバック(6)]コメントコメントをどうぞ※メールアドレスとURLの入力は必須ではありません。入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。※なお、送られたコメントはブログの管理者が確認するまで公開されません。※投稿には管理者が設定した質問に答える必要があります。)に転載したものから。)に転載したものから。)に転載したものから。---お買い上げありがとうございます。)に転載したものから。)に転載したものから。---お買い上げありがとうございます。)に転載したものから。30このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。Twitterは、@shownakamurahttp://twitter.com/shownakamura携帯からアクセス最近の記事うっかりQRコードを読んだらアウト。QRコードを悪用した驚きの攻撃。「悪魔の双子」の偽Wi-Fi攻撃のことも。今、紫金山・アトラス彗星という彗星が見える。府中でも見えたという報告が。今度の月曜日(2024/10/14)、府中第四中学校(府中四中)合唱部がNHK全国合唱コンクール(Nコン)に出る。府中福祉まつり、初めて府中四中の合唱を生で聴いた。~30歳になった私からのメッセージ~」。おんがくこうろん」新シリーズ。初回は、ジャズ・ピアニスト、キース・ジャレット。ドネルケバブ&ナンハウス今日からNHKでアニメ「チ。-地球の運動について-」が始まるよ。~30歳になった私からのメッセージ~」。H3ロケット、朝日カルチャーセンター、はやぶさ2プロジェクトリーダー津田雄一の講義、今も活躍し続ける、はやぶさ2日本では、顔認識も顔識別も何でもかんでも顔認証と言うから、無知がバレバレ。将軍」が、今年のエミー賞で歴史的大快挙で思うことミッテン府中で、2024/09/23(月)までイベント「府中で宇宙」やってるよ。スタードーム、府中市郷土の森博物館のプラネタリウム。世界でいちばん素敵な宇宙の教室、世界でいちばん素敵な夜空の教室、世界でいちばん素敵な月の教室テレビ東京「新美の巨人たち」に門司港駅が出るよ。「新美の巨人たち」は、情報省ネタが続いてるねガブリエル・ガルシア=マルケス「百年の孤独」が、Huluでドラマ化タンチョウ、ツルの自動車事故。ツル、白鳥、フラミンゴ、ペリカンなどは急には飛べません。情報省のスパイ\(^O^)/翔泳社のセール、今日までPDF版は50%ポイント。名著、ロングセラーコンピュータ書。Guixのパッケージに入った\(^O^)/翔泳社のセール。スナイプは、やっぱりゴルゴ13だった\(^O^)/インプレス、620タイトル以上\全品50%OFF以上/【プライムデー】Kindle本キャンペーン。夏の超ビッグセール!約600点がKindleストアで50%OFF府中が今年の都内最高気温39.2°C。維新が進める大阪万博・カジノ(IR)の応援歌。最近のトラックバック今度の月曜日(2024/10/14)、府中第四中学校(府中四中)合唱部がNHK全国合唱コンクール(Nコン)に出る。府中福祉まつり、初めて府中四中の合唱を生で聴いた。~30歳になった私からのメッセージ~」。-地球の運動について-」が始まるよ。今日からNHKでアニメ「チ。-地球の運動について-」が始まるよ。~30歳になった私からのメッセージ~」。