ブックマーク / nlab.itmedia.co.jp (7)

  • これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか

    「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント:2019年6月29日開催の第15回「日曜数学会」(Twitter:@nichimath) 発表者:yos1upさん(Twitter:@yos1up) 発売から約2週間で、計算機になったスー

    これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
  • NTT東、「社員の個人PCに検閲ソフトを導入」SNS投稿を「事実と異なる」と否定

    NTT東日が社員の個人PCに検閲ソフトを導入させて、特定操作を妨害している」とするSNS投稿が一部で話題になっています。実際にそのような取り組みが行われているのか、NTT東日に聞きました。 「個人情報保護のため社員PCを検閲」は当? 当該のSNS投稿では、業務利用していない社員の個人PCでも検閲ソフトでファイルを検査し、OSを書き換えて特定の操作を妨害するらしいとして、情報漏えい対策とはいえ、財産権やプライバシーの侵害ではないかと問題を提起していました。 編集部がNTT東日の広報に問い合わせたところ、「投稿の内容は事実ではない」とのこと。同社では実際、年に1回、情報漏えい対策として全社員の個人所有PCのチェックを行っていますが、投稿にあるような内容ではないとしています。 この点検は、2007年に同社元社員の個人所有PCからファイル交換ソフトを経由して顧客情報が流出したことを契機に実

    NTT東、「社員の個人PCに検閲ソフトを導入」SNS投稿を「事実と異なる」と否定
  • 「エアコンの嫌なニオイが完全に消えた」 “窓全開、16度で1時間つけっぱなし”で本当にニオイが取れる理由

    「エアコンから嫌なニオイがするときは、部屋の窓を全開にして16度で1時間つけっぱなしにすると解消できる」――エアコンメーカーのお客さま相談センターに聞いたという意外なお手入れ方法が、ネット上で話題になっています。 このお手入れ方法は当に有効なのか、だとすればどんな仕組みでニオイが取れるのかを、エアコン製品を製造・販売する三菱電機に聞いてみました。 「ニオイ成分を結露水で洗い流す」 ――「部屋の窓を開けて16度で1時間運転」という方法は、当に有効なのでしょうか? 三菱電機:当社としては、こちらが有効としてお客さまにも回答しています。 ――どのような仕組みでニオイが取れるのですか? 低い温度で冷房運転すると、熱交換器やドレンパンに付着して残ったニオイ成分が結露水に溶け込み、洗い流されてニオイが軽減される仕組みです。また、空気中に漂うニオイ成分も窓を開けることで室外に排出されるため、換気しな

    「エアコンの嫌なニオイが完全に消えた」 “窓全開、16度で1時間つけっぱなし”で本当にニオイが取れる理由
  • 「かぼちゃの馬車騒動」スルガ銀行員の“ローン偽装”指示LINEを入手  黒幕は計画倒産詐欺師と銀行か

    シェアハウス「かぼちゃの馬車」の経営破綻問題から明るみに出た「スルガ銀行不正融資問題」。ねとらぼ編集部では関係者を取材し、スルガ銀行の複数の行員がローンの審査を不正に通すために「通帳の改ざんを指示した上で添削」したり、「(実際の内容とは異なる)フリーローンの名目の指示」を行っているLINE画像を入手しました。 スルガ銀行の行員がウソのフリーローンの名目を指示するLINE。ローンの使用用途を行員が考えるという言葉も……(提供:加藤博太郎弁護士) そもそもどういう問題なのか 女性専用シェアハウスとして関東を中心に展開していた「かぼちゃの馬車」。土地や資金がなくてもシェアハウスのオーナーになれて、家賃収入を三十年間保証するとうたって出資者を集めた後、運営事業者が経営破綻し、多額のローンを抱えた被害者(シェアハウスオーナー)が生まれています。 しかし被害に遭ったオーナーの多くは自己資金がほぼ0円の

    「かぼちゃの馬車騒動」スルガ銀行員の“ローン偽装”指示LINEを入手  黒幕は計画倒産詐欺師と銀行か
  • ある数が「○の倍数か」を見分けるための“万能”な方法

    ある数が割り切れるかどうか、つまりnの倍数であるかどうかを知りたい場面は結構たくさんある。分数を約分するときや、身近なところだと割り勘を計算するときなどだ。 場面の多さに比して、ふつう倍数の判定は難しい。例えば「64811は11の倍数か?」に瞬時に答えられる人はそう多くないはずだ。 ただし、いくつかの小さい整数に対しては、その倍数に関する法則が広く知られていて簡単に見分けられることがある。 例えば、2の倍数なら必ず一の位は2の倍数(偶数)になる。3の倍数であれば、各桁の数字を足し合わせると和が3の倍数になる(例:357→3+5+7=15は3の倍数)。特に3の倍数の判定法は簡単なので知っておくと便利だ。 ほかのいくつかの素数に対しても、簡単な判定法があるので以下の画像にまとめてみた。また、合成数の判定はこれらを組み合わせて行えばよい(例えば6の倍数は2と3どちらの倍数でもあることを判定するこ

    ある数が「○の倍数か」を見分けるための“万能”な方法
  • 「二度と掛けてくるな」 “漫画村”広告主への取材一部始終、広告は取材後に消滅

    漫画村」など違法アップロードが問題となっている海賊版サイトの数々。その運営資金はサイトに広告を表示することによって得られる「広告収入」によって賄われているとみられています。海賊版サイトの在り方が問われる一方で、広告を出稿している企業や広告代理店に責任はないのか。ねとらぼ編集部が、広告を出稿していた複数の企業に取材を繰り返したところ、一部の広告が取り下げられる事態となりました。 「漫画村」に表示されていた広告。枠内が広告(画像は4月9日時点のもの・画像は編集部で一部加工しています) 4月13日には政府がISP(インターネットサービスプロバイダー)に対して「サイトブロッキング」を促す決定をするなど、社会問題となっている海賊版サイト(関連記事)。なかでも特に問題視されているのが漫画や雑誌、写真集などを違法アップロードしているサイト「漫画村」です。 漫画村のPCサイトでは当初、画面中央に各漫画

    「二度と掛けてくるな」 “漫画村”広告主への取材一部始終、広告は取材後に消滅
  • 半チャーハンとはなんだったのか…… 店員さんの「半チャーハン大盛り」という言葉に思考が止まった漫画に共感

    ラーメンの半チャーハンセットを頼んだら、店員から「半チャーハン大盛り」という言葉が出てきた漫画が共感しかありませんでした。これは大盛りにするか否か……。 頼んだ半チャーハンに対して、店員から「只今の時間無料で半チャーハンを大盛りにできますが、いかがされますか?」という質問がきて、その言葉に「?」が浮かんで固まる、クリボーで表現された投稿者。半チャーハンなのに大盛りとはこれいかに……? 「半チャーハン大盛り」とは一体……? 注文前に一度、頭の中で欲のままにべようと勧める“天使”と、健康のことを考えてそれを止めようとする“理性”が争い、それを経てたどり着いた「半チャーハン」という結論。自分に「半分だし……」と言い訳しつつ両方楽しめる、そんな落としどころのような絶妙な立ち位置、それが「半チャーハンのアイデンティティー(たぶん)」だと考えていたクリボーでしたが、そこに登場した「半チャーハン大盛

    半チャーハンとはなんだったのか…… 店員さんの「半チャーハン大盛り」という言葉に思考が止まった漫画に共感
  • 1