いしかわ

c向けアプリの分析やってます

[いしかわ @ryoma_ND]

転職してこの数ヶ月間取り組んできたデータ分析の自動化についてnoteを書きました！

現在、チームでAI活用に取り組んでおりその第一弾の発表です。

明日はチームメンバーのたけむれさんによる「納品・検品の効率化」に関するnoteも代理投稿予定です！

https://t.co/9DjoiZoOz6

[AnotherBall【公式】 @anotherball_jp]

📢 #KotlinFest 2026 登壇のお知らせ！

11/14(土)開催の「Kotlin Fest 2026」に、AnotherBallのエンジニア RIO（@rioX432）が登壇します！🎉

🎤 KotlinとUnityを安全・高速につなぐ ― C#ブリッジ自動生成と共有メモリ転送

KotlinとUnityの連携における技術的な工夫についてお話しします��

📅 11/14(土) 14:50〜15:30
📍 東京コンファレンスセンター品川

ご参加予定の方は、ぜひセッションを聴きに来てください！🙌

🔗 https://t.co/Qlxxp4XHFZ

#KotlinFest

[スナガク | Codexではじめるエージェンティックコーディング @suna_gaku]

【朗報】Fable 5.2 に、「今の実力を見せつける最強の動画を見せて」と言ったら、びっくりする動画を出してきた。マジでクオリティが高すぎて、えげつない…

次元違うな、鳥肌立ったわ

[おゆ┊AnotherBall @shunsuke00]

🎉気軽な！エンタメ難民、大忘年会2026。やります！（11/20金）🍺

みなさん！もうあっという間に、年末ですね！！！

ということで、来る忘年会ラッシュに先立ち、その肩ならし必要ですよね、、？ということで、気軽な忘年会を開催します。

11/20(金)19時〜

昨年に引き続き「山手線駅、直結の会場！」で開催予定です。

広く、気軽にお集まりください！
・エンタメ業界の方
・toCスタートアップの方
・エンタメ業界に興味津々な方
などなど、
是非出入り自由なので気軽にお越しください。

今年買った良さ目なウィスキーが余っているので、持っていきます。お酒好きな方も是非！🥃

【応募はリプから】

[banri @banr1_]

情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！

たぶん世界初です。

Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。

昨今急���しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。

開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。

Nyxisは大部分がLean言語で記述されており、形式検証によって

「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」

という認可安全性定理を機械的に証明しています。

認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。

形式検証を活用したこの���レームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。

先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。

こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。

Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。

もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。

この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。

一方で、表現力の乏しさやLeanのライブラリ不足など、��善すべき点はまだ山積みです。

本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。

世界をセキュアにする一助になれば嬉しいです。

https://t.co/p6fHK0KGwu

[ホロミ｜ホロライブイベント・ニュース📣 （非公式） @holo_tsuushin]

【策士】熱千めら、初の先輩コラボで先輩の行動を読み切り、配信前から対策していたことが判明

10/22のマイクラ企画「ホロ鯖かくれんぼ」
新人が先輩に見つかると、初対面で無茶ぶりされるルール

▼響咲リオナ対策
リオナが以前から「後輩ができたらモノマネ5連発させたい」と話していたのを覚えていた
↓
配信前にやるモノマネをメモして準備
↓
本当に5連発を振られる

▼さくらみこ対策
ホロジュールで参加者を確認し、みこの名前を発見
「みこ先輩絶対マグマに溺れようとするやろうと思ってて」
↓
配信前にサーバーに入り、運営に
「水バケツだけいただけますでしょうか」
準備が完璧すぎる

[Taka YAYOI/弥生 隆明@MLflowで実践するLLMOps @taka_aki]

本日の説明資料です！

#生成AI会

LLM-as-a-Judgeは本当に信頼できるのか――評価器を評価する話
https://t.co/3OSOfNVZcV

[YONEUCHI, Takashi | GMO Flatt Security @lmt_swallow]

【PHP脆弱性対応の「後」にむけて】

みなさん、昨晩からのPHP対応お疲れ様です。一晩中連絡鳴り止んでおらず、一部の個別メッセージに返せてなくて申し訳ないです。

一括して、今、世の中の CTOs/CISOs に届いてほしいことを４つ書き残しておきます↓

（まとまりない部分もあるのですが、投稿しないよりマシかなと、このまま投げちゃいます）

