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

このたび、ジョセフ・ヒースの著書『資本主義が嫌いな人のための経済学』が早川書房で文庫化されます。既にハードカバーをお持ちの方もいらっしゃるかもしれませんが、吉川浩満さんによるアツい解説と、文庫版のために書き下ろされた序文がついてくるので、改めて買って損なしです。ぜひ手に取ってみてください。 そしてなんと、不肖わたくし、文庫版書下ろし序文「ポピュリズムの時代に」の翻訳を担当させていただきました！ ジョセフ・ヒース『資本主義が嫌いな人のための経済学〔新版〕』 資本主義が嫌いな人のための経済学〔新版〕 (ハヤカワ文庫NF) 作者:ジョセフ ヒース 早川書房 Amazon そういうわけで、この記事では私なりに本書の内容や魅力を紹介してみたいと思います。 本書の特徴 本書の概要 ヒースの世界に分け入る 本書が気に入ったら 本書の特徴 本書の特徴はなんといっても、「哲学者が書いた経済学入門書」であるこ

iPhone/Androidスマホやキャッシュレス決済、SNS、アプリに関する情報サイト スマホライフPLUS 「PCのデータを暗号化して守っていたはずなのに、ある日突然パソコンが起動しなくなる」——そんな悪夢のようなシナリオが、現実になるかもしれません。 世界中のセキュリティ専門家やジャーナリスト、プライバシーを重視するユーザーに愛用されてきたオープンソースの暗号化ソフト「VeraCrypt」。その開発者が、Microsoftによるアカウント停止の影響で、2026年7月以降にWindowsユーザーのPCが起動できなくなる恐れがあると警告しています。 （画像はスマホライフPLUS編集部作成） 何が起きたのか——開発者アカウントが突然「停止」 VeraCryptの開発者であるMounir Idrassi氏は、2026年3月30日にSourceForgeのフォーラムで次のように投稿しました。

超かぐや姫を見物に行ったはずが、いつの間にか『名探偵コナン』になっていたわけです。何ということでしょう。 ただ、内容からしますと神奈川県警による神奈川県警のための神奈川県警の映画でした。大丈夫なのか神奈川県警。なんかベテラン白バイ婦警が犯罪者と箱根の峠を攻めるだけでなく、犯罪者よりも前を走ってました。お前さあ。でもまあ神奈川県警だからいいか。そういう映画です。 私は別に名探偵コナンの映画を子どもに求められて毎年コンスタントに見物に連れていかされるだけの存在ですから、特に名探偵コナンの世界観とかバックグラウンドには何の知識もないわけですが、今回ばかりは「あれ、これって映画になる理由ってどこにあるの」って感じました。だってこれ、神奈川県警の映画ですよね。コナンではなく。 話のギミック的には二輪車の自動運転という旬なネタを盛り込みつつも、いきなりカーチェイスができるぐらい凄い自動運転がすでに実現

kajatony🐣 @kajatony_tweet 身内があんまりにもストイックに勉強できるのでコツを聞いたら、タスクを消化じゃなくて積み上げ型の報酬として脳に誤認させるよう環境を整えている、との事で、ともあれそれに倣ってタスク一覧表を「終わったタスクを消す」じゃなくて「終わったタスクを装飾的にマークする」処理に変えたところ、確かにまあ、結構ストレスが減った 2026-04-30 15:33:50

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに この記事は、Qiitaのコントリビューションランキング総合1位である伊藤淳一さんが執筆された、『技術記事を書く技術』を読んだ感想を記したものです。 この記事の読者として以下のような方々を想定しています。 この本に興味がある人 QiitaやZenn、ブログで記事を書いてみたいと思っている人 アウトプットしたいけれど、不安があって踏み出せない人 すでにアウトプットしていて、もう一段レベルを上げたい人 最初に大事な点を。 実はこの本、著者の伊藤さんから頂く機会を賜りました。なので、その上の書評なら「貰ったから忖度しているのでは?」と

