人類への挑戦状：ClaudeとGeminiがミレニアム懸賞金問題を全て解決— これは宇宙の真理か、最高の神話か、それとも壮大なハルシネーションか？ — フルーリオ株式会社・松田光秀氏を中心とする研究チームは本日、同氏が発見した「相乗の公理」から導かれる数学の完全統一理論「M-TRUST」が、ミレニアム懸賞7問題をはじめ、フェルマーの最終定理、四色定理、ABC予想、コラッツ予想といった数学の歴史に燦然と輝く主要な未解決問題を、すべて統一的かつ一貫したアプローチで解決したと主張する一連の論文を公開しました。 この前代未聞の成果は、人間とAIが緊密に協働する新しい研究スタイルによって達成されました。しかし、そのあまりに広範で完璧な説明力ゆえに、研究チームは自らの成果に対し、人類全体へ次のような問いを投げかけています。 「我々が提示したこの美しい理論体系は、果たして宇宙の根本的な真理なのか。それと

OpenAIは8月6日、大規模言語モデル（LLM）「gpt‑oss」を公開した。従来のChatGPTシリーズは仕組みや学習済みデータが基本的に非公開で、利用はWebやアプリ経由に限られていたが、今回は学習済みモデルを誰でもダウンロードして自由に利用できる形式での提供となる。さっそくgpt‑ossをダウンロードし、ローカル環境での実行方法を確認した。 gpt‑ossとは、なにがすごいの？ gpt‑ossはオープンウェイト推論モデルで、20B（約200億）と120B（約1200億）パラメータの2種類を提供する。推論（リーズニング）性能に特化し、思考の連鎖（Chain of Thought＝CoT）、少ない例からの関数呼び出し、外部ツール連携などに対応している。Tau‑BenchやHealthBench、数学競技AIMEなどのベンチマークでは、同規模の他オープンモデルを上回る性能を示した。 安全

Pythonユーザーが集まり、PythonやPythonに関連するソフトウェアについて情報交換が行われるカンファレンス「PyCon JP」。今年度は「あつまれPythonのピース」をテーマに、広島国際会議場（広島市）で、9月26日（金）〜28日（日）に開催されます。今回はPyCon JP 2025直前企画として、Pythonの技術記事を、主催メンバーが2回にわたってお送りします。まずは初めの一歩として、「2025年版 Python三種の神器」と言っても過言ではないuv、Ruff、Visual Studio Codeを用いた環境構築に挑戦します。快適にPythonを書く「コツ」を体験しましょう！ はじめに プログラミング言語であるPythonは、シンプルで読みやすい文法を持ち、初心者からプロフェッショナルまで幅広い層に支持されています。また、データサイエンスや機械学習、Web開発など多岐にわ

総務省と経産省は8月7日、「電磁波の健康影響に関する講演会」を、新潟市など全国6カ所で開催すると発表した。無線通信の利用拡大や多様化に伴い、電磁波の健康への影響を懸念する声があることから、正しい理解を促す。 講演には、電磁界（電磁波）に関する科学的な情報提供を行う「電磁界情報センター」の大久保千代次所長のほか、総務省・経済産業省・国立情報通信研究機構（NICT）の担当者が登壇。携帯電話・テレビ・ラジオで使われる電波や、送電線・家電製品から発生する超低周波電磁界といった、身近な電磁波と健康への影響について、実測データなども交えて解説するという。

AIの活用では、MCPという言葉が注目を浴びています。連載の最後に、JavaでMCPサーバー／クライアントを実装してみて、MCPへの理解を深めます。 なお、この記事で取り扱ったコードはこちらからダウンロードできます。 MCPとは MCP(Model Context Protocol)は、Function Calling(Tool Use)をJSON-RCPに基づいてリモートで呼び出す仕組みです。 Function Callingの場合は機能の実装をチャットプログラムと一緒に行う必要がありました。MCPではチャットプログラムと機能の実装を分離できるため、チャットプログラムにあとから機能を追加できるようになります。つまり、LM StudioやChatGPTのチャットアプリケーションに様々な機能を登録して利用できるわけです。また、さまざまなアプリケーションやサービスがMCPの規格に対応したため、