Point 1: これからは、ソフトウェ��業界全体で、高負荷の続くタイミングになります。意図してセキュリティに時間をあて、チームが「休息」が取れる体制を。
・我々は脆弱性リサーチに数年間継続的に取��組んできてました。だからこそ感じますが、ここ一年（体感では GPT-5.6 Sol 以後）が、最も「本当に？」みたいな脆弱性が掘り出されていく一年になると思います。こんなのまだあったの？という驚きとともに。
・特に複雑なメモリバグの類（memory safe でない言語製のものを中心に）、あるいは認可バグの類が中心になると思われます。
・少なくともここから年末までは、このクラスの脆弱性がまだまだ出てくると考えておく必要があります。（僕が読み外しているかもしれませんが、恐らく高い確度でこうなります。直近のPHP脆弱性すら、いま世界中の研究者が Variant Analysis をしていて、多分まだ出てくるでしょう）
・このご時世では、新規機能の開発に割く時間を明確に落とすしかありません。あくまで経営者である CTO には取りにくい判断なのは重々承知です（僕もそうなので）。
・「対応AIで」と思うかも知れません。これは技術的には正しいです。ただ、組織的には正しくないです。確実になんとかならず、組織は疲弊していきます。
・なんせセキュリティ対応は大抵自分にタイミングが御せないからです。深夜の対応、急な対応、計画の変更、デグレへの不安、脆弱性情報過多（そもそも自社に影響があるかも分からないものが大半なのに）… と、ストレスの強度がぐんぐん高まっていきます。昨日〜今朝のPHP対応のようなものが、毎週あれば、チームは比較的簡単に壊れてしまうでしょう。
・敢えてリーダーが、セキュリティへの、時間・お金（・トークン）にアロケしてください。これは経営者にしか取れない択で、かついま技術経営者に求められることです。

Point 2: 「必要なら予防的にサービス停止」の覚悟を決め、予めできる調整を重ねたい。���められない場合は、仮想パッチ・監視へのリソースアロケを。
・前提、今回のPHPの件のような脆弱性の対応���は、「顧客の保護のためならサービスを止めざるを得ない場面」が訪れます。今回も様々なビジネスがそれに直面しました。今後も訪れるでしょう。
・今回の経験を旨に、本当に止めてはならないのか、止めらるのか、止めうる期待値調整がお客様と出来ているか、を徹底的に見直しておきましょう。
・直近の流れをうけての、お客様への事前連絡（スタンス表明）も有効だと思います。（弊社 GMO Flatt Security 製品についても、これからそれをし、リリースノートとして掲示予定です。我々のサービスの侵害、特に Takumi Guard の侵害は、ソフトウェサプライチェーンの最悪な侵害につながるからです。）
・勿論、止めてはならないビジネスも様々存在します。ビジネスドメインに由来する規制/制約（特に金融・医療セグメント）もあれば、顧客とのSLAもあるでしょう。ただし、現代においては、それらに反するリスクと、セキュリティ被害にあうリスクを天秤にかける必要がでてきています。少し前まではサービス停止���のデメリットは容易に考えられても、セキュリティ侵害など考えにくい、という時代でしたが、今はそうではありません。この天秤を再考する必要があります。（なお、「もう何がなんでも止めてはならない」ビジネスは、相当に限定的だと思います。）
・どうしても止めてはならない（もう何がなんでも止めてはならないもの。限定的であれ存在。人命に関わるもの中心）という場合、厳しい戦いになりますが、WAFレイヤなどで緩和策を施しては祈り、監視する、という流れになります。必要なコンポーネント（WAFなど）と運用リソースがあるならば、苦しい時代ですが、休息うまく取りながらやっていきましょう。なければ、これもしんどいですが、整えましょう。

