【形式証明付き】余白に収まるフェルマーの最終定理の証明【AI不使用】 🔖 1

/- Fermat's Last character is T! -/theorem FLT : "Fermat".toList.getLast! = 't' := rfl これは何？フェルマーの最終定理、つまり「Fermat(フェルマー)の最終文字はt」の証明です。証明

TUIでPR diffを見ながら裏でAIが勝手に修正&レビューをし続けるRust製tool「octorus」 🔖 5

https://github.com/ushironoko/octorus元々octo.nvimを使っていましたが、helixに移行したので代わりになるtui pr viewerが欲しくなり、ないので作りました。インラインレビューコメントをつけたり、シンタックスハイライトを効か

CuraQの技術的な話　〜技術選定編〜

CuraQの技術的な話　〜技術選定編〜こんにちは、CuraQの開発者のおぎです。今回は、CuraQの開発における「技術選定」の変遷についてお話ししたいと思います。CuraQは現在、Hono x Cloudflare という構成で運用されていますが、最初からこの構成だったわけ

量子コンピュータの「幻滅期」を超えて：2026年、実利と研究が切り離される再編の幕開け 🔖 1

2025年、加速した「量子離れ」の背景これまで数年にわたり、多くの企業が「量子優位性」という言葉に導かれ、多額の投資を続けてきました。しかし、2025年を振り返ると、その多くは実用性とは程遠い、ごく小さな**TOY問題（おもちゃの問題）**の解決に終始してしまったのが現実です。

「あとで読む」を消化できない全ての人へ 🔖 1

知識の流動性を最大化する、CuraQの設計思想こんにちは、あるいは初めまして。先日、初めての個人開発でよくわからないままバズを頂き（？）、幸いなことに3,400名を超えるユーザー様に登録頂いた CuraQ（クラキュー）というサービスを作っている、おぎと申します。今回はあらた

ステルスSSID、百害あって一利なし 🔖 401

ステルスSSID、百害あって一利なし はじめに「SSIDを隠せばセキュリティが上がる」無線LAN設定でこのような運用をしてませんか？ステルスSSID（Hidden SSID）は、ぱっと見セキュリティ対策に見えますが、現実は効果がないどころか、むしろセキュリティリスクを高

【個人開発】Claude Codeに83%のコードを書かせる「ドキュメント駆動開発」の全貌【Flutter向けCLAUDE.md公開】 🔖 139

こんにちは、MLエンジニアのふるです。最近ネイティブアプリにハマったので、ネイティブアプリの記事をたくさん書いていこうと思います。noteで書いた記事における技術解説版です。 AIサマリー 今回作ったアプリについてトークマネ - AIが能動的に声をかけてくれる予定管理

人用のテストケースも実行できる汎用テスト実行エージェントを開発した話 🔖 3

要約手動用のテストケースをそのまま自然言語で実行できるAIテストエージェントを作った実アプリのテスト42ケース中、64%は修正なしで実行できた既知・未知のバグ検出にも有効だった はじめに株式会社MIXIの開発本部&Romi事業部AIロボット開発グループの松

「人間がコードを書く時代は終わった」議論は2種類のコードを混同している 🔖 211

ちょうど最近このような投稿を連続して見かけたので、「コード」が何を指しているのかの自分の理解を整理しておきます。https://note.com/suthio/n/n3f88afe28dbd世の中的に見ればソフトウェアエンジニアは未だに売り手市場であると言えると思うので、上

フリーランスエンジニアは「経験の切り売り」になりやすいのか？ 🔖 1

!※ 本記事は、フリーランス／正社員の優劣を論じるものではなく、キャリア設計の観点から整理を試みるものです。今回は珍しく技術ではないことについて書きます。最近、以下の記事が話題になりました。「フリーランスは構造的に経験が積みにくい」「社会資本が蓄積されない」「結

[翻訳] Anthropic ハッカソン優勝者による Claude Code 完全ガイド【応用編】 🔖 70

!この記事は、以下の元記事を著者本人から許可を得て日本語に翻訳しています。元記事: @affaanmustafa - The Longform Guide to Everything Claude Codehttps://x.com/affaanmustafa/statu

AntigravityでRemotionのSkillをつかって動画を作成してみた 🔖 4

はじめにRemotionが気になったので、Claude Codeではなく普段使っているAntigravityでもskillを使って動画作成できるかな？と思って実験した記事です。RemotionとはReactを使って動画を生成できるフレームワークとのことです。なんだか便利そう

「人間がコードを書く時代は終わった」— Node.js創始者の宣言から考える、ソフトウェア開発の未来 🔖 1

