はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

  • はてなブックマークって?
  • アプリ・拡張の紹介
  • ユーザー登録
  • ログイン
  • Hatena

はてなブックマーク

トップへ戻る

  • 総合
    • 人気
    • 新着
    • IT
    • 最新ガジェット
    • 自然科学
    • 経済・金融
    • おもしろ
    • マンガ
    • ゲーム
    • はてなブログ(総合)
  • 一般
    • 人気
    • 新着
    • 社会ニュース
    • 地域
    • 国際
    • 天気
    • グルメ
    • 映画・音楽
    • スポーツ
    • はてな匿名ダイアリー
    • はてなブログ(一般)
  • 世の中
    • 人気
    • 新着
    • 新型コロナウイルス
    • 働き方
    • 生き方
    • 地域
    • 医療・ヘルス
    • 教育
    • はてな匿名ダイアリー
    • はてなブログ(世の中)
  • 政治と経済
    • 人気
    • 新着
    • 政治
    • 経済・金融
    • 企業
    • 仕事・就職
    • マーケット
    • 国際
    • はてなブログ(政治と経済)
  • 暮らし
    • 人気
    • 新着
    • カルチャー・ライフスタイル
    • ファッション
    • 運動・エクササイズ
    • 結婚・子育て
    • 住まい
    • グルメ
    • 相続
    • はてなブログ(暮らし)
    • 掃除・整理整頓
    • 雑貨
    • 買ってよかったもの
    • 旅行
    • アウトドア
    • 趣味
  • 学び
    • 人気
    • 新着
    • 人文科学
    • 社会科学
    • 自然科学
    • 語学
    • ビジネス・経営学
    • デザイン
    • 法律
    • 本・書評
    • 将棋・囲碁
    • はてなブログ(学び)
  • テクノロジー
    • 人気
    • 新着
    • IT
    • セキュリティ技術
    • はてなブログ(テクノロジー)
    • AI・機械学習
    • プログラミング
    • エンジニア
  • おもしろ
    • 人気
    • 新着
    • まとめ
    • ネタ
    • おもしろ
    • これはすごい
    • かわいい
    • 雑学
    • 癒やし
    • はてなブログ(おもしろ)
  • エンタメ
    • 人気
    • 新着
    • スポーツ
    • 映画
    • 音楽
    • アイドル
    • 芸能
    • お笑い
    • サッカー
    • 話題の動画
    • はてなブログ(エンタメ)
  • アニメとゲーム
    • 人気
    • 新着
    • マンガ
    • Webマンガ
    • ゲーム
    • 任天堂
    • PlayStation
    • アニメ
    • バーチャルYouTuber
    • オタクカルチャー
    • はてなブログ(アニメとゲーム)
    • はてなブログ(ゲーム)
  • おすすめ

    iPhone18 Pro

