2025-12-21 11:00 はてなブックマーク テクノロジー 人気エントリー

Neovim内でAIを使うプラグインとしてavante.nvimやclaude-code.nvimも試しましたが、ターミナルで直接Claude Codeを使う方に慣れてしまい、今はあまり使っていません。

しかし、売上高はほぼ横ばいで、AIの実装は遅れ、新製品の取り組みは期待を下回り、資本は研究開発や設備投資よりも自社株買いに不釣り合いに配分されている。アップルは新たな成長フェーズに入るかのように評価されているが、その売上高、イノベーション、資本配分は逆を示している。

Claude Code 公式マーケットプレイスでサポートされていない言語の LSP サーバーを使用したい場合は、自作のプラグインを作成して LSP プラグインを提供できます。LSP サーバーのプラグインには .lsp.json という設定ファイルが必要なようですが、現時点では README.md しか提供されていないようです。

60,267 ChatGPTを無料で使っている人、あるいは、日本を除く一部地域で提供されている月5ドルの｢ChatGPT Go｣を使っている人は、知らないうちに使っているAIが変わっているかもしれません。 これまでChatGPTでは、質問の内容の難易度に応じて自動的に｢Thinking（推論能力の高いモデル）｣へ切り替わる仕組みでした。

Claude Codeに導入されたLSPツールは、巨大なコードベース探索において 精度向上とトークン削減効果 をもたらす有効な手段であることが今回は確認できました。またPlanモードのExploreツールや別サブエージェントを経由して透過的に使われることもないので、ある程度明示的に「LSPで検索してください」とプロンプトベースで指示する必要があります。

/configコマンドを実行し、Verbose outputをtrueにすることで設定が有効になります /add-dirコマンドを使うと、Claude Codeの作業対象に複数のディレクトリを追加することができます。

https://github.com/openai/simple-evals/blob/ee3b0318d8d1d9d72755a4120879be65f7c07e9e/healthbench_eval.py#L40-L50 評価出力は下記のように、判定理由 (explanation) と判定結果 (criteria_met) を含む JSON オブジェクトとして得られます。

AtlantisのようにPull Requestが作成されたタイミングでlambroll deploy –dry-runが実行され、/deployとコメントすることでlambroll deployが実行されるGitHub Actionsのワークフローを作ってみた。

• 監査項目に関連する実装箇所を網羅的に探す
• 要件と実装を対応付けて整理する
• ファイルパスや設定内容、コード片を具体的に提示する
• 該当する実装が見つからない場合は、その事実を示す 「問題ない」「要件を満たしている」といった評価は行わず、
人間の監査人が判断できるだけの材料を揃えることに徹しています。

2025-12-19 記事の内容
0.5分 Anthropicは2025年12月19日、AIエージェントに効率よく専門知識を提供する「エージェントスキル（Agent Skills⁠）⁠」をオープンスタンダードとして公開したことを発表した。

（※1）深センの「セン」はつちへんに川 香港ではPCショップが集まる地域はいくつかあるが、今回は九龍（クーロン）の深水ホ（推進補／シャムスイポー：※2）にある「黄金電脳商城（Golden Computer Arcade）」で調査した。昨今、世界的にメモリやストレージの在庫不足と価格高騰が日々深刻化しており、このことはITmedia PC USERを含むPC関連メディアでも大きな話題となっている。

修士から地続きの場合は博士課程開始時点で論文が書ける材料が揃っていることがありうるため、直接進学したときと比較すると研究に使える時間が少ないことが不利になる。博士課程では論文を書く必要があり、論文を書くためには膨大な関連文献を読み、自分の研究がどのように位置づけられるか（先人達の研究と比較して何が違うか、どの先人等の仕事をベースにしているのか）を書く必要がある。

virshコマンドでは仮想マシン作成作業が面倒だったこと、ヘルプデスク担当でもあったため、作業のたびにサーバ室に移動することが厳しかったため、IP-KVMを利用して作業PCのWebブラウザ経由で物理サーバのKVM切り替え機に接続していました。

このように、テーマとざっくりとした構成を伝えるだけで、Gemini がたたき台となるスライドを生成してくれます。 アイデア出しから構成作成、デザイン、そして共有まで、Gemini の Canvas に搭載されたスライド生成機能は、スライド作成のあらゆるプロセスをサポートしてくれる頼もしいパートナーです。