「人間がコードを書く時代は終わった」この言葉は、Node.jsの生みの親であるRyan Dahlが最近投稿したツイートの一節です。彼はこう続けています。「SWE（ソフトウェアエンジニア）を自認する私たちにとっては不穏な話だが、それでも真実だ。エンジニアの仕事がなくなるわけではな

LEANをポータブルで使う方法（非公式）

TL;DRelanおよびgitをポータブルインストールしたうえで、batchファイルで環境変数を設定してそのbatchファイルの中からVSCodeのポータブル版を起動すればよいです。 動機「大学のPCなどの制限された環境でもローカルでLEANを使いたい」という要望は、VS

Stylelint v17 の主な変更点：ESM 移行と CSS Nesting 対応など 🔖 6

はじめに2026年1月15日に Stylelint v17 がリリースされました。前回のメジャーアップデートは v16（2023年12月）のため、およそ2年ぶりのメジャーアップデートとなります。v17 は breaking changes を含むリリースで、公式のマイグレーシ

【C#】これからはTcpClient/UdpClientをやめてSocketを直接使おう 🔖 16

C#のSystem.Net.Sockets以下には、TcpClient/UdpClientというクラスが存在します。C#でTCP/UDPを扱う方法を検索すると上位に出てくるため、利用している方も多いのではないでしょうか。しかし、これらは実質的に単なるSocketのラッパーであり

Agent SkillsがVercelに乗っ取られそうになっている件について 🔖 61

Skills.sh2026年1月21日、日本の深夜に突如VercelのおっさんがスキルマーケットプレイスSkills.shを発表しました。https://x.com/rauchg/status/2013662530502078573"The Open Agent Skil

2026年1月版 俺的AI駆動開発フロー&Tips 🔖 168

!この記事は筆者がAI駆動開発を通して積み上げてきた開発フローやそのTipsを紹介するものであり、絶対的な正解を示したり、主義主張を押し付けたりするものではありません。どこから始めたらよいかわからない方や指針を求めている方の参考になれば幸いです。この記事ではコーディングエ

[翻訳] Anthropic ハッカソン優勝者による Claude Code 完全ガイド 🔖 388

!この記事は、以下の元記事を著者本人から許可を得て日本語に翻訳しています。元記事: @affaanmustafa - The Shorthand Guide to Everything Claude Codehttps://x.com/affaanmustafa/stat

Claude Codeにお遣いさせて見えてきた、買い物エージェントの一つの解 🔖 1

!本記事は実際に動かしたscriptをもとにClaude CodeとCodexで下書きし、最終的に人間がレビュー・加筆&修正して書いています。 はじめに日頃の買い物ってめんどくさいですよね。仕事帰りに買って帰るビールは至高なんですけど、「あー牛乳買い忘れたわ」「

サーバーの無いReactフレークワークFUNSTACK Static 🔖 34

皆さんこんにちは。この記事では、筆者が最近開発した新しいReactフレークワークであるFUNSTACK Staticについて紹介します。https://github.com/uhyo/funstack-staticドキュメント FUNSTACK Staticの概要FUN

濫立するClaude Codeの機能の使い分け：スキル、サブエージェント、スラッシュコマンド、CLAUDE.md、Hooks 🔖 2

Claude Codeにはスキル、サブエージェント、スラッシュコマンド、CLAUDE.md、Hooksなど、多くの機能があります。中には似たようなものもあり、その使い分けがわからなくなることも多々あります。この記事では各機能の概要及び使い分けについて、特にコンテキストの観点で考察

なぜ、MCPよりも「ファイルベースで扱うSkills」の方が便利なのか 🔖 79

最近、Model Context Protocol（MCP）ではなく「ファイルベースで扱うSkills」の方が便利だという話をよく耳にするようになりました。実際に過去数カ月、自分もClaude Codeや関連ツールを触りながら、MCPとSkillsを使ってきました。その中で感

テストで開発者を駆動する 🔖 2

2026年1月より株式会社 Fusic にジョインした miyamyia(←これはtypoですが、みやみやと読みます。typoが正。) です。早速ですが、私は前職で、もしくは休日にこんな経験をすることがありました。朝起きるとなんだか嫌な予感がする。いつもより目が霞んでいて、ベ

PHP×Tokyo January 2026 に参加しました

はじめに1/17(土)に、「PHP×Tokyo January 2026」に参加しました。海外の方の参加も目立ち（全体の4割くらい？）、英語の発表もあり、直近のLaravelの海外からの波と熱を感じました。一方で、同時翻訳のWEBサービスがあり、英語でも聞きやすかったで

