研究チームは、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

KDDIは1月23日から、有権者が事前予約した日時に、投票箱を搭載した車両が自宅前まで来る「オンデマンド型移動期日前投票所」を使った模擬投票の実証を、茨城県つくば市で行うと発表した。立会人の役割の一部を「遠隔立会ロボット」に担わせることで省人化・省スペース化も図る。 有権者がスマートフォンや電話で事前予約した日時に、投票箱を搭載した車両で自宅前に訪れることで、移動が困難な人でも期日前投票が簡単にできるサービス。自宅前に駐車スペースがない場合は、移動投票所を駐車した最寄りの公共施設などへの移動を支援する送迎サービスもあわせて提供する。 各予約者の予約日時と自宅の位置情報を基に設定された効率的なルートを巡回することで、予約者数を最大化することで効率化。予約者は車両の位置情報をリアルタイムに確認できる。 投票箱を搭載した車両の車中で、従来の投票方式と同様に投票用紙に必要事項を記入して投票する。車

「私、セキュリティ担当者！　監視ツールを覗いていたら、社員がものすごい頻度で不審なアダルトサイトを見ていることが分かっちゃったの！」 ……だいぶ、いや、かなり考えたくない事態だ。しかし、クラウド会計ツールで知られるfreeeではこの問題が実際に起きたという。同社はどう対応したのか、12月6日公開のテックブログで紹介している。 ブログによれば、事態に気付いたのはセキュリティインシデントに対応する社内組織「CSIRT」のメンバー。監視ツールを確認していたところ、不審な通信が繰り返し発生していることに気付いた。 送信元を調べたところ、原因はある社員の端末。送信先はアダルトサイトだった。しかも、頻度が異常に高かったという。 とはいえ、さすがに会社の端末でアダルトサイトを見ているのはおかしい。違和感を抱いたCSIRTがより詳しく調査したところ、実際は社員がアダルトサイトを見ているわけではないことが分

国民年金（老齢基礎年金）は、日本国民なら20歳から支払い義務が生じ、以降40年間、60歳を迎えるまで支払い続けなければならない。正確には、59歳11カ月分まで支払うという事になる。昔であれば、年金の支払い期間が完了すると隙間なく受給がはじまったわけだが、現在は度重なる法改正により、厚生年金も基礎年金も原則65歳から受給が始まることになる。 60歳で義務終了というのは、定年年齢が60歳に設定されていることとリンクする。ただそこから年金の受給開始まで5年ある。繰り上げすれば60歳からでも受給できるが、支給額が減額されるので、65歳まで受け取らないという人は多い。そこで再雇用制度などを利用して、65歳までなんとか食べていけるようにするというのが今の社会の形である。 では実際に年金の払い込みが終わるとき、どうなるかご存じだろうか。筆者は今年10月に60歳の誕生日を迎えたので、40年間の支払い義務が

グローバルシャッターと急にいわれても、という人もいるだろうから最初にちょっと解説を。デジタルカメラのシャッターにはメカシャッターと電子シャッターがある。メカシャッターはイメージセンサーの前に物理的な「シャッター」を置き、シャッタースピードをシャッター幕のスリットでコントロールする。だからセンサー側は光が来るのを待っていればいい。 ただ物理的な機構が動くので、シャッタースピードの高速化や連写速度に限界がある。どうしても微細な振動は発生するし、シャッター音もする。 電子シャッターは、CMOSイメージセンサーの機能だけで撮影するのでシャッタースピードの高速化や連写の高速化を図れるし、振動もないし、無音での撮影が可能だ。 最近のカメラだと、メカシャッターだとシャッタースピードが最高1/8000秒だけど、電子シャッターなら1/32000秒という機種も珍しくないし、電子シャッター時のみ高速連写可能とい

