スキル一覧に戻る

lebesgue-measure

parcadei
更新日 28 days ago
67 閲覧
3,101
217
3,101
GitHubで表示
その他general

について

このスキルは、測度論におけるルベーグ測度問題の解決戦略を提供し、外測度の構成やカラテオドリの基準といった主要概念に対する構造化された決定木を備えています。Sympyを用いた外測度の計算や、Z3による性質の証明を行うコマンドを含みます。開発者は、測度論的証明や計算のステップを形式化または検証する必要がある際に、このスキルを活用できます。

クイックインストール

Claude Code

推奨
メイン
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
プラグインコマンド代替
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git クローン代替
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/lebesgue-measure

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

GitHub リポジトリ

parcadei/Continuous-Claude-v3
パス: .claude/skills/math/measure-theory/lebesgue-measure
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills

関連スキル

llamaguard

その他

LlamaGuardは、暴力やヘイトスピーチなど6つの安全性カテゴリーにおいて、LLMの入力と出力をモデレートするMetaの70-80億パラメータモデルです。94〜95%の精度を提供し、vLLM、Hugging Face、Amazon SageMakerを使用してデプロイ可能です。このスキルを使用して、AIアプリケーションにコンテンツフィルタリングと安全策を簡単に統合できます。

スキルを見る

cost-optimization

その他

このClaudeスキルは、リソースの適正サイジング、タグ付け戦略、支出分析を通じて、開発者がクラウドコストを最適化することを支援します。AWS、Azure、GCPにわたるクラウド支出の削減とコストガバナンスの実施のためのフレームワークを提供します。インフラコストの分析、リソースの適正サイジング、または予算制約への対応が必要な際にご利用ください。

スキルを見る

quantizing-models-bitsandbytes

その他

このスキルは、bitsandbytesを使用してLLMを8ビットまたは4ビット精度に量子化し、精度の低下を最小限に抑えつつ50〜75%のメモリ削減を実現します。限られたGPUメモリでより大規模なモデルを実行したり、推論を高速化するのに理想的で、INT8、NF4、FP4などのフォーマットをサポートしています。HuggingFace Transformersと統合され、QLoRAトレーニングや8ビットオプティマイザーを可能にします。

スキルを見る

dispatching-parallel-agents

その他

このClaudeスキルは、複数のエージェントを配備し、3つ以上の独立した問題を並行して調査・修正します。共有状態や依存関係がなく解決可能な、無関係な障害が発生するシナリオ向けに設計されています。中核となる機能は並列問題解決であり、効率を最大化するために独立した問題領域ごとに1つのエージェントを割り当てます。

スキルを見る