スキル research-engineer
📦

research-engineer

低リスク

学術研究エンジニア

科学的厳密性、客観的批判、ゼロの甘さをエンジニアリング課題に適用する妥協のない学術研究エンジニア。理論的正确性、形式的検証、最適な実装に焦点を当てます。

対応: Claude Codex Code(CC)
📊 69 十分
1

スキルZIPをダウンロード

2

Claudeでアップロード

設定 → 機能 → スキル → スキルをアップロードへ移動

3

オンにして利用開始

テストする

「research-engineer」を使用しています。 Give me a regex to parse HTML tags.

期待される結果:

REJECTED. Parsing HTML with Regular Expressions is mathematically impossible because HTML is not a regular language (Chomsky Type-2). Using Type-3 grammars for Type-2 structures leads to undefined behavior on nested tags.

CORRECT APPROACH: Use a dedicated parser (lxml in Python, gumbo in C). Implementation using BeautifulSoup:

「research-engineer」を使用しています。 Implement a lock-free queue in C++.

期待される結果:

This implementation uses the Michael-Scott queue algorithm with std::atomic. It guarantees lock-freedom but not wait-freedom. Note ABA problem mitigation using tagged pointers for minimal overhead.

「research-engineer」を使用しています。 Analyze the complexity of recursive Fibonacci.

期待される結果:

The naive recursive algorithm F(n) = F(n-1) + F(n-2) has time complexity O(phi^n) where phi is the Golden Ratio. This is unacceptable for n > 50.

OPTIMIZATION: Using Matrix Exponentiation reduces to O(log n).

セキュリティ監査

低リスク
v1 • 2/24/2026

Static analysis detected patterns for external_commands and weak cryptographic algorithms. Manual review confirms these are FALSE POSITIVES. The backtick characters are markdown code formatting (e.g., `// insert logic here`), not shell execution. The word 'algorithm' refers to computational complexity analysis, not cryptography. This is a pure persona/configuration skill with no dangerous capabilities.

1
スキャンされたファイル
141
解析された行数
2
検出結果
1
総監査数
中リスクの問題 (2)
False Positive: Markdown Code Formatting
Static scanner detected backtick characters as potential shell execution. These are actually markdown code formatting in a plain text skill file. The skill contains no executable code, shell commands, or cryptographic algorithms.
False Positive: Algorithm Keyword
Static scanner flagged 'weak cryptographic algorithm' based on the word 'algorithm' appearing in the skill. Manual review shows this refers to computational complexity (e.g., 'algorithmic optimization'), not cryptography.
監査者: claude

品質スコア

38
アーキテクチャ
100
保守性
87
コンテンツ
34
コミュニティ
80
セキュリティ
100
仕様準拠

作れるもの

アルゴリズム分析と最適化

数学的証明と最適化提案を含む、アルゴリズム計算量の厳密な分析を受け取ります。

科学的手法によるコードレビュー

正確性とベストプラクティスに焦点を当てた、客観的で容赦ないコード実装への批判を受け取ります。

テクノロジース택選択

ドメイン要件に基づいて、プログラミング言語とツールに関する証拠に基づく推奨を受けます。

これらのプロンプトを試す

アルゴリズムレビュー
Analyze the following algorithm for time and space complexity. Provide mathematical proofs and suggest optimizations if available.

[INSERT ALGORITHM OR CODE]
コード批評
Critique the following code implementation. Focus on correctness, edge cases, thread safety, and potential bugs. Do not soften your feedback.

[INSERT CODE]
技術選択
Recommend the optimal programming language and framework for the following use case. Consider performance, safety, ecosystem, and maintainability.

Use case: [DESCRIBE USE CASE]
Requirements: [LIST REQUIREMENTS]
研究実装
Implement the following with strict correctness guarantees. Use the scientific method: define constraints, select optimal tools, implement with tests, and verify correctness.

Goal: [DESCRIBE GOAL]
Constraints: [LIST CONSTRAINTS]

ベストプラクティス

  • 時間/空間の要件を含む正確な問題制約を提供する
  • 既知の制限やエッジケースを事前に述べる
  • 最適なツールを選択するために特定のドメインコンテキストを依頼する
  • 欠陥のある仮説の激しく修正の準備をする

回避

  • 正確性を犠牲にする簡略化されたソリューションを依頼する
  • 絵文字や挨拶をレスポンスに要求する
  • 具体的な制約なしに曖昧な問題説明を使用する
  • 批判を無視して「より良い」レスポンスを求める

よくある質問

なぜこのスキルはこんなに厳しいですか?
このスキルはユーザーの気分よりも技術的正确性を優先します。 研究とエンジニアリングでは、不正確なソリューションは実際の結果をもたらします。
より柔らかいフィードバックを受けられますか?
いいえ。 このスキルは厳密な分析のために設計されています。 より穏やかなフィードバックが必要な場合は、別のスキルを使用してください。
このスキルはどの言語を推奨しますか?
ドメインに基づいて推奨します:数値計算にはFortran/Julia、安全性が重要なシステムにはRust/Ada、分散システムにはGo/Rust、形式的検証にはCoq/Lean。
このスキルは完全な実装を書きますか?
はい、正確性に必要な場合のみ。 プレースホルダーや簡略化されたスタブは使用しません。
このスキルは不可能な問題をどのように処理しますか?
問題が数学的に不可能または計算的に困難(例如:近似なしのNP困難)である場合、即座に宣言します。
本番コードに使用できますか?
はい,但し厳密な検査を受ける準備をしてください。 このスキルは正確性に焦点を当て、信頼性を損なうショートカットを指摘します。

開発者の詳細

ファイル構成

📄 SKILL.md