形式検証 AI——Claudeが123のオープンソースで「落ちない」ことを証明、証明は1億8,000万行。ファジングが見逃したバグも出た、何が保証されて何がされないか AIにソフトの「バグがないこと」を証明させる。Anthropicが10月22日、そういう研究を公式サイトで発表した。… chotto.news/s/6dmx33g1/

DeepSeek ローカル 64GB——7630億パラメーターのV4.1-Flashが「Strata」で家庭用PCに。グラボ12GB＋SSD 257GBで毎秒5トークン、クラウドAPIと比べた損得 中国DeepSeekの大きなAIモデルを、ふつうのゲーミングPCで動かす。そんなことが現実になってきた。… chotto.news/s/42fag8w4/

茨木市 講座 11〜12月——スマホで学ぶ教室（50歳以上・全4回）、論語塾、ジェルキャンドル、男性のヨガ。受付は11/2から順に、どれも先着 茨木市の生涯学習センターきらめきと男女共生センターローズWAMで、11月から12月にかけての講座の募集ページが出そろってきた。… ibaraki.city/s/jqhdkl9z/

ガートナーFDE予測——ベンダー作りのAIエージェントを2028年までに企業の70％が放棄、FDE洗浄にも注意 米調査会社ガートナーは2026年9月29日、ベンダーのFDE（Forward-Deployed Engineering）で作ったエージェント型AIを、2028年までに企業の70％が放棄するという予測を出した。 chotto.news/s/qh9z0qd2/

サムスン テレビ マイク「常時オン」は本当？——研究者のX原文と公式資料で確かめる。音の分類は確認、会話が広告に使われた証拠はまだない。日本のテレビの視聴データも見直しておく 「サムスンのテレビは、マイクが常時オンで部屋の音を聞いている」。そんな投稿が、10月21日からXで大きく広がった。… chotto.news/s/40v4v3bm/

新高島合同庁舎——県が構想原案、今津町の庁舎・保健所・高島警察署を1つに。全国初の合築で事業費は最大約99億円、2032年度の供用めざす 滋賀県が、今津町にある高島合同庁舎・高島健康福祉事務所（保健所）・高島警察署の3つを1つの建物にまとめる「新高島合同庁舎整備基本構想」の原案をまとめた。… takashima.city/s/vhsvged4/

沢村賞 2026は阪神・髙橋遥人——16勝3敗・防御率1.87で初受賞。基準7項目中4つ、完投5・159回でも全会一致になった理由 今年の沢村賞（沢村栄治賞）は、阪神の髙橋遥人投手（30）に決まった。10月26日に東京都内で選考委員会が開かれ、全会一致での選出。髙橋投手は初めての受賞になる。 chotto.news/s/eraft5hn/

福田康夫元首相が死去、90歳——消費者庁設置への道筋と、2008年日中共同声明 第91代首相の福田康夫さんが10月22日、心不全のため東京都内の病院で亡くなりました。90歳でした。日本経済新聞が死因と場所を伝え、地元・群馬の上毛新聞も「22日に亡くなったことが26日に分かった」と報じています。 chotto.news/s/ah4psytq/

Meta 増資 950億ドル（約15兆円）——AI投資のために株を売る。普通株・優先株で350億ドル、残り600億ドルは議決権のない「C株」で。エヌビディアも買い手に、株主の取り分はどれだけ薄まるか FacebookやInstagramのMetaが、AIへの投資のために、最大950億ドル（1ドル155円で約14.7兆円、報道では約15兆円）分の株を売ると発表しま… chotto.news/s/691blxbf/

ランチタイムコンサート 茨木——きらめきで11/9オカリナ、11/21二胡とピアノ、11/29フラ、12/3ヴァイオリンとクラリネット。正午から無料・申込不要 茨木市の生涯学習センターきらめきで、11月から12月にかけてランチタイムコンサートが4回ある。どの回も正午から1時間、1階のエントランスホールで、鑑賞は無料。申し込みもいらない。 ibaraki.city/s/52eb65qo/

GPT-6.1 Terra——GitHub Copilotで正式提供、API価格はSolの半分。Terminal-Bench 50.3%、誤答率16.7%に下がった「毎日の仕事向け」モデル OpenAIが新しいモデル「GPT-6.1 Terra（テラ）」を出した。… chotto.news/s/g35hfkjh/

PSN 二段階認証 すり抜け？——見知らぬ「子ども」がファミリーに追加される被害、ソニーは「調査中」。わかっていることと今日やること PlayStation Network（PSN）で、持ち主が許可していない「子ども」のファミリーメンバーが勝手に追加される被害の報告が続いています。… chotto.news/s/blhn6hvu/

ヨシ刈りボランティア 針江浜——12/6（日）9時30分から、鎌と長靴で湖岸のヨシ群落を守る。申し込みは11/20まで、高島市 新旭町の針江浜で、冬のヨシ刈りを手伝うボランティアを高島市が募集している。日にちは12月6日（日）の9時30分〜13時。申し込みの締め切りは11月20日（金）だ。 takashima.city/s/14nz84bb/

iPad mini（A20 Pro）発表——好みの構成で237,600円、前モデルから約4万円高、iPad Airとも比較 新型iPad miniはA20 Pro・8.5インチOLED・IP67。日本価格は119,800円から、予約10/29・発売11/6。好み構成は237,600円で、ほぼ同額のiPad Air（M4）とも比べた。 chotto.news/s/oa50lf88/

ゼロクリック率 68%——AI検索で「検索したのにサイトへ行かない」が7割近くに。でも来た人は長く読む、日本と米国の調査で考えるサイトの損得 検索はしたけれど、どのサイトにも行かずに終わる。そういう「ゼロクリック」の割合が、日本で68.1%まで上がった。… chotto.news/s/a0o6266s/

もうしこし、かわせみで行きたかったが、英日切り替えの反応の悪い時があるのと、芸能人の名前とかトレンドに弱いのは否めない。。

脆弱性 8.5万件 AI——共同通信「前年同期の2.2倍」をCVEの公式統計で確かめる。攻撃が確認されたのは270件、レンタルサーバーで自分がやること 10月24日の夜、共同通信が「AIで欠陥発見、今年急増」という独自の記事を出した。今年に入って見つかったITシステムの脆弱性が、10月21日までで8万5千件。過去最多だった前年同期の2.2倍だという。 chotto.news/s/3e4aroty/

生成AI 学習データ 開示——内閣府のプリンシプル・コード、10月26日から届出受付。何が公開されるのか、EU・カリフォルニアとの違い、サイト側でできること 生成AIの会社に、学習に使ったデータの種類やクローラの名前を自分のサイトで公開してもらう。そのための国の仕組みが、10月26日（月）に動き出す。… chotto.news/s/ssst3min/

清水安三 講演会——11/7（土）新旭公民館、嘉田由紀子さんが「学而事人」の教育者を語る。参加無料・要申し込み 新旭町出身の教育者・清水安三（しみず やすぞう）の生き方を学ぶ講演会が、11月7日（土）に新旭公民館である。講師は嘉田由紀子さん。参加は無料だが、事前の申し込みが必要だ。 takashima.city/s/hdy4p8os/

Agent Skills 寄贈——AIエージェントの「手順書」SKILL.mdが中立の財団AAIFへ。ChatGPT・Cursorなど70超が対応、MCPに続く2つ目 AIエージェントに仕事のやり方を覚えさせる「Agent Skills」という規格がある。… chotto.news/s/ucj2047k/