こんにちは、MEKIKI X AIハッカソンもくもく勉強会の23日目を担当する株式会社NTTデータ システムインテグレーション事業本部 グローバルエンジニアリング＆イノベーション室 プロダクトディベロップメントユニット 開発担当の島﨑と申します。 この記事は、TECH WORLD HACKATHON2025 にて、最優秀賞を受賞したプロダクト CareBrief の開発の裏側に関する３日間の記録です。 TECH WORLD HACKATHON2025について HACKATHON（ハッカソン）とは ハッカソ

はじめに 金融系の基幹システムでは、いまでもCOBOLが現役で動いています。何十年も安定稼働してきたCOBOLのシステムは、ビジネスの根幹を支える一方で、保守担当者の減少やブラックボックス化といった課題を抱えています。 ここ数年、そうした課題に対して生成AIを使ってCOBOLソースを解析する取り組みが少しずつ広がっています。生成AIにCOBOLのソースを読み込ませ、仕様書を自動生成し、Javaなどのモダン言語への変換を支援する、そのようなユースケースが現実的になってきました。 ただし、実際にやってみるとす

本記事は AI Shift Advent Calendar 2025 22日目の記事です。 はじめに こんにちは、AIチームの村田（ @em_portero ）です。 LLMを使用することが日常となり、誰しもよいプロンプトを書くことを考える機会が増えているのではないでしょうか。また、 Dia browserのskills や各種コーディングエージェントのカスタムプロンプトなど、あるプロンプトを繰り返し使うことも多いかと思います。 そんな中で、 DSPy や ax などのプロンプト最適化ツールが注目されてい

はじめに 認証・権限管理基盤チームでソフトウェアエンジニアをしている金子です。 「Monad（モナド）」という言葉をご存知でしょうか。Haskell を少し触ったことがあれば、名前だけは聞いたことがあるのではないでしょうか（私もその一人です）。Monad は圏論という数学の分野から来た概念であり、数学的に正確な理解を得るのは簡単ではありません。 しかし、プログラミングでの利用シーンに限定すれば Monad は「抽象化のパターン」の 1 つでしかありません。 本記事では、Haskell と TypeScri

全くの未経験者がアプリケーション開発手法を習得するまでに、どのくらい時間がかかるでしょうか？ まずプログラミング言語、動作のロジックを学び・・・最低でも２～３年の修業期間が必要そうですよね。 未経験者である自分は時間も根気も足らず長年手を出せずにいましたが、「AIに全部やってもらったら出来るのでは？」ということでGeminiとGoogle Cloudを使ってみたところ、なんと 数時間 で出来てしまいました。 この記事では、未経験者の自分がアプリ開発するために使った手法と、Google Cloudのサービス

Kong Gatewayの基本コンセプトとAI時代への挑戦 はじめに 近年、マイクロサービス化の波により企業内のAPI数は爆発的に増加し、APIの管理やセキュリティがかつてなく複雑になっています。さらに、ハイブリッド／マルチクラウド環境への移行や、REST・GraphQL・gRPCといった多様なAPI方式への対応も求められ、エンジニアは「どうすればこの混沌としたAPI群を統制できるのか？」という難題に直面しています。 こうした背景の中、注目されるのがAPIゲートウェイです。その一つとして、Kong社が提供

当部では「LifeKeeper」というHAクラスタ製品を取り扱っています。 HAクラスタ製品の市場として、クラウドでの需要の高まりはよく話題になりますが、 IoT分野でのHA（高可用性）やクラスタ技術の需要・役割も近年、ニーズの高まりを見せています。 今後のLifeKeeperビジネスにおける新たな機会創出を見据え、 今回、IoTクラスタ化の普及について探るべく、オープンソースの Pacemaker と Corosync を活用し、Raspberry Piを用いて、IoT環境でのクラスタ構築をLifeKe