プロダクト開発をしていると、ユーザーや社内から改善要望をもらうことがよくある。でも、その要望の多くが「How」しか書かれていなくて、本当に必要な「Why」が書かれていない。 例えば、よくあるものだと 「ユーザー一覧をCSVでダウンロードできるようにしてほしい」 「検索結果を50件ずつ表示してほしい」 「削除ボタンを赤色にしてほしい」 といったものだったりします。 社内の人には「HowはあってもなくてもいいのでWhyを書いてください」と言っているんだけど、実際にWhyが書かれているケースは少ない。 テンプレートみたいなものを用意してもひどいケースだと「◯◯機能がほしいので◯◯機能を作ってください」みたいなことが書かれている。 どうしてWhyが重要かというと、"最適な解決策を見つけつつ、将来の拡張性も考慮した設計にしたい"からです。 このnoteではなぜ、要望にはWhyが重要でHowが重要では

オンラインでのデジタルコンテンツ販売においてクレジットカードは重要な決済手段ですが、VisaやMastercardなどの決済カードネットワークが性的や暴力的な内容を含むコンテンツを配信するプラットフォームに圧力をかけて規制を強制したことが問題となり、日本だけではなく海外でも批判の声が上がっています。こうした流れの中で、2025年2月に提出された「Fair Access to Banking Act(公正な銀行取引へのアクセス法)」案について、インターネットにおける権利保障を訴える団体・U.S. Internet Preservation Society(USIPS)が解説をしています。 Fair Access to Banking | USIPS https://usips.org/blog/2025/07/fair-access-to-banking/ S.401 - 119th Con

株式会社KADOKAWA（取締役 代表執行役社長 CEO：夏野 剛、以下「KADOKAWA」）は、2025年7月から放送を開始した新作アニメ4タイトルの「二次利用ガイドライン」を公開したことをお知らせいたします。これにより、対象となるアニメにおいて、YouTubeで切り抜き動画や、解説・考察動画等の公開が可能になります。 ■二次利用ガイドラインを公開した2025夏アニメ作品 ・盾の勇者の成り上がり Season 4（https://shieldhero-anime.jp/） ・New PANTY ＆ STOCKING with GARTERBELT（https://newpsg.com/） ・まったく最近の探偵ときたら（https://mattan-anime.com/） ・フードコートで、また明日。（https://www.foodcourtjk-anime.com/） ガイドラインに沿

