自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその

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

「ハゲは遺伝するの？」「親族がハゲてるから、自分も将来ハゲるのかな」とハゲの遺伝について気になっていませんか？ ハゲは遺伝すると言われていますが、親族の誰がハゲているかによってあなたがハゲる可能性は高まったり低くなったりします。 本ページでは育毛アドバイザーとして過去に300人以上の育毛のお手伝いをしてきた筆者が、ハゲと遺伝の関係やハゲの対策についてを以下の流れで紹介していきます。 ハゲが遺伝するって本当？ハゲは誰から遺伝するのかハゲる遺伝を持つ方の予防と対策遺伝以外の理由でハゲる6つの原因このページを最後まで読めば、遺伝とハゲの関係についての疑問が解消するでしょう。 1. ハゲが遺伝するって本当？結論から言うと、ハゲは遺伝します。しかし、父親や親族がハゲていて遺伝要素が強かったとしても、ハゲは改善することが可能です。 まずはじめに、ハゲが遺伝する理由と、気になる「遺伝のハゲでも予防はでき

四本さんは東大の教養学部がある駒場キャンパスの准教授なので、大学に入ってほやほやの1年生の講義を受け持つことがある。その時のエピソードをもって、まず想像してほしい。 「駒場の1年生の心理学の講義で、最初にやるんですよ。血液型性格判断がいかに正しくないか、科学的じゃないか。でも、結構な数の子があれでショックを受けちゃうんですよね。今まで信じてましたって。でも、サイエンスとしての心理学の講義をとる以上、そこのところはちゃんとしてほしいです。血液型性格判断は、もう100パーセント非科学的なんですけど、ただ、血液型性格判断を信じてしまう人の心理っていうのは、おもしろい研究対象ではありますね」 血液型性格判断については、もう信奉する人が度を越していて、ぼくもうんざりなので、四本さんのこの姿勢には大いに共感する。それが「正しくない」「科学的じゃない」理由については、本稿のカバーする範囲ではないと思うの

科学雑誌「Ｎｅｗｔｏｎ」を発行している東京の出版社の元社長ら２人が定期購読者に対し「タブレットを使った教材の開発に出資すれば確実にもうかる」などと持ちかけて違法に金を集めていたとして、出資法違反の疑いで逮捕されました。警察によりますと、元社長は「お金を借りただけ」と容疑を否認しているということです。 警察によりますと高森元社長らは、社長当時のおととし３月にかけ、島根県などの３人の定期購読者に会社の名前のパンフレットを送り「タブレットを使った小中学生向けの理科の教材の開発に出資すれば元本を保証して年に５％の利息を支払い確実にもうかる」などと持ちかけて、１２００万円を違法に集めたとして、出資法違反の疑いが持たれています。 警察によりますと、調べに対し、高森元社長は「お金を借りただけ」と容疑を否認しているということです。 ニュートンプレスは、科学雑誌「Ｎｅｗｔｏｎ」を発行していて、警察は２人がほ

群馬・新潟を中心に展開しているコンビニ「セーブオン」をご存知だろうか。つい先日、来年中をめどに全店舗をローソンに転換すると発表があった。 知らない人にとっては、「そんなコンビニがあったんだね！」というところから始まる話なのだと思う。だが、知っている人間（わたし含む）にとっては、すこーんと腰が抜け落ちそうな勢いの大事態だ。 今日現在、セーブオン独自の取り組みが完全になくなるかどうかはまだ定まっていないようだ。ならば今のうちに、なくならないで欲しい文化を実食しながらお伝えしたい。

ここ最近熱狂的な盛り上がりを見せ、ネット上の話題を独占しているアニメ『けものフレンズ』。 「すごーい！」「たのしー！」といったフレーズが大流行し、その独特のユルさから「見るとIQが溶ける」というような評価？ を集めている。 ニコニコ動画での第1話の再生回数は150万回を超え、まだまだ勢いが衰える様子はない。 『けものフレンズ』はアニメやマンガを含めたメディアミックスプロジェクトで、その先駆けとなったのが2年前の3月に始まったスマホゲーム版だ。 しかし思うようにユーザー数が伸びなかったのか、昨年12月にアニメの開始を待たずひっそりとサービスを終了。アニメから入った多くの視聴者にとっては、ゲームをやりたくてもできない状態となってしまった。 一体なぜ『けものフレンズ』はこれほどまでに流行っているのだろうか？ そしていつの間にか終了していた幻のスマホゲーム版はどんなアプリだったのだろうか？ 電ファ

長谷敏司 9000字インタビュー 『ＳＦの意義、ライトノベルの意義』、或いは『人工知能は小説家の夢を見るか？』 序文 このインタビューは 「2016年度 日本大学芸術学部 文芸学科 青木Ⅲゼミ」の実習として作成し、実習誌『デアイノマガジン』に掲載した原稿を再録したものです。 （画像　ゼミ雑誌書影） インタビューを受けていただいた長谷敏司先生、取材・編集の際に助けていただいた青木敬士先生と友人の梅津くん、ありがとうございました。 初めに―― 今回のインタビューの目的と、終着点　――今回はＳＦ、ライトノベルなど複数のレーベルで執筆活動をなさっている作家、長谷敏司先生に「ＳＦとライトノベルの意義」「ＡＩと創作の関わり」といったキーワードを主軸に据えてお話をお伺いできれば、と考えています。　また以上を踏まえて「今、作家を目指す学生へ向けたメッセージ」なんてお話もお聞きしてみたいです。よろしくお願い

