英国の宝くじ「ロト」は27枚買えば“必ず当たる” 英数学者が23年に発見 その方法とは？
研究チームは、27枚の宝くじで当選を保証できることを証明するのは比較的簡単だったが、26枚では不可能であることを証明するのが非常に難しかったと述べている。26枚で不可能であることを検証するには、宇宙の原子の数よりも多い10の165乗もの計算が必要だという。 この問題を解決するために、研究チームは1970年代にフランスで開発された「Prolog」という論理プログラミング言語を使用した。従来のコンピュータ言語では、コーダーが機械に何をすべきかを適宜指示するが、Prologは問題に関する既知の事実のリストを取り、それが解決可能かどうかを自ら推論する。 Source and Image Credits: Cushing, David, and David I. Stewart. “You need 27 tickets to guarantee a win on the UK National L
高度に発達したウォーターフォールはアジャイルと見分けがつかない - An Epicurean
tl;ldr ウォーターフォールという言葉を悪口として使うのは良くないんじゃない？ 空想上の開発手法ウォーターフォールと進化したウォーターフォール アジャイル開発の説明がされるとき、アンチパターンとして「ウォーターフォール」が使われることがあります。これは「ダメな開発現場」と同義で使われており、共通仮想敵としての空想上の開発手法とも言えます。 それは、曰く、硬直化していて変化や手戻りを許さず、一本道でフィードバックサイクルがない、数十年アップデートされていない古臭い手法のことらしい。 もちろんそういう開発をしている現場もまだ数多く存在するでしょう。ただ、ウォーターフォールをカイゼンし進化させている人達もいます。そういう人たちの話を聞くと、例えば以下のような話を聞きます。 一ヶ月で１ウォーターフォールを回す 前の手順に戻る手続きが定められている 初期フェーズから開発者を巻き込む 定期的なレビ
NHK-FMに起こっている異常事態
ちょっと大袈裟なタイトルだが、FMで毎週番組を担当している（していた）司会者からも番組中で番組編成に対して苦言呈されるほどなので、結構な異常事態だと思う。 【前提】NHK-FMは音楽番組が中心である（あった）。音楽を主に聴かせる朝昼のクラシック番組、正午のニュース後は同じく音楽中心の歌謡曲番組、夕方は若者向けの番組（赤い公園の津野米咲さんも週イチで担当されていた…）。 夜はクラシックの演奏会のライブ録音番組放送後、若者向けの音楽番組。ミュージシャンインタビューやパーソナリティの語り多め。 概ねこの編成であったが、NHK-AMの1波廃止決定以降大幅に変わった。ちなみにまだ廃止はされていない。 まず語学番組がFMでも同時放送されることになった。朝6時からニュースを挟んで朝の8時までが語学番組枠に。 FM放送開始して間もなくの1963年から60年以上、朝6時の枠で放送されていたお馴染みのクラシッ
プロジェクトX、出演NGなのでは。あるいは富士通半導体の敗北の歴史
富士通に忖度してるとか言ってるけど、あれ、普通に取材NGだったんじゃないかな。 当時の経緯を知ってると「私の名前は出さないでください」ってなったとしても不思議じゃないと思う。そうなれば当然NHKも富士通も触れないし、本人が拒否したんですなんて発表するわけもないし（例え親族が声を上げたとしても） 京コンピュータって、富士通半導体の最後の打ち上げ花火だったんだよ。 当時の話京の開発が進み、実際に生産されるころは、経営方針として富士通は半導体撤退をするかどうかで揉めていたころだった。 京コンピュータは、富士通が自社工場で作った最後のスパコンであると同時に、国のトップ開発のHPCにおいて、富士通が単体で作り上げた初めてのHPCでもあった。 これは、富士通が優れている、というよりも、逃げ遅れたと表現してもよいかもしれない。HPCのプロジェクトからは、NECと東芝が次々と撤退していたのだ。 当時半導体
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
