数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
印刷会社が突然の事業閉鎖 韓国支社が管理システムやサーバを乗っ取り→日本本社は何もできず
名刺印刷などを手掛ける印刷会社のスーパープリント（横浜市）が事業継続困難になったと発表し、Xなどで話題になっている。原因は日本本社と韓国支社の対立で、現在日本本社は生産システムやサーバなど全システムから締め出されてしまっているという。 スーパープリントのWebサイトにアクセスすると「SuperPrintにご注文くださっているお客様へ」という文章が表示される状態になっている。掲載日は5月18日で「受注分の印刷完了と、印刷事業の継続が困難となりました」などと発表。謝罪と共に、入金済みの客への返金案内などを記載している。 なぜスーパープリントは事業継続困難になってしまったのか。きっかけは、2月に発生した印刷機材の大規模故障という。これにより、バックオーダー（在庫切れ商品の注文を受けること）が増え、日本本社と韓国工場側とでコミュニケーションが機能不全に。結果、両者が対立する事態になったとしている。
いざ調べ始めると大変、ネットにない古い情報を探すには
米Pew Research Centerの調査によれば、2023年10月の時点で10年前（2013年）のWebページの38%がアクセス不能であるという。 10年前といえばそこそこ昔だと感じるかもしれない。20代の人からすればまだ子供時代だろう。10年前のガジェット、例えばPCやスマホはすでに役に立たなくなっても、新しいものがそれに変われば問題ない。 だが情報はどうだろうか。われわれは常に最新の情報を求めており、うっかり古い情報をつかんでしまうと判断を誤る可能性が高くなる。その一方で過去の情報が無ければ、今の情報の価値が分からなくなるのも事実だ。データとしての年次変化やトレンドの変遷など、過去からのベクトルが追えなくなってしまえば、未来予測もできない。つまり情報は過去からの 連続性が無ければ、未来線が描けないということである。 Webページが失われていくということは、当時のトレンドが分からな
解約しやすさはもっと評価されるべき “実質有料化”したセゾンカード、解約が簡単で素晴らしかった
ITmedia NEWSにおける1週間の記事アクセス数を集計し、上位10記事を紹介する「ITmedia NEWS Weekly Top10」。今回は5月25～31日までの7日間について集計し、まとめた。 先週のアクセス2位は、2021年5月に発表されて以来、情報がほとんどなかった「ドラゴンクエストIII」（ドラクエ3）のリメイク版とみられるゲームの新情報などの話題が入った。といってもゲーム名や発売日などの詳細は分からないまま。ティーザー動画の内容から「おそらくドラクエ3が近く発売されるだろう」と推測できるだけだった。 3位は、クレディセゾンが提供するクレジットカードの一部で、1年間利用がない場合に「カードサービス手数料」が新たに発生するという記事だ。対象は「セゾンカードインターナショナル」「セゾンNEXTカード」（AMEXブランド除く）、「セゾンゴールド・アメリカン・エキスプレス・カード」
カメラの作例だと思ったらストックフォトの写真だった――「LUMIX」商品サイトで物議 パナが謝罪
パナソニックが先日発表した新型ミラーレスカメラ「LUMIX DC-S9」の商品サイトが物議を醸している。商品の特徴や新機能を紹介するサイトの写真が、S9で撮影したものではなく、ストックフォトの画像を使っているとX（旧Twitter）で指摘される事態に。同社に確認したところ、一部ストックフォトの利用を認め「誤解を与える画像使用であったことを、深くお詫び申し上げます」と謝罪した。 Xでストックフォトの利用を指摘されたのは、S9の商品ページの機能に関する部分。AFに関するページに使われている犬が走っている扉絵から、像面位相差AFの精度を紹介する写真、動物認識AFで使われている動物の写真、S9の目玉機能でもある「リアルタイムLUT」機能などで、ストックフォトにアップされているものと同一の写真が商品ページで使われていたとされる。
“コンパクトスマホ”は絶滅するのか？ 変わりゆく「小型の定義」と「市場ニーズ」
3月に、ASUSの新型スマートフォン「Zenfone 11 Ultra」が発表されたが、日本での期待値が高かったコンパクトなZenfone 10の後継モデルは発表されなかった。ここ最近、新しい小型スマートフォンを見る機会がめっきり減ってしまったが、今回は「変わりつつあるコンパクトスマホの定義」について考えてみたい。 変化する「コンパクトスマホ」の定義、今やiPhone 15もコンパクトの部類に？ さて、唐突ながら、読者の皆さまが「コンパクトスマホ」として漠然と思い浮かべる機種は何だろうか。筆者は、2023年に惜しまれつつ販売が終了した「iPhone 13 mini」が印象深い。過去に発売された機種では、ソニーの「Xperia SX」や「Xperia ray」、シャープの「AQUOS R Compact」などを思い浮かべる方もいることだろう。 筆者が思いつく限りのコンパクトな機種を平均すると
「東芝未来科学館」が一般公開を終了へ 63年にわたり親しまれた科学教育施設
東芝は5月23日、同社の科学教育施設「東芝未来科学館」の一般公開を、6月29日をもって終了すると発表した。公開終了について「当社グループの事業ポートフォリオがBtoCからBtoBへ移行していることに伴い」としている。 東芝未来科学館は、1961年に小向事業所内に開設した「東芝科学館」を前身とし、2014年に川崎本社（スマートコミュニティセンター）の開所にあわせて同センター内に移転。現名称に変更して運営してきた。1961年からの累計来館者数は2022年6月時点で1100万人におよぶという。 同館では「先端科学技術・事業の情報発信」「産業遺産の保存・歴史の伝承」「科学技術教育・啓発活動の推進」を目的としていたが、B2CからB2Bへの事業ポートフォリオの移行にあたり、役割の見直すという。 一般公開終了後、「先端科学技術・事業の情報発信」機能は、24年2月に開所した研究開発新棟「イノベーション・パ
YouTuber or VTuber どちらで配信する方が支持される？ 明治大などの研究者らが比較調査
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。通常は新規性の高い科学論文を解説しているが、ここでは番外編として“ちょっと昔”に発表された個性的な科学論文を取り上げる。 X： ＠shiropen2 明治大学やソフトバンク、NTTドコモ、ドワンゴに所属する研究者らが2023年1月に発表した論文「カテゴリ別におけるVTuberとYouTuberの配信スタイルによる印象評価」は、動画配信における顔出し、2DCGアバター、3DCGアバターの3種類の配信スタイルが視聴者にとってどれほど影響があるのかを比較調査した研究報告である。
KDDIが「Google メッセージ」をAndroid端末に採用 「RCSの普及とユーザー体験向上を目指す」
KDDIが5月16日、Googleが提供するメッセージサービス「Google メッセージ」を、Android端末の標準アプリとして追加採用することを発表した。Googleが表明しているグローバル標準のRCSの取り組みに賛同し、AI技術なども活用しながらユーザー体験向上を目指すとしている。Android端末への採用時期は、あらためて告知する。 Google メッセージは、従来のSMSを拡張したRCS（Rich Communication Services）に準じており、電話番号ベースで写真や動画を送受信できる。RCSはGSMAで標準化されており、全世界で採用キャリアや対応機種が拡大している。 KDDIは、国内では同じくRCSに準拠したメッセージサービス「＋メッセージ」を提供しているが、ここにGoogle メッセージが加わることになる。同社は、これまでのメッセージサービスで培ってきたアセットや
「入賞作品の著作権は主催者が取得」──生成AIアートコンテストが物議 ワコム協賛の記述も削除に【追記あり】
主催の清風明育社は、コンピュータ専門学校「清風情報工科学院」を運営する学校法人。他ににじジャーニーの提供元や大阪府教育委員会などが協賛しているという。また、公式サイトには協力先として日本マイクロソフトの名前を記載している。当初は協賛にワコムも記載していたが、5月13日にネット上で批判の声が大きくなった後、同日中に記載がなくなった。 清風明育社は、コンテスト開催の背景について「（生成AIは）有料利用が前提とされることが多いため、若年層は手が出しにくい」「無料で利用できる高品質な生成AIアートのツールに触れることが、進路選択・職業選択において価値ある体験になる」と説明していた。 一方コンテストに対してはいくつかの批判も。まず「入賞作品の著作権は主催者に帰属する」点については「成果物を奪うつもりか」という批判が見られた。また、協賛社一覧にワコムの名前があったことから、同社に対し「クリエイター向け
Google Cloud、豪年金基金のアカウントを誤削除 予備も誤削除 他社でのバックアップでなんとか復旧
Google Cloudが、顧客のアカウントを誤って削除し、大規模障害の引き金になる──こんな出来事が海外で起きた。オーストラリアで年金基金を運営するUniSuperは5月8日（現地時間）、自社サービスで起きていた障害について、プライベートクラウドのアカウントが誤って削除されたことが原因だったと発表した。 UniSuperはGoogle Cloudを活用していたが、米Google自身が誤ってアカウントを削除。UniSuperは冗長性を確保するため、別のリージョンにもデータを置いていたが、そちらも無効にされていたという。 アカウントが削除された経緯については「（Google Cloudが）UniSuperのプライベート・クラウド・サービスをプロビジョニングする際の不用意な構成ミスにより生じた」（UniSuper）と説明している。しかし、UniSuperは他社のサービスでもバックアップを確保し
ネコとAIだけが暮らす世界は幸せか？ 遊びやエサを与える自律ロボとネコが過ごす実験 英国チームが検証
近年、ロボット掃除機の上で楽しそうに乗っている猫の動画がソーシャルメディアで話題になるなど、猫たちは動き回るロボットにも動じることなく、むしろその存在を楽しんでいるようにさえ見える。ロボット掃除機や芝刈り機など、ロボットによる支援が身近になりつつある中、研究チームはロボットが猫の飼育環境の質的向上に役立つ可能性について探った。 研究チームは「Cat Royale」と名付けられた、猫とAIロボットがインタラクションする特別な室内環境を設計。この空間には、おもちゃやキャットツリー、水飲み場、植物がふんだんに用意され、中央にはロボットアームを配置した。 ロボットアームは、猫じゃらし風のおもちゃやボールで獲物を追わせるゲームや玉転がしなど、500以上の遊びを提供し、おやつも与える。さらに、ロボットが特定の遊びを行った後、その遊びが各猫の幸福度にどのような影響を与えたかを計測し、その結果をAIシステ
スクエニ、特損221億円で広がる波紋 背景にあるのは「特定IPに依存しすぎ」体質か
スクウェア・エニックス・ホールディングス（以下、スクエニ）は4月30日、2024年3月期に約221億円の特別損失を計上すると発表した。理由は「コンテンツ制作勘定の廃棄損」。進めていたゲームの開発を中止するため、これまでに掛かった制作費などを損失として計上する。この発表が、ファンの間に波紋を広げている。 発表では「環境の変化を考慮し、開発リソースの選択と集中を図る」として、3月27日に開催した取締役会でHDゲームタイトルの開発方針の見直しを決議した。この方針を受け、開発中タイトルを精査した結果だという。 スクエニのいう「HD（ハイ・デフィニション）ゲーム」とは、「ドラゴンクエスト」シリーズや「FINAL FANTASY」シリーズに代表されるコンシューマー機向けのタイトルのこと。大型オンラインゲームやスマホゲームは別の扱いだ。 発表では開発を中止するタイトルや本数には触れていない。しかしSNS
高機能フォトグラメトリーソフトが“無料”に Epic Games、「RealityCapture 1.4」公開
米Epic Gamesは4月23日（現地時間）、複数の画像やレーザースキャンデータをもとに、現実空間を3D空間上に構築するフォトグラメトリー（写真測量）ソフト「RealityCapture 1.4」を公開した。以前のバージョンからプラン体系を刷新、年間収益が100万ドルを超えない個人・法人なら無料で使えるようになった。 RealityCaptureは、Windows向けのハイエンドフォトグラメトリーソフトで、画像やレーザースキャンデータをもとに、仮想現実シーン、テクスチャ付き3Dメッシュ、正射投影、地理参照マップなどを自動作成できる。もともとCapturing Realityという企業が提供していたツールだったが、2021年3月にEpic Gamesが買収している。 価格は、過去12カ月間の収益が100万ドル未満の個人および中小企業、教育機関、学生であれば無料で利用可能。年間の総収益が10
Google、サードパーティcookie廃止を3度目の延期 年内には実施せず
米Googleは4月23日（現地時間）、2024年中に完了する予定だったWebブラウザ「Chrome」でのサードパーティcookieの廃止を延期すると発表した。延期はこれで3度目になる。 延期の理由は「業界、規制当局、開発者からの異なるフィードバックを調整することに関連する課題が継続している」ため。 特に、「プライバシーサンドボックス」の取り組みに懸念を示している英政府競争規制当局の競争・市場庁（CMA）が「業界テストの結果を含むすべての証拠を検討するための十分な時間を確保することが重要」としている。 CMAは1月、Googleに対し、複数の競争関連の懸念が解消されるまで、サードパーティcookie廃止を一時停止するよう命じた（リンク先はPDF）。 CMAによる検討などに引き続き協力することで、プロセスを年内に完了し、合意に達すれば2025年初頭から廃止を進める想定という。 Googleは
どうする書店不況 ジュンク堂「稼ぐ」サイネージ設置 “過小評価”を払拭せよ
同社が導入したリテールメディアの仕組みはこうだ。書店に訪れた人がサイネージに表示されたQRコードを読み込み、広告主のサービスに会員登録をすると、ジュンク堂書店で使えるクーポンが付与される。こうした仕組みで、広告を見た後の生活者のアクションを後押しする。これは「AdCoinz」という、実店舗空間に特化したテック企業、LMIグループ（東京都港区）が提供するサービスだ。 Web上のアフィリエイト広告に代われるか クーポン発行の原価は広告主からの広告費でまかなわれる。店舗側はサイネージを設置する場所を提供することで設置代を受け取れ、設置にかかる初期費用はかからない。来店客がクーポンを使用し、追加購買をすることで売り上げ増も見込める。 広告を見た人がその広告のサービスを購入した場合、店舗側にもレベニューシェアが行われる。サイネージにはAIカメラが搭載されており、サイネージの前を通った人の属性データは
ブーム来る？ 「和文バリアブルフォント」の世界
そんな事もあり、4月10日は新しいフォントがいくつか発表された。今年の目玉はなんといっても「和文バリアブルフォント」であろう。 われわれが普段使用するフォントは、同じデザインでも細いもの、太いもの、横が詰まったものなどがそれぞれ個別のフォントとして提供され、1つのファミリーを形成している。 一方バリアブルフォントは、そうした文字の変形を1つのフォントで提供していこうという比較的最近のフォントフォーマットで、米Adobe／米Apple／米Google／米Microsoftが共同開発した。フォントパラメータとして、太さや字幅がバリアブルで変更できるため、従来はファミリーで提供しなければならなかったフォントデータが、1つのフォントで小さく提供できるというメリットがある。 もちろんデザインする側も、細いか太いかの2択ではなく「中間」も選べるし、縦長、横長も選べるので、表現の幅が広がるわけである。た
“サイボーグゴキブリの群れ”をコンピュータで操作 阪大らがナビシステム提案
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 大阪大学とシンガポールの南洋理工大学に所属する研究者らが発表した論文「Natural-artificial hybrid swarm: Cyborg-insect group navigation in unknown obstructed soft terrain」は、生きている昆虫（マダガスカルオオゴキブリ）に小型の電子制御装置を取り付けてサイボーグ化し、複数のサイボーグゴキブリを群れとして制御することで、未知の複雑な地形を移動させるナビゲーションシステムを提案した研究報告である。 従来のロボットは、障害物回避や未知環境への適応、長時間の稼働といっ
ランチ時に「決済できない」学生悲鳴 大学生協アプリ障害「AWSの同時接続制限超過が原因」
全国の大学生協の食堂などで決済に使われている「大学生協アプリ」で4月15日の正午過ぎから約30分間にわたって障害が発生し、決済などができない状態になった。 同アプリを提供している大学生協事業連合は16日、 「AWSで設定されていた同時接続制限を超過したことが原因」と表明。同時接続制限を拡張し、監視体制を強化することで対策したとしている。 大学生協アプリは、生協の購買や食堂などで使える電子マネー機能などを備えており、全国の多くの大学生協で採用されている。 4月15日の障害は、お昼のピーク時刻に当たる午後0時3分に発生。サインインやバーコードの更新、チャージ、会員証の表示、電子マネーによる精算などができない状態になった。Xには学生から困惑の投稿が相次ぎ、トレンドに「大学生協アプリ」が入った。 原因は、AWSで設定されていた同時接続制限を超えたことにより、リクエストが処理できなくなったこと。同日
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Windows 11の永続ライセンスが消えて“毎月課金”になる予感
