２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。 この勢いで超難問とされるリーマン予想も攻略してしまうのか？　ＡＩによる数学の可能性を探った。（共同通信＝浅見英一） ▽世界的数学者が「ＡＩが自律的に証明した」と宣言 １月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。 エルデシュ問題は、２０世紀ハンガリーの大数学者ポール・エルデシュが生涯に残した問題の数々を指し、千近くある。７２８番はその一つで、（ａ＋ｂ－ｎ）の階

Googleは、検索結果の「トップニュース」枠にお気に入りのサイトを優先的に表示できるカスタマイズ機能、Preferred Sourcesの提供を開始した。本機能はこれまで英語のみで展開していたが、今回、日本語を含む全てのサポート言語へと対象を広げた。ユーザーは自分にとって価値のあるメディアを直接選択できるようになり、検索で表示されるニュースをより主体的に管理することが可能だ。 使い方は非常にシンプルで、検索画面のトップニュース横に配置された星型アイコンをタップするだけだ。優先したいWebサイトをリストに追加すれば、そのメディアの記事がより多く表示される。登録するソースの数に制限はなく、ユーザーの好みの変化に合わせていつでも内容を変更できる。地域特化型のブログから世界的な大手ニュースメディアまで、すでに20万件以上のサイトが登録されている。 この機能は、Google検索の「トップニュース」

爆弾犯の娘 作者:梶原　阿貴ブックマン社Amazon Kindle版もあります。 爆弾犯の娘 作者:梶原阿貴ブックマン社Amazon 「黙っていたけど、あなたのお父さんは、役者でクリスマスツリー爆弾事件の 犯人なの。あなたが生まれる前のこと。 それからずっと、十四年も隠れて暮らしてるの 「見つかったらどうなるの？」 「逮捕されちゃう」 左翼、革命、学生運動、自己批判、人民の子 ……父は、何を守りたかったのだろう？ １９７０年代、連続企業爆破事件の実行犯の一人として指名手配。５０年もの逃亡の末、２０２４年１月に実名を明かして亡くなった、桐島聡。彼の生き様を描いた映画『桐島です』（監督：高橋伴明）は当時の学生運動の描写がリアルだと話題だ。本作のシナリオを書いたのは、同じく高橋伴明監督とタッグを組んだ『夜明けまでバス停で』で数々の評価を得た注目の脚本家・梶原阿貴。 １９７３年生まれの彼女がなぜ、

自作キーボードというジャンルがあります。市販の完成品とは違って「製作キット」という形で販売されているキーボードのことです。多くはプリント基板（PCB）とパーツのセットで売られており、ユーザー自身が製作・設定をして初めて使えるようになります。 変わったキーボードが多いのが特徴で、分割キーボードやトラックボール付きキーボードのほか、オーソリニア配列やカラムスタッガード配列などの特殊配列のキーボードもあります。好みのキースイッチやキーキャップを選んで「世界に一つだけのキーボード」を持つことができるのも魅力ですね。 ……はい、ここまで偉そうに語っておいてなんなんですが、実は私、完全に自作キーボードど素人です！ いえ、もともとこの分野には興味があったんですよ？　ただ、自分で作るのが大変そうだというのと、安いものでも１万５千円以上の買い物になるので、長い間二の足を踏んでいたんですよね。しかも、今使って

はじめに 2026 年 5 月 1 日、マネーフォワードが「GitHub への不正アクセス発生に関するお知らせとお詫び（第一報）」を公表しました。GitHub の認証情報が漏えいし、第三者によりリポジトリがコピーされ、ソースコードと一部の個人情報が流出した可能性があるという内容です。同時に、銀行口座連携機能を一時停止する措置もとられました。 この事案は、エンジニア視点で見ると「仕方ない部分」と「明らかにアウトな部分」がはっきり分かれる、教科書のような事例になっています。GitHub 認証情報の漏えい自体は、正直に言ってどの会社でも起こり得ます。一方で、流出したとされる中身に 本番カード保持者の氏名と下 4 桁が 370 件、そして ソースコード内に各種認証キー・パスワード が含まれていたという点は、設計と運用の問題として議論せざるを得ません。 この記事ではセキュリティエンジニアの立場から、

ブログサービスなどを運営するIT関連会社「はてな」で、警察官をかたった人物から従業員に連絡があり、虚偽の送金指示で最大およそ11億円の資金が流出したことが分かりました。振り込め詐欺の被害にあった可能性…

