数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
「なぜ時間は過去→未来にしか進まない？」を“量子もつれ”で説明か 未解決問題「時間の矢」に切り込む
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 普段感じている時間は、過去から未来へと一方向にしか流れていかない。このような時間が一方向に進む概念を「時間の矢」と呼び、物理学の未解決問題の一つとしている。この時間の矢を説明する新しい考え方を提案したのがこの研究である。 この論文では、宇宙が始まったときには「量子もつれ」は少なかったと主張（宇宙の初期状態が非常に低いもつれエントロピーを持つ状態であったという仮定）しており、これを「量子もつれの過去仮説」（Entanglement Past Hypothesis、EPH）と呼んでいる。 「量子もつれ」とは、2つ以上の量子がどんなに遠く離れていても互いに強
ニコニコ、広告ブロックツールで年間1億円を超える損失 「クリエイターへ還元できていない」 無効化など呼び掛け
ニコニコを運営するドワンゴは5月27日、「広告ブロックツール」（AdBlock）と呼ばれる広告を非表示にするツールにより、年間1億円以上の損失が発生しているとして、使用者に無効化などを呼び掛けた。クリエイターへの還元にも影響が出ているという。 ニコニコによると、一部ユーザーが広告ブロックツールを使用していること、そして使用者に一部機能や表示などに意図しない不具合が発生し、正常にサービスを利用できない場合があることを確認しているという。広告ブロックツールへの対策も検討中だ。 一方、ニコニコは本来表示されるはずの広告による収益がなくなることで、サービス開発や運営に影響が出ているという。損失は年間1億円以上で、「クリエイター奨励プログラムの奨励金を適切に分配できない状態にある」として、ツールの利用者に無効化またはホワイトリストにニコニコのドメイン（nicovideo.jp）を登録するように求めた
ネットのやりすぎは「後天性ADHD」になりやすい？ 米国で2018年に調査 2500人以上で検証した結果は
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。通常は新規性の高い科学論文を解説しているが、ここでは番外編として“ちょっと昔”に発表された個性的な科学論文を取り上げる。 X： ＠shiropen2 米USC Keck School of Medicineや米UCSDなどに所属する研究者らが2018年に発表した論文「Association of Digital Media Use With Subsequent Symptoms of Attention-Deficit/Hyperactivity Disorder Among Adolescents」は、デジタルメディア（ソーシャルメディア、動画ストリーミング、テキストメッセージなど）の使用頻度と、ADHD（注意欠陥・多動性障害）の症
なりすまし詐欺広告と“誤認”か 「ホリエモンAI学校」、Metaに広告アカウントを凍結される 運営会社は「ずさん」と苦言
ホリエモンAI学校は、ChatGPTを使った自動化ツールの作成やPythonのプログラミングなどを学べるオンラインスクール。堀江貴文さんをプロデューサーに迎え、今年1月に開校した。 なりすまし詐欺広告は、著名人の写真や名前を無断で使い、投資などを促すというもの。ZOZO創業者で起業家の前澤友作さん、実業家の堀江貴文さんら多くの著名人が、FacebookやInstagram上で、なりすましの被害に遭っている。両SNSを運営するMetaは4月16日に対策に関する声明を公表したものの、その内容が不十分として「（Metaに）行政処分を出すべき」（前澤さん）など非難する声が上がっている。 関連記事 “なりすまし詐欺広告”に対するMetaの声明に前澤友作さんら怒り心頭 「行政処分を出すべき」 著名人の写真や名前を使って投資などを促す詐欺広告の問題で、FacebookやInstagramを運営する米Me
「教授5人に研究成果を持っていかれそうになった」──タレント・村木風海さんの発言が物議 東大「現在調査中」
「大学にいたとき、教授5人くらいから研究成果を持っていかれそうになって、戦ったこともありました」──ホリプロ所属のタレントで、二酸化炭素を回収する装置「ひやっしー」を開発する村木風海さんが、テレビ番組「そこまで言って委員会NP」（4月14日放送）で発言したこんな内容が物議を醸している。X上では「事実ならば問題になるのでは」と指摘する声などが上がっている。
夢の左手デバイスはまさかのゲームパッド「8Bitdo Micro」だった プロイラストレーターが試して分かった驚き
こんにちは！ refeiaです。 今日は夢のようなお絵描き用左手デバイスの話をしましょう。もしかしたら今までの左手デバイスの不満を乗り越えてくれる、もしくはプラスワンとして買い足すだけで、ちょっと快適になれる製品かもしれません。よろしくお願いします！
自宅の「スマートロック」が故障 新しいものに取り換えたら外に締め出された件
Googleの「Google Homeシリーズ」（現在の「Google Nestシリーズ」）やAmazonの「Amazon Echoシリーズ」など、日本でも2017年からスマートスピーカーが相次いで販売され始めました。それ以来、筆者宅ではいわゆる「スマート家電」を導入し始め、少しずつですが自宅を「スマートホーム」にしています。 当初はスマート家電のバリエーションは少なく、価格も比較的高価でしたが、多くのメーカーが参入したことで、手頃な価格の製品も増えました。「これもスマホやスピーカーから操作できるようにしてしまおう！」と、日々工夫を行うのが1つの趣味になっている状況です。 いろいろ導入してきた中で、筆者が一番便利に感じたのが、玄関などのドアロックをリモート操作できる「スマートロック」です。カードのタッチ操作やスマホからの遠隔操作で解錠／施錠することに“憧れ”を持っていたことに加えて、解錠／
バッハの曲を数学的に分析 “情報量が多く効果的に伝達している”と判明 米研究者らが検証
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: ＠shiropen2 ペンシルベニア大学などに所属する研究者らが発表した論文「Information content of note transitions in the music of J. S. Bach」は、音楽作品を情報ネットワークへと変換し、作品が内包する情報量と伝達効率を調査した研究報告である。この研究では、バッハの楽曲を情報ネットワークとしてモデル化し、楽曲が持つ情報量とその情報をいかに効率よく伝達するかを定量的に評価する。 手法の第一歩として、楽曲の各音符をネットワーク上のノードとして捉え、音符間の遷移をエッジで結び付けている。このエッジは指向
NEXCO西日本がUSBメモリ紛失 データは暗号化済……ただしパスワードは本体に貼り付け
西日本高速道路（NEXCO西日本）は3月15日、個人情報191人分を保存していた可能性があるUSBメモリを紛失したと発表した。データは暗号化していたものの、メモリ本体にパスワードを貼り付けていたという。 保存していた可能性のある情報は、191人分の氏名、住所など。いずれも、道路を損傷させた人に復旧費用の負担を求める「原因者負担金」に関する情報という。 紛失は2月13日に判明。社員が気づき、捜索したが見つからなかったという。個人情報保護委員会への報告は3月11日に済ませた。情報を保存していた可能性がある人には個別に連絡するという。 関連記事 元日限定「JR西日本乗り放題きっぷ」発売 新幹線も利用可能 2017年の元日限定で、JR西日本と智頭急行の全線が乗り放題になる「元日・JR西日本乗り放題きっぷ2017」が登場。 USBメモリ、メモ、ノートPC……紛失事案が目立った10月セキュリティまとめ
「ひよこババア」→「つるぺたババア」に 反響を踏まえ「DLsite」が表現を再変更
クレジットカードブランドからの要請に応じる形で、一部の語句について表現の変更を告知した「DLsite」だが、3月27日に変更後の語句を一部修正することが判明した。 表記の再変更はクリエイター向けに案内したもので、変更後に「ひよこババア」としていた「ロリババア」という表記を「つるぺたババア」に置き換える。加えて「獣姦」についても「動物なかよし」から「畜えち」に変えるとしている。 DLsiteは、案内において「ジャンルタグ表現の変更となりますので、サービス外に対しては影響が少ない事を想定しておりましたが、みなさまより多くお寄せいただいたご意見を踏まえたもの」と説明している。 この表現変更は26日に、同サービスのサークル登録者向けに告知されたもの。クレジットカードブランドからの要請を受け、対策として「一部語句の伏字化対応」と「特定語句を含むタグに関しての新規表現への置き換え」を行うとしていた。
小学生が「2chのAA」や「スプー」を知っている理由
ITmedia NEWSにおける1週間の記事アクセス数を集計し、上位10記事を紹介する「ITmedia NEWS Weekly Top10」。今回は3月2～8日までの7日間について集計し、まとめた。 春に向けて寒暖差が激しすぎ、体調を崩している方も多いようです。東京では暖かくなって花粉が爆散している、と思ったら突然雪が降ったり。身体がついていきませんね……。 さて、先週のアクセストップは、突如発表された新型「MacBook Air」について。2画面の外部出力に対応したことなどが歓迎された一方、「先日買ったばかりなのに」など、嘆きの声も聞かれた。 2位は駐車中のTeslaの監視機能などを解説した記事だった。Teslaは「セントリーモード」と呼ばれる監視機能を標準搭載しており、人やクルマが接近するとヘッドライトが点滅し、周囲の映像を記録するという。Teslaを見かけるとついつい近づいてじっくり
AIを使った“利益を出す馬券”の買い方とは？ はこだて未来大の准教授がAIによる競馬予想法を指南
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: ＠shiropen2 情報処理学会が会員向けに月刊で発行する学会誌「情報処理」の2019年1月発行分（60巻2号）で「情報学者が競馬予想に踏み出すときに知っておくべきこと」と題した解説記事が掲載された。公立はこだて未来大学の寺沢憲吾准教授が、AIを活用して利益が出る馬券を買うために考慮しなければならない競馬予想に関することが記されている。ここでは、その内容を簡潔に紹介したい。 馬券には多様な賭け方が存在するが、ここでは単勝式を中心に説明している。単勝式の馬券は、どの馬が1着になるかを当てるもので、予想が的中すれば購入金額×オッズ（倍率）の払い戻しが行われる。オッ
ポケモンバトルに特化したAI、ポケモン社が将棋AIの会社と開発 「竜王戦」ライブ配信に活用
ポケモン社は2月9日、ポケモンバトルに特化したAI「Pokemon Battle Scope」（PBS）を開発したと明らかにした。2月25日にライブ配信を行う「ポケモン竜王戦2024」の画面に初めて導入する。 将棋AIの開発を行うHEROZが協力。将棋AIの機械学習の技術を活用し、ポケモンバトルに特化したAIを開発した。 ライブ画面では、PBSがポケモンのタイプや特性、わざ、もちもの、バトル中の天気やフィールドといった複雑な情報から、勝利に近い“次の一手”を予想。「（視聴者は）ポケモンバトルの知識の深さに関係なく楽しめる」としている。 ポケモン竜王戦2024のライブ配信は、25日の午前9時から午後8時45分頃まで。YouTube、X、ニコニコ生放送で実施する。なおニコニコ生放送では、副音声企画として、ポケモン好きの棋士による「プロ棋士と見る『ポケモン竜王戦2024』」を配信する予定だ。 関
「33歳のVTuber」、掲示板のコメントに発信者情報開示請求→東京地裁が棄却 裁判例がWebで公開
東京地方裁判所は2月9日までに、あるVTuberが発信者情報開示請求に失敗した裁判例を公式Webサイトで公開した。原告であるVTuberは「5ちゃんねる」の書き込みに対して、プライバシーや名誉感情、著作権などが侵害されたと主張。ソフトバンクに対して、発信者情報の開示を要求したが、原告側の主張は全て棄却となった。 5ちゃんねるでは2022年8月ごろに、原告のVTuberに関するスレッド「C・B・D【庇わなかればよかった】」（B、C、Dは原告の3種の活動名義）が立ち、その中で「33歳で『ナイフ舐める』『ぶっ殺してやりたい』とか言うのやめた方がいいよ 普通にキモいよ 自分の年齢考えて！」（原文ママ）という書き込みがあった。これに対して、VTuber側はプライバシー侵害と名誉感情侵害を主張した。
「Rakuten最強プラン」を固定回線代わりに使うには？ 運用のコツを伝授！
まず考えたのは「ワイヤレスルーター」 ADSLに代わるインターネット回線として、まず光回線を検討することが多いと思います。確かにそれも良いのですが、今回の義実家では、まずモバイル通信（携帯電話）回線を使ったワイヤレスホームルーターの導入を検討しました。 理由は幾つかありますが、まず義実家では高速かつ超低遅延な通信は不要であること、初期費用が安く済むこと、そして解約する際に手数料類がほとんど掛からないことが挙げられます。特に初期費用という面では、工事費が一切かからないことも魅力です。 そして最終的にたどり着いたのが、Rakuten最強プランです。 「スマホやタブレットで使うためのプランじゃないの？」というツッコミがありそうですが、このプラン自体はスマホやタブレットでの利用に限っている訳ではなく、≪このプランで使えるモバイルルーターも販売されています。その上、容量の上限いっぱいに使っても、月額
「200万人以上の情報が丸見え」報道の位置情報アプリ「NauNau」、調査結果を発表 300万人以上の現在地などが丸見えだった
200万人以上のユーザーの位置情報やチャット履歴が外部から閲覧できた可能性があるとして、提供元による調査が進んでいた位置情報アプリ「NauNau」。提供元のSuishow（東京都品川区）と親会社のモバイルファクトリー（同品川区）は12月7日、調査で分かった、外部から不正に閲覧可能な状態だった情報を公開した。 アクセス可能だった時期と情報、影響囲の推定値は下記の通り。ただし、いずれも実際に情報が漏えいした事実は確認できなかったとしている。 2022年9月29日から2023年5月8日：推定304万ユーザーの現在地 2022年9月29日から2023年3月2日：推定167万ユーザーのチャット内容と画像 2022年9月29日から2023年10月20日：推定283万ユーザーの生年月日 2022年9月29日から2023年10月20日：推定380万ユーザーの個人情報に当たらない情報（アプリの起動回数など）
2023年版「データサイエンティストスキルチェックリスト」が無料公開 生成AIの利活用スキルなどを追加
データサイエンティスト協会は10月30日、「データサイエンティストスキルチェックリスト」の第5版を公開した。データサイエンティストに必要とされるスキルをまとめたもので、新たに生成AIに関する項目を加えた。同協会のWebサイトで無料でダウンロードできる。 2021年に公開した第4版から内容を改修したもので、生成AIの台頭を受けて「AI利活用スキル」を新たに追加した。同協会は「生成AIは利用・開発・企画といった活用するためのスキルが当然必要となる一方で、その技術的背景を理解しつつ、生じる課題に対応するスキルが求められる」と説明。利活用スキルと背景理解・対応スキルの2種類に分けた全69項目を定義した。 例えば、利活用スキルの初歩には「LLM（大規模言語モデル）を利用して、データ分析やサービス、システム開発のためのコードを作成、修正、改良できる」などの項目、背景理解・対応スキルの初歩には「さまざま
遊びながらAWSを学べる“AWSクエスト”日本語対応 クラウドで街を救うRPG プレイ無料
関連記事 AWS、オンラインゲームを遊んでソリューション構築を学ぶ「AWS Cloud Quest」公開 実際にプレイしてみた 米Amazon Web Servicesが、AWSでのソリューション構築を学べるオンラインRPG「AWS Cloud Quest: Cloud Practitioner」を無料公開」。Webブラウザでプレイできる。 「Azureのこの機能、AWSで例えると何？」を簡潔に知る方法 実は公式サイトに…… 「Azureのこの機能、AWSで例えると何？」──その疑問、実は答えがまとまってます。 AWS専業SIerのサーバーワークス、Google Cloud事業へ参入 韓国Bespin Globalとの合弁で AWS専業のクラウドSIer、サーバーワークスが、韓国のBespin Globalとの合弁でGoogle Cloud専業のSIer企業「G-gen」を設立し、Goog
「ミニ四駆」に一度敗北……「ゾイド」飛躍の歴史 40年愛される2つの理由
あの話題は今： かつて一世を風靡した（ふうび）した商品やサービスはなぜ生まれ、その後どうなったのか？ また、話題になった企業の取り組みは、現在どう進化しているのか。流行の背景、ビジネスとして成功した理由、生き残り策などに迫る。 タカラトミーが手掛ける人気玩具「ゾイド」が事業開始40周年を迎え、記念プロジェクトを展開している。子ども向け商品として昭和に発売した初代ゾイドシリーズ（第1期）は時代の変化に対応しきれず、売り上げが低迷。失敗を糧に、平成に発売したシリーズ（第2期）はテレビアニメの放送とともに一時代を築き、その人気を確固たるものとした。近年は大人向けの商品展開を強化しているゾイド。プロジェクト担当者にゾイドが愛される理由と事業の今後を取材した。 ファミコンと同級生 「ミニ四駆」登場で事業終了 ゾイドはライオンやティラノサウルスなどの動物・恐竜をモチーフに、電動モーターやゼンマイで駆動
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
