「技術の人じゃないね」と言われたエンジニアの話 - めるノート
私はエンジニアになってから何度も「マネージャー向きですね」と言われてきた。 理由もなんとなく分かる。問題を整理するのが好きだし、複雑な状況を構造化するのも好きだし、人の認識を揃えるのも好きだからだ。 技術的な課題が絡み合っている状況を見ると、まずは図にしたり論点を書き出したりしたくなる。 そういう振る舞いをすると、「それってマネージャーの仕事ですよね」と言われてきたし、実際にマネージャーになってみたこともあった。 そして時には、もっと直接的に「技術の人じゃないね」と言われたこともあった。 当時の私は、その言葉を半分受け入れていた。 でもずっと違和感も持っていた。 私はマネージャーになりたいわけではなかった 誤解のないように言うと、マネージャーという仕事を否定したいわけではない。実際に優れたマネージャーにもたくさん出会ってきた。ただ、自分がやりたいこととは少し違った。 私は人事評価に強い興
ちょっとしたアイデアをAIで長文記事にして公開するのをやめろ
「AIで記事を書いた」こと自体を問題にしたいわけではない。問題は、ちょっとした思いつき、数行で済む観察、まだ検証していない仮説を、生成AIで数千字の“記事っぽいもの”に膨らませ、そのまま公開する態度にある。 本質的に言いたいことは少ない。たとえば「この設計は保守しづらい」「このサービスの料金体系は不透明だ」「この映画のこの場面が気になった」。それ自体はよい。短いメモとして価値がある場合もある。しかし、そこにAIで「背景」「歴史」「メリット・デメリット」「今後の展望」「まとめ」を機械的に足していくと、重要な一文の周囲に、自明な説明、関係の薄い一般論、薄い比喩、誰にも届かない結論が堆積する。 これは単なる冗長さではない。情報空間の汚染である。 AI slopとは何か この種の低品質なAI生成物は、英語圏ではしばしば AI slop、または単に slop と呼ばれる。Merriam-Webste
ISUNARABE 合同演習 2026 やったこと - ichyo::blog
ISUNARABE 合同演習 2026 に参加しました。 久しぶりの ISUCON 形式のコンテストを楽しみにしすぎて、ゴールデンウィークのほとんどを準備に溶かしてしまいました。準備が実を結んで良かったです。コンテストを開催していただきありがとうございました。 AI ありのコンテストだったので、コードを読み書きすることはほとんどなく、ひたすら日本語を書いていました。Codex では GPT-5.5 を使い、大事な場面では xhigh を、そうでないときは medium を使いました。 準備 ISUCON の場合、いったんサーバーを壊してしまうと、うまく動いていたバージョンまでアプリを戻してもベンチマークが通らないことがあります。複数の AI が好き勝手にサーバーをいじるとカオスになりそうなので、以下のワークフローを強制することにしました。 まず、コンテスト開始時に、ベンチマークの点数に関係
ISUNARABE合同演習2026 に Codex 一本で参戦した — trasta
isunarabe での ISUCON の合同演習に、Codex 一本で参戦して 4 位フィニッシュでした。100% Codex に丸投げで1行もコードを読まずにフィニッシュしました。何を投げて Codex がどう返してきたかを、残しておきます。 環境はインスタンスに直接 Codex をインストールして、Codex app の SSH 経由で繋いで編集する構成です。webapp はもともと Rust 実装で、コンテスト中に Go へ書き換える方針で進めました。 リポジトリ コンテストは終わったので、参戦リポジトリを public にしました。 .codex/skills/ の下にある nrb-bench-log-analysis (ログの集計と分析) と nrb-benchmark-loop (ポータル経由でベンチを回す改善ループ) は、事前に用意していたものではなく、コンテスト中に必要に
【形式証明付き】余白に収まるフェルマーの最終定理の証明【AI不使用】
/- Fermat's Last character is T! -/ theorem FLT : "Fermat".toList.getLast! = 't' := rfl これは何？ フェルマーの最終定理、つまり「Fermat(フェルマー)の最終文字はt」の証明です。証明の各ステップは定理証明支援系Leanによって正しさが検証されています。 この記事は何？ 形式的証明があるということは、数学的主張が正しいことを意味しません。何が形式化され、何が証明されたのかを注意深く確認する必要があります。 Leanをはじめとする定理証明支援系を使う際には、数学的主張を定理証明支援系の文法に翻訳（形式化）する必要があります。しかし、定理証明支援系がチェックしてくれるのは「形式化された主張」と「形式化された証明」が噛み合っているかどうかまでで、それが人々が元々意図していた数学的主張と一致しているかどうか
ISUNARABE合同演習2026: AI Agent無制限でチューニングコンテストをやると何が起こるのか見てみたい - Write and Run
KOBA789 です。 忙しい人向けに結論を先に書きます。2026年5月9日（土）に「ISUNARABE合同演習2026」を開催します。つまり ISUCON*1 の模擬大会です。 優勝しても賞金は出ません。あと大事なことですが AI の利用は無制限です。 開催概要 開催日: 2026年5月9日（土） 競技時間: 10:00〜18:00JST チーム人数: 1〜3人（AI 算入せず） 問題: 詳細はポータル公開時に発表します 参考実装の言語: Rust のみ AI の利用: 無制限。ただしベンチマーク中のリクエスト処理に外部リソースを使うことは禁止 参加に必要なもの: AWS アカウント・GitHub アカウント・Discord アカウント 費用: AWS・AI ツールのコストは参加者負担 主催: ISUNARABE（ISUCON 公式とは無関係の非公式イベントです） 賞金は出ません AI
翻訳記事「AIコーディングツールによって加速するコード生成に品質保証活動はどう立ち向かうか」 - ブロッコリーのブログ
はじめに 本記事は、Lilia Abdulina（JetBrains の QA責任者）による研究（Vitaly Sharovatovが協力）である「QA in the Age of AI-Accelerated Development」の翻訳記事です*1*2。 本記事は許諾を得た上で翻訳しています*3。 なお、本記事は現在もGitHub上でディスカッションが続けられています。記事を読んで気になった方や疑問を持った方はぜひディスカッションに参加してください！ 本記事の主な見どころ AIによって「理解の負債」だけでなく、「意図の負債」も増えている AI以前では副産物として獲得できていた「ビジネスドメインの知識」を蓄積できなくなっている 「評価」よりも「予防」に重きを置いている「積極的な品質保証活動を行う企業」と、そうではない「反応的な品質管理を行う企業」が存在する コストはO(n + εn2)
はやく目的のコードに辿り着く
初めてこれがハッカーか、と感じたのは元同僚の @typester だった。 2006年頃、彼の肩越しに覗くと、なにかコードを書いていた。 キーを打つたびに、黒い背景が半分に割れ、テキストのリストが現れ、打鍵のたびにハイライトが移動し絞り込まれていく。 ファイルを飛び回り、一つのファイルに数秒、そしてまた別のファイルへ。 自分もそこそこの秀丸上級者だとは思っていたが、コードベースを駆け抜ける速さに圧倒された。 なぜか画面に反映されるよりもはるかに多くのキーを打っていないか？とは思ったが（Emacs を使っていた :p） 彼をフォローするように Mac を買い、 Emacs を使い始めた。 このエピソードをきっかけに、そしてその後の経験から、 ソフトウェアエンジニアはコードを書くよりもはるかに多くのコードを読むことに時間を割く、 書くはやさだけでなく はやく目的のコードに辿り着くことも重要だと
「難しいのに役に立たない、それが面白い」KOBA789さん ｜私がアウトプットを続ける理由 - Findy Media
Findyスキル偏差値や発信力レベルの上位者に、日々のアウトプットで得られた経験や継続のコツを尋ねる連載企画。今回のゲストは、スキル偏差値「JavaScript 74.2」「Rust 71.7」「TypeScript 71.3」「C++ 66.9」、発信力レベル「9」のKOBA789さんです！ YouTubeチャンネル「#ch789」をVTuberとして運営するKOBA789さんに、技術発信の原点や、現在の発信スタイルを選んだ理由、そしてアウトプットを継続する秘訣を聞きました。 ＞KOBA789さんのポートフォリオを見てみる 制服のまま勉強会へ。中学生で始めたライトニングトーク― はじめにアウトプットを始めたきっかけから教えてください。 中学生の頃に、「クラスメイトと一緒に使う掲示板をつくりたかった」のが大きなきっかけでした。運用するうちに「レスポンスが遅いから、次はチャットをつくりたい」
互換性のある（らしい）DBへの移行など考えるにあたってたいへんざっくり | GREE Engineering
こんにちわ。せじまです。 むかしむかし、社内勉強会で話した内容を公開させていただくということが何度かありました。 TIME_WAITに関する話 EthernetやCPUなどの話 CPUに関する話 先日、社内で「データベースを異なる環境や互換性のあるマネージドサービスなどに移行する際、どういうことを考えてるか、幅広い層に向けて話してください」といった要望がありまして。 久々に話をさせていただきましたので、そのときの資料を公開させていただくことにしました。（いちおう、Speaker DeckにもSlideshareにも両方アップロードしておきました。） 互換性のある（らしい）DBへの移行など考えるにあたってたいへんざっくりfrom Takanori Sejima ※このスライドの内容を全部話すと100〜120分くらいはかかりそうなので、社内ではかいつまんで話しました。 個人的に、データベースの
首都高も郊外も走れる“過去最大の東京”を実現した『Forza Horizon 6』日本マップの全貌――開発陣が明かす熱きこだわりと挑戦【IGN First】
『Forza Horizon 6』の描く日本が、これまでにPlayground Gamesが制作してきた中で最大かつ最も密度の高いマップになることは以前から知られていた。なかでも東京は、チームがこれまでに制作した中で最大の都市空間となり、『Forza Horizon 5』のグアナファトの5倍の広さになる予定であることもわかっていた。 あわせて読みたい日本が舞台の『Forza Horizon 6』約9分の独占ゲームプレイ映像を公開！東京タワーから田園地帯まで、スーパーカーで駆け抜ける――IGN First しかし、それを実際に目にするのはまた別の話で、当然ながら非常に興奮させられる体験だった。私が最初に見たゲームプレイのショーケースでは、本作のカバーカーにも採用された真っ赤な「GR GT」が、マップの南端から北へと進み、東京の郊外を抜け、日本アルプスへ向かって走っていく様子が映し出されていた
The Blue Envelope #57
#ITBS-nice-things 最近の自分の活動を極端に抽象化すると、「人にやる気を出させる」ということに終始するような気がしている。やる気を出させる対象は8割くらいが自分で、残りは他人である。 自分はというと今年で35歳になる。ありがたいことに仕事は途切れることはなく、今年も引き続きミュージシャンの顔をして暮らしている。しかしながらストイックさや初期衝動みたいなものは、当たり前ではあるが薄まる一方で、いかに自らのやる気を出させるかというのが重要になってくる。自分の目標はアルバムを10枚リリースすることであるから、こんなところでグダグダしているわけにはいかない。 京都精華大学で働き始めてからの一つの衝撃は、音楽専攻に来るやつが別に音楽を作ろうとしないことである。課題のみをこなし、そのままなんとなく卒業する。それは寂しいが、決して悪いことではない。しかしどうにかして、もっとやる気を出して
Claude Code Skillsのチーム展開で気づいたSkill管理の課題と対策 - 株式会社ヘンリー エンジニアブログ
株式会社ヘンリーでソフトウェアエンジニアをしているwarabiです。 ヘンリーでは以前から開発にClaude Codeを用いていましたが、最近はSkillの活用などでClaude Codeの性能をもっと引き出そうとする動きが活発になっており、ブログでの発信も増えてきています。 Claude Code を活用した電子カルテの外部連携仕様書メンテナンス自動化の取り組み - 株式会社ヘンリー エンジニアブログ 今回は私が以前に作成したSkillをチームの共有物として管理・展開する際に気付いたSkill管理の課題と対策について話そうと思います。 以前作ったSkillの紹介 起票されたIssueの中身を確認・追加調査をしたうえで実装からPR作成までを全自動で行うOrchestrator型のSkillです。（以降 dev Skillと表現） dev.henry.jp このdev Skill作成は元々チ
【解決】チューナー鯖をIntel 省電力モデルに移したらドロップが激しくなった件
あけましておめでとうございます。 先日、テレビを見るための地デジ/BS/CSチューナーを繋いでチューナーサーバーにしていたマシンを、 Core i5-2410Mの半壊ノートPCから、Core i5-9500Tの中古ミニPCに移行しました。 NECのMate MKM22/C-5というモデルです。 中身的にはLenovoのThinkCentre M920q Tinyとほぼ同等品のようです。 ミニPCの稼働時間自体は短いため、半分ぶっ壊れたノートPCよりは保つだろうと思って安心してました。 そしてしっかりテストもせずにEPGStationやらの設定を変えて、年末の紅白とか歌番組の録画予約をバンバンぶち込みました。これが悲劇の始まり。 大晦日、紅白の途中でお風呂に入らなければならず、録画してるし・・・と思ってさっさと入浴して追っかけ再生しようと思ってVLCで開いたら 「終わった。」これしか言葉が出
ブラウザのレイアウトエンジンを自作してみた
前々から自作ブラウザを作ってみたかったんですよね。作ります。 今回はブラウザのGUI周りの、主にレイアウトの座標計算モジュールを自作しました。CSS のボックスモデル, Flex, Grid の座標計算というのが伝わりやすいでしょうか。 HTMLパーサ/CSSパーサ/CSSクエリエンジン/ペインティングも一部実装しましたが、レイアウト可視化のテスト用と割り切っていて、ちゃんと作ったのは主にレイアウトの座標計算周りになります。 作ったもの 雑なプレイグラウンド こんな感じです Terminal で Sixel を描画して Google を表示したもの。今回は主に座標計算周りの実装なので background-color やフォント周りは未実装なんですが、矩形だけでは自分の目視デバッグもしんどかったので、最低限のビットマップフォントをレンダリングできるようにしました。 リポジトリ npm:@m
2025年の振り返り
2025年は色々ありすぎた年だった。人生が進みすぎた。 学業 3月に筑波大学を卒業した。2019年に入学して2回留年して、やっと卒業できた。 自分は昔から本当に勉強ができなくて、高校生の時は大して頭のよくない学校で学年でビリから5番目くらいだったから、6年かかったとはいえ割とまともな大学をちゃんと卒業できたってのは本当に嬉しい。 卒論の出来は本当に悪くて「えっこれでいいの？」ってくらい酷かった。LadybirdブラウザのJavaScript処理系であるLibJSに、可能な限りオーバーヘッドが少なくなるようにGCの動作をトレースするinstrumentationを実装して性能を評価する、みたいなやつをやった。これは実際にはJava向けの既存の手法をほぼそのまま実装しただけのやつなので研究としては普通にめっちゃしょぼかったし、性能評価も「それはそうですよね」という感じだった。 ただ、他の人のや
Google、AI搭載Webブラウザがユーザーの操作から目的を自動で推測、アプリを動的生成して提示する実験的ブラウザ「Disco」を発表
Google、AI搭載Webブラウザがユーザーの操作から目的を自動で推測、アプリを動的生成して提示する実験的ブラウザ「Disco」を発表 旅行の計画を立てようとしてWebブラウザで目的地の観光名所やホテルを何か所も検索していると、Webブラウザがユーザーの意図を理解してAIで自動的にその旅行の計画立案用アプリを動的に生成。新しいタブとしてユーザーに提示することで、ユーザーはたくさんのタブを開いて情報を集めなくてもよくなる。 GoogleでAI関連の実験的製品を開発するGoogle Labsが、そんな新機能を備えた実験的なブラウザ「Disco」を発表しました。 DiscoはGoogleの最新AIモデルであるGeminiを統合したWebブラウザです。 Discoには上記の画面のようにGeminiとチャットする欄があり、ユーザーはGoogleの検索キーワードを入力する代わりに、ここに知りたいこと
Asynchronous Rust on Cortex-M Microcontrollers
In the realm of embedded software, the demand for efficient and responsive applications is ever-increasing. Asynchronous programming, with its ability to handle concurrent tasks effectively, holds immense potential in this domain. Let’s delve into the world of asynchronous Rust specifically tailored for microcontrollers. In this article, we explore the inner workings of Futures, cooperative schedu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
VTuberの音楽は2年間で何が変わったか？シーン動向をまとめて振り返る──アリーナライブ、事務所解散、ミームソング【Pop Up Virtual Music】 | PANORA
スペースソフト IEEE1394解説 プロトコル