スキル一覧に戻る

integer-program-solver

a5c-ai
更新日 6 days ago
15 閲覧
331
15
331
GitHubで表示
メタgeneral

について

このスキルは、離散変数を持つ組合せ最適化問題に対して、整数計画法および混合整数計画法のモデルを定式化し、解決します。OR-ToolsやGurobiなどのツールを活用し、二値変数・整数変数のAI駆動モデリング、論理制約の線形化、解の追跡を可能にします。スケジューリング、経路計画、リソース配分など、離散的な意思決定変数を必要とする最適化問題を解く際にご利用ください。

クイックインストール

Claude Code

推奨
メイン
npx skills add a5c-ai/babysitter -a claude-code
プラグインコマンド代替
/plugin add https://github.com/a5c-ai/babysitter
Git クローン代替
git clone https://github.com/a5c-ai/babysitter.git ~/.claude/skills/integer-program-solver

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

GitHub リポジトリ

a5c-ai/babysitter
パス: plugins/babysitter/skills/babysit/process/specializations/domains/science/industrial-engineering/skills/integer-program-solver
0
agent-orchestrationagent-skillsagentic-aiagentic-workflowai-automationbabysitter

関連スキル

content-collections

メタ

このスキルは、Content Collections(Markdown/MDXファイルを型安全なデータコレクションに変換するTypeScriptファーストのツール)の本番環境でテストされた設定を提供します。Zodバリデーションによる型安全性を実現し、ブログ、ドキュメントサイト、コンテンツ重視のVite + Reactアプリケーション構築時にご利用ください。Viteプラグインの設定、MDXコンパイルから、デプロイ最適化、スキーマバリデーションまで、すべてを網羅しています。

スキルを見る

polymarket

メタ

このスキルは、開発者がPolymarket予測市場プラットフォームを活用したアプリケーション構築を可能にします。API統合による取引や市場データの取得に加え、WebSocketを介したリアルタイムデータストリーミングにより、ライブ取引や市場活動を監視できます。取引戦略の実装や、ライブ市場更新を処理するツールの作成にご利用ください。

スキルを見る

creating-opencode-plugins

メタ

このスキルは、開発者がコマンド、ファイル、LSP操作など25種類以上のイベントタイプにフックするOpenCodeプラグインを作成することを支援します。JavaScript/TypeScriptモジュール向けに、プラグイン構造、イベントAPI仕様、および実装パターンを提供します。カスタムイベント駆動ロジックでOpenCode AIアシスタントのライフサイクルをインターセプト、監視、または拡張する必要がある場合にご利用ください。

スキルを見る

sglang

メタ

SGLangは、高性能なLLMサービングフレームワークであり、RadixAttentionプレフィックスキャッシュを活用したJSON、正規表現、エージェントワークフロー向けの高速で構造化された生成を特長とします。特にプレフィックスが繰り返されるタスクにおいて、大幅に高速な推論を実現し、複雑な構造化出力やマルチターン対話に最適です。制約付きデコードが必要な場合や、広範なプレフィックス共有を伴うアプリケーションを構築する場合は、vLLMなどの代替案ではなくSGLangを選択してください。

スキルを見る