「ChatGPTは何回もテレビにも新聞にも雑誌にも出ているのに、それを自分自身で毎日活用してないと。もうそれは電気を否定するとか自動車を否定する人と同じ」――10月4日に東京都港区で開催された「Softbank World」の基調講演で登壇したソフトバンクグループ代表取締役会長兼社長の孫正義氏は、“孫節”を効かせながら生成AIの威力と、AGI（汎用人工知能）が登場する未来について語った。 10年以内に来るぞ「AGI」 「Stable Diffusion」や「ChatGPT」の登場以降、生成AI周りの進化が著しいが、孫氏も生成AIにのめり込んでいるようだ。ディベート相手として毎日GPT-4版のChatGPTと議論を重ね、そこで生まれたアイデアを特許として申請。「今月中に1000件を突破する。集中した日は1日30件申請している」という。今はそれぞれキャラクターを設定しChatGPT内でもディス

米OpenAIの大規模言語モデル（LLM）・GPT-4は今、世界を大きく塗り替え続けている技術の一つだ。世界各国の企業がこぞってLLMの開発を進めている。特にGAFAなどの巨大企業は、その膨大な資源を使ってすでにいくつものLLMを世に放っている。 そんな中、日本では理化学研究所と富士通、東京工業大学、東北大学が、スーパーコンピュータ「富岳」を使ったLLMの研究を今まさに進めている。学習手法の研究からデータの法的な扱いまで幅広く検討し、日本のLLM開発の基盤を作るのが目的だ。 深層学習といえば、今ではGPUを使うのが一般的になっている。しかし富岳はそのGPUを搭載していない。日本にはGPU搭載スパコンも存在するのに、なぜ富岳を使ってLLMを研究するのか。 今回は富士通研究所・コンピューティング研究所の中島耕太所長と白幡晃一さんに、富岳を使ったLLM研究について、その意義を聞いた。富岳は確かに

米Googleの著名な2人の元研究者、リオン・ジョーンズ氏とデビッド・ハー氏が8月17日、東京に拠点を置く新AI企業を設立したとX（旧Twitter）で発表した。 ジョーンズ氏は、Googleが2017年に発表した生成AI革命のきっかけとなったと評価されている論文「Attention Is All You Need」（PDF）の8人の著者の1人。この論文では、後にChatGPTなどの製品開発の基礎となった深層学習アーキテクチャー、Transformerを紹介している。ジョーンズ氏は8月に10年以上勤めたGoogleを退社した。これで論文を書いた著者全員がGoogleからいなくなった。 ハー氏は2016年にGoogle Brain入りし、機械学習などの研究に取り組んだ後、2017年にGoogle Brainが東京チームを設立した際、そのトップとして来日した。2022年にGoogleを辞め、S

先日、もんじゃ焼きで有名な東京のある商店街を訪れたとき、お店の総合案内所でクレジットカードが支払いに使えるかを聞いたところ「こちらの地図にある店ではすべて使えますが、できれば現金払いでお願いします」といわれるという、少しショックな出来事があった。 店側の気持ちは分からないでもないが、「本当は受けたくないけど、しょうがないので……」という気持ちが透けて見えて正直微妙な気持ちだ。 少し前にPayPayの取り扱いを止めた加盟店が「『汗をかかずに儲かるシステム』への小さな抵抗」という掲示を出したことが話題となったが、売上の2％（正確には1.98％）を手数料として徴収されることに抵抗があるというのには理解できる部分があるが、それまでさんざんシステムを利用していてその利用料を支払うことが許せないというのはサービスへのタダ乗りでしかない。あくまでビジネスなので、使いたければその対価を払うというギブ・アン

猛暑に商機 「ひんやりグッズ」の狙い： 電気代高騰や猛暑を背景に企業が「ひんやりグッズ」に商機を見いだしている。ヒットしている商品はどのようにして開発されたのか？ 売り場のトレンドはどうなっているのか？ 消費者のトレンドや開発の舞台裏に迫る 猛暑が続く中、ソニーグループ（ソニーG）の充電式冷温デバイス「REON POCKET 4」（レオンポケット4、1万6500円）の販売が好調に推移している。昨夏のヒット商品「REON POCKET 3」の新型で、4月の発売以来、3日で初回出荷分1万台が完売したという。