元の値が非零であることとオーバーフローしないことが unchecked_add の結果が NonZero<u8> 型となるのに十分であることがわかります（厳密に必要十分条件ではありませんが、今回はこの条件で検証します）。

高市早苗首相は12月19日、AIの研究開発や活用推進を議論する人工知能戦略本部の会議で、デジタル庁が手掛ける生成AIプラットフォーム「源内」を政府の職員10万人超に展開する方針を示した。

すべての記事が読み放題有料会員が初回１カ月無料 日経の記事利用サービスについて 企業での記事共有や会議資料への転載・複製、注文印刷などをご希望の方は、リンク先をご覧ください。

現在の状態 $S_n$​ から、どの入力 $I_{n-1}$​ とどの過去の状態 $S_{n-1}$ から遷移したかを復元することはできません。 $$S_{total} = S_{door} \times S_{lock} \times S_{light}$$ すべての状態を単一の列挙型（enum）で表現しようとすると、コードが肥大化し、バグの温床となります。

皆さんこんにちは！
株式会社GENDA IT戦略部所属CorpEngのアサノです！ これは GENDA Advent Calendar 2025 シリーズ 2の18日目の記事です

GENDA - Qiita Advent Calendar 2025 - Qiita

Calendar page for Qiita Advent Calendar 2025 regarding GENDA.

qiita.com

今回は、私が生み出したGeminiのカスタムAI、「Gem」たちをご紹介します。

事前にあれこれリスク分析を行うことも大切ですが、一通りの懸念をテーブルの上に出し終えたらエイヤで作り始め、そのあとは制作の中で課題解決していくことが結果的に完成に繋がるのだなぁと感じました 今回流しそうめんをスクラッチで作ってみて、流しそうめんの中にもエンジニアリングはあるんだなぁということを感じることができました。

EXPLAZAという会社でエンジニアをやってます
Perl, PHP, Python, Go, Typescript, Rustあたりを触った経験ある 「プロダクトの力で、豊かな暮らしをつくる」をミッションに、法人向けに生成AIのPoC、コンサルティング〜開発を支援する事業を展開しております。

新たな提携の一環として、Palo Alto Networksの顧客はGoogle Cloud上のライブAIワークロードとデータを保護し、セキュリティポリシーを維持し、Google Cloudの導入を加速し、セキュリティソリューションを簡素化、統合できるようになるという。

AISIは安全性の評価のほか、AIの作製、利用に伴う安全基準などを策定する政府機関で、24年に設立した。各国のAIの開発にふれ「日本の質の高いデータをいかし、信頼性を備えたAIを戦略的に開発する」と語った。 【関連記事】 すべての記事が読み放題有料会員が初回１カ月無料 日経の記事利用サービスについて 企業での記事共有や会議資料への転載・複製、注文印刷などをご希望の方は、リンク先をご覧ください。

これにより、Webブラウザを開くリンクを使用してユーザーをアプリ外部のオファーやプロモーションに誘導できるようになったことで、Amazonの「Kindleアプリ」で外部決済リンクが表示されるようになり、直接購入が可能になった。

これは、セキュリティベンダーでの診断のような、様々なシステムに触れることで気持ちを切り替える、ということが難しい側面もあると思いますが、自身の手でそれぞれのプロダクトの状況を線として把握し、自ら改善を行うことができるという経験になりますし、その組織の状況やプロダクトの性質、歴史的背景を考慮したうえでのトリアージや対応を一貫して行うことができます。

また、「リース識別エージェント」内にはテキスト読み取りのプロセスがあるため、AIプロダクト品質保証ガイドラインに基づき、頑健性(入力の変化に対して出力が変化しないかどうか)の観点も確認することにしました。 そこで、AIプロダクトの品質保証の知識ゼロ、従来の機能テストQA経験のみの私が、このAIエージェントの精度検証を担当することになりました。

.claude/skills/git-commit/SKILL.md: .claude/commands/git/commit.md: こうすると、Claudeが「コミットすべきだな」と判断したら自動でSkillが起動し、ユーザーが明示的に/git:commitを呼んでも同じ挙動になります。 Agent Skillsは、LLMのステートレスな制約を回避し、専門知識を必要な時に注入する仕組みです。