基盤開発チームブログリレー2日目の記事です。 1日目は田尻さんがOCamlについて書いてくれました。そのOCaml熱にあおられ私も仕事で使い始めたので、私も便乗してOCamlについて書いてみます。 www.m3tech.blog 覚醒したラクダ はじめに OCaml、書いてますか。私も書いています。仕事の補助ツールとして。 こんにちは、基盤開発チームの林です。 以前まで、ちょっとしたCLIツールを作る言語としては、簡潔に書ける Ruby を使うことが多かったのですが、最近はAIエージェントをよく使うようになったこともあり、自分用のCLIツール開発には OCaml を使うようになりました。 もともと私はローカル環境や設定の作り込みをするタイプではなく、むしろクリーンな環境・ゼロ設定で仕事をするのが好みだったのですが、近頃はCLIツール開発も含めてローカル環境の作り込みをするようになってきたの

はじめに こんにちは、IT基盤部の小池です。副部長とパブリッククラウドチームのリーダーを兼務しています。 2025年7月、 DeNA AI Link は Cognition AI と戦略的パートナーシップを締結しました。 このパートナーシップの一環として、DeNA は AI ソフトウェアエンジニアである Devin のエンタープライズ向けプラン「Devin Enterprise」の社内導入を進めています。 すでに Devin Team は導入済みですが、よりセキュアかつ大規模に Devin を活用するためには Devin Enterprise が不可欠だと考えたためです。 しかし、Devin Enterprise の導入には、多くの課題があることも事実でした。 そこで私たちは、以下の三段階に分けて段階的に社内展開を進めていく計画を立て、その計画通り展開を進めています。 段階 人数 説明

2025.07.18 技術記事 PacketProxyで探るGemini CLIのコンテキストエンジニアリング 〜AIエージェントを信頼できる相棒に〜 by akira.kuroiwa #gemini-cli #ai #security #ai-agent #context-engineering #packetproxy 「なんかよく分からないけど、すごい」で終わらせないために こんにちは、DeNA セキュリティ技術グループの 黒岩 亮 ( @kakira9618 ) です。 AIエージェント、とくに Gemini CLI のようなコーディングを支援してくれるツールは非常に強力で、私たちの開発体験を大きく変えようとしています。しかし、その一方で、こんな風に感じたことはありませんか？ 「このファイルの情報、勝手にAIに送られたりしない？ 大丈夫かな？」 と、情報管理・セキュリティ面で漠然と

渡邉 雅子の『論理的思考とは何か (岩波新書)』を読んだ．この本の著者が「論理の社会的構築物説」のようなことを主張しているという認識だったので，一応目を通しておこうと思ったのである．正直，期待していたような内容（論理の社会的構築物説の論証）では全くなかったので，感想をTwitterあたりに垂れ流して，『論理的思考とは何か』とはバイバイしようと最初は考えていた．しかし，この本に対してコメントをちゃんと残しておいた方が良いかと思う出来事があったので，この記事を書くことにした． 本記事では『論理的思考とは何か (岩波新書) 』の内容を把握されていることを前提として話をする*1．なお，同内容と思われる『「論理的思考」の社会的構築: フランスの思考表現スタイルと言葉の教育』や『「論理的思考」の文化的基盤　４つの思考表現スタイル』*2については参照せずに書いていることはフェアネスのためにこの時点で宣言

Java 24で導入された、JEP 491: Synchronize Virtual Threads without Pinningはwithout Pinningです！ここが重要です。 3行で Java 24からでもVirtualThread上でsynchronizedを使ってもいいわけではなく、これまでどおりできるだけ使わない。 JEP 491はPlatform Threadがsynchronizedを含むVirtual Threadによって占有されることを防ぎ、ほかのVirtual Threadを処理できるようにする。 複数のVirtual Threadで同じオブジェクトをモニタ（≒ロック）しているsynchronized 処理はこれまで通りロックの取り合いで止まる。 背景 Java 24は、JEP 491: Synchronize Virtual Threads without P

NANDゲートからCPU、OS、コンパイラまで。コンピュータの仕組みを実践的に学べる名著の改訂版が登場 プログラムがどのように実行されるのか、気になったことはありませんか? そんな好奇心旺盛なエンジニアにぴったりなのが 『コンピュータシステムの理論と実装(通称Nand2Tetris本)』 です。 https://www.amazon.co.jp/dp/481440087X/ コンピュータシステムの理論と実装 第2版 ―モダンなコンピュータの作り方 出版社 : オライリー・ジャパン 発売日 : 2024/12/2 この本では、NANDゲートから始めて、CPU、アセンブラ、仮想マシン、コンパイラなど、ハードウェアからソフトウェアまでコンピュータをゼロから作りながら学べます。 本書の第2版の翻訳にあたり、レビュアーとして参加したので、本書の魅力を紹介します。 『コンピュータシステムの理論と実装』