Anthropicハッカソン優勝者のClaude Code設定集「everything-claude-code」を読み解く 🔖 892

Anthropicハッカソン優勝者が10ヶ月以上かけて実際のプロダクト開発で使い込んだ everything-claude-code というリポジトリが公開されていたので、内容を読み解いてみました。https://github.com/affaan-m/everything-c

動かないデバイスもAntigravityがなんとかしてくれた 🔖 30

はじめにその昔、GBA Boot cableというGBAとPCを繋いで通信したり、プログラムを流したりして遊べるデバイスが2000年代にあらわれて、それを買って遊んでいた時期がありました。私は当時大学生です。そのときはまだWindows XPが主流だった頃で、32bitの環境で

2026 年に nix を始める方法 🔖 4

2026 年に nix を使って dotfiles を管理する行為を始めました。 なんで始めたの?以下の問題意識がずっとありました:環境構築に再現性がないbrew などでインストールすると最新版がインストールされるバージョンの指定はできるが、更新が面倒

あなたの拾ってきた野良（マーケット）Skills、セキュリティトラブルを発生させていませんか？ 🔖 52

「〇〇さんが紹介していたSkill、便利そうだから使ってみよう」そんな軽い気持ちで野良Skillsを導入していませんか？〇〇さんが導入したときは、問題なかったかもしれませんが、あなたが導入しようとしたときも安全とは限りませんよ？ はじめにClaude CodeやCodex

（2026年1月16日号）データエンジニアリングユニオン Season2 #14

がく＠ちゅらデータエンジニアです。こんばんわっ！今年はブログ執筆頻度を上げていくぞーーと年始に目標を立てたので、貪欲にブログ化していこうと思います。 データエンジニアリングユニオンとは隔週金曜日の12時〜13時で、データエンジニアリングのTOPICSを扱ったデータエン

Webのお絵描き（フリーハンド入力）アプリ用の手ブレ補正ライブラリを作ってみた

📦 npm: stroke-stabilizer🔗 GitHub: usapopopooon/stroke-stabilizer🖋 ライブデモは こちら はじめにフリーハンド入力のお絵描きアプリやホワイトボードアプリを作ったことがある人なら、線がガタガタになる問

GLM Coding Plan入門 〜APIキー取得からopencodeやClaude Codeを駆動するまで〜 🔖 19

はじめに最近、XでopencodeやGLM-4.7についてのポストを目にすることが増えてきて、個人的に気になっていたのでts-benchを回してみた。結果は以下の通りで、少なくともコーディングエージェントとしては申し分ない性能を発揮することがわかる。https://x.co

開発環境現状確認（2026年） 🔖 75

こんにちは @shunk031 です。開発環境現状確認[1][2][3]というタイトルの記事をいくつか見たので、自分の環境も整理してみます。なお、環境構築に使用している dotfiles は以下で公開しています。https://github.com/shunk031/dot

CISSP合格体験記｜公式教材を信じて「割り切った」社会人学習と試験当日の立ち回り 🔖 1

CISSPは、すべてを理解してから受ける試験ではないと感じました。範囲は非常に広く、完璧を目指すと途中で手が止まります。すべてを網羅しようとするのは現実的ではないと感じ、次の方針を取りました。Official Study Guide と Official Practice

Qwen3-VL-Embeddingを用いたローカル画像検索アプリをつくった 🔖 23

はじめにアリババクラウドからQwen3-VL-Embeddingがリリースされた。今回の記事では、Claude Codeとともに開発したQwen3-VL-EmbeddingベースのマルチモーダルローカルAI検索システムの導入方法と使い方をまとめる。Qwen3-VL-Embe

Next.jsは「近道」か「迷路」か。ブログアプリの再実装から学んだ技術選択の理由 🔖 24

1. はじめに この記事を書いた理由僕は現在、Next.js を使ってポートフォリオアプリケーションを開発しています。しかし、ある時ふと気づきました。「なぜ Next.js を使っているのか、自分の言葉で説明できない」チュートリアルをこなし、公式ドキュメントを読み、アプ

SWIMMER OSINT CTF Writeup (kn1cht)

2026年1月17日に開催されたSWIMMER OSINT CTFに参加しました。DIVER OSINT CTF 2025を開催したチームによる初心者向けOSINT CTFです。DIVER OSINT CTF 2025のWrite-upはこちら：https://zenn.de

2025年に調べたり構築した開発環境について 🔖 5

