開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた

行政機関18万人を支える「源内」 わずか1～2人での運用を実現した“一見手の込んだ仕組み”

はてなテクノロジー 09/08 00:19

AI・人工知能 OSS

時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

はてなテクノロジー 08/19 08:27

AI・人工知能 形式仕様

Anthropicの電子透かし導入発表直後に登場した透かし剥がしOSS「watermarks-remover」がClaude・Gemini・OpenAIに対応（生成AIクローズアップ） | テクノエッジ TechnoEdge

はてなテクノロジー 08/16 22:24

AI・人工知能 OSS

Excel VBAの開発体験をモダン言語並みにアゲる VSCode拡張機能を作りました

はてなテクノロジー 07/07 05:11

AI・人工知能 OSS

Zed 完全ガイド - izanami

はてなテクノロジー 06/27 12:18

AI・人工知能 OSS

OpenAIが音声会話AI「GPT-Live-1」のAPIをリリース

GIGAZINE 09/11 03:21

AI・人工知能

公式ライセンスを受けたアーケードゲーム24本を収録したAndroidレトロゲーム機「Pocket AIR Mini Arcade Edition」を天空が発売

4Gamer 09/11 03:19

AI・人工知能

Codexと同じハーネスを使ってAIエージェントを作れる「Agents API」が登場

GIGAZINE 09/11 03:10

AI・人工知能

【急いで！】モフモフのMoflinをなでられる限定カフェは9月13日まで

ASCII.jp 09/11 03:00

AI・人工知能

買い切り型クラウドストレージ「myHPcloud」が全国のローソンで販売開始。AIによる写真自動整理を備え，容量は最大10TBまで買い足し可能だ。4Gamer読者向け20GBプレゼントと1TB抽選も実施【PR】

4Gamer 09/11 03:00

AI・人工知能

日経平均午前1801円安 AI期待打ち消す「トランプ・インフレ」

日本経済新聞 09/11 02:58

AI・人工知能

Core Ultra 9×RTX 50搭載！ GIGABYTE「GAMING A16」が発売

ASCII.jp 09/11 02:45

AI・人工知能

「DeepSeek-V4.1-Flash」が登場、複数テストでClaude Opus 5やGPT-5.6 Solを超える性能のオープンモデル

GIGAZINE 09/11 02:32

AI・人工知能

三菱UFJFGなど銀行株しっかり AI・半導体から資金シフトも

日本経済新聞 09/11 02:21

AI・人工知能

財務処理AI「ChatGPT for Financial Services」が登場

GIGAZINE 09/11 02:10

AI・人工知能

TDK、サーバー部品増産へ400億円 新給電方式に対応しAI需要開拓

日本経済新聞 09/11 02:07

AI・人工知能

「NEOGEO AES＋」、発売日が2027年9月16日へ延期部品供給の制約で十分な数量生産が困難になったため

Game Watch 09/11 01:59

AI・人工知能

「LOLLIPOP CHAINSAW RePOP」，発売2周年記念の無料アップデートを本日配信。新コスチューム「パーティドレス」などを追加

4Gamer 09/11 01:43

AI・人工知能

Prime VideoがAIを使って吹き替えと俳​​優の口の動きを合わせる技術を導入

GIGAZINE 09/11 01:37

AI・人工知能

高圧洗浄を「見える化」｜JESIMAIK カラーLCD搭載スマート折りたたみ高圧洗浄機 Pocket2を新発売

ASCII.jp 09/11 01:30

AI・人工知能