開発のスキル

並列処理のタスクをワーカーやプロセスへ配分し、処理時間のばらつきや遅い処理を抑える方法を選んで、分割・スケジューリングを設計するスキルです。

• 並列タスクの偏りを減らしたいとき
• 遅い処理による待ち時間を抑えたいとき
• タスクに合う分割方法を選びたいとき

Pythonのクラスや継承、データクラスなどのオブジェクト指向コードを、Scalaのクラス、case class、traitや慣用パターンへ対応づけて書き換えるスキルです。

• PythonのクラスをScalaへ移植したいとき
• dataclassをcase classに置き換えたいとき
• 継承や抽象クラスの対応を知りたいとき

ロール・ツー・ロール方式の張力制御で、MPCの予測範囲と評価重みを選び、追従性、制御の滑らかさ、計算量のバランスを整えるスキルです。

• 張力制御の予測範囲を決めたいとき
• 追従性と操作量の重みを調整したいとき
• 計算量と外乱抑制を両立したいとき

LRUやLFU、FIFO、S3FIFO、ARCなどのキャッシュ退避方式を比較・実装し、容量制限のあるキャッシュでの挙動やトレース再生の評価方法を整理します。

• キャッシュの退避方式を選びたいとき
• 複数のキャッシュ方式を実装したいとき
• アクセス履歴でヒット率などを比較したいとき

Mavenのビルドやテスト、品質チェックに使うプラグインを設定し、実行フェーズやバージョンを整理してビルド構成を整えるスキルです。

• Mavenのビルド設定を整えたいとき
• テスト実行をプラグインで設定したいとき
• 品質チェックをビルドに追加したいとき

Erlangの分散システムで、ノード接続やプロセス間通信、名前登録、監視、ネットワーク分断への対処を設計し、複数ノードで動く耐障害アプリケーションを構築します。

• Erlangノードをクラスタ化したいとき
• リモートプロセスと通信したいとき
• 複数ノードで処理を監視したいとき

プロセスのゲインと時定数からIMC調整則でPI制御器のゲインを求め、応答速度とモデル誤差への強さを調整するスキルです。

• 一次遅れ系のPIゲインを求めたいとき
• 制御ループの応答速度を決めたいとき
• モデルの不確かさに合わせて調整したいとき

制御システムに段差状の入力を与える試験の時間やサンプリング間隔を設計し、応答データからシステムの動特性やパラメーターを推定する準備を支援します。

• 未知の制御システムを試験したいとき
• 試験時間とサンプリング間隔を決めたいとき
• 応答データの記録項目を整理したいとき

ErlangのOTPビヘイビアを使い、状態を持つプロセスや状態遷移、イベント処理、障害時の再起動を組み立てる方法を案内します。

• 状態を持つプロセスを設計したいとき
• プロトコルの状態遷移を実装したいとき
• 障害時の自動再起動を構成したいとき

JavaプロジェクトのMaven依存関係を整理し、バージョン競合の解消やBOMによる一元管理、依存ツリーの確認を進めるスキルです。

• 依存ライブラリのスコープを設定したいとき
• 依存バージョンの競合を解消したいとき
• BOMで複数モジュールの版を管理したいとき

Lean 4の証明作業で成功した証明パターンや失敗した手法、プロジェクトの規約をMCPメモリーサーバーに記録し、次回以降に活用します。

• Lean 4の既存プロジェクトを再開したいとき
• 似た証明の成功例を探したいとき
• 過去に失敗した手法を避けたいとき

Mavenのビルド工程やゴール、プロファイルを理解し、Javaプロジェクトのテストや成果物作成、マルチモジュール構成を調整するスキルです。

• Mavenの工程とコマンドを整理したいとき
• 環境別のビルド設定を作りたいとき
• 単体・結合テストの実行を設定したいとき

Web UIのコードをアクセシビリティ、表示速度、アニメーション、レイアウトの安定性の観点から確認し、改善点を見つけるスキルです。

• UIのアクセシビリティを確認したいとき
• 画面の表示速度を見直したいとき
• フォーカスやフォームを点検したいとき

ReactやNext.jsの表示速度と描画の安定性を高めるため、非同期処理、読み込み量、再描画、画像やフォントの扱いを見直すガイドです。

• Reactページの表示を速くしたいとき
• レイアウトのずれやちらつきを直したいとき
• hydration mismatchを調べたいとき

GitHub Actionsで失敗したプルリクエストのジョブログを調べ、原因やエラーメッセージ、関連するテスト名を短く整理します。

• PRの失敗ジョブをまとめて確認したいとき
• 個別のActionsジョブを調べたいとき
• ログからエラーや失敗テストを探したいとき

Spring Bootを使うJava開発で、プロジェクトやJPA構成、REST API、認証設定のひな型を作り、依存関係の確認やJVM性能改善の手がかりを得られます。

• Spring Bootの新規構成を作りたいとき
• JPAのエンティティ一式を生成したいとき
• REST APIのひな型を用意したいとき

uvでPythonの依存パッケージや仮想環境を管理し、プロジェクトの作成、ロックファイルによる再現可能な導入、既存ツールからの移行を進めるスキルです。

• 新しいPythonプロジェクトを作りたいとき
• 仮想環境とPythonのバージョンを管理したいとき
• 依存関係をロックファイルで固定したいとき

Erlangの軽量プロセスとメッセージ通信を使い、並行処理の設計やプロセス監視、障害時のエラー伝播を扱う方法を案内するスキルです。

• Erlangで並行処理を設計したいとき
• プロセス間のメッセージ通信を組みたいとき
• ワーカーの障害検知と再起動を設計したいとき

変圧器のタップ比や位相ずれを含む交流送電線の電力潮流を、両端の有効・無効電力や容量、線路負荷率まで計算するスキルです。

• 送電線の両方向の潮流を計算したいとき
• 線路容量の超過を確認したいとき
• 負荷率の高い線路を特定したいとき

TRLのトレーナー構成や設定、共通関数、データの流れを把握し、関連コードを読む・変更する際の前提を確認できます。

• TRLのトレーナー構成を把握したいとき
• 学習処理のデータの流れを追いたいとき
• 共通関数の契約を確認して編集したいとき

クアッドローターの姿勢制御を実装する際に、目標加速度から姿勢角を求める計画処理と、PID制御によるロール・ピッチ・ヨーの補正方法を扱います。

• 姿勢制御ループを実装したいとき
• 加速度から目標姿勢を求めたいとき
• PIDゲインを症状に合わせて調整したいとき

奇数行を右にずらす六角形グリッドで、隣接タイルの取得や距離計算、指定範囲内のタイル検索を行うための座標ルールと処理を示します。

• 六角マップの隣接タイルを求めたいとき
• 2地点間の六角距離を測りたいとき
• 移動可能範囲のタイルを列挙したいとき

ドローンシミュレーター向けに、離陸・ホバリング・移動・着陸の自然文指示を、時刻付きウェイポイントと区間モードの配列へ変換します。

• 自然文の飛行指示を配列にしたいとき
• 離陸や着陸の時刻を設定したいとき
• 座標間の飛行区間を組み立てたいとき

クアッドローターの位置・速度誤差をPID制御で推力と加速度に変換し、離陸や飛行などの経由点から滑らかな状態軌道を作るスキルです。

• ドローンの位置制御を実装したいとき
• 経由点から飛行軌道を生成したいとき
• 高度応答に合わせてPIDゲインを調整したいとき