当部では「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

Amazon Inspector には EC2 インスタンスにインストールされたソフトウェアパッケージの脆弱性を検出する機能があります。 OS パッケージだけでなく、Java、JavaScript、Python といったプログラミング言語のパッケージも含まれますが、多くの場合でパッケージのインストールパスを指定する必要があります。 Amazon Inspector が何も検出しないので脆弱性がないと思っていたらスキャン対象外になっていた、という事態は避けなければいけません。 本記事では、 Amazon L

Bitkey Developers Advent Calendar 2025 15日目の記事です。 はじめに 株式会社ビットキーでCross Incubatorチームに所属する maruware です。 Cross Incubatorという聞き馴染みのないキラキラネームチームですが、プロダクトチームが機能開発に集中できるように、フレームワークのような足回りを整えたり、インフラやCI/CDのベースを整えたり、スケーラビリティのある実装に改善したりといった、プラットフォームチームの役割の一部を担うチームです。

はじめに NTT西日本の福田です。 NTT西日本では、生成AI技術を現場で活用し業務改善につなげる取り組みを進めています。 その一環として、社内でDify®が利用できるようになりました。 しかし、どれだけ優れたツールが展開されても、 社員が使いこなせなければ意味がありません。 そこで今回、AIイベントとしてDifyを実際に触りながら理解を深めてもらうために、 生成AIで業務改善にトライ！ と題してRAG（Retrieval-Augmented Generation：検索拡張生成）チャットボット構築をテーマ

この記事は KINTOテクノロジーズアドベントカレンダー2025 の 13 日目の記事です🎄 はじめに KINTO開発部 KINTOバックエンド開発G マスターメンテナンスツール開発チーム・Osaka Tech Lab 所属の yuki.n（ @yukidotnbysh ）です。 わたしたちのチームでは各サービスと連携する管理システムを開発しています。これらは管理システムであると同時に、業務課題を解決するためのものでもあります。 そのため管理システムと言えども単純な CRUD システムというわけにはいかず

こんにちは。株式会社ココナラ QAグループの鈴木(まるちゃん)です。 こちらは株式会社ココナラ Advent Calendar 2025 13日目の記事です。 はじめに ! 「Unit Testが大事なことはわかった」 いろいろな場面でUnit Testの重要さを説く場面が多くなってきたと感じます。実際にUnit Testを書き始めた、もしくはUnit Testを見直したチームも多いと思います。 弊社も例に漏れず、2024年1月からUnit Testの整備を続けてきました。そして2025年9月、最も積極的

2025 年 12 月 2 日、自然でリアルタイムな音声対話をアプリケーションにもたらす音声変換の基盤モデル Amazon Nova 2 Sonic の一般提供開始を発表しました。このモデルは、業界トップクラスの会話品質、価格設定、クラス最高の音声理解を実現し、開発者が音声アプリケーションを構築できるようにします。 Amazon は 10 年以上にわたって音声ベースのテクノロジーをリードしてきました。今年の初めに、真にスムーズな音声インタラクションを実現するという根本的な課題を解決するために、 第 1 世