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

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

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

皆さんこんにちは！
株式会社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」たちをご紹介します。

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

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

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

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

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

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

画面上からエディタを開く機能もある（⌘ + O） アプリケーションなので、Vibe Kanbanみたいにブラウザの画面ではないので途中でどっかいくこともあまりない（まぁこれはインスタンスアプリ化すれば解決ではあるが） 良い。 便利だなと思ったのは、ワークスペース(git worktreeをワークスペースとよんでる)に対してチャットを一つではなく、複数できること。

要約の取得に失敗しました。

jose をベースに開発されており、
JWT の検証に加え、iss/aud 検証もサポートしています。

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

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

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

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

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

また、AI Coding に Go 言語は適していると考えているが、なんらかのベンチマークを参考にした時にそれは定量的に説明できるのかが気になりました。

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

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

この記事はiimon Advent Calendar 2025 20日目の記事となります！ こんにちは！新卒エンジニアのつかちゃんです！今回は私の趣味を交えたアプリを作ってみました！ 実は幼少期からK-POPが大好きで、最初は日本語を今風の韓国語に翻訳してくれるキーボード拡張アプリを作ろうとしていました。

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

そう、そうなのよ！！！僕がずっと唱えている「デザインをデザイナーだけのものにしてはいけない」って話に通じるこれを実現するために僕はCDOやってるようなもんです#Figmaデザイン経営 pic.twitter.com/RemA3Ue1C2 ここに生成AIの波がやってきて、この違和感がより顕在化してきたように感じます。

実例のスクリーンショットをもとに、GitHubでホストされるOSSの脆弱性対応を、報告→確認→Security Advisory→CVSS/CVE→パッチ→公開までの流れで解説します。
temporary private forkを使った非公開修正の進め方など、脆弱性対応の舞台裏も紹介します。

ERROR: The request could not be satisfied

3-shake.connpass.com

。

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

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