ご紹介いただいたリンク、めちゃくちゃ面白いですね。オムロンが自動改札機をどうやって開発・テストしているかという話。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人間のクズ。はじめ、障碍者の苦境。)に転載したものから。---TextPorterは、サーバ組込用のテキスト抽出エンジンです。PDFなど様々なアプリケーションのファイルから文字列を抜き出します。TextPorterは、対応ファイルの多さなどが評価され、ウェブサービス、パブリッククラウド、プライベートクラウドなどで、検索エンジン、ウイルス対策ソフト、企業機密の漏洩を防ぐソフトなどに利用されています。2013に対応しました。Officeのパスワードで保護された暗号化ファイルにも対応しました。一太郎2012にも対応。関連:http://iiyu.asablo.jp/blog/2013/04/16/6778805OfficeなしでOffice文書をPDFや画像に。)に転載したものから。30このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。ネットの闇に巣喰う人々」Packtの5ドルセールまだやってた。Ecto」アンテナハウスのオンデマンド本。勝手に講談社ブルーバックス祭り。一行野郎(1行野郎)。(日本語)、法律入門でベストセラー1位。いじめと戦うためにも、子供も法律で理論武装せよ。講談社ブルーバックス、奄美の海底にミステリーサークルを作る、かわいいアマミホシゾラフグ。下関の水族館で観たシロナガスクジラのあれ。オライリー・ジャパンから、プログラミング言語Juliaの日本語の本が出てた。Juliaプログラミングクックブック\(^O^)/ますますLisp化するC++。スパークガード50「要介護の親を廃人にしたくない」なら必ず知っておきたいこと。ブラックホールってすごいやつ。C++には、5合目から始める入門書がないのか。太宰府に車で行ったらいけんよ。太宰府インターから太宰府天満宮の駐車場まで、6時間かかったよ。お笑い芸人、はなわと、漫才ナイツの漫才師、塙宣之は、兄弟。第2版」ノーベル経済学賞、リチャード・セイラ―の「行動経済学の逆襲」は文庫が出ていた。いまの限定は「豆乳担々麺」。