バルミューダ（BALMUDA）は5月12日、スマートフォン開発・販売事業からの撤退を発表した。同日実施された決算会見において、寺尾玄社長が今後の方針を説明した。 バルミューダは2021年11月に「BALMUDA Phone」を発売し、携帯端末事業に参入した。ソフトバンクが大手キャリア独占で販売した他、自社販路でのSIMフリー端末の販売も行っている。 BALMUDA Phoneでは、京セラが製品開発に協力し、製造を担当している。手に収まる小型ボディー、曲線だけで構成されたフォルム、独自開発のユーティリティーアプリなどが特徴となっていた。バルミューダは発売後に表示フォント追加などいくつかの機能アップデートを実施している。2022年には専用ワイヤレス充電器も発売するなど、BALMUDA Phone専用の周辺機器を複数投入していた。 カレンダーアプリ「BALMUDA Scheduler」のサポート

「本物のハンバーガーを伝えたい」　王者マックに“ケンカ？”も仕掛けるバーガーキングの強気な戦略とは？：3年連続売り上げ130%以上を達成（1/5 ページ） 日本において圧倒的な支持を集めるハンバーガーチェーンといえば、「マクドナルド」（以下、マック）を思い浮かべる人がほとんどだろう。1月時点でのマックの店舗数は2965店に対し、モスバーガーは1272店。圧倒的存在感を誇っている。 そんな“マック一強”と思われる日本において、昨今店舗数を増やし、インパクトのある商品・プロモーションを展開して注目を集めているのがバーガーキングだ。 「本物のハンバーガーを伝えることが私たちの役目」――ビーケージャパンホールディングスの野村一裕代表取締役社長に、好調の要因と今後の戦略を聞いた。

セガは2月17日、社員の給与を平均で30％程度アップさせる報酬制度の改定を発表した。大卒初任給は従来の22万2000円から約35％上がり約30万円となる。 グローバルでの競争力強化に向けた施策。7月から基本給のベースアップや賞与の一部組み込みなどにより、年収における基本給の比率を高める。このため年収ベースでは平均で約15％程度のアップになるという。 併せて退職金の前払い制度（選択制）の導入も予定している。 セガは「従業員が働きやすい環境でそれぞれのポテンシャルを最大限に発揮できるよう、様々な人事制度の改革に取り組んでいる」と話している。 関連記事 セガの意気込みハンパない！　「メガドライブ2」で出会った隠れた名作たち 10月27日発売の「メガドライブミニ2」を購入しました。1980年代当時はノーチェックだった名作ソフトに触れ、今更ながら感動しています。 「キャプテン翼」が好きすぎて「メガド

長期に渡って契約し、毎月ほぼ決められた料金を払うのが一般的な携帯電話、スマートフォンだが、それとは真逆のコンセプトで登場したのがKDDIのpovo2.0だ。他社のオンライン専用プランと同様、20GB一択でスタートしたpovo1.0を全面的に刷新し、トッピングで自由にデータ容量を買い足せるサービスを実現した。トッピングは、データ容量だけでなく、コンテンツにも広げている。 2022年9月に1周年を迎えたpovo2.0だが、2022年は楽天モバイルの0円プラン（UN-LIMIT VI）廃止や、KDDI自身の大規模通信障害もあり、バックアップ回線としても再び脚光を浴びた。基本料0円で維持でき、使いたいときだけ使えるコンセプトが、時代のニーズにマッチした格好だ。こうした事情もあり、2022年11月のKDDI決算発表時には、およそ150万契約程度まで伸びていることが明かされている。 一方で、トッピング

米Twitter社がTwitterの有料プラン「Twitter Blue」を日本の一部ユーザーに向けて限定的にリリースした。月額利用料は980円。 米Twitterは1月11日、Twitterの有料プラン「Twitter Blue」を日本の一部ユーザーに向けて限定的にリリースした。月額利用料は980円だが、iOS版は1380円。App Storeの手数料分が加算されているとみられる。同日午後0時30分ごろまでに「Twitter Blue」「広告半分」がトレンド入りし、すでに大きな話題になっている。 Twitter Blueは広告の半減や限定機能などの特典を提供するサブスクリプションサービス。同プランに登録すると、アカウント承認後に青色の認証バッジが表示されるようになる。 広告半減やフルHD動画の投稿といった特典は近日中に公開。他にも、長時間の動画を投稿できる機能、ツイート編集機能、ブックマ

