すべて | グループ指定なし | 任天堂 | PC | 携帯 | 総合 | その他 | Mozilla & XULs | Freesofts
雑談用ストーリー [3] 833
■ 2024.11.21
》 デンマーク海軍、中国の貨物船 Yi Peng 3 を拘束。 バルト海海底ケーブル切断の件。
Danish Navy Stopped a Chinese Ship Suspected of Damaging Undersea Cables (defence24.com, 11/20)
Danish Navy Shadows Chinese Cargo Ship Afte
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく(それぞれの定理について、最もエレガントな証明法を集めた天界の書物)。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則
11月20日(水) 19:51 更新
「REALFORCE RC1」は高級コンパクトキーボードの新定番になるか?HHKBとも比較してみた
世界最軽量634gノート「ムサシのリベンジ」。復活を遂げたLIFEBOOK UHシリーズ【前編】
「Microsoft Flight Simulator 2024」が登場!ナデラCEOもお気に入りの理由とは?開発責任者インタビュー
半導体/周辺機器
ゲーム機
本
生成AI
文章生成
連載柳谷智宣のAI ウォッチ!
調べ物のデフォルトは超絶便利な検索特化型の生成AIになるかも! 知っておくべき活用法と利用する際の注意点
Google先生を超える!? 検索特化型AIの実力[後編]
09:00
セキュリティ
脆弱性
iOS
Apple、2件のゼロデイ脆弱性に対処したセキュリティ更新 ~Intel Macで攻撃を確認
「iOS 18.1.1」「iOS 17.7.2
Lorenzo Franceschi-Bicchierai
AI
AI pioneer François Chollet leaves Google
Kyle Wiggers
AI
ChatGPT can now read some of your Mac’s desktop apps
Maxwell Zeff
Top Headlines
Mission Space launches next q
安くてオシャレ、女性向けスマートリング「Evie Ring」を試してみた
アーム、最新CPUやGPUをまとめた「CSS for Client」--AIに最適化、GitHubにライブラリーも
5月30日昼のモバイルSuica障害、他社システムのエラー復旧で解消へ--JR東、公式「X」で投稿
ZDNET Japan目指すは現場で役立つ生成AI--NTT Com、パートナー企業募集で「tsuzumi」強
ページが見つかりませんでした
ご指定されたURLが存在しないか、変更・削除された可能性があります。
大変申し訳ありませんが、検索フォームから記事を検索いただくか、メニューから記事をお探しください。
記事検索
キーワードを入力して検索
サイトインデックス
テクノロジー、カルチャー、ビジネスの鋭利な情報サイト
ASCII.jp
ビジネスパースンのキャリア形成とスキルアップをサポートする
ビジネス
企業
ネットワーク機器
ウェブ
Unixサーバ
オープンソース
グリッドコンピューティング
IAサーバ
MacOS
グループウェア
データ保護
認証/電子署名
アプリケーションサーバ
ASP
SCM
ストレージ
SIサービス
LAN/無線LAN
データベース製品
eTrustTM PestPatrol Anti-Spyware
提供:コンピュータ・アソシエイツ株式会社
2005/07/05
eTrust