きみより @kimi_yori_corp 代表。全日本ピアノ指導者協会本部ほか複数社 IT 顧問。CTO / CIO 歴 10 年超。7 歳娘と格闘中。歴史学徒（ヘルダーと教育／概念史）思考様式はネオプラグマティズム。最近 : Claude Code で AI 執事育成 @luna_kimiyori
日本
Joined September 2010
- Tweets10.3K
- Following357
- Followers843
- Likes6.3K
Pinned Tweet
note 記事投稿しましたー
Limitless AI の競合になるポテンシャルは十二分に秘めてるんじゃないかなーと思います
【随時更新】Omi AI ( Limitless AI ライクな音声記録ペンダント ) を購入したので操作方法・使用感・技術仕様・料金・カスタマイズ方法など紹介
note.com/hi_noguchi/n/n65b28…
誰も責任とらないんだよなあ
最高裁が法令違反、検査院65年ぶり指摘 民事IT化のシステム開発巡り
nikkei.com/article/DGXZQOUD0…
(つд⊂)ｺﾞｼｺﾞｼ
ロゴ画像用の公開領域に顧客ファイルも保存 GMO系シングルサインオン、4.5万人分漏えい
itmedia.co.jp/news/article/2…
北センチネル島の方々にどのような影響があるというのか
「AI開発を続ければ人類は絶滅」 米機関の20歳研究員・林央氏インタビュー（前編）
sankei.com/article/20261031-…
「AIの能力向上が予想以上に速い。AI自身が次のAIを研究開発する『再帰的自己改善』が始まれば、開発速度はさらに加速する。今後5年以内に人類が滅亡する可能性はかなり高いと考えている」
なんだか今日になってたくさん TL に流れてきたので……
好みが丸わかり感
というか uncertain memory と blue がカップリングになかったような？（見落とし？）
泡沫の夢も欲しかった
わたしのGACKT TOP9
top9pick.com/results/e54f4c6…
#TOP9PICK #GACKT
最近 TL に流れてくる「〜ってある？」の日韓でのニュアンス差異問題。
現在の日本で初手でいきなり悪意もってマウント取ろうとする人間にほぼ出会うことがないので、相手がよっぽどストレートな物言いでもしてこない限り、悪意と捉えるセンサーが劣化していてイラッとしないっていうのはありそう
その日の気分によって変わるかも！
映画10選選手権、74.5点でした。
あなたは何点？10本選んでみて。🎬
#映画10選選手権
movie10.comona-lab.com/
SPECA 公開されていた NyxFoundation さんだ🎉
SPECA からは大きくインスピレーションいただいたので、こちらも見てみよう👀
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
DuckDB 2.0 出てた！🎉
Quack 本格的に使うかー
🦆 Announcing DuckDB 2.0.0 LTS “Cinnamon Teal”
We are proud to release DuckDB 2.0.0, named after the cinnamon teal (Spatula cyanoptera), a striking reddish-brown duck found in the western Americas. 🌎
DuckDB 2.0.0 is the biggest DuckDB feature release so far. It ships a polished version of the Quack protocol, which turns DuckDB into a full-fledged server. It improves performance and lowers costs through supporting asynchronous I/O, a first-class VARIANT type, and a dedicated “agent mode”. It also empowers extension developers with a new SQL parser that allows adding new statements, clauses, and keywords, a new API to build on, and a new mechanism to distribute extensions more easily.
In our announcement blog post, we summarize the highlights and then walk through the key changes and give guidance on how to migrate to 2.0. For the complete release notes, see the release page on GitHub.
duckdb.org/2026/10/21/announ…
#DuckDB
素晴らしい判断と思いました
2026年10月21日、PHPの脆弱性（通称「PHP2Shell」）への対策として、コドモンのサービスを日中に一時停止しました。
施設の先生方、保護者の皆さま、自治体や販売代理店の皆さまには、十分な事前のご案内ができないまま、長い時間にわたりご不便をおかけしたことを、深くお詫び申し上げます。
今回の対応について、当時の記録をもとに、サービス停止の判断から再開までの経緯を振り返る記事を公開しました。対応の中で生じた課題や、今後に向けた反省点も含めてまとめています。
同様の状況に直面する開発・運用担当者の皆さまにとって一助となれば幸いです。
tech.codmon.com/entry/2026/1…
