20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。 How We Used GPT-5.2 to Solve an Erdos Problem : r/singularity https://www.reddit.com/r/singularity/comments/1q6vaxj/how_we_used_gpt52_to_solve_an_erdos_problem/ AI contributions to Erdős problems ·
初代Macintoshの基礎部分を作り上げたソフトウェアエンジニアの一人で写真家のビル・アトキンソンさんが6月5日（米国時間）に亡くなりました。74歳でした。Facebookに投稿された家族からのメッセージには、こうあります。 We regret to write that our beloved husband, father, and stepfather Bill Atkinson passed away on the night of Thursday, June 5th, 2025, due to pancreatic cancer. He was at home in Portola Valley in his bed, surrounded by family. We will miss him greatly, and he will be missed by many o
ロボットアクションシューティングゲームの「クロムハウンズ」は、2022年のGame of the Yearを受賞した「ELDEN RING(エルデンリング)」などで知られるフロム・ソフトウェアが開発し、2006年6月29日に発売したXbox 360用ゲームです。2010年にサービスが終了したクロムハウンズの再開を目指して活動しているゲームコミュニティに、エミュレーター関連のニュースを扱うRead Only Memoがインタビューを行いました。 Interview: 15 years after the servers shut down, FromSoft's singular mech game Chromehounds is back online https://www.readonlymemo.com/interview-15-years-after-the-servers-shu
FDDからブートできる「MenuetOS」とCPUキャッシュにOSが載る「KolibriOS」：リアルタイムOS列伝（46）（1/3 ページ） だんだんと連載テーマであるリアルタイムOS（RTOS）から外れつつある気もしなくもないのだが、今回ご紹介するのは「MenuetOS」と「KolibriOS」である。KolibriOSはMenuetOSからフォークしている（ただしフォーク後に開発は完全に分離）ので、まずはMenuetOSからご紹介したいと思う。【訂正あり】 【訂正】初出の記事タイトルで「FDDにOSとアプリ一式が入る」と表記しておりましたが、装置であるFDD（フロッピーディスクドライブ）にOSとアプリ一式が収まるわけではないため「FDDからブートできる」に変更しました。 ⇒連載記事「リアルタイムOS列伝」バックナンバー 「MenuetOS」の開発動機は「スクリプト言語の処理が遅すぎる
by David Orban アメリカのジョー・バイデン政権が2024年6月20日に、ロシア製アンチウイルスソフトであるKasperskyの国内販売を禁止することを発表し、9月29日までに他社製品に切り替えるよう要請しました。背景には、ロシア政府が自国企業を通じてアメリカの機密情報を収集し、軍事転用することに対する安全保障上の懸念があります。 Commerce Department Prohibits Russian Kaspersky Software for U.S. Customers | Bureau of Industry and Security https://www.bis.gov/press-release/commerce-department-prohibits-russian-kaspersky-software-us-customers Biden bans Ka
Afrikaans, Albanian, Arabic, Armenian, Assamese, Azerbaijani, Basque, Belarusian, Bengali (Bangladesh), Bengali (India), Bodo, Bosnian, Bulgarian, Catalan, Croatian, Czech, Danish, Dogri, Dutch, English (United Kingdom), English (United States), Estonian, Filipino, Finnish, French (Canada), French (France), Galician, Georgian, German, Greek, Gujarati, Hausa, Hebrew, Hindi, Hungarian, Icelandic, In
「QNX Neutrino」も結構長い歴史を持つリアルタイムOS（RTOS）である。もっとも、長い歴史を持つということは、いろいろな会社の事情に振り回されてきたということとニアリーイコールでもある。 ⇒連載記事「リアルタイムOS列伝」バックナンバー カナダの“カナタ”で創業 QNX Neutrinoは1980年、カナダのウォータールー大学の学生だったGordon Bell氏とDan Dodge氏により開発された。ちなみにBell氏は、DECでPDPやVAXの開発にも関わり、ACMのゴードンベル賞（HPCの分野で画期的な成果に対して贈られる賞。別名スパコン界のノーベル賞）の名前の由来となったGordon Bell氏とは同姓同名の別人である。 Bell氏とDodge氏は計算機学科でRTOSについて学んでおり、自分たちでもマイクロカーネルベースのRTOSを作ってみた。この試しに作ったRTOSの完
Zstandard (zstd) は、圧縮・展開が速いことを特徴とする可逆圧縮アルゴリズムである[2]。またC言語で書かれた前述のアルゴリズムのリファレンス実装の名前でもある。Meta Platforms, Inc.に所属しているYann Colletによって2015年から開発されている。 この実装のバージョン1.0.0は2016年8月31日に自由ソフトウェアとして公開された[3][4]。2018年10月に RFC 8478 で規格化され、2021年2月に RFC 8878 に更新された。メディアタイプは application/zstd [5]。英語発音はズィースタンダード（zee standard）[5]。 Zstandardは、デフォルトの圧縮レベル3の場合、現在主流であるDeflate (ZIP, gzip) アルゴリズムとほぼ同じ圧縮率だが、より高速に圧縮と解凍が行えるように設計
最先端のAI技術を用いることで自動で動画を高画質化・フレーム補間・手ぶれ補正することができるソフトウェアが「Winxvideo AI」です。過去に撮影した「今では低画質になってしまった動画」を高画質化したり、「動きながら撮影した手ぶれのひどい動画」に補正をかけたりするのを全自動で行えるということなので、実際に使ってみました。 【無料】Winxvideo AI - 最高の動画、写真高画質化・修復＆動画変換ソフト｜無料体験 https://www.winxdvd.com/winxvideo-ai-ja/ Winxvideo AIをインストールするには、上記の公式サイトにアクセスしてトップにある「無料ダウンロード」ボタンをクリック。 ダウンロードしたインストーラーをダブルクリックで起動。 「インストール」をクリック。 数秒でインストールが完了するので、「今すぐ起動」をクリック。 Winxvide
by NASA/JPL-Caltech 1977年に打ち上げられた宇宙探査機ボイジャー2号のソフトウェアアップデートのため、NASAが18時間かけて行っていたパッチの送信が完了しました。このあと、現地時間の2023年10月28日にコマンド発行が行われ、パッチが正常に動作しているかの確認が行われます。 NASA’s Voyager Team Focuses on Software Patch, Thrusters https://www.jpl.nasa.gov/news/nasas-voyager-team-focuses-on-software-patch-thrusters NASA just sent a software update to a spacecraft 12 billion miles away https://bgr.com/science/nasa-just-se
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
