数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
印刷会社が突然の事業閉鎖 韓国支社が管理システムやサーバを乗っ取り→日本本社は何もできず
名刺印刷などを手掛ける印刷会社のスーパープリント（横浜市）が事業継続困難になったと発表し、Xなどで話題になっている。原因は日本本社と韓国支社の対立で、現在日本本社は生産システムやサーバなど全システムから締め出されてしまっているという。 スーパープリントのWebサイトにアクセスすると「SuperPrintにご注文くださっているお客様へ」という文章が表示される状態になっている。掲載日は5月18日で「受注分の印刷完了と、印刷事業の継続が困難となりました」などと発表。謝罪と共に、入金済みの客への返金案内などを記載している。 なぜスーパープリントは事業継続困難になってしまったのか。きっかけは、2月に発生した印刷機材の大規模故障という。これにより、バックオーダー（在庫切れ商品の注文を受けること）が増え、日本本社と韓国工場側とでコミュニケーションが機能不全に。結果、両者が対立する事態になったとしている。
「なぜ時間は過去→未来にしか進まない？」を“量子もつれ”で説明か 未解決問題「時間の矢」に切り込む
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 普段感じている時間は、過去から未来へと一方向にしか流れていかない。このような時間が一方向に進む概念を「時間の矢」と呼び、物理学の未解決問題の一つとしている。この時間の矢を説明する新しい考え方を提案したのがこの研究である。 この論文では、宇宙が始まったときには「量子もつれ」は少なかったと主張（宇宙の初期状態が非常に低いもつれエントロピーを持つ状態であったという仮定）しており、これを「量子もつれの過去仮説」（Entanglement Past Hypothesis、EPH）と呼んでいる。 「量子もつれ」とは、2つ以上の量子がどんなに遠く離れていても互いに強
先延ばし癖、楽観的になれば改善する？ 東大の研究
研究では、過去・現在・未来にわたる時間軸でのストレスを測定し、時系列順に並べたものを「時系列的ストレス観」と定義。4種類に類型化し、それぞれについて先延ばし癖との相関を調べた。 時系列的ストレス観は、「未来にいくにつれてストレスは減る」と考える「下降型」、「未来にいくにつれてストレスが増える」と考える「上昇型」、「今が1番ストレスが低くて、そこから離れるにつれてストレスが増える」と考える「V字型」、「過去のある1点でストレスが1番高く、そこから未来にいくにつれてストレスは減る」と考える「への字型」の4種類に分かれた。 中でも「下降型」グループは、深刻な先延ばし癖を持つ人の割合が低いことが判明。「今よりも未来のストレスが増えることはない」という、未来に対する楽観的な見方を持つことが、深刻な先延ばし癖を減少させる可能性が示されたとしている。 また、時間軸と幸福度を測定し、時系列順に並べた「時系
「いなば食品に転職者情報を渡していない」──文春報道巡り、マイナビが声明 いなば食品も“事実誤認”認めて謝罪
いなば食品に対して、在籍社員の転職情報サイトへの登録状況を話した事実は一切ない──マイナビは6月3日、一部週刊誌が報じた内容を否定する声明を発表した。 マイナビといなば食品を巡っては5月29日ごろ、両者の関係を取り上げた週刊文春の記事がXで拡散していた。その内容は、いなば食品の社長がマイナビの転職サイトを利用している従業員に対して、会社を辞めないようハラスメントをしているというもの。いなば食品側が転職サイトの利用状況を知った経緯については「マイナビから情報を得た」と説明していた。 これについてマイナビ側は週刊文春の記事内でもそのような事実はないと否定。しかし、X上では「マイナビが個人情報を不適切に取り扱っているのではないか」という、うわさが広まっていた。これを受け、マイナビは3日に「当社がいなば食品に対して、在籍社員の転職情報サイトへの登録状況をお話ししたという事実は一切ない」と公式Web
マイナンバー画像など15万人分漏えいの労務クラウド、クレカ情報も流出していた
カオナビ子会社で、3月に約15万人分のユーザー情報漏えいを発表したワークスタイルテック（東京都港区）は5月31日、漏えいした情報の中にクレジットカードやデビットカードの情報が含まれることを発表した。調査の結果詳細が分かったとして、当初発表した漏えい件数も変更した。 ワークスタイルテックは当初、労務管理クラウドサービス「WelcomeHR」について、サーバの設定ミスによりユーザーの氏名、性別、住所、電話番号、ユーザーがアップロードした身分証明書（マイナンバーカード、運転免許証、パスポートなど）や履歴書の画像など16万2830人分の情報が2020年1月5日から24年3月22日にかけて外部から一時閲覧可能で、うち15万4650人分の情報が実際に第三者にダウンロードされたと発表していたが、これを修正。 正しくは、顧客がWelcomeHRを通してクラウドストレージにアップロードしていた身分証のPDF
“1年間利用なし”なら手数料 一部セゾンカードで「カードサービス手数料」新設 6月1日から
手数料が発生する条件は「カード入会月の1日から翌年入会月の末日までに、1円以上カードのショッピングかキャッシングの利用や支払いがなかった場合」となる。条件に当てはまった場合、翌々月4日に登録口座から手数料が引き落とされる。 関連記事 「永久不滅ウォレット」終了へ セゾン「永久不滅のウォレットという主張ではない」 クレディセゾンが「永久不滅ウォレットサービス」の提供を終了する。以降は残高の追加や決済ができなくなる。終了の理由は「加盟店がほぼゼロになったため」という。 JR東のネット銀行「JRE BANK」、5月9日スタート 片道運賃4割引やグリーン券付与などの特典も JR東日本が、ネットバンクサービス「JRE BANK」を5月9日からスタートする。同サービスは、楽天銀行を所属銀行とし、JR東日本傘下のビューカードが銀行代理業者として展開するもの。通常の銀行として使えるだけでなく、JR東日本関
カメラの作例だと思ったらストックフォトの写真だった――「LUMIX」商品サイトで物議 パナが謝罪
パナソニックが先日発表した新型ミラーレスカメラ「LUMIX DC-S9」の商品サイトが物議を醸している。商品の特徴や新機能を紹介するサイトの写真が、S9で撮影したものではなく、ストックフォトの画像を使っているとX（旧Twitter）で指摘される事態に。同社に確認したところ、一部ストックフォトの利用を認め「誤解を与える画像使用であったことを、深くお詫び申し上げます」と謝罪した。 Xでストックフォトの利用を指摘されたのは、S9の商品ページの機能に関する部分。AFに関するページに使われている犬が走っている扉絵から、像面位相差AFの精度を紹介する写真、動物認識AFで使われている動物の写真、S9の目玉機能でもある「リアルタイムLUT」機能などで、ストックフォトにアップされているものと同一の写真が商品ページで使われていたとされる。
1996年誕生のIMサービス「ICQ」、6月26日に終了へ
最盛期には1億人が使っていたインスタントメッセージングサービス「ICQ」が6月26日に終了する。現在同サービスを運営している露VKが5月24日、公式Webサイトで告知した。 Webサイトには、「VKメッセンジャーで友達とチャットできる」とあり、VKアプリへの移行を促している。終了の理由などについての説明はない。VKは同社が日本を含む世界で提供しているメッセンジャーアプリだ。 ICQは、1996年にイスラエルMirabilisが開発し、1998年に米AOLに約4億700万ドルで買収された。2010年に露Mail.ru Group（現VK）が買収し、提供を続けていた。 VKは露メディアのコムソリスカヤプラウダに対し、今後はVK MessengerとWorkspaceの開発に注力すると語った。 同メディアによると、2024年のロシアで最も人気のあるメッセージングアプリはTelegramという。
日本のアニメなどから収集したデータセット「Sakuga-42M」 国際研究チームが公開 「学術研究でのみ使用可能」【更新済み】
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高いAI分野の科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 【更新履歴：2024年5月24日 午後1時50分更新 同時刻時点で論文は取り下げられ、GitHubのリポジトリ非公開となったことを確認しました。 カナダのアルバータ大学や中国の四川音楽学院に所属する研究者らが発表した論文「Sakuga-42M Dataset: Scaling Up Cartoon Research」は、AIモデルのトレーニング用に作成したアニメ動画データセットを提案した研究報告である。 Sakuga-42Mは、GitHubにおいてリポジトリが公開されており、学術研究の目的でのみ使用可能。また、データセット内の画像やビデオの著
10年前のWebページの38％が消失──Pew Research Center調べ - ITmedia NEWS
非営利調査機関の米Pew Research Centerは5月17日（現地時間）、「When Online Content Disappears」（オンラインコンテンツが消滅するとき）と題する調査レポートを公開した。「2013年に存在したWebページの38％が10年後にはアクセス不能に」というサブタイトルがついている。 この調査では、非営利プロジェクト「Common Crawl」のリポジトリから2013年から2023年までの毎年の約9万ページ、合わせて約100万のWebページをサンプリングした。調査結果は、この期間の全ページの25％が現在アクセス不能であることを示している。このうち、16％はルートドメインはアクティブだがアクセスできず、残り9％はルートドメインが廃止されたものだ。 政府の公的サイトでは、サンプリングした約50万ページのうち、21％に少なくとも1つのリンク切れが含まれていた。
OpenAIのAI危険対策チームトップが「限界に達し」退社 「安全確保が後回しになっている」
米OpenAIで人間よりもはるかに賢いAI「Superintelligence」（超知能）の制御を目指して昨年結成されたSuperalignmentチームのトップ、ヤン・ライケ氏は5月17日（現地時間）、退社するとXで発表した。 「私がOpenAIに参加したのは、ここが超知能の研究を行うのに世界で最適だと思ったからだ。だが、OpenAIの幹部チームと中核的優先事項についてずっと同意できず、限界点に達した」という。 Superalignmentチームはライケ氏と、共同創業者でチーフサイエンティストのイリヤ・サツケバー氏が率いてきた。サツケバー氏は14日に退社を発表している。 ライケ氏は、「超知能の構築は本質的に危険な取り組み」であり、「OpenAIは人類全体に大きな責任を担っている」が、「安全性が輝かしい製品の開発より後回しになっている」と警鐘を鳴らす。 OpenAIは昨年2月、AGI（Ar
NHK「スマホやパソコンを持っているだけでは負担の対象にならない」 改正放送法成立受けコメント、詳細は検討中
日本放送協会（NHK）は5月17日、インターネットを使った番組などの提供をNHKの必須業務にすることを柱とした改正放送法が国会で成立したことを受け、コメントを発表した。 改正放送法では、NHKのインターネット業務を、任意業務から必須業務へ格上げした。これまでは制度上、テレビ放送を補完するサービスという位置づけだった。 NHKは「放送と同じ情報内容や同じ価値を提供し、受信料を頂くという、これまでより高い位置づけになることだと受けて止めている」として、いわゆる“ネット受信料”にも触れている。 今後はネットを介してNHKのサービスを受けた人に対し、テレビを持っていなくても「インターネットサービスの受信料」として負担を求める。条件などの詳細は検討中。既に受信料を支払っている視聴者に追加の負担はない。 NHKは「スマートフォンやパソコンなどを持っているだけでは、負担の対象にはなりません。改正法では、
YouTuber or VTuber どちらで配信する方が支持される？ 明治大などの研究者らが比較調査
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。通常は新規性の高い科学論文を解説しているが、ここでは番外編として“ちょっと昔”に発表された個性的な科学論文を取り上げる。 X： ＠shiropen2 明治大学やソフトバンク、NTTドコモ、ドワンゴに所属する研究者らが2023年1月に発表した論文「カテゴリ別におけるVTuberとYouTuberの配信スタイルによる印象評価」は、動画配信における顔出し、2DCGアバター、3DCGアバターの3種類の配信スタイルが視聴者にとってどれほど影響があるのかを比較調査した研究報告である。
Googleオフィスに警察、社員50人超を解雇 抗議デモ対応が見せつけた“IT界の巨人”の変貌ぶりとは
これに対し、今回のデモを組織した団体「No Tech For Apartheid」は「自分たちの労働がアパルトヘイトや大虐殺の原動力となることは望まない」と訴える。Googleに対してイスラエル政府との契約の中止を求めるのは、発端となったプロジェクト・ニンバスの契約を「ガザのパレスチナ人を虐殺するイスラエルへの支援」と見なしていることによるものだ。 社員の解雇について同団体は「言語道断の報復行為」「Googleが自社の社員よりも、虐殺行為をしているイスラエル政府および軍との12億ドルの契約の方を大切にしていることが、これではっきりした」と反発した。 また抗議デモは平和的に行われ、Google社内で器物を損壊したり、同僚を妨害したりもしていないと主張。社員の解雇はGoogleのいう「開かれた文化」の虚偽をさらけ出したと訴え、解雇は不当だったとし全米労働関係委員会（NLRB）に不服を申し立てて
「GPT-4o」発表 頭一つ抜けた性能をChatGPT無料版にも展開 音声と視覚を備えて“自然な対話”可能に【追記済】
米OpenAIは5月13日（米国時間）、生成AI「GPT」の新たなモデル「GPT-4o」を発表した。テキストはもちろん、音声や画像、映像での入力、音声での応答に対応し、アプリ版の「ChatGPT」ではユーザーと自然に対話できるようになった。開発者向けにAPIとして提供する他、同日からChatGPT内で利用できるように展開を始める。 GPT-4oは無料ユーザーでも利用可能になる。ChatGPTでは従来、無料ユーザーが使えるモデルは「GPT-3.5」までで、「GPT-4」を利用するには課金する必要があった。ただし、有料のChatGPT Plusユーザーは時間当たりのメッセージやり取り可能回数が無料ユーザーに比べて5倍に緩和される。企業向けのTeamやEnterpriseユーザーはさらに制限が緩和されるとしている。 同社は発表会のライブデモで、GPT-4oを搭載したiOS版ChatGPTと対話す
Google Cloud、豪年金基金のアカウントを誤削除 予備も誤削除 他社でのバックアップでなんとか復旧
Google Cloudが、顧客のアカウントを誤って削除し、大規模障害の引き金になる──こんな出来事が海外で起きた。オーストラリアで年金基金を運営するUniSuperは5月8日（現地時間）、自社サービスで起きていた障害について、プライベートクラウドのアカウントが誤って削除されたことが原因だったと発表した。 UniSuperはGoogle Cloudを活用していたが、米Google自身が誤ってアカウントを削除。UniSuperは冗長性を確保するため、別のリージョンにもデータを置いていたが、そちらも無効にされていたという。 アカウントが削除された経緯については「（Google Cloudが）UniSuperのプライベート・クラウド・サービスをプロビジョニングする際の不用意な構成ミスにより生じた」（UniSuper）と説明している。しかし、UniSuperは他社のサービスでもバックアップを確保し
職場の「一部ネット接続できない規制PC」から機密データを盗むサイバー攻撃 米研究者らが発表
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 米ボイシ州立大学などに所属する研究者らが発表した論文「Exploiting CPU Clock Modulation for Covert Communication Channel」は、インターネット接続を遮断された規制の厳しいPCであっても、CPUの処理速度を意図的に操作することで、一部のアプリケーションでひそかにデータをやりとりできる攻撃を提案した研究報告である。 コンピュータをハッキングから守るためには「エアギャップ」と呼ばれる、ネットから物理的に分離したセキュリティ上の予防措置がある。また全てを遮断するのではなく、コンピュータ自体はインターネ
チャットAI「Grok」、Xの有料ユーザーに開放
Xのプレミアムユーザーが5月8日までに、チャットbot型生成AI「Grok」を利用できるようになった。Grokは、イーロン・マスク氏が率いる米AI企業の「xAI」が開発するAIだ。 プレミアムユーザーは、Xのメニューに「Grok」が追加されており、チャット形式で質問できる。回答はXに投稿したり、DMで送信したりできる。 使い心地はChatGPTなどと同様だ。Grokはマルチモーダルだが、X版はテキスト入力のみに対応しているようだ。 「標準モード」と、ユーモアを交えて回答する「ユーモアモード」の2つのモードから選べる。 8日以降、Xで人気の企業アカウントなどがGrokに質問した結果を公開しており、話題が盛り上がっている。 関連記事 XにAIの「Grok」が編集するトレンドまとめ「Stories」 プレミアム向け新機能 Xは、Xプレミアムユーザー限定の新機能「Stories on X」の提供を
太陽フレア、3日間で5回の“Xクラス” NICT「早ければ10日午後6時ごろから影響」
大規模な太陽フレアが5月7日ごろから頻発し、情報通信研究機構（NICT）が注意を呼び掛けている。この影響で「早ければ10日午後6時ごろ」から、GPSや長距離通信などに障害が発生する可能性があるという。 NICT宇宙環境研究室の津川卓也室長によると、「今回は3日間で5回ほど、立て続けにXクラスの太陽フレアが発生し、コロナのガス放出が観測された。これが地球に到達すると磁場が乱れ、人工衛星の障害、GPSの誤差拡大、短波通信への影響などが考えられる」という。 Xクラスとは、太陽フレアの規模を示す5段階の基準のうち、最も強いクラスのこと。太陽フレアによって放出されたX線の強度によって分類する。ただし今回の場合は「Xの中では下の方」だという。 NICTは、注意喚起のため臨時ページを公開する予定だ。「早ければ10日午後6時ごろから影響が出て、数日間続く見通し」（津川室長）。 関連記事 大規模な太陽フレア
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
