カーネギーメロン大学の研究チームは、自動推論の手法を用いて、未だかつて誰も成し得ていない「コラッツの予想」の証明に取り組んだ。証明は成功しなかったものの、自動推論手法の可能性を実証するという点では「尊い失敗」だった。
ピックアップ
-
sponsored
ポータブルゲーミングスピーカー「TQ-PG300」
パイオニアの小型ゲーミングスピーカー、想像を超える没入感でめちゃくちゃ驚きなんですけど！
-
PCパーツ
12月14日（土）12時から、秋葉原の「LIFORK AKIHABARA II」で開催
ASCII主催「TOKYO Gaming-PC STREET 2」公式ガイド
-
sponsored
今回も医療機器認証取得で、かつ前モデルよりも薄く軽いサイズを実現！
スマートウォッチのようでこれは血圧計でもある!? 「HUAWEI WATCH D2 ウェアラブル血圧計」レビュー
-
sponsored
1本のサウンドバーで360立体音響が実現！
自宅で映画を見るならソニー「HT-A9000」が最高の選択だ
-
sponsored
「QuTS hero」はランサムウェア対策、安価なSSD／大容量HDDの導入など、中小企業オフィスでも役立つ
NASのデータ保護強化におすすめ！ QNAPのハイエンドOSが中小企業向けモデルにも対応
-
sponsored
狭い机という課題は「二刀流」で解決、いまあえて選ぶべき一体型パソコンが「IdeaCentre AIO 27IRH9」
-
sponsored
ゲーマーからクリエイター向けまで、オススメマザーを紹介！
Core Ultra 200Sで自作するならコレ！ASUSのクラス別Z890マザーボード5選
-
sponsored
自作の煩雑さやトラブルシューティングの手法は軽減！MSI「MAG Z890 TOMAHAWK WIFI」
光らない！ドラゴンなし！ Core Ultra 200S世代の硬派なゲーミングPC向けZ890マザーボードは、自作PC初心者にも簡単で分かりやすくておすすめ
-
sponsored
Backlogに招待するだけでは「使ってくれない」、ではどうする？
うまくいく！ 複数人チームでのプロジェクト・タスク管理立ち上げの方法
-
sponsored
手軽に“壁100インチ”の大画面を楽しもう！ 自宅が映画館になる「JMGO N1S Ultra 4K」を推す理由
-
sponsored
JN-38i160U-H-C9をレビュー
PS5 Proの4K/120fpsプレイを大迫力で！38型でKVM機能付きのゲーミング液晶がかなりイイ
-
sponsored
CyborgやThin、Clawなどが最大25%オフ！
AmazonブラックフライデーでMSIのゲーミングPCが即ポチレベルの格安価格で買えるぞ！
-
sponsored
リモートワーク環境はまだまだセキュリティ対策が不十分
ハイブリッドワーク中の社員PCがフィッシング詐欺被害！ どうやったら防げた？
-
sponsored
高価格にも納得できるサウンド
7万円の高額ワイヤレスイヤホン「B&W Pi8」の音が、泣けるほど良かった
-
sponsored
JN-IPS27WQHDR-C65W-FLD-Tをレビュー
27型WQHDディスプレー最強格現る、昇降式・USB給電・KVM・タッチの超多機能で4万円台
-
sponsored
180Hzで0.5ms（GTG）のRAPID VAバネルを採用した「MAG 275CQRF QD E2」
5万円弱も納得の高速進化したゲーミングディスプレー。27インチならWQHDがおすすめなのにはワケがある
-
sponsored
UPS搭載で自作派・ゲーマーにも便利、防災の備えこそ、日常的に使いたい
防災用に「ポタ電」を買いたいなら、まずこの１台！ 緊急時も日常でもちょうどいい「Jackery ポータブル電源 1000 New」
-
sponsored
Core Ultra 200搭載でAIという武器を得た2-in-1ノートPC「Summit 13 AI+ Evo A2VM」
AI PCでどれを買うか迷っている人におすすめ、ペンもタブレット機能も使える最新ノートパソコン
-
sponsored
インテル Core Ultra プロセッサー（シリーズ 2）を搭載した最新モデル登場
今後のPCはAI対応が当たり前になる、それならエイサーのCopilot+ PCがいいーー「Swift 14 AI」で生産性アップ
-
sponsored
「サイコム冬の特大キャンペーン2024」は2025年1月20日まで！
モンハンワイルズ推奨環境を満たすゲーミングPCが約20.5万円！デュアル水冷は2万円引きの祭が開宴
-
sponsored
ユニットコムの15.6型「STYLE-15FH128-i7-UHZX」をチェック
高コスパなBTOノートPCでホワイトモデルだと？ いい色じゃないか
-
sponsored
Bowers＆Wilkinsの「Zeppelin Pro Edition」をレビュー
少しお金をかけて最高の音を手に入れたい人の、正解スピーカーを見つけました
-
sponsored
JAPANNEXTの開発中モデル＆最新注目モデルをまとめて紹介！【後編】
令和の時代にテレビ風デザイン!? ディスプレーも見た目で選ぶ時代が来たかもしれない
-
sponsored
Z世代が本当にほしいPCを目指して企画したモデル
推し活はかどるノートPC「LAVIE SOL」いいかも。けっこう欲しいかも。
-
sponsored
JAPANNEXTの開発中モデル＆最新注目モデルをまとめて紹介！【前編】
有機ELウルトラワイドに16:18の縦長ディスプレー！ワクワクが止まらないJAPANNEXTの開発中モデルを取材した
-
sponsored
ビデオカードなしで｢FFXIV: 黄金のレガシー｣の60fps超えが狙える!? 「AMD Ryzen 5 8600G」の実力を見た！