搜索结果: "量化"
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
循环优化器Skill loop-optimizer
循环优化器是一种编译器和性能优化技能，通过循环展开、融合、平铺和向量化等变换，提升程序性能，减少开销，增加并行性，改善缓存局部性。适用于编译优化、数值计算、机器学习、图像处理等场景，关键词包括循环优化、编译器、性能提升、SIMD、缓存优化。
代码成熟度评估器Skill code-maturity-assessor
代码成熟度评估器是一个系统性工具，用于基于Trail of Bits的9类别框架分析代码库的成熟度，覆盖算术安全、审计实践、访问控制、复杂性、去中心化、文档、MEV风险、低级代码和测试。它生成专业评分卡和可操作建议，适用于智能合约、区块链项目和一般软件的安全评估与优化。关键词：代码成熟度评估、安全审计、Trail of Bits、智能合约安全、测试覆盖率、文档评估、量化金融安全、区块链审计。
技能创建器Skill skill-creator
这个技能提供了创建和优化Claude AI模型技能的完整指南，包括技能架构、工作流程设计、工具集成和资源管理。它帮助用户通过模块化扩展提升AI智能体的专业能力，适用于量化交易、数据分析和定制化任务。关键词：技能创建、Claude、AI扩展、工作流程、工具集成、量化金融、数据分析、SEO优化。
Ralph量化工具集Skill ralph-tools
Ralph量化工具集是专门为股票量化交易设计的软件工具，提供数据统计分析、算法交易策略开发和回测系统功能，适用于量化金融领域的专业人士，关键词包括量化交易、数据分析、策略回测、股票评估。
外部研究Skill research-external
这是一个用于进行外部研究的工作流程技能，专注于文档、网络和API的研究，帮助用户获取库使用指南、最佳实践和一般主题信息。关键词：外部研究、文档搜索、API研究、最佳实践、量化交易、股票分析。
Pint单位计算Skill pint-compute
Pint单位计算技能是一个使用Pint库进行单位感知计算的工具，支持单位转换、维度分析、单位算术等操作，适用于数据科学、工程和金融领域的数量处理与分析。关键词：单位计算、Pint库、数据转换、维度分析、量化金融、科学计算。
连续性Skill continuity
本技能提供解决实分析中连续性问题的策略，包括函数极限定义检查、使用SymPy计算极限、处理分段函数和Z3验证连续性。适用于数学分析、数据科学和量化金融等领域。关键词：连续性，实分析，SymPy，Z3，数据分析，极限计算。
梯度方法Skill gradient-methods
这个技能专注于优化问题中的梯度方法，提供全面的问题解决策略，包括梯度下降、步长选择、加速方法和牛顿法等，适用于机器学习、数据科学和量化金融等领域的数值优化。关键词：梯度下降，优化算法，机器学习，数值优化，BFGS，共轭梯度，步长选择。
约束优化Skill constrained-optimization
这个技能专注于解决优化问题中的约束优化，包括等式约束、不等式约束和边界约束。它涵盖了拉格朗日方法、KKT条件、惩罚和障碍方法，以及使用SciPy等工具进行实际优化。关键词：约束优化，拉格朗日乘子，KKT条件，SciPy优化，数学优化，量化交易，股票分析。
σ-代数解题技能Skill sigma-algebras
这个技能专注于解决测度论中的sigma代数相关问题，包括公理验证、生成方法、可测性检查和乘积代数构建。适用于概率论、数据分析和量化交易场景。关键词：sigma代数, 测度论, 可测函数, 概率论, 量化金融, 数据分析。
积分理论Skill integration-theory
这个技能提供测度论中积分理论的问题解决策略，包括简单函数积分、单调收敛定理、控制收敛定理、Fatou引理和Fubini-Tonelli定理。适用于数学学习、数据分析、量化金融等领域，关键词：积分理论，测度论，数学问题解决，SEO优化。