カーネギーメロン大学の研究チームは、自動推論の手法を用いて、未だかつて誰も成し得ていない「コラッツの予想」の証明に取り組んだ。証明は成功しなかったものの、自動推論手法の可能性を実証するという点では「尊い失敗」だった。
ピックアップ
-
sponsored
なぜクラウドストレージに切り替える企業が増えているのか
ファイルサーバー／NASとクラウドストレージの違いとは？《基本編》
-
sponsored
購入しやすい価格ながら機能充実、バッテリー長持ちの人気製品
1万円以下ウェアラブルの大定番がさらに進化！ 睡眠モニタリング精度アップの「HUAWEI Band 9」レビュー
-
sponsored
ゲームのフレームレート爆上げが狙える！ CrucialのDDR5-6000メモリー「Pro Overclocking」を使わぬ手はなし！
-
sponsored
eスポーツ大会で採用される24インチクラスの新モデル
180Hzで3万円切りの即買いモデル、スピーカー内蔵のゲーミングディスプレー「G255PF E2」レビュー
-
sponsored
新たな敵は地中から現れる！
さらなる刺客（シカク）が四角い地球を襲う！5月23日発売『デジボク地球防衛軍２（略）』の魅力をチェック
-
sponsored
JN-MD-OLED156UHDR-Tをレビュー
15.6型4K有機ELのタッチ対応モバイルディスプレーと16型IPSのWQXGAモデル、どちらを買うべきか
-
sponsored
大阪・泉州産のスウェット生地を採用した「AKRacing by BEAMS DESIGN モデル」
スウェット生地のチェアってどう？ 編集部員何人かに座った感想を聞いてみた
-
sponsored
セブンアールジャパンの西川氏とASRockの原口氏にコダワリを聞いてきた
パソコンショップSEVENとASRockのコダワリが炸裂！ Threadripper PRO 7995WX搭載BTOPC
-
sponsored
従来よりもさらにコスパよくゲーミングPCを組みたい方へ
ゲーミングマザーボード「GAMING PLUS」シリーズ完全解説＆自作のオススメ構成例も紹介
-
sponsored
BaaS普及を追求し続けるGMOあおぞらネット銀行と、ARIのAWS導入支援cnarisに迫る
-
sponsored
強化ガラス製マウスパッド「ROG Moonstone」など気になるデバイスもまとめて試す！
静音性重視の独自スイッチ“ROG NX Snow”がイイ！「ROG Strix Scope II 96 Wireless」をレビュー
-
sponsored
LEVEL∞のゲーミングデスクトップ「LEVEL-M7A6-R77-TEX」を検証
20万円以下でこの性能は高コスパだぞ！ 手頃でゲームを快適に遊ぶBTOPCがほしいならコレ
-
sponsored
イラスト感覚で光が“描ける” パナソニックのマイクロLEDを活用した次世代照明がすごい
-
sponsored
Core i7-14700KF搭載「LEVEL-R779-LC147KF-TTX」をチェック
性能・コスパで考える、超快適ゲーミングに最適なRTX 4070 SUPERのBTOゲーミングPCがコチラ！
-
sponsored
JN-PCY238FHDR180-Hシリーズをレビュー
色鮮やかな180Hz駆動ディスプレーが約2万円台！ゲーム環境にパステルカラーはいかが？
-
sponsored
JN-MD-IPS16WQXGARをレビュー
2560×1600ドットの16型モバイルディスプレー、家使いの二刀流もいけて3万円強は最高