ソニー・インタラクティブエンタテインメント（SIE）は11月21日、PlayStation 5（PS5）対応のVRヘッドマウントディスプレイ「PlayStation VR2」（以下、PSVR2）の予約受け付けを始めた。PSVR2専用ゲームを同梱した「PlayStation VR2 “Horizon Call of the Mountain” 同梱版」（7万9980円）。発売予定日は2023年2月22日。 予約応募に参加するには日本のソニーアカウントが必要。さらに対象のアカウントで「PS5またはPS4で2021年11月1日から2022年10月31日までの期間に20時間以上のゲームプレイがあること」を条件としている。当選結果は2023年1月末までメールで送り、応募者多数の場合は抽選となる。支払い方法はクレジットカードのみ。受け付け期間は11月27日まで。 1つのアカウントで予約できるのは1台の

北海道・函館に、マクドナルドもモスバーガーも敵わない「ご当地バーガー」があるのをご存じだろうか。 その名は「ラッキーピエロ」。1987年に創業してから「ラッピ」の愛称で地元の人々に愛されてきた同店は、甘辛の味付けをした中華風唐揚げを挟んだ「チャイニーズチキンバーガー」をはじめ26種類ものバーガーがあり、『日本経済新聞』の「ご当地バーガー」ランキングでナンバーワンに輝いたこともある。

9月15日から4日間、3年ぶりに幕張メッセで「東京ゲームショウ2022」が開催されました。久しぶりに新作ゲームを直に触れるチャンスということで、ボクも会場へ行って気になるタイトルを色々試遊してきました。今回は特別編として、いつもの4コマよりコマ数を増やしてその模様をリポートします！ まずは注目の携帯ハード「Steam Deck」を試遊しました。Steam Deckはゲーム配信サービス「Steam」を運営する米Valveが開発した7インチ液晶ディスプレイ（1280×800ピクセル／60Hz）を搭載するハンドヘルドPC。米AMDのカスタムAPU（Zen2/RDNA2）を搭載し、Steamで配信している数千ものPCゲームをプレイできます。 実際に手に持ってみると、横幅が約30cmもありかなり大きいです。一方で重さは見た目より相当軽い印象でした。ボタン配置やUI周りにもストレスはないし、アプリも普

「PS VR2は次世代のVR体験を提供するよう設計されているため、PS VRゲームはPS VR2と互換性がない」──。ソニー・インタラクティブエンタテインメント（SIE）のシニア・バイス・プレジデントでプラットフォーム・プランニング&マネジメント担当の西野秀明氏が9月16日に公開されたSIEの公式Podcastで（英語で）そう語った。 SIEは8月に、PlayStation 5（PS5）向け次世代VRシステム「PlayStation VR2」（PS VR2）を2023年初頭に発売すると発表した。PS VRは7年前の2016年の発売だ。PS VR2には、PS VRに搭載されなかった多数の新機能が搭載される。 西野氏は、「PS VR2には、ハプティックフィードバックとアダプティブトリガーを備えた完全に新しいコントローラ、インサイドアウトトラッキング、アイトラッキング、3Dオーディオの統合、そし

バッファローが9月5日、Wi-Fi 6Eに対応する無線LANルーター「AirStation WNR-5400XE6」の出荷を開始した。筆者が調べた限りでは、一部の家電量販店では販売が始まっていて、複数のWeb通販サイトでは9月9日から順次出荷を開始するようである。 →Wi-Fi 6E対応無線LANルーター製品が解禁　バッファロー/NECから発表 Wi-Fi 6Eは、従来は使われてこなかった6GHz帯を利用することで外的要因による通信中断や電波の干渉を気にすることなく高速通信できることが何よりのメリットである。 →いよいよ解禁！「Wi-Fi 6E」は何がすごい？　「Wi-Fi 6」との違いは？　どんなモデルがある？ バッファローからのご厚意で、このWNR-5400XE6の実力を試す機会を得た……のだが、少し困ったことが発生したので、この記事を通して共有したいと思う。 セットアップはとても簡単