参照：「AWS Introduces Automated Reasoning Checks」 ^1 この記事は KINTOテクノロジーズ Advent Calendar 2025 の3日目の記事です🎅🎄 0. はじめに KINTOテクノロジーズのCloud Infrastructure G(CIG)でInfrastructure Architectを担当している劉(YOU)です。 2024年12月、AWSは生成AIの数学的証明と論理的推論を実現することができる自動推論を re:inventで発表 しました

この記事は KINTOテクノロジーズアドベントカレンダー2025 の3日目の記事です🎅🎄 はじめに はじめまして。KINTOテクノロジーズでAndroidアプリ開発を担当しているJongSeokです。 Claude Codeを使ってAndroid開発をしながら、SubAgents機能は少し使っていました。 使っているうちに、もっと効率よく使えるんじゃないかと思い始めて、いろいろ調べてみました。 そしたら最近発表された Skills という機能も見つけました。 この機会に SubAgents と Skill

こんにちは、AWS サポート課の坂本（@t_sakam）です。今回は、本日の re:Invent 2025 のキーノートで発表された新サービス「AWS Security Agent」に関するブログです。 まず、今回は速報としてマネジメントコンソールを見て、どのようなサービスなのかを簡単に確認してみました。 ※現在「AWS Security Agent」は、パブリックプレビュー期間中で、バージニアリージョン（us-east-1）のみ で利用が可能です。 AWS Security Agent とは 公式ブログ

はじめに こんにちは、株式会社バンダイナムコネクサスの山野です。 昨今のECサイトや動画プラットフォームにおいて、レコメンドや検索はユーザ体験を向上させるうえで今や欠かせない機能となっています。 しかし、高精度な検索システムを最初からフルスペックで実装しようとすると、膨大な開発コストと時間がかかります。意味検索、パーソナライズ、スペル補正、同義語辞書の整備、Google Knowledge Graphのような外部知識ベースとの統合など、考慮すべき要素は多岐にわたり、リソースが限られる中ですべてを実現するの

この記事は every Tech Blog Advent Calendar 2025 の7日目の記事です。 はじめに デリッシュキッチンのiOSアプリを開発している成田です。 iOSアプリを開発していると、アイコンやロゴなどの画像アセットを扱う場面が必ずあります。 アイコンやロゴなどのベクター画像を扱う際、 PDF と SVG の2つの形式が候補として出てくるかと思いますが、どちらを使えば良いか迷ったことはないでしょうか。 今回はPDFとSVGをいくつかの観点から比較し、どちらを選ぶべきか考えてみたいと思

はじめに 本記事は、Luup Advent Calendar 2025の3日目の記事になります。 こんにちは、株式会社LuupのSoftware部でPlatform / Technology Enabling (Backend TL) を担当している安元（やっすー）です。 先日開催された「Architecture Conference 2025」にて、「LUUPの事業成長と変化の速さに耐えるモジュラーベースアーキテクチャの設計思想」というテーマで登壇しました。 https://architecture-c

1. はじめに Snowflake では近年、Iceberg Tablesや外部テーブル連携などオープンテーブルフォーマットへの対応が急速に拡張されています。その中で、Snowflake Innovation Team（SIT）が公開しているツールセット Emerging Solutions Toolboxは、実験的・実用的なユーティリティが多く、Snowflake技術者としては是非触っておきたい内容になっています。 今回はその中でも Helper Iceberg Migrator を実際に使い、Snow

はじめに この記事は🎄🎅 BASE PRODUCT TEAM BLOG Advent Calendar 2025 🎅🎄の3日目の記事です。 devblog.thebase.in こんにちは！ BASE 株式会社 Pay ID 兼 BASE PRODUCT TEAM BLOG 編集局メンバー の @zan_sakurai です。 私の所属する Pay ID では一部のアプリケーションでGoを採用しており、日々Goらしいコードを書くことを意識して開発を行っています。 読者のみなさまは「Goらしさ」という言葉を

著者： Researchチーム 春日 1. はじめに 「レビューがいつまでも終わらない」「人によって指摘の粒度がバラバラ」「些細な指摘で心理的安全性が削られる」……。 開発規模の拡大や専門性が深まるにつれ、ドキュメントやコードのレビューにまつわる悩みは、どの現場でも尽きないテーマではないでしょうか。Bacchelliら *1 の研究でも示されている通り、現代のレビューには単なる欠陥発見以上に「知識の共有」や「チームの認識合わせ」という高度な役割が期待されています。特に私たちResearchチームにおいては

はじめに 近年、生成AIの進化を支える大規模言語モデル（LLM: Large Language Model）の開発には、莫大な計算資源と高効率な分散学習基盤が不可欠となっています。こうした需要に応え、国内における最先端の […]

こんにちは。LINEヤフーでアクセシビリティの向上・啓発を行っている中野です。ウェブアクセシビリティの重要性が高まる中、ウェブの課題を解決するために、ChatGPTのカスタムGPTとして開発されたツー...

はじめにこんにちは！LINEギフトのフロントエンド開発をしている片山です。LINEギフト開発チームでは、日々の業務効率化と品質向上を目指してAI技術の導入を進めています。本記事では、AI導入の一環とし...

はじめにはじめまして。東京大学工学部化学生命工学科3年の入佐啓士です。8月18日から8週間、LINEヤフー株式会社の就業型インターンに参加させていただきました。私が配属されたのは、LINEスタンプ・着...

はじめにこんにちは。滋賀大学データサイエンス研究科博士前期課程1年の林孝彦です。大学および大学院では、データサイエンスに関する幅広い技術を体系的に学び、統計学や機械学習、データ解析を通じて実社会の課題...

はじめに タイミーで SRE 業務を担当している徳富（ @yannKazu1 ）です。 日々、数千万件のデータと向き合う中で、 Aurora MySQL の運用をより良くするための改善を積み重ねています。 本記事では、その中で経験してきた “机上ではわからないリアルな気づきや学び” を、できるだけ具体的にまとめました。 これから Aurora を本気で運用したい方や、同じような課題に悩んでいる方のヒントになれば嬉しいです。 (この記事は Timee Product Advent Calendar 2025