これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント：2019年6月29日開催の第15回「日曜数学会」（Twitter：@nichimath） 発表者：yos1upさん（Twitter：@yos1up） 発売から約2週間で、計算機になったスー
潜水艦から大量コカイン押収 末端価格210億円超 米沿岸警備隊 | NHKニュース
アメリカの沿岸警備隊は、南米コロンビアの沖合で麻薬の密輸業者の取締りを行い、小型の潜水艦からおよそ８トン、末端価格で日本円にして210億円を超える大量のコカインを押収したと発表しました。 映像には、潜水艦が沿岸警備隊のボートを振り切ろうと高速で航行する様子や、隊員が「いますぐ止まれ」と叫んだあと潜水艦の上にとび移る様子が写っています。 沿岸警備隊によりますと潜水艦からは7.7トン余り、末端価格でおよそ２億ドル（210億円）を超えるコカインが押収されたということです。 アメリカの沿岸警備隊は、密輸に関わった疑いで潜水艦の乗組員たちを逮捕するとともに、背後に大がかりな組織があるとみて全容の解明を進めています。
インスタントラーメンがわずか20円……！？「賞味期限切れ食品専門ショップ」の大いなる挑戦 - メシ通 | ホットペッパーグルメ
「賞味期限がすでに切れている食料品」を専門に販売する店がオープンしたという情報を耳にしたのは今年（2019年）春頃のことだった。 大阪市福島区玉川、JR環状線の野田駅の近くにそのお店があると知りつつしばらく足を運べないでいたのだが、用事があって近くに行く機会があり、立ち寄ってみることにした。 軒並み驚異的に安い 最寄りの野田駅から数分歩くとその店が見つかった。 「eco eat（エコイート）」というお店だ。看板には「フードロス削減ショップ」という文字も見える。 店頭に並ぶ商品に目をやると、マレーシアの「ラクサラーメン」という袋入りインスタントラーメンが1袋20円だという。 しかし、写真下の赤で囲った部分に表示されている通り、賞味期限は2019年1月19日。 当取材は2019年5月に行ったものなので、1日2日でも1週間とかでもなく、もうだいぶ過ぎている。 取材当日のみのセール価格ではあったが
妻に自分の言動が漫画にされて許せない
妻が自分の書いてる漫画が書籍化されるかもしれないと告げてきたことで、自分たち夫婦のことがツイッターで漫画にして流されていたことを知った。 読んで頭の中が真っ白になった。絶望とはこういうことなのかと思った。 こちらにも言い分がある喧嘩について、妻側の一方的な言い分で書いたことは腹が立つがまあいい。 俺が発達障害であることを、勝手に書いたことは許せないことの一つだ。 でもそれ以上に、妻にのみ話した感謝の言葉や、愛の言葉も全部漫画にされてたことは絶対に許せない。 そして、ずっと抱いてたトラウマを、妻にだけ初めて語ったことを、漫画で夫婦愛として描かれて多くの人の目に晒されたことは、絶望しかない。 書籍化の話を出してきた出版社にはメールで抗議した。まだ本決定でもなんでもなく、夫婦間の問題解決しなきゃ出版はないと返事が来た。 妻の反応については、同じことをしたくないのでここには書かない。 俺の人生は、
姉がドブスなのに凄まじくモテる
姉は脚長の細身ではあるけど自他ともに認める貧乳でしかもブス。 「顔面偏差値クラス最下位はいつどの学校でも争える」と本人がドヤ顔で胸を張るほど。 やはり大学卒業までは異性関係からっきしで、男友達すらもいなかった。 が、社会人になってからというもの、妹の私から見ても尋常じゃないモテ方をしていたので唖然呆然だった。 ある日突然、最大手シンクタンクに勤める超絶イケメン高学歴に姉との食事会に連れて行かれて、後日「お姉さんのことが好きだ。まだ食事する仲でしかないから力を貸してほしい」と打ち明けられたこともある。 こういうエピソードはくさるほどある。どの男性も姉との結婚を熱望していた。 そんな姉がついに来年結婚する。 相手は3つ年上の二代目開業医。イケメン。姉が趣味のスポーツで怪我して彼の診察を受けたことが出会いのきっかけだという。 彼の猛アプローチの末の婚約だった。 せっかくだから、私が長く抱き続けて
Google、「Googleアシスタント」への音声入力の一部を人間が聞いていることを認める Amazonに続き
Googleアシスタントはウェイクワード（「OK Google」や「ねえ、Google」など）をきっかけに音声の録音を開始するが、テレビの音声などでウェイクワードと誤認識することがあり、ユーザーが知らないうちに録音していることもある（Google HomeやGoogle Home Miniの場合、録音中はLEDが点灯して分かるようになっている）。 録音設定を無効にすることもできるし、録音データは1件単位で削除することも可能だ。 Googleは公式ブログで、「より多くの言語での音声技術の開発を目的とする取り組みの一環として、特定言語のニュアンスやアクセントを理解している世界中の言語の専門家と提携している。これらの言語専門家はわれわれが言語をより良く理解するために少量のクエリー（すべての音声データの約0.2％）をレビューし、テキスト化している。こうしたプロセスは、Googleアシスタントのよう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
猫ちゃん