市場バグを引き起こした優秀なデータたち - ボドゲを愛するテスト屋さん
※この記事は「ソフトウェアテストの小ネタ Advent Calendar 2017 - Qiita」用の記事です。 ソフトウェアテストの小ネタ 2日目担当のオムそばです。 実はちゃんとした(?)記事を書くのはこれが初めてなので、生暖かい目で見ていただければ。 そんなわけで早速表題の件、市場バグを引き起こした優秀なデータたちをご紹介します。 今回は、よくある「半角記号」、「空白やスペース」などは割愛させていただきます。 (2017/12/26追記)"市場バグ"という言葉に違和感や疑問を持たれた方は、こちらの記事をどうぞ。文言について整理してみました。 ■日時に関するデータ ・1969/12/31、2038/1/20：UNIX系のシステムに有効なデータ。UNIXのシステム時刻は1970/1/1 開始なので、それ以前のデータを打ち込むと予期せぬエラーが発生する可能性がある。また、同様に2038/
Princess
Princess — The Scala Theorem Prover Latest release: 2024-01-12 Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic with uninterpreted predicates, written entirely in Scala. Princess can reason about problems in integer arithmetic, augmented with predicates that can be axiomatised arbitrarily. Such problems can contain arbitrary quantifiers to express that some formula is suppos
ユーチューブ、わいせつコメントが投稿された子どもの動画15万本を公開停止
動画共有サイト大手「ユーチューブ」のロゴとウェブカメラ（2013年6月28日撮影）。(c)AFP/LIONEL BONAVENTURE 【12月1日 AFP】米グーグル（Google）傘下の動画投稿サイト「ユーチューブ（YouTube）」は11月30日、視聴者によってわいせつなコメントが投稿された動画15万本の公開を停止した。広告主にイメージを損なわないことを保証することが狙いとしている。 ユーチューブは同日、問題のある多数の動画とアカウントを削除したと発表した。 ある英紙は最近、それ自体には問題のない子どもや10代の若者たちの動画に、視聴者から小児性愛的なコメントが集まってしまい、そのすぐ横に大手ブランドの広告が意図せずして掲載されている実態について伝えた。こうした状況を警戒し、ユーチューブへの出稿を取り下げる広告主がいることも報道で指摘されていた。 米コンピューター大手ヒューレット・パ
■ - golden-luckyの日記
ある出版社が電子書籍の直販サービスを一方的に打ち切るというニュースが今日あり、自分は前にその出版社で編集者をしていて、打ち切られることになった電子書籍の直販サービスにもわりと近いところにいたし、たぶんぼくが作ったいた本は、その電子書籍の直販サービスでいまだにとてもよく売れているはずで、それなのにどうやら著者や訳者に一切の連絡もなく打ち切られたらしく、まあ、一カ月前にくだんの直販サービスを立ち上げたぼくの先輩であるフルスタック編集者がやめたことを考えると、遅かれ早かれこうなるのは目に見えていたので、このニュース自体にまったく驚きはなかったんだけど、こうやってその日がくると、あのときの編集チームを社内政治にからめてつぶした人たちにはほんとうにあきれるし、当時のポジティブな気持ちとか、誇らしさとか、楽しさとか、そういうのを思い出してしょっと憤慨するし、でも、こうしてぼくは自分で編集チームをまた持
Elmはどんな人にオススメできないか - Qiita
はじめに 高品質なWebフロントエンド開発を可能にするためのプログラミング言語Elm。その長所を上げればキリがありません。 強い型制約によって実行時エラーをほぼゼロにできること リリースごとに言語機能が減るというどこまでも考えつくされたシンプルな設計 それでいて実用的なアプリケーション開発にとことん貪欲な機能たち まともなパッケージマネージャー テストしやすさ ...... 一方で、そういった強力な武器たちの切れ味を保つために他の言語とは異なる事情を抱えています。 本記事では、その特有な性質がゆえに誤解されてしまうことも多い Elm というプログラミング言語について、誤解を解きながら、唯一無二の魅力をお伝えしていきます。 この記事を書いた当時は Elm 0.18 の時代でしたが、Elm 0.19 が出た今でも変わらない内容です。 Elm の根幹部分について言及した記事なので、今後 Elm
「スマートドラッグ」２７品目、処方箋ない個人輸入禁止：朝日新聞デジタル
「頭がすっきりする」「記憶力向上」などの「効果」をうたい、インターネットを通じて個人輸入されている「スマートドラッグ」２７品目の個人輸入について厚生労働省は１５日、原則禁止することを決めた。医師の処方箋（せん）や指示書がなければ、輸入を認めないようにする。一般の意見を聞いたうえで、年明けにも規制する見通し。 スマートドラッグは、ネット上で販売されている製品で健康被害や乱用につながる恐れがあるものもある。本来の目的から外れて使われるケースがあると懸念の声が上がっていた。厚労省は今年６月に規制方針を決め、ネットで販売されている薬を調査。学会の専門家らから意見を聞いてきた。 この日、規制対象に決まったのは、てんかん薬「ピラセタム」や注意欠陥・多動性障害（ＡＤＨＤ）の治療薬「アトモキセチン」、意識障害改善薬「シチコリン」など２７品目。これまでは個人使用のためであれば１、２カ月分は輸入できた。今後は
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OSSの敵になるのもいいじゃない
Elixir から Elm の流れで、いよいよオブジェクト指向に対する懐疑心が無視できないレベルに達した2017年冬。 – ゆびてく