地球内生命――私たちがまだ知らない地下の異世界 作者:カレン・G・ロイドみすず書房Amazonはたして地球の一番深い場所にいる生命は何なのだろうか？　その答えはいまだに明らかになっていないが、およそ生物が存在しないような極限環境下（火山とか、地殻の数キロ掘った場所とか）にも多種多様な生物が存在することがわかってきている。 本書は、そうした地球の地下に眠る生命圏で暮らす生き物たちについてのノンフィクションだ。著者は極限環境下での生物の研究者で、海底から火山、果てには永久凍土まで様々な場所に微生物を採取していく、微生物学者にして探検家でもある。本書では著者が採取した様々な地球内生命たちの話と合わせて、そうした冒険の日々についても語られていくので、高野秀行的な冒険ノンフィクションとしてもおもしろい。 また、地球内生命がどのようなエネルギー収支のもとに成立しているのかを解き明かしていく過程で（地下

Legal AI - AI裁判が判決をシミュレーション。原告・被告双方にAI弁護士が付き、主張と反論を尽くして判決を下す。「AI法廷・AI裁判シミュレータ」が誕生 [無料]提訴前に「相手の手」を読む。AI弁護士同士が激論を交わし判決まで導く、「AI模擬裁判」サービス開始。訴状や証拠を入力するだけで、AIが裁判の行方と見通しをシミュレート。想定される攻防を数分で再現。 Legal AI 株式会社（本社：東京 代表取締役 渡部 薫）は、実際の裁判が始まる前に、AI同士が原告・被告それぞれの立場に立って議論を戦わせ、判決までをシミュレーションする新サービス「AI模擬裁判（仮称）」の提供を開始しました。（ https://justice.legalai.co.jp/） 本サービスは、ユーザーが入力した事案に対し、原告側・被告側それぞれに「AI弁護士」がアサインされ、バーチャル法廷で主張と反論を尽く

バンクシーの新作像出現　ナショナリズム風刺か―ロンドン 時事通信 国際報道部2026年05月01日06時45分配信 ロンドン中心部に出現したバンクシーが手掛けた立像＝４月３０日 【ロンドン時事】正体不明の路上芸術家バンクシーが手掛けた立像が４月３０日までにロンドン中心部に出現した。壁画作品が多いバンクシーが像を手掛けるのは珍しい。周りが見えないまま威張って歩く姿は、世界各地で台頭する移民排斥などナショナリズムへの風刺と受け止められている。 〔写真特集〕謎のアーティスト、バンクシー 像が見つかったのはトラファルガー広場に近い、１９世紀の英帝国主義をたたえた歴史的記念碑が立ち並ぶ一角。台座にはバンクシーの署名が刻まれている。バンクシーの代理人はＢＢＣ放送に対し、像は２９日未明に設置されたと明らかにした。 像は、大きな旗を持ったスーツ姿の男性が偉ぶって歩く姿。はためいた旗が顔を覆い、視界が遮られ

【シリコンバレー=山田遼太郎、ワシントン=八十島綾平】米新興アンソロピックが約50の米企業・組織に限定公開している人工知能（AI）「Claude Mythos（クロード・ミュトス）」について、日本を含め提供先の拡大を計画していることがわかった。米政権側は反対している。アンソロピックは高性能なAIのミュトスを開発したが、システムの弱点を特定する性能が高く、サイバー攻撃に悪用された場合のリスクが大

ドナルド・トランプ米大統領（2026年4月13日撮影）。(c)Brendan SMIALOWSKI/AFP 【5月1日 AFP】ドナルド・トランプ米大統領（79）は4月30日、度重なる暗殺未遂事件にもかかわらず、防弾ベストの着用には乗り気ではないと述べた。着用すると太って見えることを懸念しているという。 記者団に防弾ベストの着用について議論されているかを問われると、トランプ氏は「20ポンド（約9キロ）も太って見えるのに耐えられないかもしれない」と答えた。 米メディアの報道によると、4月25日の2年間で3度目となる暗殺未遂事件を受け、防弾ベストの着用が検討されているという。 トランプ氏は、「その件について聞かれた。検討すべきことだと思う。だが、見方によっては悪の勢力に屈することになるので、着用したくない。だから、どうするかは分からない。ただ、その件について聞かれたのは事実だ」と付け加えた。

陸上自衛隊の女性隊員による自民党大会での国歌歌唱に関し、弁護士や市民らが30日、政治的行為を制限する自衛隊法に抵触するとして、隊員らに対する自衛隊法違反容疑の告発状を東京地検に提出した。他に陸上幕僚長と、党大会の実行委員長だった簗和生衆院議員も共犯として告発した。 自衛隊法61条は、選挙権の行使を除く隊員の政治的行為を制限しており、違反すれば3年以下の拘禁刑が科される。同様の告発状は28日にも市民団体のメンバーらが地検に提出した。 隊員は12日の党大会に、陸上幕僚長が指示した時に着用する演奏服装で参加。高市早苗首相は、職務ではなく私人としての歌唱だとして、政治的行為に当たらないとの見解を示している。

