ローダー数
ローダー数 (Loader's number) は、Ralph Loader が巨大数ベイクオフ大会で作成して優勝したC言語プログラム loader.c によって出力される数字である。巨大数ベイクオフ大会の目的は、512文字以内のC言語プログラムで、最大の数を出力することである。 loader.c は、Thierry Coquand の calculus of constructions を対角化する。その出力は親しみを込めて ローダー数 (Loader's number) と名付けられ、D5(99) で定義される。ここで、 D(k) は calculus of constructions の表現で最初のk個の表現で表記出来るすべてのビット列の合計である。ここで、すべてを2進数に変換することとする。 David Moews は D(99) は 2↑↑30419より大きいとしており、さらに
中国のパクリ艦これ（？）ゲーム「炮妹」が想像以上にヤバかった 【艦隊これくしょん？金剛？】
ちょっと前から話題になっていた中国のパクリ艦これゲームのサービスが遂に開始したので、 どんなものかと思って少しプレイしてみました。これは噂以上に危ないぞ・・・。 ▼タイトル画像からして危険な感じしかしない すでに色々怪しい。 右上とか右下とか、なんだか見覚えがある気がするぞ。 ちなみに中国では超電磁砲の御坂美琴が「炮姐（大砲姉さん）」という愛称で呼ばれているのですが、 つまりタイトルの「炮妹」というのは御坂妹のことなのだろうか。 単に大砲を背負った少女達という意味なのかもしれませんが、中国での反応を見てもみんな御坂妹だと感じてるっぽい。 ワケが分からないよ・・・。 ▼ストーリー導入パート 早速ゲームを始めてみるとまず簡単なストーリーが流れます どうも物語の始まりは2046年の戦場が舞台のようですね 「戦姫部隊に配属されて三日目、我々はR国からの攻撃を受けた」と書かれているのですが、 うーん
新出生前診断 染色体異常、確定者の97%が中絶 開始後1年間、病院グループ集計 - 日本経済新聞
妊婦の血液からダウン症など胎児の染色体異常を調べる新出生前診断について、診断した病院グループは27日、昨年4月の開始からの1年間に7740人が利用し、「陽性」と判定された142人の妊婦のうち、羊水検査などで異常が確定したのは113人だったと発表した。このうち97%にあたる110人が人工妊娠中絶をしていた。確定診断前の中絶が2人、陽性判定を知る前に中絶した人が1人いたことも明らかになった。病院
「人口減少恐るるに足らず」――八田達夫氏 斎藤主幹が聞く 暴論？正論？ 日本経済研究センター
人口の伸びと成長は無関係 斎藤 日本経済をめぐる最大の問題のひとつが少子高齢化、人口減少だと言われています。私も、日本の高齢化、人口減少はきわめて深刻な問題だと認識しています。ところが、八田さんは違う見方をしておられると伺いました。人口と経済成長の関係についてどうお考えですか。人口が減少すれば経済成長の大きな制約要因になると思いますが・・・。 八田 たしかにそう主張する人は多いようです。しかし、人口増加率は一人当たりのGDP成長率を左右しません。ここにOECD（経済協力開発機構）加盟諸国の過去40年あまりの一人当たりのGDPの平均成長率と人口の平均増加率を記した散布図（グラフA）がありますが、その2つに相関はまったくみられません。見事なほどです。たとえば、スウェーデンは人口増加率が年平均0.4％弱で一人当たりのGDP成長率は2％でした。それどころか、人口の伸び率がマイナスでもGDPの成長率
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
