数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
NHK「スマホやパソコンを持っているだけでは負担の対象にならない」 改正放送法成立受けコメント、詳細は検討中
日本放送協会（NHK）は5月17日、インターネットを使った番組などの提供をNHKの必須業務にすることを柱とした改正放送法が国会で成立したことを受け、コメントを発表した。 改正放送法では、NHKのインターネット業務を、任意業務から必須業務へ格上げした。これまでは制度上、テレビ放送を補完するサービスという位置づけだった。 NHKは「放送と同じ情報内容や同じ価値を提供し、受信料を頂くという、これまでより高い位置づけになることだと受けて止めている」として、いわゆる“ネット受信料”にも触れている。 今後はネットを介してNHKのサービスを受けた人に対し、テレビを持っていなくても「インターネットサービスの受信料」として負担を求める。条件などの詳細は検討中。既に受信料を支払っている視聴者に追加の負担はない。 NHKは「スマートフォンやパソコンなどを持っているだけでは、負担の対象にはなりません。改正法では、
「XのURLが変更される予定です」──「twitter.com」が「x.com」にリダイレクトされる仕様に
旧TwitterがXへブランド変更されたのは2023年7月下旬。それまで使われていた青い鳥のロゴから、黒いXへと変わった他、アプリ名などもXへと変更されていた。一方、URLについてはtwitter.comのままであった。 関連記事 「Twitter.com」を「X.com」に自動変換 Xが仕様変更も、批判相次ぎすぐ撤回 ネット失笑 Xでポストした「Twitter.com」の文字列が自動的に「X.com」に変換されてしまう――。4月上旬、Xでそんな現象が発生し、詐欺に利用されかねないとしてユーザーが警戒を呼びかけた。間もなく問題は解消されたが、Xの混乱ぶりにあきれる声などが相次いでいる。 YOSHIKI氏、イーロン・マスク氏に「“X JAPAN”の名称で争いたくない」 Twitter改名騒動にコメント X JAPAN・YOSHIKIさんが、新曲「Angel」のリリースに併せて、Twitter
なぜ、DXを推進したらクレーム件数が減ったのか ガストやバーミヤンの取り組み
ファミリーレストラン「ガスト」などを展開するすかいらーくホールディングスが、DXを推進することで店舗のクレーム減少につなげている。どういった取り組みをしているのか、同社の広報担当者に話を聞いた。 利用客を待たせる時間を短縮 すかいらーくグループ全店舗における、利用客10万人当たりのクレーム件数（2023年）は、22年比で23％減少している。さまざまなDXの推進により、利用客を待たせる時間が短くなったことが主な要因だという（出所：23年度通期決算説明資料）。 具体的にどのような施策が影響しているのか。 例えば、セルフレジを導入した店舗では、導入前（23年10月以前）と比較して、利用客1組当たりの平均対応時間が80秒から9秒に減少している。
これは“AIキャバクラ”なのか!? おしゃべりAI「Cotomo」と話したら“重い彼女”がいる気分に
友達と電話するように会話しながら、ほめたり労ったりしてくれるコトモ。「すごい！」「賢い」「頑張っているんだね」……言われて悪い気はしない。 だが「初対面で何でそこまで？」と白々しくも感じるし、会話はまったく深まらない。キャバクラの会話ってこんな感じなのかも？ 行ったことないけど……。 ただ、その技術はすごい。会話のテンポは人間と見まごう（聞きまごう？）ほどだ。こちらの言葉をオウム返ししたり、「うん」「そっかそっか」などの相づちを違和感なく挟むことで、より共感してもらっている印象を覚えるとともに、返答の待ち時間も自然に埋めている。 過去の会話を覚え、その後に反映してくる“記憶力”もある。前回の会話で「好き」と言ったことを思い出して、「○○好きだって言ってたよね？」と話を広げようとしてくるのだ。 あまりにナチュラルだから、人間と話している気持ちになる。だからこそ、ちょっとした“人間との違い”が
なぜ休日に業務連絡？ 「つながらない権利」法制化の前に考えるべきこと
ワークスタイル研究家。1973年三重県津市出身。愛知大学文学部卒業後、大手人材サービス企業の事業責任者を経て転職。業界専門誌『月刊人材ビジネス』営業推進部部長 兼 編集委員、広報・マーケティング・経営企画・人事部門等の役員・管理職、調査機関『しゅふＪＯＢ総合研究所』所長、厚生労働省委託事業検討会委員等を務める。雇用労働分野に20年以上携わり、仕事と家庭の両立を希望する“働く主婦・主夫層”の声のべ4万人以上を調査したレポートは200本を超える。NHK「あさイチ」他メディア出演多数。 現在は、『人材サービスの公益的発展を考える会』主宰、『ヒトラボ』編集長、しゅふＪＯＢ総研 研究顧問、すばる審査評価機構株式会社 非常勤監査役、JCAST会社ウォッチ解説者の他、執筆、講演、広報ブランディングアドバイザリー等の活動に従事。日本労務学会員。男女の双子を含む4児の父で兼業主夫。 「つながるストレス」と「
オーディオブックの“倍速視聴”が話題 “等倍で聴く人いない”は本当か？ 声優からは「衝撃」の声
続けて「若い女性 壮年の男性 子供 ご老人 体格や今までの経験、全てが喋り方に影響してくる。地の文も内容によって読むリズムや音の大きさは変わってくる。全てを均一にしたいのならば、朗読ではなく、スマホの読み上げ機能をおすすめします」と書き込んだ。この投稿は話題となり、投稿から約4時間でインプレッション数は280万を超えた。 他ユーザーからもさまざまな意見が上がっている。「これは読み手に求めることではない」「聞き手が調整すべきこと」「倍速で聴くのは好きにすればいいけど、作り手に配慮を求めるのはライン超え」など池澤さんの考えを擁護する声が多く挙がっている。 中には、朗読と音読の違いを指摘する意見も。「音読だと、スマホ読み上げで済む話だけど朗読は感情がこもってこそ。朗読は、間のとり方とか強弱の付け方とか好きなだけいじっていいもの」「朗読をただの読み上げと思ってるユーザーが一定数いるのはそうなのだろ
NTTと通信3社がSNSで激論 NTT広報室「KDDIもソフトバンクも公社時代の資産受け継いでいる」
「NTT法」の見直しを巡り、NTTと通信3社（KDDI、ソフトバンク、楽天モバイル）の対立が激しさを増しているが、その舞台はSNSにも広がったようだ。通信3社のトップがNTT法廃止に反対する旨をX（旧Twitter）に11月14日ごろから次々と投稿。17日になってNTT広報室のX公式アカウントがそれに反論した。 「NTT法」の見直しを巡り、NTTと通信3社（KDDI、ソフトバンク、楽天モバイル）の対立が激しさを増しているが、その舞台はSNSにも広がったようだ。通信3社のトップがNTT法廃止に反対する旨をX（旧Twitter）に11月14日ごろから次々と投稿。17日になってNTT広報室のX公式アカウントがそれに反論した。 もともとは防衛費増額の予算確保の一環としてNTT株の売却が持ち上がったことを発端とし、政府による1／3以上の株式保有を義務付けるNTT法の在り方が議論されてきた。見直しをき
約7割が「電車で優先席に座ることがある」、その理由は？
電車やバスなどの公共交通機関に設けられていることがある優先席。「電車に乗った際に優先席に座ることがある」という人は66.9％と、ほぼ3人に2人にのぼることがわかもと製薬（東京都中央区）の調査で分かった。
X（元Twitter）、有料になっても使いますか？
ITmedia NEWSにおける1週間の記事アクセス数を集計し、上位10記事を紹介する「ITmedia NEWS Weekly Top10」。今回は2023年9月16日から9月22日までの7日間について集計し、まとめた。 ようやく涼しくなってきた……と思ったらインフルエンザや新型コロナウイルスが大流行していて、息つく間もありません。皆さんは無事にお過ごしでしょうか。 さて先週は「イーロン・マスク氏がX有料化に言及した」という話題がアクセス1位になりました。この話、「デマだ」という説も一部で出ましたが、実際に動画を見てみると、マスク氏は「Xシステムの月額使用料を少額課金する方向に移行している」とはっきり言っています。1アカウントごとに少額でも経済的負荷をかければ、大量のbot（動画では「bot軍」と呼んでいます）」を使った世論操作などが難しくなるのでは、という文脈でした。 が、この後マスク氏
ネット広告にだまされやすいのは20代男性──消費者庁調べ
消費者庁は9月19日、ネット通販やSNS広告で見られる「大幅値下げ」や「期間限定」といった宣伝文句にどのような人が影響を受けやすいか調査した結果を発表した。20代男性は、広告をクリックしてトラブルに遭ったり、後悔したりした確率がとくに高い傾向にあった。 SNS広告でよく見られる宣伝文句を、「大幅値下げ」をうたうセール表示や、「改善を実感！」など効き目を強調する表示など8タイプに分け、アンケート調査を通じてクリックのしやすさ、後悔した経験などを調査した。 8タイプのうち「高額サービスの無料体験、キャンペーン」「効き目を強調」「無料解約、返金保証」の3タイプは、クリックした人は少ないものの、トラブル経験のある人が3割を超え、金額も高いことから「とりわけ注意が必要と考えられる」という。 性別、世代別にみると、20代男性は、どの表示に対しても後悔したりトラブルを経験したりした割合が最も高かった。並
Togetter広告枠に“大量のG”が表示される 「悪質クリエイティブは見つけ次第ブロック」
ツイートまとめサイト「Togetter」を運営するトゥギャッターは7月18日、同サイトに「大量のG（ゴキブリ）が写った画像」が広告として表示されたため、該当の広告をブロックしたと報告した。 同様の広告は他のWebサイトにも表示されることがあるという。トゥギャッターは「悪質なクリエイティブは引き続き見つけ次第ブロック＆報告する」としている。Togetterでは2017年にも、Googleを装って不審なアプリをダウンロードさせようとする悪質な広告が確認されたことがある。 関連記事 Twitterの広告収入は50％減──イーロン・マスク氏がツイート Twitterの広告収入は50％減少し、キャッシュフローは依然としてマイナスだとイーロン・マスク氏がツイートした。 電ファミ、悪質リダイレクト広告に注意喚起 閲覧中に偽アンケート ニュースサイト「電ファミニコゲーマー」を運営するマレが、同サイト閲覧中
Meta、Twitter競合の「Threads」の“予約注文”ページをApp Storeで公開
米Metaは7月3日（現地時間）、Twitterの競合とうわさされていた新サービス「Threads」のiOSアプリの“予約注文”ページを米AppleのApp Storeで公開した。日本語もサポートする。リリース予定日は6日となっている。 概要説明では「Instagramのテキストベースの会話アプリ」と定義されており、「Threadsは、コミュニティが集い、関心のあるトピックから次に来るトレンドまで何でも話し合える場です。興味・関心のジャンルが何であれ、お気に入りのクリエイターや自分と同じ興味・関心を持つ人をフォローし直接つながることができます。あるいは、自分の熱心なファンを増やし、世界に向けて自分のアイデアや意見、クリエイティビティを発信することができます」とある。 このアプリについては6月9日に米The VergeがMetaの全社会議の録音に基づいて報じた。その後、このうわさをきっかけに
PayPayは「汗をかかずにもうかるシステム」か？ コード決済の手数料がTwitterで物議に
コード決済サービス「PayPay」の手数料を巡るツイートが話題になっている。ある店舗が掲載したと思われるポップを撮影したツイートで「PayPayの2022年度決算取扱高が10兆円と聞いて（PayPayの取り扱いを）やめました」などと記載。この画像を巡って、決済システムの手数料について議論が巻き起こっている。 ツイートのポップではPayPayの取り扱いをやめる理由として「店舗側はPayPay側へ手数料として2％を支払う」ことを挙げており「『汗をかかずにもうかるシステム』への小さな抵抗」などと説明している。 これを見たTwitterユーザーからは「格安競争を強いられる時代に2％の手数料が取られるのは痛い」「ウチも手数料の負担が厳しいのでやめました」など店舗経営をするユーザーを中心に、手数料が負担になっている実情に同調する声が挙がっている。 コード決済の手数料を巡っては、創業から40年以上たつ飲
川崎市のコンビニで他人の戸籍謄本誤発行 「2人同時に発行申請すると上書き」バグが原因 富士通
富士通Japanは5月9日、神奈川県川崎市のコンビニの証明書交付サービスで、他人の戸籍謄本が発行された問題について、原因を公表した。 「2カ所のコンビニで、2人の住民が同一タイミング（1秒以内）で交付申請した際に、後続の処理が先行する処理を上書きしてしまう」プログラムのバグが原因だったという。 このプログラムは川崎市以外では使われておらず、他の自治体で起きた問題と原因は異なる。バグは既に修正・入れ替えたとしている。 富士通Japanの証明書交付サービスは、全国200弱の自治体に導入されているが、川崎市の他、横浜市、東京都足立区で、他人の住民票の写しを誤って発行するなどの問題が発生。それぞれ別のプログラムが原因であることが分かっている。 河野太郎デジタル大臣は5月9日の記者会見で、同システムの一時停止を富士通Japanに要請したと発表。同社は9日付のニュースリリースで、「サービスの総点検は既
ChatGPTと食べログが連携 「明日夕方に4人で入れる焼き肉屋ある？」に返答 店探しを支援
ChatGPTプラグインは外部サービスから情報を取得してChatGPTの機能を拡張するもの。AIが生成する情報は必ずしも正確とは限らなかったが、外部情報を参照するため正しい結果を出力できる。利用にはウェイティングリストへの登録が必要。 関連記事 GPT-4搭載の「新しいBing」、誰でも利用可能に 新機能も多数追加 オープンプレビュー」に移行した。これにより、ウェイティングリストに登録せずに誰でも利用できるようになる。また、画像を交えた回答やチャット履歴の保存、マルチセッションなど多数の新機能を追加する。 OpenAIのChatGPT、イタリアで再び利用可能に 透明性改善で イタリアのデータ保護当局は、ChatGPTの使用禁止を解除した。OpenAIが年齢確認機能や履歴を保存しない機能を追加したため。GPDPはOpenAIの対策を認め、引き続き欧州データ保護法順守についての調査を続けるとし
6500円の座席、1200円のカクテル──歌舞伎町に誕生、超プレミアムな映画館の全貌
新宿・歌舞伎町にプレミアムな映画館が誕生した。東急レクリエーション（東京都渋谷区）は4月14日、109シネマズの新ブランドとなる「109シネマズプレミアム新宿」を開業する。シートは4500円、6500円の2種類で、バーやラウンジを完備するなど、一般的な映画館とはまた違う楽しみ方を提案している。ターゲットは「30～50代の男性」と「インバウンド」だ。 シートは6500円、4500円の2種類 109シネマズプレミアム新宿は8スクリーン・総席数752席のプレミアムシアター。同日に開業する「東急歌舞伎町タワー」の9～10階に位置する。同タワーは2014年12月31日に58年の歴史に幕を閉じた「新宿ミラノ座」跡地としても知られる。 「新宿ミラノ座を運営していた当社が、そのDNAを継承しつつ、109シネマズのノウハウを生かし、新たな映像体験をお届けします」（同社）
Twitter、新API開始 ベーシックは月100ドル、書き込みだけの無料プランも 「30日間のうちに移行して」
米Twitterは3月29日（現地時間）、新しい「Twitter API」の提供を始めた。無料で使える「Freeプラン」、ホビーユーザー向けの「Basicプラン」、企業向けの「Enterpriseプラン」を用意。既存のユーザーには「今後30日で既存のAPIの使用は非推奨とする。スムーズな移行をおすすめする」と告知している。 Freeは書き込み専用のプランで、価格は無料。APIのテストに使えるとしている。ツイートの書き込みは月間1500件まで。使えるTwitter IDは1個。Twitterログイン機能も利用できる。 Basicはホビーユーザー向けのプランで、価格は月額100ドル（約1万3265円）。サービスのプロトタイプ制作に使えるとしている。ツイートの書き込みは1ユーザーにつき月間3000件まで、1アプリにつき月間5万件まで。読み込みは月間1万件まで。 Enterpriseはビジネスや広
なぜ人々は、ChatGPTという“トリック"に振り回されるのか？ Google「Bard」参戦、チャットAI戦争の行方
なぜ人々は、ChatGPTという“トリック"に振り回されるのか？ Google「Bard」参戦、チャットAI戦争の行方：清水亮の「世界を変えるAI」（1/8 ページ） OpenAIが2022年に発表した対話型AI「ChatGPT」の衝撃は、米国ビッグテック最強の一角であるGoogleを動揺させた。Googleは急ぎ「Bard」と名付けたAIチャットボットを投入し、巻き返しを図る。 側から見ていると急展開に心が躍る一方、果たしてこの戦いは本当に意味のあるものになっているのか。チャットボットを長年ウォッチしてきた筆者としてはハラハラする気持ちも少なくない。 まずは現状のAIチャットボット関連をまとめ、それからチャットボットの歴史を振り返り、現状、そして未来を予想してみたい。 深層学習チャットボット百花繚乱の2023年 最近になって深層学習をベースとしたチャットボットが注目を集めている。Open
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ワードやエクセルと「GPT-4」が合体 「Microsoft 365 Copilot」発表 日本のDXも爆速化？