Point 3: もし平時があれば、システムのモダナイズ（Rebuild and Retire）を検討されたい��
・もし自社での緊急対応が落ち着いているならば、レガシーコンポーネント（数年塩漬けのシステム）、誰がメンテできるのか分からないオーパーツ的存在から順に、作り直し（Rebuild）と旧システムの廃止（Retire）を試みてください。新規開発の代わりに、ここにリソースを充てることが CTO/CISO の仕事です。（他の誰もそれを決められないので。）これは追々自分たちを助けてくれる（ついでにAI-native 開発に移行できて改善しやすくなる）とも思料。
・どのシステムからモダナイズしていくかですが：「XXXで書かれているとまずい」というのは燃えるし言いにくいものの、memory unsafe な言語、type safety があまり確保されていない言語の実装は、モダナイズを検討すべきでしょう。（僕はPHP好きですが、C/C++ で書かれた php-src は、やはりメモリバグ類に対して見通しに限界がありますね。好きなんですが…）
・また経験上、開発当時に DevOps プラクティスすら整っていなかった時代のソフトウェアも、モダナイズを検討したほうがよいです。「セキュリティ診断」をしても、取り返しのつかない量の脆弱性が出てきて、作り直したほうが早い、となる傾向にあります。（弊社でも診断/ペネトレしてますが、こうなると、どうしようもありません。）
・ただし Rebuild には、強いソフトウェア開発力が必要で、AI-native なスタイルに移行することは必須です。この意味で CTO の力がいります。かつ、どこからレガシーの追い出しをするか、どうレキュリティ的なレジリエンスを確保するかは、CISO 的な感性が求められます。既製品（とくに SaaS）を買って処理したほうがいいな、というような判断には CIO 的センスが求められます。総力戦だと思ってください。

Point 4: CTO/CISO の総力戦を。
・Point 3でも述べた通り、直近のくだりには、CTO/CISO の総力戦が必要です。ボードがセキュリティに向かって一致団結する必要があります。
・結構これらロールの間にサイロがあるケースがありますが、そんなことを言っている場合ではありません。
・団結を！

[Del @TheCartelDel]

Hello Japanese Twitter. I want to explain why Western consumers are often willing to push the boundaries of copyright, even when it's controversial:

Historically, in the West, challenging copyright restrictions has SOMETIMES led to better outcomes for everyone, including the copyright holders themselves.

Take "fair use".

In the US, copyright law allows people to use pieces of copyrighted material for criticism, reviews, education, research, and parody, depending on the circumstances. It's why anyone can make YouTube essays using gameplay footage, review movies using clips, parody existing works, or study copyrighted material.

These freedoms developed over decades of folks challenging copyright restrictions in court. People pushed boundaries, courts established new rules, and consumers benefited. Hooray!

Something similar happened with the "right-to-repair" movement. Manufacturers have used copyright restrictions, software locks, and other barriers to stop people from repairing products they own. Consumers challenged those restrictions, by repairing them anyway, then being sent to court, which helped bring about laws that expanded our repair rights.

Basically we said: "This law sucks. If I buy this shit, I should have basic rights over how I use and repair it."

Now consider Piracy. I don't condone piracy, but I recognise that it has sometimes exposed problems with how entertainment is sold.

Music piracy EXPLODED when people wanted digital music. Then iTunes was created in response, and helped prove that millions of those same pirates were happy to pay for a convenient, affordable service that didn't exist. Movies and TV experienced similar problems, so streaming services were made which helped massively reduce Piracy. PC gaming saw something similar with Steam.

But my favourite example is Crunchyroll!

Crunchyroll started as a website hosting Pirate anime. Western audiences wanted to watch Japanese shows that often weren't legally available in their countries. Eventually, it becamse so big Japan made a deal with Crunchyroll to become a legitimate streaming business. The site now licenses anime directly from Japanese companies.

Today, it has millions of paying subscribers and generates MASSIVE revenue for the Japanese anime industry.

An audience that once watched anime without permission became a massive international customer base willing to pay Japanese companies. Imagine if that demand had simply been dismissed as criminal behaviour, without anyone recognising the business opportunity??

This is the pattern I'm trying to explain.

We see that when consumers push against restrictions, they sometimes expose problems with the existing business model. Companies respond with better services, laws change, and both consumers and creators can benefit.

None of this means piracy is justified or that creators shouldn't be paid. Only that challenging a restriction can SOMETIMES reveal that the damn restriction itself is preventing a better solution, and pressing on that restriction can create to fix.

I think this helps explain a cultural difference between some Western and Japanese attitudes towards copyright. Western consumers often see copyright disputes as ordinary folks fighting against wealthy corporations controlling access to entertainment. Japanese audiences seem to place greater emphasis on respecting the people and companies who created that entertainment.

Of course, neither perspective represents everyone. And I respect both views.

But where one person sees disrespect towards an artist's work, another sees consumers challenging a corporation's control over something they love. And because Western history contains examples of those challenges producing positive results, some Western consumers are more comfortable pushing those boundaries.

(Hope you can see how these points are relevant to old videogames like Tekken 6 that have no modern re-release/re-print)

ALSO I accept that sometimes piracy means consumers don't want to pay. They are just thieves. But other times, it means consumers were never given the opportunity to pay, and the solution will arise from pushing boundaries.

