コンテキスト：大学院レベルの最適化、凸解析に焦点。
目的：KKT条件を導出し、十分性の証明のスケッチを提供します。
入力：f(x) は凸関数、制約 g_i(x) <= 0 (凸関数), h_j(x) = 0 (アフィン関数)。
制約：証明を ≤ 15 ステップに維持し、仮定を強調表示します。
方法：推論ステップを示し、簡潔な最終的な要約を提供します。
出力形式：セクション：仮定、導出、十分性の証明、エッジケース。

あなたは厳格なインストラクターです。問題：すべての絶対収束級数が収束することを証明してください。
制約：イプシロン-N による証明を提供してください。最初に定義を述べてください。≤ 12 ステップを使用します。
方法：ステップを示します。次に、三角不等式を使用した簡単な正しさチェックを行います。
出力：LaTeX による導出と、3 行の直観的な要約。

今度は、証明チェッカーとして機能します。三角不等式が適用される正確なステップを特定します。明示されていない仮定にはフラグを立てます。必要に応じて、修正版を提供してください。

目標：重み付きグラフで、sとtの間の2番目に短いパスを見つけるための O(E log V) アルゴリズムを設計します（重みは負ではない）。
制約：ハイレベルなアイデア、次に擬似コード、次に Python を提供します。
方法：2つのアプローチを比較します。（1）k-最短経路（Yenのアルゴリズム）、（2）パス追跡による修正されたダイクストラ法。
検証：ナイーブなアプローチを破る反例を作成し、その理由を説明します。
出力：複雑さ、正しさのスケッチ、およびテストケースを含むセクション。

コンテキスト：大きなベクトルのSoftmax関数をPythonで実装します。
制約：オーバーフローを回避する必要があります。単体テストを含めます。
方法：NumPyとピュアPythonバージョンの両方を提供します。安定性を説明します。
出力：ドキュメンテーション文字列付きのコードブロック。アサートメント付きのテスト。

ボーデプロットのスクリーンショットを添付しました。
タスク：コーナー周波数を特定し、位相余裕を評価し、潜在的な不安定性を診断します。
制約：計算と、実験室での検証のための注釈付きチェックリストを提供します。

トピック：音声認識におけるドメイン適応（2019〜2024年）。
タスク：分類、トップメソッド、一般的なデータセット、SOTA メトリック、制限事項を含む 2 ページの概要を作成します。
制約：10 件の先駆的な論文、10 件の最近の研究をリストします。略語の表を提供します。5つの未解決の問題で終わります。

コンテキスト：キャンパスの毎週のエネルギー需要を予測します。
目的：Prophet 対 LightGBM 対 LSTM を比較します。
制約：3つのベースライン、3つの堅牢なメトリック（MAE/MAPE/sMAPE）、交差検証の設定。
方法：データクリーニング、特徴エンジニアリング、およびハイパーパラメーターのスイープの概要を示します。
出力：実行可能な擬似コード + 実験トラッカーのスキーマ。

出力してください：概要、方法、結果、制限事項、再現性チェックリスト、および BibTeX スタブ。

タスクを状態推定の問題として要約します。可観測性の仮定とノイズモデルを特定します。

EKF 対 UKF 対 パーティクルフィルタを比較します。長所/短所を示し、非線形性/測定ノイズに基づいて選択します。

更新方程式を導出し、明確なインターフェースとテストを含む Python を作成します。

合成軌跡を作成します。RMSE を評価します。軌跡を視覚化します。

外れ値でストレステストを行います。ゲーティング戦略とセンサーフュージョンのバリエーションを提案します。

図、制限事項、および次のステップを含む簡潔なレポートを生成します。

この証明を10ステップで書き直し、各ステップに使用された正確な定理のラベルを付け、2行の直感的な説明を追加します。

このアルゴリズムが与えられた場合、最悪の場合の時間/スペースとタイトな境界証明を計算します。

このデータセットをプロファイリングします：欠損、外れ値、リークリスク。正当性を持つ5つのクリーニングルールを提案します。

この回路図（添付画像）が与えられた場合、信号の流れに注釈を付け、可能性のある故障箇所を特定します。

入門レベルの理解から実装者までのロードマップを作成します：前提条件、10件の読書、3つのプロジェクトアイデア。