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

こんにちは、LuupのUser Product Group Backend Teamのバックエンドエンジニア、Jang(チャン)です。 この記事はLuup Developers Blog Advent Calendar 2025 17日目の記事です。 AIエージェントと一緒に開発していて、「3時間前に立てた計画、何だっけ？」とチャット履歴をスクロールしたり、会話が長くなって重要な計画がコンテキストに埋もれてしまった経験はありませんか？私はこの問題を解決するために仕様駆動開発(Spec-Driven Dev

Amazon Simple Storage Service (Amazon S3) は、アプリケーションの需要に応じて自動的にスケールする弾力性のあるサービスで、最新の ML ワークロードに必要な高スループットパフォーマンスを提供します。 Amazon S3 Connector for PyTorch や Mountpoint for Amazon S3 などの高性能クライアントコネクタは、S3 REST API を直接扱うことなく、トレーニングパイプラインにネイティブな S3 統合を提供します。 この記

BASE ADVENT CALENDAR 2025 DAY.14 はじめに 本記事は BASE アドベントカレンダー 2025 の 14 日目の記事です。 BASE BANK Dept で フルサイクルエンジニア をしている 02 です。 2025年4月、BASEは新しい振込申請機能「最速振込」をリリースしました。最短10分、土日祝日を含む365日対応での入金が可能になり、ショップオーナーさんのキャッシュフロー改善に大きく貢献しています。 本記事では、最速振込の実装で使用したスキーマ変更とMySQL IN

こんにちは！WEBアプリケーションエンジニアの小松です！ 今まで主に EC サイトの WEB エンジニアとして仕事をしてきて、Airflow を触るようになったのは エニグモ に入社してからでした。 BUYMA では、広告媒体向けのフィード生成や外部パートナーとのデータ連携、在庫データの収集など、毎日大量に発生する バッチ処理 を Airflow に任せています。 人手では絶対に回せない規模なので、Airflow は影の立役者のような存在です。 そんな Airflow を動かしている基盤が Google

はじめに この記事は CyberAgent Developers Advent Calendar 2 ...

こんにちは！あるいは、まいど！ 人事企画G 労務・総務チームのつんつんです。今回は、ついに完成したOsaka Tech Labの新フロアをご紹介します。 正直に言います。以前のオフィスとはもう「全然違う」空間に仕上がりました。 今回のコンセプト KINTOテクノロジーズらしく、車やモビリティを感じさせるデザインに全振りしました。 写真多めで、こだわりのポイントを余すことなくお届けします！ エントランス まずエントランスでお出迎えするのは、KINTO Technologiesのロゴ。 これ、ただの看板じゃあ

こんにちは。ミイダス Tech Officeです。先日のリリース共有会で「AIでバックオフィス向けのシステムを作った話」を梅根さんと宮本さんに発表していただきました。 この発表は主に、GitHub Copilotを使ったAI駆動開発の経験と、AIとの協働方法・AIが得意な分野と苦手な分野・メンテナンス上の課題についての分析の2つになります。 今回は後編として宮本さんからの発表内容「今後メンテナンス方針とまとめ」を紹介します。

さくらインターネット研究所の坪内(@yuuk1t)です。 本連載では、AIスパコン「さくらONE」で実施した各種ベンチマーク結果をご紹介しています。前回の第1回の記事では、MLPerfベンチマークの概要と、さくらONEに […]

この記事は「ビギナーズ Advent Calendar 2025」の11日目です。 はじめに こんにちは！ 株式会社NTTデータグループで耐量子計算機暗号(Post-Quantum Cryptography, PQC)関連の業務に携わっている南です。 2025年10月28日から30日の3日間、マレーシアのクアラルンプールで開催されたPost-Quantum Cryptography (PQC) Conferenceに参加してきたため、今回はその参加レポートをお届けします。 想定読者 PQCの最新動向に関心

この記事は「ビギナーズ Advent Calendar 2025」の11日目の記事です。 はじめに 生成AIの進化により、記事の要約や情報整理をAIに任せる機会が増えてきました。 しかしその一方で、「人が読んでまとめた内容と比べてどのような差が生まれるのか」といった疑問を、私自身感じるようになりました。 そこで本記事では、同じ記事を「人手」と「AI」でそれぞれ要約し、その特徴や違いを分析することにしました。AIを活用する際の判断材料として、本記事の内容を参考にしていただければ幸いです。 実施内容 本記事で

本記事は 2025/11/25に投稿された Everything you don’t need to know about Amazon Aurora DSQL: Part 3 – Transaction processing を翻訳した記事です。 Amazon Aurora DSQL は、アクティブ-アクティブの分散データベース設計を採用しており、すべてのデータベースリソースが対等であり、リージョン内およびリージョン間の読み取りと書き込みトラフィックの両方に対応します。この設計により、同期データレプリケ

この記事は「 Consolidate, modernize, transform: Edge computing for modern retail 」（記事公開日：2025 年 9 月 10 日）の翻訳記事です。 現在、小売業者は「計画的な資本投資を維持しながらインフラストラクチャをモダナイズする」という圧力の高まりに直面しています。お客様との対話から、一貫して3つのテーマが浮かび上がってきています。高額な店舗サーバーを統合する必要性、クラウドとエッジ全体で統一されたアーキテクチャを確立したいという要望

本記事は【 Advent Calendar 】の9日目の記事です。 AI戦略室のM・Wです。この記事を書いているのは12月1日です。 11月30日にジャパンカップで カランダガン の単勝と三連単を取りました。現地で観戦をしていたのですが、大変興奮したレースでした。ゴール間際の2頭の叩き合いに混ざる空馬。 ぜひYoutubeで動画を見てください。以上、12月11日の記事でした！ 沼の淵 突然ですが、forkやspawnの違いについて知っていますでしょうか。 私は知らなかったです。いまも正直わかりません。 そ

一橋大学ソーシャルデータサイエンス研究科修士1年の日高逸稀です。2025年10月2日から10月31日まで4週間、分析ユニット内のソーシャルコマースディビジョンにて、インターンに参加させていただきました...