Please understand I'm not defending piracy. Just explaining why some Western consumers are willing to challenge copyright restrictions and not hate it so much.

We see things differently because history has shown us that sometimes, when people push back, everyone can end up way way way better off.

Sorry this was so long.

[Sho Yokoyama @yuzutas0]

あらゆるデータエンジニアリング業務をAgent Skillsにすることで、AI��イティブな開発＆運用が可能になる！という話をしました。

[株式会社風音屋 @Kazaneya_PR]

[資料公開] 技術カンファレンス「Data Engineering Summit 2026」#data_summit_findy の登壇資料を公開しました。

Beyond Your Data Engineering 2026 - お前の考える狭いデー��エンジニアリングの枠組みを越えてゆけ
https://t.co/7Sgyv3IDqT

[いしかわ @ryoma_ND]

えぐい早い

[逆瀬川 @gyakuse]

speech.cpp v0.8.5リリースしました🚀
音声合成 / 音声認識どちらもﾒｯﾁｬ速くなりました。
いろいろべんりにしているので、ぜひ使ってみてください！
https://t.co/zJA2UFr9CJ

■speech.cppの特徴
・AIアシスタント向けでTTSのfirst audioが速い
・エンジンが軽くてサクッとインストールできる
・Coldからの起動時間が速い
・PythonもCUDAも不要

[J416DY @j416dy]

IDCFクラウド、クラウド全体がランサムウェア食らった模様。
コンソール画面がコレ

[逆瀬川 @gyakuse]

デスクトップ向け音声対話アシスタントの『ASIST』を作ったときにやったことなどまとめました！
AIアシスタントづくり、音声対話の滑らかさや記憶を引き出す自然さ、タスク処理の見せ方など考えることとても多くて楽しいです。
ぜひ読んでみてください！
https://t.co/gueOes3FnK

[katakoto @katakoto]

⚠️Googleを装った高度なフィッシングが拡散中。

送信元は本物の [email protected]、リンク先も https://t.co/mC6P5pmaGM。Gmailは警告せず、パスワード管理ソフトも自動入力を提案する地獄。

Googleのログインは必ず https://t.co/awnvojB8SY それ以外でパスワードを求められたら偽物。けどドメインで確認がもはや無理筋。

[ドコモR&D @docomord]

📢 NTTドコモが、過去データが不足する環境でも高精度な予測を実現するAI技術を確立しました。

サービス開始直後などに発生する「コールドスタート問題」を解決し、広告効果予測やレコメンドの高度化に貢献します。

本技術に関する論文は、推薦システム分野のトップカンファレンス「ACM RecSys 2026」に採録されました 🚀

🔗 報道発表
https://t.co/YPdzHvC8FD

#NTTドコモ #AI #RecSys2026

[いしかわ @ryoma_ND]

マジか
ぜひ触りたい

[Google DeepMind @GoogleDeepMind]

Introducing Gemini 4 Argon – our new frontier model.

It’s built for complex workflows across coding, enterprise knowledge work, and cybersecurity defense – rolling out today to a set of trusted testers through our Fairwind Program.

[加納謙吾 │ ミライフ @kanoken_miraif]

note更新📕
株式会社ミライフで働き始めました！
サイバーエージェントからなぜ人材業界に？その本音を書かせていただいてます！
https://t.co/2Nn5Tyu8q8

[ktsm.dev @KtsmD19]

モダン化プロジェクト完遂を記事にしました！

IT業界未経験の現場作業員が、AIを参謀に年商○億企業の基幹システムを作り切った話（モダン化編）──SDDへ挑戦 ＆ 負債の解消③
(https://t.co/cO19iFh1pW)

これにて3部作完結です！

[ハーメルンのルシエド太郎 @HamelnFilgaia]

たまらん
軽くステーキ100ｇのつ��りで注文したら500ｇ出てきましたくらいの気持ちだ。満足感がすんごい
開拓民を襲う、未知なる土地に生きる、自然災害にも等しい強大な大魔獣たち……それに立ち向かう、知の学者と強き狩人のバディ！

【第１話：魔獣狩り】学者と狩人
https://t.co/loxQCBfNWI

[Gergely Orosz @GergelyOrosz]

Here's what OpenAI's agentic software factory looks like, today.

Details: https://t.co/UUZufLxG2r

(thanks to all the OpenAI folks who explained how it works! And Perf Factory looks especially interesting to me)