以下の記事が面白かったので、簡単にまとめました。 ・Game development – Codex | OpenAI Developers 1. ブラウザゲームの作成1-1. はじめにゲーム開発は、Codexがコード生成以上の役割を果たす最も分かりやすい例の1つです。実際のゲーム開発には、通常、コンセプトの記述、レンダリングレイヤー、フロントエンドのシェル開発、バックエンドの状態管理、アセット制作、継続的なビジュアル調整が必要です。 このユースケースでは、Codexはまずゲームの動作内容を明確に記述することから始め、その後「Playwright」を使ってブラウザ上でゲームをテストするという反復的なプロセスで最大限の効果を発揮します。 1-2. スキルとプラグイン・Playwright ブラウザでゲームをプレイし、現在の状態を確認し、実際のビルドに合わせて操作性、タイミング、UIの感触を繰

目の前の写真や動画が「本物」だと、どうやって証明できるでしょうか。AIが現実と見分けのつかない映像を量産する時代、暗号技術がその答えを出そうとしています。 応用暗号企業のSuccinctは2026年4月23日、iPhone向けカメラアプリ「ZCAM」をiOS App Storeで公開した。 ZCAMは撮影の瞬間に写真や動画へ暗号署名を施し、AppleのSecure Enclave内で生成された秘密鍵による署名とApp Attestによるアテステーション、撮影メタデータを、Adobe、Microsoft、BBC等が策定したオープン標準C2PAマニフェストとしてファイルに埋め込む。Succinct Labsが商用AI画像検出ツール7種をベンチマーク評価したところ、ブラー、圧縮、ノイズなどの編集により検出率は最大96%低下した。米国の金融分野におけるAI主導の詐欺被害は来年400億ドルに達すると

動画は4月29日ごろから拡散。銀行のカウンター内部とみられる場所で撮影されており、ホワイトボードに書かれた貸出金や預金残高などの業績目標とみられる数値、デスク上の書類、PC画面などが映り込んでいた。 動画内の掲示物やチラシの表記から、西日本シティ銀行の特定の支店の映像ではないかとの指摘がSNS上で広がった。 BeRealは10～20代に人気のSNS。承認し合った友人（または友人の友人）同士でリアルタイムに写真や動画を共有できる。1日1回ランダムな時間に通知が届き、2分以内に撮影して投稿し、24時間のみ閲覧可能だ。 ただ、通知に反応して非公開の職場環境を撮影し、公開相手の友人が動画をキャプチャして外部SNSに拡散して問題になるケースが頻発している。 金融機関の業務エリアでは本来、私物スマートフォンの使用や撮影、SNS投稿が原則として厳しく制限されており、投稿が事実なら、行内の情報管理規定など

変わった生き物や珍妙な風習など、気がついたら絶えてなくなってしまっていそうなものたちを愛す。アルコールより糖分が好き。 前の記事：AI教師に導かれて、奈良・明日香村で巨石を愛でる～勝手に修学旅行 ＞ 個人サイト 海底クラブ ＞ライターwiki 日本のオオサンショウウオは食べられない 昔、京都・鴨川で見たオオサンショウウオ 日本にオオサンショウウオを食べる習慣があったということはずいぶん前から知っていたが、具体的な記述に接したのは北大路魯山人の随筆が最初だったと思う。青空文庫で読めるので、ぜひ目を通してみてほしい。 その中で魯山人はオオサンショウウオを「すっきりした上品な味」だの「ゼラチン質の分厚な皮がとびきり美味い」だの、手放しで褒めちぎっている。初めて読んだとき、そんなに美味しいならぜひとも食べてみたいと私は思った。しかし、それは叶わぬ願いなのである。オオサンショウウオは日本の天然記念物

To create a fundamentally better editor, we had to invent a new approach to building desktop software. Our previous editor, Atom, was built as a fork of Chromium, spawning the Electron framework in the process. Electron eventually became the foundation of VS Code (which today seems to be forked into a new AI code editor every other week). Web technology offered an easy path to shipping flexible so

