Supika~

目指せぴかぴかクリエイター⚡️

[Caron Cooper @Fossefarmhouse]

Happy Birthday Karen🇬🇧🇯🇵

Wishing you a wonderful day from Fosse Farmhouse B&B UK💛🧡

#きんいろモザイク
#きんモザ
#九条カレン
#kinmoza
#fossefarmhouse

[ポケカ速報＠予約抽選・最新情報まとめ @pokecamatomeru]

ポケモンセンターオンラインで「キミだけの「てもち」が作れるカスタマイズグッズ『My Pokémon Party』」の商品ページが公開

📅仮想待合室 案内時間
11月5日(木)9時30分～9時59分

📅発売日
11月5日(木)10時00分～

✅ポケモンパーツ My Pokémon Party
✅パーツ My Pokémon Party タマゴ
✅1匹連れ歩きキーホルダー My Pokémon Party
✅6匹連れ歩きキーホルダー My Pokémon Party ピカチュウ
✅6匹連れ歩きキーホルダー My Pokémon Party ポケモンずかん風
✅6匹連れ歩きキーホルダー My Pokémon Party ベーシック
✅ポケモンボックス風アクリルスタンド My Pokémon Party
✅モンスターボールチャーム My Pokémon Party モンスターボール
など

✅商品ページ
https://t.co/Hv4GjU5B2i

[木碧ハナ @kimdr_87]

【リクエスト】Alice in Musicland

[Supika~ @pya_supika]

いつも絵が綺麗で…🥹🫶繊細な輝きの表現好きです…

[木碧ハナ @kimdr_87]

【リクエスト】悪ノ娘/悪ノ召使
#鏡音リン #鏡音レン

[木碧ハナ @kimdr_87]

【リクエスト】悪ノ娘/悪ノ召使
#鏡音リン #鏡音レン

[ポケモン公式 @Pokemon_cojp]

「えらぶ」に関する「ポケモン30周年ニュース」をたくさんつなげているよ！
くわしくはツリーの情報をチェックしてね！
https://t.co/TvCr1tTvVS #ポケモン30周年

[Prime Video（プライムビデオ） @PrimeVideo_JP]

／
📢 #ドラマ地雷グリコ
　キャラクタームービー
＼

佐分利錵子(#山下美月)
「俺が嘘つきなのは、本当だよ」

11月13日(金)
プライムビデオで世界独占配信✋✌️✊

[banri @banr1_]

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

たぶん世界初です。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

https://t.co/p6fHK0KGwu

[ポケモン feat. 初音ミク Project VOLTAGE 公式【ポケミク】 @PokeMikuVOLTAGE]

【ポケミク New Song!】
━━━━━
ryo (supercell) @ryo_spcl

「1996」
https://t.co/PkRsryir3i
━━━━━
僕ら皆　あの日の途中

[Prime Video（プライムビデオ） @PrimeVideo_JP]

／
📢 #ドラマ地雷グリコ
　キャラクタービジュアル
＼

▰▰▰NIEKO SABURI▰▰▰
佐分利錵子(#山下美月)
∟頭脳明晰にして孤高の生徒会長

11月13日(金)
プライムビデオで世界独占配信✋✌️✊

[ポケモン feat. 初音ミク Project VOLTAGE 公式【ポケミク】 @PokeMikuVOLTAGE]

【ポケミク新曲 きょう公開】
━━━━━━━
本日10/23(金)18:39プレミア公開！

ryo (supercell) @ryo_spcl

「1996」https://t.co/PkRsryir3i
━━━━━━━
それは、ボクらの原点。

[SB Intuitions @sbintuitions]

📢プレスリリースのお知らせ

国産生成AI「Sarashina」を利用できる「Sarashinaサービス」の無償ベータ版を提供開始
〜6つのAIモデルを利用できるAPI機能とチャット機能を一般公開〜

詳しくはこちら
プレスリリース：https://t.co/ZfS8kCamsH
Sarashinaサービス：https://t.co/7IM8zE1mIv
#SBIntuitions

[「なもり画業20周年記念作品展 ��森中美術部」公式 @yryr_omrk_party]

なもり画業20周年記念作品展
　　　七森中美術部
　　 🌟開催決定🌟

🎨開催場所
横浜ワールドポーターズ6F
イベントホールB

🎨開催期間
2026年12月3日(木)～2026年12月16日(水)

[文野環🐟にじさんじの野良猫 @nekokan_chu]

ナンだこれ

[ゆるゆり@原作コミック公式 @yryr_yhc]

なもり画業20周年記念作品展
　　　　 七森中美術部
　　　 🌟開催決定🌟

🎨開催場所
横浜ワールドポーターズ6F
イベントホールB

🎨開催期間
2026年12月3日(木)～2026年12月16日(水)

詳細はイベント公式アカウントをチェック！
@yryr_omrk_party

[国家サイバ���統括室(注意・警戒情報) @cyber_forecast]

【更新情報】
米国時間2026年10月7日、GoogleからChromeOSのセキュリティアップデート情報が公開されました（バージョン名:150.0.7871.256）。
更新が配信されましたら忘れずにアップデートしてください。
https://t.co/1y7enQQs05

[山下美月&STAFF @mizuki_staff]

12月1日（火）オープンの本・カルチャー好きのためのメディア「ダ・ヴィンチnote」にて
#山下美月 の連載がスタートいたします📚

毎月書き下ろしのエッセイを執筆予定です📝

ぜひチェックしてください☺

▼

https://t.co/kpC8D9sbfM

#ダヴィンチnote

[週刊アスキー @weeklyascii]

AIでサイバー攻撃のコスト激減　数行の指示だけで27社に侵入、カード情報60万件超が流出 https://t.co/vLHJncVgA8

[chidakiyo @chidakiyo]

相当ヤバそうなフィッシングが流行ってるっぽい。
認証情報を入力する画面がsite .google .comなのでパスワードマネージャもすり抜けるっぽい。
単純にドメインみて「ヨシ！」ってすると死ぬので、これはいろんな人に共有しておいた方が良さそう

[電ファミニコゲーマー @denfaminicogame]

介護福祉施設向けの“脳トレeスポーツ”『ぷよぷよトレーナー』正式サービス開始。「1人で遊ぶ」「2人で対戦」「ぷよぷよドリル」の3つのモードが搭載
https://t.co/PE8E3F79Xz

利用者の認知・��体・社会活動を促進するさまざまな要素が含まれた、介護・福祉現場の活用を前提とした設計がされている