タグ

programmingに関するch1248のブックマーク (900)

  • 【2025年最新】Anthropic公式が明かすClaude 4プロンプト最適化12のテクニック - Qiita

    はじめに こんにちは、みなさん!最近、私はClaudeを使ったプロジェクトで苦戦していたんですよ。「なんでこのAIは私の意図を理解してくれないんだ...」と頭を抱えていた時、Anthropicが公式に内部プロンプトエンジニアリング技術を公開したんです!これは当に目から鱗でした。 Anthropicがついに社内で使っているプロンプト技術を公開しました。主にClaudeのために設計されていますが、ほとんどの技術は他のLLMにも使えます。彼らが強調しているのは、プロンプトエンジニアリングはモデルの微調整よりも効率的だということ。理由は単純で、リソース要求が低く、コストが安く、反復が速いからです。 核心原則:Claude 4を使いこなすための4つの基 最新のClaude 4モデルに対して、Anthropicは特に4つの基原則を強調しています: 明確に指示する(Be Explicit) Cla

    【2025年最新】Anthropic公式が明かすClaude 4プロンプト最適化12のテクニック - Qiita
  • 新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています

    ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日(木)、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。書では、そのうち「数学の証明をソフトウ

    新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
    ch1248
    ch1248 2025/08/30
    少し気になるな
  • AI エージェント実践ガイドブック

    アイスランドアイルランドアセンション島アゼルバイジャンアフガニスタンアメリカ合衆国アラブ首長国連邦アルジェリアアルゼンチンアルバアルバニアアルメニアアンギラアンゴラアンティグア・バーブーダアンドライエメンイギリスイスラエルイタリアイラクインドインドネシアウォリス・フツナウガンダウクライナウズベキスタンウルグアイエクアドルエジプトエストニアエスワティニエチオピアエリトリアエルサルバドルオマーンオランダオーストラリアオーストリアカザフスタンカタールカナダカメルーンカンボジアカーボベルデガイアナガボンガンビアガーナキプロスキュラソーキリバスキルギスギニアギニアビサウギリシャクウェートクック諸島クリスマス島クロアチアグアテマラグアドループグアムグリーンランドグレナダケイマン諸島ケニアココス(キーリング)諸島コスタリカコモロコロンビアコンゴ共和国(ブラザビル)コンゴ民主共和国(キンシャサ)コートジボ

    AI エージェント実践ガイドブック
  • 同じ5行のコードが全く違って見える12の瞬間、なぜ私たちは学ぶのか?

    最近、ふとした気づきがありました。 それは、「同じものを見ていても、過去と現在の自分では見えている世界がまったく違っている」ということです。 みなさんには、このコードからどんな世界が見えますか? async function getUserName(userId) { const response = await fetch(`https://api.example.com/users/${userId}`); const user = await response.json(); return user.name; } はじめに こんにちは、株式会社ココナラ在籍のKです。 記事では、冒頭の5行のコードを通して、私たちが学ぶ理由について考えてみたいと思います。 TL;DR 同じコードを見ても、人によって見えるものが違っている 学習を重ねることで、それまで見えなかった世界が見えてくる 学習

    同じ5行のコードが全く違って見える12の瞬間、なぜ私たちは学ぶのか?
  • Windows標準だけでGUIを作成 ― PowerShell+.NET Framework

    はじめに Windows環境では、Visual Studioなど特別な開発環境を用意しなくても、標準搭載されている PowerShell 5.x と .NET Framework 4.x を使って簡単にGUIアプリケーションを作ることができる。 例えば、業務ツールにちょっとした入力フォームやボタンを追加したい場合、PowerShellでWinFormsやWPFを利用すれば数行のコードで実現可能。 さらに、同梱されている csc.exe(C#コンパイラ) を使えば、C#のコードを書く必要はあるが EXE化 することも可能。 記事では、 PowerShell + WinForms PowerShell + WPF C#をcsc.exeでコンパイル(WinForms版) C#をPowerShellでインプロセス実行(Add-Type) の順で、「Windows標準だけ」で完結するGUI作成方法

    Windows標準だけでGUIを作成 ― PowerShell+.NET Framework
    ch1248
    ch1248 2025/08/19
    なるほど、標準環境だけでGUI作れるんだな。PowerShellは.bat内で実行できたり、diskpartの一部実行できたりと黒魔術感が前より増してる。
  • 生成AIによるソフトウェア開発の収束地点 - Hack Fes 2025

    登壇資料 HackFes.2025 | 日ハッカー協会 https://hackfes2025.hacker.or.jp/

    生成AIによるソフトウェア開発の収束地点 - Hack Fes 2025
    ch1248
    ch1248 2025/08/14
    収束……というよりは現状まとめで、よくまとまってる。
  • Claude Code 使おうぜって話

    あなたは人間ですか? 人間は考える葦である AI は考える葦である 人間が労働する AI が労働する 人間はアートする AI はアートする 好きな人にスパチャする 好きな AI にスパチャする 好きな人と同じ服を着たい 好きな AI と同じ服を着たい 人間には 人間にしか感情移入できない 非合理なバグがある 御社は時代を捉えている だから技術で 負けたらもったいない! 今日の主題 AI を使って ソフトウェアエンジニアリング をしよう 平たく言うと Claude Code (aider/codex-cli など) をもっと使おうぜって話 @amachang 自分の例 (1日に書いたコード+文書の行数の目安) 2003年4月: 300行 (手書き) 2024年11月: 500行 (手書き) 2025年2月: 1700行 (aider) 2025年5月: 5000行 (aider 月20万円消

    Claude Code 使おうぜって話
  • Serena MCPはClaude Codeを救うのか?

    「Claude Codeがアホになる問題」が勃発している最中、SerenaというMCPサーバーが「Claude Codeのコンテキスト消費を削減し、応答を改善する」という評価でユーザーたちの間で注目されています。 筆者も実際にSerenaを使ってみたところ、確かにコンテキスト効率の改善(入出力トークンの減少を指します)を実感できました。詳しく調べてみると、このツールは非常にユニークな発想で設計されており、一過性の流行として消費されるには惜しいと感じました。 そこで、記事では、この機能の背景にある技術的な仕組みを詳しく解説したいと思います。実際の検証も交えながら、Serenaのアーキテクチャとその効果を分析していきます。 現在のコーディングエージェントが抱える課題現在のコーディングエージェントの多くは、コードを単なるテキストファイルとして扱って逐次的な処理をしています。この根的なアプロー

    Serena MCPはClaude Codeを救うのか?
    ch1248
    ch1248 2025/08/02
    確かに内部でIDE使わせるのは有効な手に思える。
  • Kiroとコンテキストエンジニアリングの時流

    Kiro(kiro.dev)は、AWSが開発したIDE型のコーディングエージェントです。CursorやWindsurfのようなVS Codeフォークエディタに分類されます。現在はパブリックプレビュー中で、サインアップするとKiroでClaude Sonnet 3.7 とClaude 4 Sonnetを利用できます。 KiroThe AI IDE for prototype to productionKiroKiroの特徴は、スペック駆動開発、エージェントフック、ステアリングファイルといった独自の機能を通じて、ソフトウェア開発のライフサイクル全体を支援します。それぞれ見ていきましょう。 スペック (Specs)駆動開発Kiroの中核をなすのが「スペック=仕様書」機能です。これは、ユーザーが入力した大まかな指示(例:「ユーザー認証機能を追加して」)をもとに、AIが「要件定義」「設計」「タスクリ

    Kiroとコンテキストエンジニアリングの時流
    ch1248
    ch1248 2025/07/20
    非常に面白い。「スペック駆動開発」か。
  • 私が衝撃を受けたプログラミング言語5選 - nunulkのプログラミング徒然日記

    はじめに この記事について 以下の記事に触発されて自分でも書いてみました。 yoric.github.io プログラミング言語が好きなので、気になったものを見つけると触るようにしているんですが、ほとんどは新たな発見や驚くような便利な機能があって、毎回感心させられます。仕事ではなかなかあれもこれもというわけにいかないのが残念ではありますが、個人で使うアプリケーションや使い捨てのプログラムを書くときには、なるべくいろんな言語で書くようにしています。 仕事趣味を合わせて20以上の言語に触れてきましたが、それらのなかでもとくに衝撃的だった言語をいくつか選びました。 これまで触ってきた言語 だいたい時系列順ですが、似たものは近くに寄せてたりするので、順不同です。 趣味 BASIC (MS BASIC), Smalltalk, Nim, Scala, Clojure, Haskell, Kotlin

    私が衝撃を受けたプログラミング言語5選 - nunulkのプログラミング徒然日記
    ch1248
    ch1248 2025/07/13
    Gleamは初めて知った。if/elseが無いのは面白いな。
  • 速習 Claude Code

    講習会用にまとめたもの。可能なら公式ドキュメントを参照するのを推奨するが、この資料ではサッと使いはじめるために要点を絞って解説する。 claude-code は claude-code 自身で開発されており、恐ろしい速度で更新されてる点に注意。この資料は一瞬で古くなる。 アカウントの契約等は省略 インストールと実行

    速習 Claude Code
  • AIネイティブ世代が実践してる。スマホでバイブコーディングする方法【Gemini-CLI】|Holy_fox

    はじめにこんにちは。 いちプログラマの高校生として普段から感じてる問題があります。それが外でコーディング(プログラミング)ができない!という悩みです。 電車やバス、レストランででかいMacを取り出してコーディングするような度胸は私にはありません。(邪魔になりますし…) でも、思いついたアイデアはすぐに形にしたい! そんなこともあり、数ヶ月前から「スマホやタブレットで気軽にコーディングができたらいいな」と思っていました。この悩みが5日前に解決したので、ぜひ皆さんにも共有したいと思います 今回はこれのやり方を説明します↓ 概要 - この記事でやることわかる人にはこの項だけで伝わるようにサクッと説明します。 今回やることは 「TailscaleとOpenSSHを利用し、自宅のミニPCにスマホなどからSSH接続して、ミニPC上でGemini-CLIを使ったバイブコーディングを行う」 です。自分的に

    AIネイティブ世代が実践してる。スマホでバイブコーディングする方法【Gemini-CLI】|Holy_fox
    ch1248
    ch1248 2025/06/29
    ブコメのAndroid端末でターミナルアプリ使う方法はなるほど感。
  • Gemini CLIを触った。これは実質"Google2"だ!

    *吉田さんの詳細説明記事: Gemini CLIにはGoogle検索機能があらかじめ組み込まれているので、ターミナルでプロンプトを書くと、ターミナル上でGoogle検索してくれます。僕は最初、試しに「樋口恭介」について調べてってお願いしてみました。 もちろん、Gemini CLIはエージェントなので単発処理だけで終わることなく、検索結果を記憶したまま後続処理を続けることができます。僕の場合、「これこのまま俺の自己紹介スライドくらいなら作れるんじゃね?」と思ったので、お願いしてみました。 結果、いろいろ試行錯誤があって30分くらいかかったのですが、以下のようなかっこいいスライドをつくってくれました。なお、処理を見ていくと、一度Pythonで書いたあとにpptxに変換しているようです。 かっこいい!すばらしいです。自己紹介スライドとしてはこれで十分だと思いました。 アウトプットそのものにも感動

    Gemini CLIを触った。これは実質"Google2"だ!
  • Gemini CLI の簡単チュートリアル

    この記事はほぼすべて Gemini CLI に書いてみてもらいました。ただし、ファクトチェック&手修正済みです。もし間違えていたらこっそり教えてください。さいごにとおまけは人力です。 Gemini CLI チュートリアル tl;dr コマンドラインで対話的に使えるオープンソースのAIエージェント。 npx https://github.com/google-gemini/gemini-cli ですぐに利用開始。 @ でローカルファイルやディレクトリをAIのコンテキストに追加。 ! でシェルコマンドを直接実行、シェルモードへの切り替えも可能。 GEMINI.md ファイルでプロジェクト毎のカスタム指示をAIに記憶させる。 Google検索との連携、安全なサンドボックスでの実行、ツールの自作など高い拡張性。 1. はじめに Gemini CLI へようこそ! このドキュメントは、Google

    Gemini CLI の簡単チュートリアル
  • gemini-cli の google_web_search が最高

    $ gemini -p "Webで「Gemini APIの料金」について調べて" Gemini APIの料金は、主に従量課金制で、使用するモデルや機能、利用量によって変わります。無料利用枠と有料プランが提供されています。 ### 料金体系の概要 課金は、以下の要素に基づいています。 * **入力トークン数**: APIに送信するテキストやデータの量。 * **出力トークン数**: APIが生成・応答するテキストやデータの量。 * **キャッシュされたトークン数**: 会話の履歴を記憶させる機能を利用した場合のトークン数。 (略) brave search や perplexity がなくともこれで、馴染み深い Google の結果が返ってくるので、非常に使いやすいです。 自分は今からとりあえずこれを claude-code に繋いでみます。 => した。 .claude/commands/

    gemini-cli の google_web_search が最高
  • Claude Codeで異次元の仕事をする方法【非エンジニアにも全力推奨!】|砂塚紀彦

    何時間も自走して仕事するAIの構築方法ChatGPT等のAIツールを活用して生産性を上げている皆様に、最先端ツールの1つである『Claude Code』を使って、AIに人間離れした仕事を何時間も自走してやってもらう方法をご紹介します! Claude Codeは「エージェント型コーディングツール」と公式ドキュメントが謳っている通り、主にエンジニアが開発に使うツールだと思われがちですが、知的労働を行うあらゆる職種の人の仕事を何段階もレベルアップする可能性を秘めたツールです。 今回はAIが何時間もかけて様々な職種のプロフェッショナルな知恵をフル活用して企画書を磨き上げていく仕事の自動化を例に解説します。 Claude CodeでAGIみを感じ始めたので全力ベット中!1回の指示で3時間近く動いて人間離れした仕事をするので、完全に世界観が変わりました。… — 砂塚紀彦|PKSHA Associate

    Claude Codeで異次元の仕事をする方法【非エンジニアにも全力推奨!】|砂塚紀彦
  • 「関数の副作用の有無」よりも大事なもの | 雑記帳

    プログラミングをやっていると、「関数に副作用がある」とか「副作用がない」あるいは「純粋である」という話をちょいちょい耳にする。そして、「外界の状態を読み取るけど変更はしない関数」、例えば function getTime() { return Date.now(); } のような関数に副作用があるか?みたいな議論が始まったりする。 くだらない議論だ。 何か概念を定義するときは、それが「役に立つ」場面を提示できる必要がある。「関数の副作用」を定義するときは、「関数の副作用」がわかったときに何をしたいのかをはっきりさせる必要がある。「関数のどういう側面に注目したいか」を決めずに「副作用の有無」を論じるのはナンセンスだ。 ここでは、言語処理系(コンパイラー)を実装する者の立場で、関数の副作用について論じてみたい。 一般に、「副作用がない」関数の呼び出しは、「副作用がある」関数の呼び出しに対するも

  • Claude Code を初めて使う人向けの実践ガイド

    この記事は Claude Code を初めて試そうとされている方向けの記事です。 導入手順 Claude Codeは、ターミナルで動作する対話型AIコーディングツールです。コードの生成だけでなく、ファイルの編集、テストの実行、Gitの操作まで自然言語で指示できます。 以下の公式ドキュメントを参考にして導入してみてください。 公式ドキュメント:https://docs.anthropic.com/ja/docs/claude-code/overview VS Code拡張:https://docs.anthropic.com/ja/docs/claude-code/ide-integrations よく使うコマンド CLIコマンド(起動前) Claude Code を起動するコマンド: claude # 対話セッションを開始 claude --continue # 直近のセッションを継続 c

    Claude Code を初めて使う人向けの実践ガイド
  • Excelがあればなんでもできる

    PCユーザーは表計算好きといわれている。ちょっとした計算もExcelを使う人は少なくない。そもそもExcelは、ワークシートの関数、特に一部の初等関数(logなど)や特殊関数(一部のみ)、統計、金融の関数が充実している。 こうした関数を使い慣れてしまうと、コンピュータ言語の標準ライブラリなどの関数に満足できなくなることがある。もちろん、言語なので、関数の定義に従いプログラムで計算をすることは不可能ではない。しかし、数値計算や近似計算では、誤差を小さくするための手法などを駆使する必要があり、忙しいときに自分で書くようなものでもない。 こうしたとき、Excelのワークシート関数をコンピュータ言語から直接呼び出して使う方法がある。Excelのワークシート関数というと、引数にセル範囲が必要で、ワークシートを新規作成して使わねばと思いがちである。 しかし、ワークシート関数のほとんどは、引数に直

    Excelがあればなんでもできる
    ch1248
    ch1248 2025/06/15
    ほー、VBAからワークシート関数使う方法はよくやってたけど、PowerShellから使う発想は無かった。
  • ティム・オライリー曰く、ソフトウェア開発者がAIに職を奪われることはない

    ティム・オライリーといえば、世界中のプログラマに信奉されているオライリー・メディアの創業者で、「Web 2.0」という言葉を広めたことでも知られる人物だ。 そのオライリー氏は、今年2月に、プログラミングが完全に新しい時代に入りつつあることを書いていた。同社のRadar Blogというページで読める「The End of Programming as We Know It」(私たちが知っているプログラミングの終焉)である。 オライリーの「Coding with AI: The End of Software Development as We Know It」の記事。映画『マトリックス』的ビジュアルもマッチしている。 5月8日には、同社のAI Codeconカンファレンスが、そのまま「Coding with AI: The End of Software Development as We

    ティム・オライリー曰く、ソフトウェア開発者がAIに職を奪われることはない
    ch1248
    ch1248 2025/06/08
    良いエントリだった