いろいろなパーツを組み合わせて、 自分だけのいらすとやキャラクターを 無料で作成することができます！

「ほぼすべての野球マンガ」4月17日に『野球マンガ学概論』という本が出ました。 発売前の情報では、 URLと、「ほぼすべての野球マンガ」の年譜を作成したと宣伝していました。 それが気になって買ってみたのですけど……。 まあこんなもんですよね、みたいな感想でした。 それほど酷くはないですたぶん、すぐに思い出せるような野球マンガの9割以上は載っていると思います。 「参考文献の一覧」という触れ込みだったら、何の文句も出ないでしょう。 連載だけでなく、増刊号の読切の『よろしくチア・ガール』とかも載っていたりします。 『少年ビッグコミック増刊号』1983年8月19日号しかし、やはり「ほぼすべての野球マンガ」には遠そうに見えました。 「年譜」の掲載基準について『野球マンガ学概論』の「年譜」では、 疑似ベースボールもの（バトルボールという競技で戦う『剛Q超児イッキマン』など） 色々なスポーツをやっていく

半導体不足が深刻だ。「AI需要の高まりを受けて、AI向けデータセンターに多くの製品が流れた結果、品薄や価格高騰につながっている」と説明されることが多く、ビジネスにも影響を及ぼしている。 「AIサーバの需要増加によって、メモリ半導体の需給がアンバランスになり、電子デバイスだけでなくサーバ、ネットワーク機器、ストレージ機器までリードタイムの長期化が顕著になっている」――半導体やIT機器の専門商社・東京エレクトロン デバイスの宮本隆義社長は4月28日、2026年3月期の本決算説明会でこう述べた。 「半導体不足」と言うと、米NVIDIAのGPU（画像処理半導体）のような上位モデルを想起するかもしれない。しかし、影響が広がる背景にはそれにとどまらない理由がある。半導体不足の裏側で起きていることを、供給者である東京エレクトロン デバイスの幹部が明かした。 東京エレクトロン デバイスの2026年3月期決

はじめに 皆さんはもう AI コーディングツールを使っているでしょうか。Claude Code や GitHub Copilot、Cursor など、さまざまなツールが登場して、「AI がコードを書いてくれる時代」がやってきました。 私も例に漏れず、その恩恵に預かろうと意気揚々と AI コーディングを始めました。これまでの生活はプログラミングと家事の二本柱。 AI がコードを書いてくれるなら、プログラミングの時間が圧縮されて、自分の時間が増えるはず。溜まった洗い物や洗濯物を片付ける余裕が生まれるはず。そんな期待を胸に。 ところが現実は違いました。 AI がコードを書いている間、私は画面の前に張り付いていたのです。AI の出力をチェックし、軌道修正し、承認し、またチェックする。気づけば一日中 AI の相手をしていて、洗い物は溜まる一方。プログラミングに費やしていた時間が「AI のお世話」に置

前回の記事を執筆後、のんびりとこの記事を準備していたところ、予想外の大きな反響をいただき驚いています。私個人としては、こちらの「分解修理による問題解決」こそが本編だと思っています。 メーカーに「部品がない」と断られても、道はあります。 注意事項（必ずお読みください）自己責任の徹底： 分解・修理を行うとメーカー保証（および今後の修理受付）は一切受けられなくなります。 まずはメーカー相談を： 本記事はあくまで「メーカーに断られた後の最終手段」です。 諸費用について： 海外からの部品購入には、本体価格のほかに高額な送料、輸入関税・消費税（概ね本体価格の10%程度）がかかります。信頼できるルートを選定してください。 準備するもの【交換用部品】デジタルメイン基板ユニット：A-2125-380-A（調達方法は後述） 【工具・道具】プラスドライバー ラジオペンチ（推奨：コネクタの取り外しに便利） 800

はじめに こんにちは！Acsim 開発チームの笹沢です。 AI 駆動開発の浸透でコードの生産量は飛躍的に増えました。一方、人間がレビューに割ける時間は変わらないため、レビュー待ちで PR がスタックする場面が以前より増えていきました。 私たちのチームでは「人間のレビューを必須とするもの」と「AI レビューで OK とするもの」を線引きし、セルフマージ制度として日々の開発に組み込みました。直近では PR の 約 8 割が人間レビューを介さずにマージできています。マージまでのリードタイムも短縮されています。 この記事では、セルフマージ制度の設計と運用上の工夫、導入後の変化を紹介します。AI レビューが十分使えるレベルになった今、自チームのレビュー運用を見直したい方の参考になれば嬉しいです。 すべての PR に人間レビューは必要か 最近の AI レビューはコード品質の担保という意味では十分使える