これは株式会社LabBase テックカレンダー Advent Calendar 2025 12日目の記事です。 概要 学生時代から、論文などの議論の精読に対して、「絶対誰かがもう論理的な整合性を確かめたことあるんだろうな〜」と思い、その度に論理的な整合性の再確認に対してめんどくささを感じてきました。 本稿では形式意味論と定理証明支援系を利用して、あらゆる議論を形式化することで、これを打破することを目論みます。 もし自然言語が「コンパイル」できたら？ プログラミング言語では、コードを書くと同時にコンパイラや

はじめに 直近、生成AIを活用した開発案件が増えてきたと感じているエンジニアの方は多いと思います。 生成AI案件を推進するにあたって、自身の案件でどの生成AIモデルを使えば良いのか悩んでいる方も多いのではないでしょうか。 生成AIモデルは種類も多く、更新サイクルも早いため、この領域を専門としているデータサイエンティストであっても「どのモデルが良いか」「自分の担当する案件に適したモデルは何か」を判断することは容易ではありません。 そこで本記事では、生成AIモデルの性能を理解するうえで参考となる各種ベンチマー

この記事はビギナーズ Advent Calendar 2025の17日目の記事です。 はじめに 近年、ソフトウェア開発において「SBOM（Software Bill of Materials）」という言葉を耳にする機会が増えてきました。SBOM は「ソフトウェアの部品表」のようなもので、どんな部品（ライブラリ）が使われているかを一覧にしたものです。セキュリティや品質管理の面で、重要な役割を持ちます。 とはいえ、いざ SBOM を作ってみると、ツールによって中身がまったく違うことがあります。 その問題意識の

G-gen の三浦です。当記事では Gemini CLI と GitHub Actions を組み合わせて、プルリクエストのレビューを自動化する方法を紹介します。 はじめに Gemini CLI とは GitHub Actions とは Gemini CLI GitHub Actions とは 検証の概要 手順 ディレクトリ構成 検証 Workload Identity の設定と API の有効化 GitHub Actions ワークフロー作成 プルリクエストの自動レビュー確認 コードの修正と再確認 はじ

現代のアプリケーションでは、複数段階の支払い処理、AI エージェントのオーケストレーション、または人間の決定を待つ承認プロセスなど、サービス間の複雑で長期にわたる調整がますます必要になっています。従来、これらを構築するには、状態管理を実装し、障害を処理し、複数のインフラストラクチャサービスを統合するために多大な労力が必要でした。 2025 年 12 月 2 日より、 AWS Lambda の耐久性のある関数 を使用して、使い慣れた AWS Lambda エクスペリエンス内で信頼性の高いマルチステップアプリ

こんにちは、技術戦略部のwirohaです。2025年11月20日、21日に「 アーキテクチャConference 2025 」が開催されました。ZOZOはGoldスポンサーとして協賛し、スポンサーブースを出展しました。 アーキテクチャConference 2025 入口の暖簾 technote.zozo.com 本記事ではZOZOから登壇したセッションの紹介と、協賛各社やZOZOの協賛ブースの様子をまとめてお伝えします！ セッションレポート 巨大モノリスのリプレイス──機能整理とハイブリッドアーキテクチャ

MEKIKI X AI ハッカソンもぐもぐ勉強会 Advent Calendar 2025 の 15 日目を担当するスタッブです。 今年のWord of the Yearにも選ばれ、注目を集めているバイブコーディング。「第9回AIハッカソン・もくもく勉強会」に参加して、バイブコーディングでのカレンダー作成を体験しました。本当に、非エンジニアの私にもできるの？？と、かねてより半信半疑でしたが、作ってみた感想などをレポートします！ バイブコーディング プログラミングのコードが書けなくても、自然言語で「やりたい

こんにちは、ココナラで Web エンジニアをしている慕狼ゆに (しのがみゆに) (@yuni_shinogami) です。 こちらは株式会社ココナラ Advent Calendar 2025 15 日目の記事です。 普段は業務で TypeScript を書いていますが、今回は技術的な How-to ではなく、「あえて Haskell に入門してみた」という個人の学習記録を書きたいと思います。 「なぜ今さら Haskell？」と思われるかもしれませんが、普段 TypeScript を書いている人間が、Has