はじめに2025 年に調べたり構築した開発環境について、振り返っておこうと思います。基本的に Linux をメインに Web アプリの開発環境を構築することが多いです。!この記事は 2024 年に調べたり構築した開発環境をアップデートした内容となります。本記事内に出てく

Honoの型推論は好きだけどRPCの書き方が苦手な人のための、RESTな型安全クライアント「hono-typed-rest」を作った

Honoを使っていると、サーバー側で定義したルーティングの型（AppType）をフロントエンドで使い回せる「Hono RPC」の便利さに感動します。しかし、その独自の書き方に戸惑いを感じたことはないでしょうか？今回は、Honoの型推論の恩恵を最大限に受けつつ、使い慣れたREST

React Best Practicesはむしろアンチパターン説 🔖 8

概要先日、Vercel社からAIコーディング用のReact Best Practicesが公開された。https://vercel.com/blog/introducing-react-best-practicesいわく、「Vercelが10年以上にわたって蓄積してきたRe

Anchor Positioningが全対応。HTML・CSSだけのポップオーバーが完全体に 🔖 94

2026年1月13日に、Firefox 147がリリースされ、「CSS Anchor Positioning」が全ブラウザ対応しました。HTML・CSSだけでポップオーバー表現をしつつ、好きな要素を基準に、ポップオーバーを表示できるようになりました。たとえば、タスク管理のサブメ

日本語特化拡散言語モデル「ELYZA-LLM-Diffusion」の公開 🔖 66

はじめにこんにちは、ELYZA Lab チームの Trisitichoke Tasavat です。本記事では、日本語性能に特化した拡散言語モデル (Diffusion LLM) ELYZA-Diffusion-Base-1.0-Dream-7B および ELYZA-Diffus

Rust+Wasmで爆速ライフゲームを作って動く壁紙にする 🔖 3

はじめにRust と WebAssembly（Wasm）の学習として、コンウェイのライフゲームを作成しました。ただブラウザで動かすだけでは面白くないので、Windows の「Lively Wallpaper」を使って、自分のデスクトップ壁紙としてヌルヌル動かすところまでをゴー

Claude Codeの並列実行を効率化する管理アプリを作った 🔖 46

こんにちは、秋野です。Xでもチームや組織でのAI開発効率化を発信してます。ぜひフォローいただけますと幸いです🙏 作ったものClaude Codeで、複数のターミナルウィンドウで並行してセッションを実行していると「あのセッションは今何をしているのか？」「権限の入力待ちになって

「横のガードレール」でAIにアーキテクチャを教えるのをやめた話 🔖 24

はじめにAI駆動開発、やってますか？Claude Code や Codex に「クリーンアーキテクチャ+DDDで実装して」と指示すると、最初はある程度きれいなコードが出てきます。でも1週間後、気づいたらドメイン層が infrastructure を import してたり、U

Claude CodeとCodexの連携をMCPからSkillに変えたら体験が劇的に改善した 🔖 254

はじめにClaude Codeの相棒としてCodex CLIを併用する運用を続けてきましたが、MCPでの連携には大きな課題がありました。本記事では、MCPからSkillへの移行で得られた改善について共有します。 対象読者Claude Codeを日常的に使っている開発者

Rust アプリケーションにおける実践的トランザクション設計 🔖 4

はじめにRust でエンタープライズアプリケーションを構築する際、トランザクション管理の設計と実装が壁となります。所有権システムの制約により、他言語では当たり前のパターンが適用できず、多くの開発者が実装に悩むポイントとなっています。本記事では、実際のプロダクション環境で使用

State of PWA 2026：今あらためて整理するPWA 🔖 1

はじめに「State of PWA 2026：今あらためて整理するPWA」を開いていただいてありがとうございます！この記事ではPWAをトピックとして取り上げ、概要〜最新状態までをまとめております📚✍️ざっくり概要ですが、この記事では下記のようなことがクリアになります..!🔆

GitHub Copilot を極める会 🔖 456

はじめにGitHub Copilot は、もはや単なるコード補完ツールではありません。どの文脈を与え、どこまで任せ、どこで人が介入するかその設計次第で、生産性にもコード品質にも大きな差が生まれます。本記事「GitHub Copilot を極める会」では、GitHub C

【CISSP合格体験記】実務経験者が3か月・約100時間で合格するまで 🔖 2

本記事は、クラウドやセキュリティ領域での実務経験があり、CISSPを受験しようか迷っている方、あるいは勉強方法がわからず困っている方に向けた合格体験記です。 筆者のバックグラウンドこんにちは、サイバーセキュリティクラウドでCloudFastenerサービス事業部の戸ヶ里と申