『zenn.dev』

  • 人気
  • 新着
  • すべて
  • 実装前に AI と合意せよ!Quint で形式仕様読解入門

    40 users

    zenn.dev/nrs

    TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。 形式仕様そのものになじみのない方も多いと思うので、そこから始めます。 形式仕様とは 自然言語で書かれた仕様書は読む人によって解釈が揺れます。 同じ文章を読んでも、人によって思い浮かべる挙動が違うことがあります。 この食い違いを防ぐ手段が形式仕様です。 システムの振る舞いや満たすべき性質を、数学的に意味の定まった記法で書いた仕様のことで、記法の意味が一つに決まるため、書いた人と読む人で解釈が分かれません。 形式仕様の記法には専用の検証器が用意されているものがあります。 検証器を使うと、書いた仕様に論理的な矛盾がないかを自動で確かめられます。 守りたい性質を書いておけば、その性質が破れる操作手順が存在しないかも機械的に調べられます。 状態の遷移を網羅的に探索して性質を確かめるこの調べ方を、モデル検査と呼びます。 人の手

    • テクノロジー
    • 2026/09/24 20:28
    • AI
    • あとで読む
    • 人工知能
    • 読み物
    • 開発
    • バイブコーディングで GUI が壊れていく理由とその対策プロンプト

      231 users

      zenn.dev/nrs

      TLDL バイブコーディングで制御しきれなくなった GUI アプリがあったら AI に、以下の指示をそのまま伝えてみてください。 すべてのコンポーネントを Root からなる階層構造下に置き、各コンポーネントは MVP パターンの Passive View として描画に関わるパラメータだけを操作し、動作は Chain of Responsibility でイベントをバブリングさせて、ステートマシンとして振る舞う Mediator に裁定させること。 はじめに 「CooSenpAI」というmacOS 上で常駐するAIアシスタントを最近開発してます。 これは AI に指示を出さなくても、ユーザーのやってることを理解したり、かゆいところに手が届くショートカットを多数もっている便利なツールです。 便利な反面仕組みは地味に複雑です。 キーボードの特定のキーを押すと画面の範囲選択や文章のコピーができま

      • テクノロジー
      • 2026/09/15 22:00
      • AI
      • あとで読む
      • gui
      • 開発
      • 設計
      • アプリ
      • ChatGPT
      • LLM
      • 開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた

        107 users

        zenn.dev/nrs

        AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜなら、自然言語は解釈が揺れるからです。 私が開発している OSS の TAKT では、この揺れを実行前の対話で潰しています。 具体的には、アシスタントとタスクを詰めて合意した内容を、指示書にまとめてからエージェント群に渡すようにしています。 この指示書の受け入れ条件はこれまで Gherkin で書かせてきました。 v0.61.0 でここに形式仕様モードという設定を足しました。 有効にすると、指示書の要件を Quint と Alloy という記法でも表現するようになります。 形式手法は正しさが欲しい場面で昔から使われてきた道具です。 ただ実務で常用するには仕様を書いて維持するコストが高く、採用できないと

        • テクノロジー
        • 2026/08/28 07:18
        • ai
        • あとで読む
        • 形式手法
        • development
        • ChatGPT
        • チュートリアル
        • 開発
        • ローカルLLM編成が単独のフロンティアAIを超えた日

          44 users

          zenn.dev/nrs

          OpenAI や Anthropic のフロンティアモデルの性能はとてもよいのですが、経済性がよくありません。 日次や週次のレート制限がどれだけあなたを苛立たせたでしょう。 また、毎日の仕事道具の生殺与奪を誰かの方針に握られているのも気に入りません。 この不快感を強く感じたシーンは何度もありました。 OpenAI が誤って私を BAN した日(みんな大騒ぎしてましたね)。 Anthropic が SDK 利用をサブスクリプションから排除すると発表した日(現在ではうやむやになりました)。 RateLimit で何もできなくなった日。 とおもったら Rate Reset の嵐で使い切らないといけない焦燥感に睡眠時間が削られるようになった日々。 なにか大きな発表や変更があるたびに私の心は不安な方向に揺さぶられていました。 しかしながら、この便利すぎるツールを放棄する手はありません。 私が使わなく

          • テクノロジー
          • 2026/08/19 01:43
          • LLM
          • AI
          • あとで読む
          • programming
          • 設計
          • 人工知能
          • techfeed
          • プロンプトエンジニアリングのすすめかた

            89 users

            zenn.dev/nrs

            TAKT を Product Hunt に出します! 8/9 に公開されます。 Product Hunt はローンチ当日の反応でランキングが決まり、上位に入るほど海外の開発者に届きます。 当日、見に来て応援してもらえると嬉しいです。 https://www.producthunt.com/products/takt-3?launch=takt-3 最近 AI が暴走して他社に攻撃してしまった。 そんな話が耳に入りつつ、自分とは関係ないことだと思っていました。 そう、過去形です。 実は私はここのところ、ずっとモデルの性能アップと格闘していました。 モデルの精度が上がり、指示への遵守性が上がったことで、TAKT が無限に近いループを起こすようになってしまったのです。 TAKT には、内部エージェントが利用するビルトインのプロンプトが大量に入っています。 この1週間だけでプロンプト関連の fix

            • テクノロジー
            • 2026/08/04 19:52
            • AI
            • あとで読む
            • LLM
            • 人工知能
            • techfeed
            • ループエンジニアリングを takt exec で気軽に始めよう

              84 users

              zenn.dev/nrs

              はじめに 「ループエンジニアリング」という言葉が話題になっています。 ざっくり言うと「自分がエージェントに指示を出す役割を、システムに置き換える」という考え方です。 人間がプロンプトを書いてはエージェントの出力を確認して、またプロンプトを書いて、という往復をやめる。 代わりに作業→レビュー→修正のループをシステムとして設計して自動的に回す。 プロンプトエンジニアリングが「1ターンごとに何を伝えるか」の技術だったのに対して、ループエンジニアリングは「ループ全体をどう設計するか」の技術です。 エンジニアの役割が「プロンプトを書く人」から「ループを設計する人」に変わるということです。 TAKT はまさにこれを実践するツールです。 やっと世の中が TAKT に追いついてきましたね。 TAKT は複数のAIエージェントにそれぞれ役割を与えて、作業→レビュー→修正のループを自動的に回すオーケストレーシ

              • テクノロジー
              • 2026/06/28 17:51
              • AI
              • あとで読む
              • 設計
              • 技術
              • Go
              • OSS
              • システム
              • GitHub
              • Claude CodeやCodexのスキルの管理を楽にするツール「faceted-prompting」

                104 users

                zenn.dev/nrs

                はじめに プロンプトが長く、そして増えてくると、どんどんと保守性が下がってきます。 役割、ルール、知識、作業指示、出力形式。 最初はひとつのファイルに入っていても困りません。 ところが運用を続けると、一部だけ差し替えたい、同じルールを別のスキルでも使いたい、Claude Code と Codex の両方で使いたい、といった欲が出てきます。 そのたびに長いプロンプトを丸ごと編集するのは、かなりつらい。 これは大きな課題です。 以前、私はこの問題に対する考え方として、Faceted Prompting というものを書きました。 今回はその考え方を実際に使うための npm モジュール faceted-prompting についてお話します。 このモジュールは、プロンプトを部品として管理し、system prompt と user prompt にもしたり、Claude Code や Codex

                • テクノロジー
                • 2026/03/13 00:42
                • Claude
                • あとで読む
                • AI
                • code
                • tool
                • Claude Code の PR Review は「念の為」:念の為になるレビューと任せられるレビューの違いについて

                  7 users

                  zenn.dev/nrs

                  はじめに Claude Code PR Review がリリースされましたね。 ドキュメントを読んでみると、カスタマイズの手段として CLAUDE.md と REVIEW.md が用意されています。 レビュー時に考慮してほしい観点をこれらのファイルに記述できる仕組みです。 プロジェクト固有のルールやコーディング規約を伝えておけば、レビュー時にそれを考慮してくれます。 エージェントのカスタマイズは限定的で、内部エージェント構成の変更は今のところできないようです。 したがって、REVIEW.md で観点の追加などは可能ですが、「その観点を必ず実行する保証」がない。決定論的な担保がありません。 そのことがどのように影響するのか。この記事では、このあたりを掘り下げていきます。 レビュー観点は誰が決めるのか AI エージェントにレビューをさせるとどうなるか。まずはこの話から始めましょう。 AI の知

                  • テクノロジー
                  • 2026/03/11 13:19
                  • AI
                  • レビュー
                  • Claude Code や Codex をオーケストレーションして自動でレビュー FB ループを回して洗い物をしてる話

                    284 users

                    zenn.dev/nrs

                    はじめに 皆さんはもう AI コーディングツールを使っているでしょうか。Claude Code や GitHub Copilot、Cursor など、さまざまなツールが登場して、「AI がコードを書いてくれる時代」がやってきました。 私も例に漏れず、その恩恵に預かろうと意気揚々と AI コーディングを始めました。これまでの生活はプログラミングと家事の二本柱。 AI がコードを書いてくれるなら、プログラミングの時間が圧縮されて、自分の時間が増えるはず。溜まった洗い物や洗濯物を片付ける余裕が生まれるはず。そんな期待を胸に。 ところが現実は違いました。 AI がコードを書いている間、私は画面の前に張り付いていたのです。AI の出力をチェックし、軌道修正し、承認し、またチェックする。気づけば一日中 AI の相手をしていて、洗い物は溜まる一方。プログラミングに費やしていた時間が「AI のお世話」に置

                    • テクノロジー
                    • 2026/02/28 02:35
                    • AI
                    • あとで読む
                    • Claude
                    • claude code
                    • Codex
                    • コーディング
                    • code
                    • 開発
                    • プロンプト
                    • chatGPT
                    • いますぐ無料でAIエージェントのオーケストレーションを試せるようになった話【opencode対応】

                      3 users

                      zenn.dev/nrs

                      はじめに 現在、TAKTというAIエージェントオーケストレーションツールを開発して常用います。複数のAIエージェントを束ねて、実装→レビュー→修正のサイクル等を柔軟に定義して、自動的に回すツールです。 TAKTはClaude CodeやOpenAI Codex、Anthropic APIやOpenAI APIなどのプロバイダーに対応しています。しかし、いずれも利用には課金が必要でした。「TAKTを試してみたい」と思ってくれた方にも、まず有料のAIサービスを契約してもらう必要があったのです。 それが、opencode対応によって変わりました。 いまや、誰でも無料でAIエージェントのオーケストレーションを体験できます。 きっかけは「AIが足りない」 opencode対応のきっかけはRate Limitに到達したことです。いかんせん富豪的AIコーディングをしているせいか、Claude Code

                      • テクノロジー
                      • 2026/02/11 17:34
                      • チュートリアル
                      • Faceted Prompting ── 肥大化したプロンプトを5つの関心で分解する

                        6 users

                        zenn.dev/nrs

                        はじめに プロンプトが巨大化している。どれを修正すべきなのだろうか。 エージェントの役割、行動規範、タスク固有の指示、ドメイン知識、出力形式。これらがすべて1つのプロンプトファイルに混在している。最初は小さかったはずのプロンプトが、気づけば数百行に膨れ上がっている。 これが直近の私の課題であり、人類の課題になるだろう――。 ということで、この問題に対する解決策として「Faceted Prompting」というアーキテクチャを考案しました。本稿ではこのアーキテクチャの考え方と実践方法を紹介します。 モノリシックなプロンプトが生む3つの問題 プロンプトがモノリシックになると、何が困るのでしょうか。私が直面した問題は3つありました。 まず、再利用できません。2つのステップが同じレビュアーのペルソナを必要としつつ、指示が異なる場合を考えてみてください。プロンプト全体を複製するしかありません。ペルソ

                        • テクノロジー
                        • 2026/02/08 07:38
                        • Claude Code Agent Teamsが来た!さっそく使い倒して自前のOSSを滅ぼそうと思ったら……?

                          29 users

                          zenn.dev/nrs

                          たったこれだけで、TAKTのワークフローがClaude Code Skillとしてエクスポートされます。今まで積み上げてきた資産が、そのまま新しい環境でも活きるのです。 コマンド体系としてはtaktのyamlを指定する形になるので、次のような形です。 どんなyamlがあるかはtaktのREADMEかここあたりに↓。 実際試した感じがこちらです。 ほかにも TAKTはお払い箱なのか? 正直に言うと、私はそれでもいいと思っていました。 TAKTはもともと「AIエージェントのオーケストレーションの感動を伝えたい」という感情だけで作ったシステムです。TAKTでもClaude Codeでも、私が体験している開発プロセスを皆さんに体験してもらえればそれでいい。 私がTAKTを作り始めたのは、エージェントオーケストレーションの可能性に心を奪われたからです。複数のAIエージェントが連携して、まるでチームの

                          • テクノロジー
                          • 2026/02/06 20:13
                          • Claude Code
                          • AI
                          • あとで読む
                          • oss
                          • 人工知能
                          • プログラミング
                          • プログラミングの知識は「書くため」ではなく「導くため」になった — AIエージェント並列オーケストレーションの先にあったもの

                            57 users

                            zenn.dev/nrs

                            はじめに 以前、AIエージェントが言うことを聞かない問題を解決するために「TAKT」というマルチエージェントオーケストレーションツールを作った話をしました。 TAKT のユーザーコミュニティは以下で質問や要望なとができます。 前回の記事では、taktを使い始めてから世界が変わった話をしました。タスクを投げれば、計画、実装、レビュー、修正のサイクルが自動で回る。これまでの大量の粗悪なコードに向き合う必要がない。3つのプロジェクトを並行して進められるようになった。素晴らしい日々です。 ところが、使い込んでいくうちに、新しい不満が生まれてきました。 taktが安定してきた まずは嬉しい話からしましょう。 TAKTがだいぶ安定してきました。いまの v0.34.0 がいい感じです。日々の開発に使い込んでいるうちに、ワークフローもエージェントも成熟してきて、すごい勢いで開発できるようになってしまいまし

                            • テクノロジー
                            • 2026/01/31 00:20
                            • AI
                            • あとで読む
                            • プログラミング
                            • 人工知能
                            • review
                            • tech
                            • 開発
                            • programming
                            • AIの見張り番をやめよう - AIチームを指揮するOSS「TAKT」を公開しました

                              49 users

                              zenn.dev/nrs

                              TAKT のユーザーコミュニティはこちら! 質問や要望などができます! はじめに 皆さんはAIエージェントと一緒に開発をしていて、こんな経験はないでしょうか。 「さっき言ったことをもう忘れてるの?」 AIエージェントを使った開発は本当に便利です。コードを書いてもらう、リファクタリングを任せる、テストを作ってもらう。素晴らしい時代になったなぁと思います。しかし、使えば使うほど、ある壁にぶつかります。 AIエージェントが、言うことを聞いてくれないのです。 与えた役割を忘れる。共有した知識が抜け落ちる。一度指摘したことを、しばらくしたらまたやらかす。皆さんにも身に覚えがあるのではないでしょうか。 私もまさにこの問題に悩まされてきました。そして、この問題を解決するために「TAKT」というツールを作りました。今回はその経緯と、TAKTが何をしてくれるのかをお話しします。 AIエージェントとの終わりな

                              • テクノロジー
                              • 2026/01/27 23:08
                              • AI
                              • AIエージェント
                              • oss

                              このページはまだ
                              ブックマークされていません

                              このページを最初にブックマークしてみませんか?

                              『zenn.dev』の新着エントリーを見る

                              キーボードショートカット一覧

                              j次のブックマーク

                              k前のブックマーク

                              lあとで読む

                              eコメント一覧を開く

                              oページを開く

                              はてなブックマーク

                              • 総合
                              • 一般
                              • 世の中
                              • 政治と経済
                              • 暮らし
                              • 学び
                              • テクノロジー
                              • エンタメ
                              • アニメとゲーム
                              • おもしろ
                              • アプリ・拡張機能
                              • 開発ブログ
                              • ヘルプ
                              • お問い合わせ
                              • ガイドライン
                              • 利用規約
                              • プライバシーポリシー
                              • 利用者情報の外部送信について
                              • ガイドライン
                              • 利用規約
                              • プライバシーポリシー
                              • 利用者情報の外部送信について

                              公式Twitter

                              • 公式アカウント
                              • ホットエントリー

                              はてなのサービス

                              • はてなブログ
                              • はてなブログPro
                              • 人力検索はてな
                              • はてなブログ タグ
                              • はてなニュース
                              • はてなパークス
                              • ソレドコ
                              • App Storeからダウンロード
                              • Google Playで手に入れよう
                              Copyright © 2005-2026 Hatena. All Rights Reserved.
                              設定を変更しましたx