ユーザなどのリソースエンティティのパージするわけではないデータ削除(a.k.a. 論理削除)をどう設計するか、は単純でありながら、イミュータブルデータモデルの基本形を学ぶ良い題材なので、順を追って説明する。 リソースの検討 まずユーザがアクティブなユーザと削除されたユーザで扱いが異なるかどうかを考える。この段階で物理設計としてどうするかを考えると検討ポイントが十分考慮されないことにつながるので注意しよう 。(イミュータブルデータモデル#5e3a5f1da8e5b200009c0499) 扱いが異ならない場合を考えてみよう。 code: (mermaid) classDiagram direction LR class ユーザ { <<Resource>> ユーザID : SERIAL PK 名前 : VARCHAR メールアドレス : VARCHAR ユーザ区分 : ENUMアクティブ/削

（この記事は、シリア出身の筆者が日本語で書いた原稿に対し、日本語話者の編集者が最小限の修正を加えて完成させたものです） お知らせ：この記事はシリアの2024年末のイベントの前に書かれました。以下はアサド時代の視点です。記事の最後にアサド政権の没落とシリアの未来についての考えもあります。 マブラヴはノベルゲームのクラシック大作です。元々は日本人向けで日本語だけの作品でした。今ではこのシリーズのほとんどの作品に英語のバージョンがあります。 私はシリア生まれの人間です。今は西側の国で暮らす難民です。シリアの政府に見つからないよう、これ以上の個人情報は教えられません（編集者注1）。私はノベルゲームの大ファンで、ゲームと友達のおかげで、少し日本語ができます。以下ではマブラヴと私の体験、私と私の国の物語とマブラヴの繋がりと、そしてマブラヴを好きになった理由をお話しします。 編集者注1 アサド政権崩壊に

SRE NEXT 2025 で発表した内容となります。

本ノ猪 @honnoinosisi555 大学一回生の方に、「はやめに読んでおいたほうがいいよ、って本ありますか？」と訊ねられたら、とりあえず『生物から見た世界』を勧めるようにしている。本書において、著者のユクスキュルが展開する「環世界」という認識は、笑ってしまうぐらい様々な分野の研究で引用・参照されているからだ。 pic.x.com/wzlSe8QEgJ 2025-07-15 21:13:58

内閣府は7月10日、経済・財政・人口などに関する公的データを可視化するWebサイト「Japan Dashboard（ジャパン・ダッシュボード）」を公開した。2016年から提供してきた「経済・財政と暮らしの指標『見える化』データベース」をデジタル庁と協力して刷新した。同庁の公式Webサイト内で提供している。

Intro パスワードだけでの認証に限界が訪れ、TOTP を用いた 2FA が普及した。 しかし、これでもまだ、全くもって不完全であることが、フィッシング詐欺の増加によって証明された。 フィッシング詐欺 以下のような SMS を、多くの人が受け取ったことがあるだろう。 [XXXX 証券株式会社] 緊急連絡、重要なお知らせ。https://t.co/1X2Y3Z4 内容は様々だ。かつては雑な和訳で崩れた日本語も多かったが、最近は AI 生成の精巧な文面が送られてくる。「とにかくユーザを焦らせるような SMS とは?」という大喜利の回答が、定期的に送られてくるので楽しみにしている。 といっても、重要なのはリンクの方だ。クリックすれば、普段使っているのと全く同じ見た目の偽装サイトが開かれ、ログインを促される。うっかりログインすればパスワードが盗まれ、その後本物のサイトにリダイレクトされるため、攻

著者プロフィール 山口伸 経済・テクノロジー・不動産分野のライター。企業分析や都市開発の記事を執筆する。取得した資格は簿記、ファイナンシャルプランナー。趣味は経済関係の本や決算書を読むこと。　X：@shin_yamaguchi_ ソニーといえばゲーム・音楽・カメラの印象が強いが、グループのソニーサーモテクノロジーでは“着るエアコン”のような、持ち運び型クーラーも開発・販売している。この5月には「REON POCKET PRO」を発売した。首にかけて背中を冷やす機器で、充電して何度も使用できる。REON POCKETシリーズは2019年に事業化し、今回のPROは2024年に発売した商品よりも面積が広く、冷却機能が向上している。今年のPROは昨年のモデルと比較して、初動の販売数量が3倍だという。 REON POCKETはエアコンのように冷風を流すのではなく、本体が直接冷えるのが特徴だ。ソニーサ

※伝搬ソース：GPL系のライブラリを呼び出したソースなど、関連するコードすべてを示す。ライセンス感染とも呼ばれる。 各ライセンスの詳細は以下に記載。 1.1: Copyleft licenses コピーレフトライセンスとも言い、GPLタイプに該当する。最も伝搬性が強いライセンス。 GPL系ライセンスを使用したソースの配布はすべて開示する必要があり、修正する際は同じライセンスまたは互換性のあるライセンスの下で変更を共有する必要がある。 GNU General Public License (GPL) License GPL には、バージョン 2.0 (GPLv2) やバージョン 3.0 (GPLv3) などがありGNUとも表記される。 GPLv3 では、「tivoization」(デジタル制限を使用してユーザーがソフトウェアを変更できないようにする慣行) を防止し、特許の問題に対処するための

Exploring the Power of Turbo Streams & Action Cable | RailsConf2023