開発のスキル

syzkaller向けのsyzlang記述で使うカーネル定数を、定数ファイルへの記述やカーネルソースからの抽出で用意するスキルです。

• syzlang記述の定数を定義したいとき
• ioctl番号を定数ファイルに追加したいとき
• カーネルヘッダーから定数を抽出したいとき

Spring Boot 3.2以降のHTTP通信コードを、RestTemplateからRestClientへ移行する手順や設定、エラー処理の書き換え方を確認できます。

• RestTemplateの呼び出しを移行したいとき
• GET・POST・DELETE処理を書き換えたいとき
• RestClientの共通設定を用意したいとき

データベースの同時実行制御を理解し、競合や分離性の異常、コミット・中止の判断を具体的な履歴や依存関係から整理します。

• 実行履歴の競合や異常を分類したいとき
• 中止が正しさに必要か検討したいとき
• 並行制御方式の違いを比較したいとき

Three.jsのシーングラフを部品ごとに整理し、変換を反映したメッシュをOBJ形式で書き出します。必要に応じてリンク構造をURDFとして組み立てられます。

• Three.jsの部品をOBJで個別出力したいとき
• InstancedMeshを展開して書き出したいとき
• ワールド変換をメッシュに反映したいとき

Spring Security 5から6への移行で、旧設定クラスやURLマッチャー、メソッド認可、認証マネージャーの構成を新しいBean方式とラムダDSLに置き換える方法を案内します。

• Spring Boot 2系から3系へ移行したいとき
• 旧式のセキュリティ設定を書き換えたいとき
• 認可ルールの移行漏れを確認したいとき

Spring Boot 2.xから3.xへの移行で、Javaや依存関係の更新、javaxからjakartaへの変更、OpenRewriteの利用と確認項目を整理します。

• MavenプロジェクトをSpring Boot 3へ移行したいとき
• 古い依存関係や名前空間の変更を確認したいとき
• OpenRewriteを使った移行手順を知りたいとき

Spring Boot 3への移行で必要になるJava EE由来のimportをJakarta EEの名前空間へ置き換え、対象外のJDKパッケージを区別しながら移行漏れを確認します。

• Spring Boot 3移行時のimport更新
• 古いjavax系importの洗い出し
• 移行漏れの確認

NLP研究コードを再現する際に、Pythonのバージョンとリポジトリの依存関係ファイルを確認し、環境を合わせてからパッケージを導入する手順を整えるスキルです。

• NLP論文の公開コードを再現したいとき
• Pythonのバージョン不一致を確認したいとき
• 依存関係ファイルに沿って導入したいとき

リフロー炉の保守相談に対し、技術ハンドブックと熱電対・MES・不良データを照合して、温度条件や搬送速度などの計算と判断を支援します。

• 温度プロファイルを基準と照合したいとき
• 熱電対からTALを計算したいとき
• MESや不良データを保守条件と比べたいとき

Pythonのリスト、辞書、集合で行う変換や集計を、Scalaのコレクション操作へ置き換える対応例を確認できます。

• Pythonのコレクション処理をScalaへ移植したいとき
• 内包表記をScalaのmapやfilterに直したいとき
• 辞書操作をScalaのMapに置き換えたいとき

Pythonプログラムのメモリ使用量を調べ、ジェネレーターや効率的なデータ構造などを使って、大きなデータの処理やメモリリークを改善するスキルです。

• Pythonのメモリ使用量を減らしたいとき
• メモリリークの原因を調べたいとき
• 大きなCSVを分割処理したいとき

Pythonの標準ライブラリや定番の処理をScalaのライブラリに対応づけ、JSON、日時、ファイル、HTTP、テスト、非同期処理などの移植例を示すスキルです。

• Pythonの標準ライブラリ処理をScalaへ移植したいとき
• PythonのJSONや日時処理の代替を探すとき
• HTTP通信やログ出力をScalaで実装したいとき

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

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

Pythonの高階関数やデコレーター、ジェネレーターなどをScalaの関数型スタイルへ移す際の対応方法とコード例を示します。

• Pythonコードを関数型Scalaへ移したいとき
• デコレーターを関数合成に置き換えたいとき
• PythonのジェネレーターをScalaで表したいとき

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

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

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

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

ReactやNext.jsの実装・レビューで、非同期処理やバンドル、再レンダリングなどの性能改善ルールを参照し、修正方針を検討できます。

• React画面の性能をレビューしたいとき
• Next.jsの読み込みを軽くしたいとき
• データ取得の待ち時間を減らしたいとき

MPCによる張力制御で、モデル誤差による定常偏差を積分動作で補正します。ゲイン調整や積分飽和への対処も扱います。

• 張力制御の定常偏差を補正したいとき
• MPCに積分動作を追加したいとき
• 積分ゲインを調整したいとき

Pythonの変数、制御構文、内包表記、関数などをScalaでどう書くか対照し、コード移行時の基本的な構文の置き換えを確認できます。

• PythonコードをScalaへ移したいとき
• 構文の対応関係を確認したいとき
• Scalaの基本的な書き方を学びたいとき

Pythonの処理をScalaへ移す際に、変更不可の値やパターンマッチなどを使い、Scalaらしい型安全で読みやすいコードに整えるスキルです。

• PythonコードをScalaへ移植したいとき
• 可変ループをコレクション操作に直したいとき
• nullをOptionで扱いたいとき

Pythonの逐次処理を分析し、CPU計算・入出力待ち・配列演算に合った並列化手法へ変換して、実行順や例外処理にも配慮するスキルです。

• 独立したループを並列化したいとき
• 複数のAPIやファイルを同時処理したいとき
• 数値計算のPythonループを高速化したいとき

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

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

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

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

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

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