この記事は、LayerX Tech Advent Calendar 2024 の7日目の記事です。 tech.layerx.co.jp こんにちは。バクラクビジネスカード開発チーム エンジニアの iwamatsu です。 何か書くことないかな〜と頭を悩ませていたところ、見たことのない不思議なデッドロックに出くわしたので、今回はそれについて書こうと思います。 実行環境 バージョン: MySQL 8.0.39 ストレージエンジン: InnoDB トランザクション分離レベル: REPEATABLE READ 発生した事象 以下のようなユーザーテーブルがあるとします。 CREATE TABLE `users` ( `id` INT NOT NULL, `name` VARCHAR(255) NOT NULL, `lucky_color` VARCHAR(255) NOT NULL, PRIMARY

今や広告は目立たないほうがいい？　今年も行われた「スマホゲームマーケの『嘘』」を紹介するセッションレポート［CEDEC 2024］ 編集部：荒井陽介 ゲーム開発者会議のCEDEC 2024で，アプリボットのグローバルパートナー事業部 マーケティングディレクターを務める家門真明氏によるセッション「ゲームを作る僕たちが、なぜ『ゲームマーケの嘘』を叫ぶのか」が行われた。 マーケティングや広告をあまり知らない人にとって，なかなか衝撃的な事実が次々と紹介されたセッションの模様をレポートしよう。 昨年のCEDECでも同じテーマのセッションを行っている家門氏は，まず始めに「いい風を起こしてスマホゲーム業界を変えていきたいと思ったが，まだ変わっていない」と語った。そして，今回のセッションについて，マーケティングチームだけでなく，開発チームや企画チームの人にも聞いてほしいと呼びかけていた。 家門真明氏 関連

はじめに Zennチームの吉川（dyoshikawa）です。 2024年6月頃より、Zennにいわゆるスパム投稿が急増したため、LLM（生成AI）を活用してのスパム投稿自動検出の仕組みを構築しました。 目的の性質上、あまり詳細については開示できないのですが、技術的な知見の共有のため、そして可能な限りコミュニティへ運営チームの取り組みをオープンにしたいという思いがあり本件の概要を紹介したいと思います。 課題 2024年6月頃より、Zennにスパム投稿が急増しました。それに伴いユーザの違反報告が増加したことで我々Zennの運営メンバーも事態を認識することになりました。 スパム投稿が読者の目に触れることが定常化することは避けたいですし、その都度違反報告をしてくださるユーザの負担も大きなものだろうという思いがあり、対策を進めることになりました。 解決策 この状況に対して、ある程度自動でスパム投稿を

業務でAmazon Auroraを利用しています。フェイルオーバーをサポートしてくれていたMariaDB Connector/Jを利用していたのですが、1.3.0からフェイルオーバーのサポートをしなくなったので、乗り換え先を探していました。 About MariaDB Connector/J - MariaDB Knowledge Base 調べてみたら、aws-mysql-jdbcと、aws-advanced-jdbc-wrapperが選択肢として上がりました。どちらもAWS謹製なのですが、ざっくり言うと前者がJDBCドライバーで、後者がJDBCドライバーのWrapperでMySQLやPostgreSQLなどのJDBCドライバーと併せて使うものになります。 検証 先に挙げた2つのライブラリの検証をしました。結論から言うと、Read-Writeで接続先を振り分ける（読み込み時はReader

はじめに こんにちは。マイグレーションチームの藤本です。 ZOZOTOWNはオンプレミスとクラウドのハイブリッドで動いており、その内、オンプレミス側のアプリケーションはClassic ASPとストアドプロシージャの組み合わせで実装されています。 私たちのチームでは、そのClassic ASPとストアドプロシージャの廃止を目標に、まずは参照系の処理をWeb APIで置き換える作業をしています。この記事では、Karateを使って参照系の処理を置き換えるWeb API（以後、参照系API）のE2Eテストを実現するための取り組みについてご紹介します。 全体に影響する修正とテストの必要性 フレームワークのバージョンアップ 冒頭の通り、参照系APIは商品やショップの情報を取得すると言ったZOZOTOWNでも最も古い部類に入る機能たちを、まずはAs−IsでそのままWeb API化することを目的とするもの

ソフトウェアエンジニアとして働き始めて 20 年以上になります。 元々ソフトウェアでいろいろ作りたくて就いた職業なので、結構な数のプロダクトを開発してきました。 私がメインで開発したもので OSS として出ているものでは、 yrmcds: memcached クローンで、レプリケーション機能などを持つ usocksd: SOCKS4/5 サーバー & ライブラリ transocks: アプリのネットワーク通信を透過的に SOCKS サーバーにプロキシする透過プロキシ coil v2: Kubernetes の CNI ネットワークドライバ moco: MySQL を自動運用する Kubernetes オペレーター accurate: Kubernetes 上で namespace ベースのソフトマルチテナンシーを実現するためのソフトウェア などがあります。これらのソフトウェアの多くは、現役

こんにちは！営業統括本部の神野です！ 年の瀬に入り、弊社は年末年始の休業期間に入りましたが、弊社ブログは年中無休で稼働中です！ さて、10月8日に試験を受け、12月21日正午に合格発表があった応用情報技術者試験に合格することができました。勉強法や、そもそもなぜ受験しようと思ったかなどについてまとめてみましたので、今後受験を検討されている方はお暇なときにでも読んでいただければ幸いです！ そもそもなぜ受験しようと思ったのか 今期の目標の1つとして、応用情報技術者試験の合格を掲げており、自己啓発系の目標は、8月に受験した「AWS Certified Solutions Architect - Professional」、そして「AWS Certified DevOps Engineer - Professional」と「AWS Certified Security - Specialty」を含む

Nikkei Advent Calendar 2023の 14 日目は IDE がやっていきます。いま Web チーム内の基盤改善を専門とするチームで活動しています。自分が入社するより前に作られてメンテナンスがあまりされていなかったシステムを、現代でも戦えるようにするお仕事をしています。メンテナンスを放置することはセキュリティ的によくないので、メンテナンスを専業で行っています。最近の自分の仕事は、今日紹介する rnikkei と呼ばれるマイクロサービス群の Node.js バージョンを、v12 から v18(一部は v20) まで引き上げることです。この rnikkei は当初「爆速の日経」と呼ばれていた頃に設計・実装されたサービスです。今日はそのような過去に作られたサービスにもう一度スポットライトを当ててみようと思います。 see: https://marketing.itmedia.c

12月といえばアドベントカレンダーの季節！　そして、昨年に引き続き、やります！　バズレシピアドベントカレンダー！ adventar.org 言い出しっぺということで、1日目をやらせていただきます。 今年も色々と作ってきて、子供ウケが良かったレシピも時短に効いたレシピも色々とあったのですが、今回は「筆者個人が自分で食ってて一番美味かったやつ」というシンプルかつ最も重要なところを紹介します。 至高を越えたボロネーゼ 筆者の中で、バズレシピオブザイヤー2023はこいつでした。 「至高を越えたボロネーゼ」 です。 www.youtube.com 今年のパスタレシピは、冷製パスタや焼きスパゲティのような例外を除いて、ほぼ全レシピがワンパンパスタだったと思います。昔のパスタレシピをリゾッタータ（ソースでパスタを茹でて煮詰める手法）で再構築しつつ進化させることでネタ切れを防いでいた側面があったような気も

株式会社ヘンリーでSREなどをやっている id:eller です。 この記事は株式会社ヘンリーAdvent Calendar 2023の4日めの記事です。一昨日の記事はkobayangさんのアラートを早く上げる・早く拾うでした。 さて、以下は筆者の日頃の業務を切り取った図です。みなさんはこちらを見て、どのように思われますでしょうか？ 図１ ひろく協力を呼びかける図 図２ 社内規定の浸透を試みる図 図３ 新入社員の皆様に対して規定の確認をリマインドする図 なんだコイツ偉そうだなとか、真面目そうとか、厳しそうとか、そういう印象をお持ちの方が多いのではないでしょうか。実際は柔らかく優しい人格かもしれないし、いつもニコニコして話しやすい人かもしれないし、背後で体調悪くて学校を休んだはずの小学生が飛び跳ねてるかもしれないですが、そういう個性や雰囲気はチャットに頼りがちなフルリモートではなかなか伝える

2023.12.1 12:04 If-None-Matchについて追記 ---- こんいすー こんいすー ISUCON13 の作問チーム、さくらインターネット kazeburo です。 この記事ではISUCON13の問題となった「ISUPipe」について問題の解説と講評をします。 今年のISUCONではさくらインターネットが作問を行い、アドバイザーとしてfujiwaraさん、catatsuyさんにも参加いただきました。ありがとうございました。 「ISUPipe」とは今年も素晴らしい動画を作成いただきました。動画再生が止まり、サービスに悪い影響がでてくる部分、動画とわかっていても心拍数があがってしまいます。 動画の内容にもあるとおり、ライブ動画配信サイトが今回のテーマです。 ただし、動画やサムネイル配信は作問チームのサーバから行い、競技の対象となるのはライブ動画配信サイトのAPIが主となって

福岡オフィスのyoshihitohです。 本日からAWS SDK for RustがGA(一般利用可能)になりました！ What's new ブログはこちらです。 よくよく見てみると、GitHubのIssue#1692 SDK Production Readiness で着々と準備が進んでいたようですね！ 以前、α版の開発者プレビューがリリースされたときに試した内容をGA版のSDKで試してみます。 検証環境 macOS: Ventura 13.14 Rust: 1.74.0 AWS SDK for Rust : TBA 試すこと α版のときと比較しやすいように、DynamoDBで以下の操作を試してみます CreateTable (テーブル作成) PutItem (アイテム追加) GetItem (アイテム取得) やってみる プロジェクト作成 前回試したGitリポジトリはアップロードせずに破