３９歳以下の世帯主の家計の消費意欲が２０１６年、過去２０年で最低だったと経済財政諮問会議（議長・安倍晋三首相）の民間議員が１５日の会議で報告した。政府は将来不安などが背景にあるとみて今後、子どもの教育費の負担を減らす策などを検討していく。 所得に占める消費の割合を示す消費性向を調べたところ、消費税率を８％に上げた１４年４月から全体的に消費の割合が減る中でも、３９歳以下の低迷が目立ち、１６年は６５・３％。１５年に続いて、１９９５年以降の過去最低を更新した。 低迷する消費の活性化策として政府が期待する「プレミアムフライデー」も、この日の会議で議論になった。月末の金曜の仕事を午後３時に終えようという呼びかけだが、安倍首相は「政府もできる限り多くの職員が楽しめるよう工夫をしたい」と述べ、国家公務員も利用しやすくする意向を示した。

「『デイリーポータルZ』はどうなるのか」――1月31日、ネットに心配の声があふれた。同日、富士通が子会社ニフティの個人向け事業をノジマに売却すると発表。ニフティの“看板”とも言える人気サイト・デイリーポータルZ（DPZ）の今後に注目が集まった。 デイリーポータルZは今後どうなるのか。昨春からのニフティをめぐる一連の動きの中で、何を考え、どう動いてきたのか。編集長の林雄司さんに聞いた。 「この先どうなるのかな？」と不安に ――いろいろありましたね……。 そうですね。去年の4月末にニフティの上場廃止が決まって。その時点で親会社の富士通は、ニフティのコンシューマー部門とエンタープライズ部門を分けて、コンシューマーは売るかもしれない、と発表していました。その時は「そうなんだなあ」と。 僕、社内の持ち株会に入ってたんです。すごい持ってたんですよ、株。IT企業の社員が自社株持ってるともうかるって言うじ

友達には話してないけど案の定ADHDだ。うちの母親も父親もその気があるので遺伝率ぶっ高い。前々からwebとかのセルフチェックやると「気になるなら通院」とか言われるし、時間などの約束を守るのがなんかツラいので時々すっぽかすのはよくある。いや、つらいって言うか、単純に感情云々の前にスイッチが入らない。スイッチが入らないから仕事の納期とか結構遅れるし、部屋は汚いので時々テレビでゴミ屋敷の特集やってたらいつか自分がそうなるんじゃないかと思ってゾッとする。他にもいろいろあって毎日憂鬱になる。同じく怒りのスイッチが入っちゃうとキレたら止まらないのも時々ある。母親もちょっとアレなのでこの間、 「もう少し自立してください。」 って何も考えずに言われたので何十年ぶりに大喧嘩したけど、母親はどうして俺が怒ったのか一生理解出来ないと思う。何も考えてないし、昔からそういう人だから何も考えずにズケズケ言うのでなるべ

こんにちは。イブニングで2話掲載がよくあり(よくあるのです)、今回もなのですが、誌面にカラーでブログ再現という地獄のようなことをやっていて、掲載分のエントリについてブログに起こすのは後回しにしてくれろという取引がございます。のでこれはそっちではない方のエントリです。 文脈ですが、少し前にアコウとアンコウを間違えて買ったけど食ったら旨かったというのがあり、それどこでアンコウ鍋をやった時は味が全くしなかったんですがあれは水を入れすぎが原因なのがはっきりしました。で、食ってうまいしなんなら吊るし切りもやってみたく、さらに漫画も描けるから経費パワーも使えるという、デメリットが一切ない企画です。最近は「周囲の人だかりが去った後の自分に職能がどれだけ残されているか」「人間はいきなり死ぬ」について主に考えています。 アンコウは色んなとこで売ってるはずですがショップ情報には詳しくないので、折角だから大洗に

新聞に株価が乗らない #東芝に東証2部の怖さを教える — りゅうGOびっち (ryu___) 2017, 2月 16 1部と比べ時価総額が20億くらい違う #東芝に東証2部の怖さを教える — ぽん (jubilomario) 2017, 2月 16 先に落ちたシャープにズっ友と言われる。 #東芝に東証2部の怖さを教える — としてき (tosteki) 2017, 2月 16 株主総会とかいう名のサポーターミーティングが絶対荒れる #東芝に東証2部の怖さを教える — 熱血ぬるサポ@ 2/18vs鹿島（日産） (a_mo_mendokuse) 2017, 2月 16 タニタには勝てると思ってたら来年も2部 #東芝に東証2部の怖さを教える — ゆー@2/26開幕戦！ (neccoUK) 2017, 2月 16※タニタは非上場。タニタ食堂を運営するのは東証二部 3082（株）きちり http:/