KDDI系が仕様駆動開発を採用、AIで業務は「設計8割・開発2割」に
KDDIのグループ会社でシステム開発を手掛けるKDDIアジャイル開発センター（KAG）が、「仕様駆動開発」と呼ばれるシステム開発手法を2025年9月から導入した。AIを活用して仕様書を作成し、その仕様書に基づいてソースコードを生成する。同手法の採用によって、従来は「設計2割・開発8割」だった業務内容が「設計8割・開発2割」に激変したという。 KAGは2025年9月から、アプリケーションにSMS（ショート・メッセージ・サービス）の機能やプッシュ通知の機能を提供するAPI（アプリケーション・プログラミング・インターフェース）基盤を開発する業務に、仕様駆動開発を導入した。 仕様駆動開発は、米Amazon Web Services（アマゾン・ウェブ・サービス、AWS）が2025年7月にプレビュー版をリリースしたAIエージェント型のIDE（統合開発環境）である「Kiro」で提唱されたシステム開発手法
アメリカでITエンジニアからテロリストになった兄の話
あえて時期は令和とぼかすが、ITエンジニアとして渡米して働いていた兄(43才、当時は30代後半)がFBIに逮捕拘束された、という連絡が兄が雇ったという弁護士経由で俺や家族に入った。 たまたま事件現場に居合わせて誤認逮捕されただけじゃないのか？と最初は思っていたのだが、なんとテロ組織のメンバー(逮捕当時は疑惑)として捕り物に至った、という。 詳細を書くと長くなるが、アメリカで雇った弁護士→地元の日本人も在籍してる(日系)国際弁護士事務所のアメリカ支所→国際弁護士事務所(国内)→俺達という順番で、取り次いで連絡・対応となっていた。 兄がテロリストとして捕まったというのも衝撃だが、そういう場合弁護士のルートってこんな風に伝言ゲームみたいになるんだな、と家族ともどもパニックになった頭の中でその部分だけは冷静に覚えている。 結論から言ってしまえば後述する経緯で不起訴処分にはなったのだが、逮捕された経
チームみらい安野貴博氏３．６億円 参院資産公開、上位に著名人：時事ドットコム
チームみらい安野貴博氏３．６億円 参院資産公開、上位に著名人 時事通信 政治部2026年01月05日16時13分配信 超党派の会合であいさつするチームみらいの安野貴博党首＝２０２５年１０月１５日、国会内 昨年７月に当選した参院議員１２５人の資産公開では、起業家や作家ら知名度の高い新人議員も対象となった。資産総額の上位には、チームみらいの安野貴博党首（３．６億円、３位）や日本保守党の百田尚樹代表（２．３億円、４位）が入った。平均額の３０８２万円を大きく上回った。 【続報】みらい安野氏が資産訂正 株数６８万超を３２５０に 安野氏は人工知能（ＡＩ）関連企業の創業者。総額３億６０９８万円のうち、大半が国債などの有価証券だった。米ＩＴ大手のアマゾン・ドット・コム、マイクロソフト、アルファベット（グーグル親会社）、米半導体大手エヌビディアの４銘柄計６８万４８６５株の株式の保有も報告。株券は銘柄と数のみ
横断的に理解する PostgreSQL の 内部データ構造: MVCC・トランザクション分離・インデックス
はじめに こんにちは。かろっく@calloc134 です。 巷では NewSQL が流行りを見せていますが、皆さんこう思ったことはありませんか？ 我々は、RDBMS ですら、十分に理解していないのではないか？ 今回は、PostgreSQL の内部実装に焦点を当てて、RDBMS 実装の解像度を上げていきたいと思います。 PostgreSQL の内部実装については、 インデックスの実装、追記型アーキテクチャ、MVCC、トランザクション分離モデルなどが 断片的に語られることはありますが、横断的な解説はあまり見かけないように思います。 この記事では、PostgreSQL における MVCC を用いた読み取り整合性の実装 トランザクション分離モデル インデックスの実装について、横断的に解説していきます。 今回割愛したもの ブログ執筆にあたり、以下の内容は割愛しました。 トランザクションのステータス管
技術力で日本がエネルギー産出国に…トヨタの研究組織が開発する「凧揚げ発電」が面白い ニュースイッチ by 日刊工業新聞社
偏西風からエネ採掘 トヨタ自動車未来創生センターが偏西風からエネルギーを採掘するシステムを開発している。巨大な凧（たこ）を揚げて、風に引っ張られる力で発電機を回すというシンプルな構想だ。試算では１万５０００本の凧を揚げると日本全体の消費エネルギーをまかなえるという。凧と地上をつなぐ高強度繊維や凧の飛行制御技術が市場競争力となる。資源埋蔵量ではなく、技術力で日本がエネルギー産出国になれる可能性がある。（小寺貴之） 「市販材で必要強度に届かなければ諦めようと思っていた。計算すると許容範囲。これでプロジェクトが始った」。トヨタ未来創生センターの板倉英二マザーシップグループ長はプロジェクトが承認された当時を振り返る。凧を揚げて偏西風からエネルギーを採掘する。単純だがぶっ飛んだアイデアだ。偏西風は上空１０キロメートルを流れる。飛行機が飛ぶ高さに横幅１００メートル、縦幅に１０メートルの巨大な凧を揚げ、
1人目から2,3人目に繋がらないのは夫が原因？→財務省の研究によれば家の狭さ、通勤時間の長さが影響しているが、因果関係ではなく相関関係という指摘も
あずさ🛋️🌃🎄 @azzzzzzusa 財務省の研究 第2子が生まれないのは第1子出生時の面積が狭く、夫の通勤時間が長いせい。 23区と都市部の場合、第1子出生時の面積が1㎡広くなると、第2子が生まれる確率が3%高く 夫の通勤時間が10分長くなると、第2子が生まれる確率が4%減る 若夫婦に1LDKや狭小2LDK勧める人は罪深い。新婚は3LDK。 pic.x.com/g5jvJ66osz x.com/yuuyahayashi/s… 2026-01-01 11:50:03
【狂気の実証実験1】AIエージェントに電気ショック権限を付与したら生活が更生した - Qiita
概要 本記事では、 「自分の意思では生活習慣を改善できない人間が、AI Agentに“罰”を与える権限を渡したらどうなるか」 という実証実験について紹介します。 リマインダーも、ToDo管理も、コーチングサービスも続かない。 理由はシンプルで、守らなくても痛くないから。 そこで本記事では、 CLI型Agentに「コーチング役」を与え 1日の行動を自己申告し悪習慣を検知した際に Pavlok（電気刺激可能なウェアラブル）を通じて 物理的な罰 を与える という、やや狂気じみた構成を 最小実装 で試しました。 結果として、 「物理刺激権限を付与する前提のAgent設計にすることで人は大きく変われる」 という強い手応えがあり、構想・実装・効果を共有します。 想定読者 自堕落な生活を是正したいけど治せない方 習慣化アプリ・リマインダー・ToDo管理に何度も挫折してきた方 「結局、人は痛い目を見ないと
【独自】韓国発のフーデリで「契約トラブル」
韓国発のフードデリバリーサービス「ロケットナウ」に、ついに行政のメスが入ったーー。 中央労働基準監督署は8月22日、同サービスを運営する「CP One Japan合同会社」に是正勧告を出した。前回記事『【独自】フードデリバリー『ロケットナウ』がヤバすぎる…労基署も動いた「知られざる実態」』で報じたとおり、従業員に対する給与未払いなど、複数の労働基準法に違反していたという。 サービス開始からわずか8ヵ月で100万ダウンロードを突破した、新進気鋭のフードデリバリーサービスに何が起きているのか。取材を進めるうちに、飲食店との間で不可解な「トラブル」が相次いでいることが判明した。 給与未払いを訴える契約社員が続出是正勧告を受けたのは、韓国の大手EC企業「Coupang」（以下、クーパン）を親会社に持つ、「CP One Japan合同会社」。今年1月、同社はUber Eatsに対抗すべく、新たなフー
Pythonパッケージ管理ツール「uv」はなぜこれほど爆速なのか？
新人に「uv使いなよ」と言った手前、なぜ爆速なのか本気で調べてみた結果 最近、チームに入ってきた新入社員の環境構築を手伝っていたときのことです。 pip でライブラリを入れている彼を見て、私は反射的にこう言いました。 「あ、今は uv を使ったほうがいいよ。とにかく速いから」 素直に uv を導入して「うわっ、本当に一瞬ですね！」と驚く彼を見て満足した私ですが、デスクに戻ってふと冷や汗が出ました。 （……あれ？ 待てよ。なんで uv ってこんなに速いんだっけ？） 「Rust製だから」という定型句は知っています。でも、それだけで10倍以上も差が出るものなのか？ もし彼に「Rustだと具体的になにが違うんですか？」と突っ込まれたら、私は答えられるだろうか？ 先輩風を吹かせた手前、これはマズい。そう思って慌てて調べてみると、uvの速さの秘密は単なるプログラミング言語の違いではなく、 「Pytho
掛け順論争についての私見｜regulus_math
序論“おさらが４まいあります。 １まいのおさらにみかんが５こずつのっています。 みかんはぜんぶでなんこあるでしょう。” 小学校2年生で掛け算を習うとすぐに登場する典型的な文章題である。この問題に「4×5 (=20)」という計算式を以て「20個」と答えると，式の方には×をつけられることがある。なぜか？ このような文章題における掛け算の式は （1つ分の数）×（いくつ分） の形で書くルールになっているという。この問題文に記された場面は， 「5個ずつ」みかんの乗った皿が「4枚」ある だから， 1つ分の数=5 いくつ分=4 であり，したがって「5×4」という順序で書くのが正しいということである。 このルールの根拠は何か。それは，小2における掛け算では 5×4 は 5+5+5+5 のこと (※1) 4×5 は 4+4+4+4+4 のこと という“定義”になっているためだという。この5+5+5+5のよう
Geminiが安い、「Google AI Pro」セール中 年額3万4800円→1万4500円に 新規ユーザー向け
米Googleは12月23日（現地時間）、個人向けサブスクリプション「Google AI Pro」の新規ユーザー向けキャンペーンを開始した。通常は3万4800円の年額料金を期間限定で割り引き、1万4500円（月額換算で2900円→1408円）で提供する。期限は明らかにしていない。 Google AI Proは、同社のAI機能を利用できるプランの一つ。例えばチャットAIツール「Gemini」で、無料版では使えない高性能なAIモデルが利用できる他、GoogleドキュメントやGoogleスライド上でAIのサポートを受ける機能が使えたり、AIメモアプリ「NotebookLM」でよりたくさんのノート（情報を集約するスペース）を作成可能になったりする。 AIエージェント開発プラットフォーム「Google Antigravity」も使える他、画像生成AI「Nano Banana Pro」やGeminiの
論理削除という技術的負債、それでも僕たちは使い続ける - じゃあ、おうちで学べる
はじめに 「論理削除？deleted_atカラム追加すればいいでしょ」この一言から始まる地獄を、何度見てきただろうか。 最初は簡単に見える。カラムを1つ追加するだけ。しかし、その「簡単さ」こそが罠だ。 論理削除は技術的負債の温床だ。WHERE句への条件追加忘れ、認知コストの増大、テストの複雑化、パフォーマンス劣化。すべては「最初にドメインを考えなかった」ツケである。 しかし現実として、サービスを運用していくと論理削除が必要になる場面は確実に訪れる。 論理削除の本質は、「このレコードは存在するが、存在しないことにしてほしい」という矛盾だ。この矛盾を解消するか、受け入れて安全に管理するか。本記事ではその両方のアプローチを解説する。 なお、私はDBのスペシャリストではないので、ここで紹介する方法が唯一の正解というわけではない。あくまで一つのアプローチとして参考にしてほしい。データベース設計は文脈
これからメールサーバをつくるならStalwart - Tomohisa Oda
メールサーバを作る場合、多くのOSがサポートされていることから、MTAはPostfixでMDAはDovecotを使うことが多いでしょう。この場合、昨今、大手メールSaaSが取り組んでいる送信ドメイン認証やTLS通信の強化に対応するには、追加のミドルウェアが必要となります。 例えば、送信時のDKIM署名をするならOpenDKIMを利用し、転送でメールを改変するのならFromを書き換えにPostSRSdを利用し、そのまま転送するならARC署名をOpenARCを利用したり、あるいはDKIMもARCもrspamdを利用するか、などなど。OpenDKIMもrspamdのそれも、元はMTAのsendmail由来のmilterという拡張仕様によって実現されていて、野良を含めるともっといろんな選択肢があったりします。さらには、DMARCポリシー適応とレポートの運用や、DKIMなどの鍵のローテーション、受信
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
高市首相の長男、衆院選出馬へ 福井2区、高木氏も検討 | NEWSjp
歌舞伎町でタイマン 10分決闘の末に相手死なす 容疑で26歳逮捕 | 毎日新聞
2027年「こどもNISA」開始 NISA対象も拡充 税制改正大綱
さらば秀才、鍛えろカラダ AI時代備え月10万円保育園に殺到 - 日本経済新聞
死んだゲームシステムが蘇るか考えてみよう。時代に消えた5つのシステムを再検証【特集】 | Game*Spark - 国内・海外ゲーム情報サイト
個人開発者が“趣味で”作った「MMORPG」が注目集める。ゲームエンジンからシステムまですべて自作、書いたコードは8万行 - AUTOMATON
1990年代ってよっぽど豊かだったんだろうな