Claude Codeは、便利なチャットではありません。 設定、文脈、検証、自動化、並列化まで設計すると、日々の作業環境そのものになります。 この記事では、手元にあるClaude Code運用メモを土台に、Anthropic公式ドキュメント、Claude Help Center、GitHub Actions、MCP、Hooks、Skills、Subagents、非対話モード、情報収集ワークフローまで整理しました。 この記事は全文無料（期間限定）で閲覧できます。 見出し画像はAIで生成しました。 プロンプトはこの記事に掲載中。 Claude Codeは「会話相手」ではなく「作業環境」ですClaude Codeを使いこなせない原因の多くは、プロンプトの上手さではありません。作業環境として扱えていないことです。 公式ベストプラクティスでも、Claude Codeはファイルを読み、コマンドを実行し

ジブリ作品が配信されない　5月1日、日本テレビの「金曜ロードショー」で『耳をすませば』が放送される。翌週の8日にも、『魔女の宅急便』が放送予定だ。前者は前回放送から約3年8か月ぶり、後者は約２年ぶりだ（誤りがあったので、一部記事を修正しました）。 が、その裏には、別の問題が潜んでいる。長い間テレビでほとんど放送されなかったジブリ作品は、若年層にどれほど届いているのか。 そう考えてしまうのは、スタジオジブリ作品が日本国内のいかなる動画配信サービスでも視聴できないからだ。NetflixでもAmazonプライム・ビデオでも、U-NEXTでも配信されていない。海外のNetflixでは配信されているが、日本国内だけは例外だ。 よって、ジブリ作品を観るためには、テレビ放送を待つか、DVDやブルーレイを購入またはレンタルするしかない。つまり、動画配信サービスが登場する前とまったく同じ状況だ。ジブリ作品だ

【読売新聞】　政府は、私立大学の統廃合や定員削減に向けた検討を加速している。少子化で私大の約半数が定員割れに陥っているためで、財務省は今月、２０４０年までに少なくとも２５０校、学部定員にして１４万人程度を減らす必要があると、初めて数

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

私たちは普段、「部分のことを十分に調べれば、全体のこともわかる」と素朴に信じて生きています。 家の壁を全部触れば家の形がわかる。地図のすべての道のりを測れば街の姿がわかる。これは人間の認識の、もっとも基本的な前提のひとつです。 ところが2025年、3人の数学者がこの素朴な信頼を、ドーナツ2つで打ち砕いてみせました。 ベルリン工科大学、ミュンヘン工科大学、ノースカロライナ州立大学の研究チームによって、表面上の道のりを測り、足元の曲がり具合まで読み取れる小さなアリがどれだけ歩き回って測量を完璧に行っても、自分が乗っているドーナツが「こちら」なのか「あちら」なのかを区別できない――そんな双子のドーナツが、本当に存在することが初めて示されたのです。 これは「数学的な小さなパズル」が解けた、という話ではありません。 1867年にフランスの数学者ボネが「全部測れば形は決まるはずだ」と問うてから、158

普段は Codex / Claude Code / Copilot を利用していますが、Copilot が従量課金になることもあり、あまり今まで触れてこなかったモデルに触れてみようと思い、OpenCode Go を使ってみたので、雑に書いて行きます。 Cursor の Composer 2 Fast (MAX)2026 年に入ってから Anthropic や OpenAI 以外のモデルも触っておいた方が良いだろうと考え、Cursor の Composer 2 というモデルを１ヶ月利用し続けてみました。 Composer 2 は Fast モードかつ MAX で利用しており、主にソースコード調査で利用していましたが、とにかく早くてあまり間違えないというのはかなり体験としてよかったです。この Composer 2 はとても安くて、 Cursor の Pro+ プランで Composer 2 F

PPIH（パン・パシフィック・インターナショナルホールディングス）が運営するドン・キホーテのPBで展開する、鍵・荷台・ライトをあえて省いた自転車「Option-0」（オプションゼロ、1万1000円）が好調だ。3月21日に関東で先行発売し、入荷後すぐに売り切れるケースが相次いでいる。全国展開は7月の予定だ。