「report」の検索結果

LaTeXで書かれた数学の証明を別モデルのレビューで点検し、仮定や導出の抜けを修正します。反例の検討と再レビューを行い、指摘と修正を監査記録にまとめます。

• 理論論文の証明を点検したいとき
• 補題の仮定の抜けを探したいとき
• 数学的な導出の穴を補いたいとき

研究テーマから文献調査、アイデア選定、実験の実装・実行、反復レビューをつなぎ、成果の整理と、任意で論文PDFの作成まで進めるスキル。

• 研究テーマから実験とレビューへの一貫実行
• 実験の実装と結果収集をまとめたいとき
• 根拠を整理して論文執筆へ引き継ぎたいとき

スクリプトや実行中の処理を計測し、CPU・GPU・メモリ・通信のどこが遅さの原因かを分析して、改善案と計測用コードの変更一覧をまとめるスキル。

• Pythonの遅い関数を特定したいとき
• CPU・GPUのメモリ使用量の調査
• 複数GPU間の通信負荷の計測

ロボット研究の文献調査からアイデア生成、新規性確認、外部レビューまでをつなぎ、利用可能なベンチマークとシミュレーションを軸に検証計画へまとめるスキル。

• 操作や移動の研究テーマを探したいとき
• 実機試験前のシミュレーション計画
• 研究案の新規性と実現性の確認

機械学習・AI理論の定理や補題について、仮定と論理のつながりを確認し、証明を文書化します。元の主張が成り立たない場合は、修正版や証明を妨げる点を示します。

• 定理や補題の証明を作成
• 証明スケッチの手順を補いたいとき
• 隠れた仮定や反例を確認

論文の構成案と研究資料からLaTeX原稿を章ごとに作成し、投稿先に合わせた書式、図表の挿入、引用文献の確認、本文と付録の整合性を整えるスキル。

• 構成案と研究成果から論文を書きたいとき
• 会議やIEEE向けの書式調整
• 書誌情報と未引用文献の確認

特許の請求項と明細書を審査官の観点で点検し、明確さや新規性、記載の不足などを整理します。修正後の再レビューまで2回行い、変更理由と残る課題を報告書にまとめます。

• 出願前に請求項と明細書を点検したいとき
• 曖昧な用語や説明不足を探したいとき
• 既知の先行技術と新規性を確認したいとき

シミュレーションや回路設計の設定を変えて実行・分析を繰り返し、制約を満たす構成を探索します。初期設定との比較、実行履歴、最良の設定をレポートにまとめます。

• キャッシュやプロセッサ設定の調整
• タイミング制約下での回路面積削減
• コンパイラ設定と実行速度の比較

論文に対する最も強い却下理由を作り、別のレビュー担当が本文の根拠で論点ごとに判定します。通常の査読後に残る重大な弱点と、優先して直す点を整理します。

• 投稿前に理論論文の弱点を点検
• 査読者の強い批判への反論準備
• タイトルと結果の範囲を照合

シミュレーションや回路設計ツールを繰り返し実行し、性能・面積・消費電力などの目標に合わせてパラメータを探索します。試行履歴と最良の設定を報告します。

• キャッシュやプロセッサ設定の調整
• タイミング制約を満たす回路面積の削減
• 実行時間やコードサイズ別のコンパイル比較

ARISの利用ログから失敗や手動修正の傾向を調べ、スキルの指示文や初期設定の改善案を作るスキル。根拠付きの差分を提示し、実際の変更は別工程に渡します。

• 繰り返すワークフローの失敗調査
• 頻繁に上書きする初期設定の見直し
• 作業の停滞箇所を特定したいとき

完成した論文から学会発表の構成、Beamer・PPTX、発表原稿を作成します。見た目の調整や書き出し確認に加え、指定に応じて主張・引用・匿名性も点検します。

• 完成論文から学会発表一式を準備
• Beamerと編集可能なPPTXの作成
• 発表者ノート・発表原稿・想定問答の準備

研究アイデアを主要な主張に分け、直近の論文と照合して新規性を調べます。近い先行研究との違い、重複のリスク、研究を進める際の判断材料を整理します。

• 実装前にアイデアの新規性を確かめたいとき
• 提案手法と先行研究の比較
• 実験条件の新しさを確認したいとき

実行中の実験について、ログや結果ファイルから進捗と数値を集め、基準となる実験との差を表にまとめます。異常値の確認や次の対応、対応環境での費用の報告にも使えます。

• リモート実験の完了を確認したいとき
• 実験の数値を基準と比較したいとき
• NaNや学習の発散を調べたいとき

スキル群の改善パッチを、利用者の明示指定と別系統モデルの審査を経て適用します。変更前のバックアップ、審査記録、変更履歴も残します。

• 改善レポートから選んだ差分の適用
• スキル更新前に別モデルで審査したいとき
• 変更のバックアップと審査記録の保存

研究メモに散らばった数式を、前提と記号、導出の筋道が分かる文書に整理します。厳密な変形と近似、解釈を区別し、論理がつながらない箇所や不足条件も明示します。

• 散らばった数式の導出を整理したいとき
• 理論の中心となる量を選びたいとき
• 厳密な変形と近似や解釈を分けたいとき

発明の説明と先行技術の調査をもとに、特許の保護範囲を定める請求項を起草します。中国・米国・欧州の形式に合わせ、明細書との対応や修正履歴も整理します。

• 発明説明から請求項を起草したいとき
• 中国・米国・欧州向けの草案作成
• 範囲を絞った代替請求項の準備

論文中の引用について、文献の実在、著者・年・掲載先の正確さ、本文の主張を支える内容かを照合します。誤った引用や書誌情報を洗い出し、修正候補を報告します。

• 論文投稿前に参考文献を点検したいとき
• 著者名・発表年・掲載先を確認したいとき
• 引用が本文の主張を支えるか調べたいとき

LaTeX論文をPDFに変換し、コンパイルエラーや参照・引用の不備を修正します。図表の表示、ページ数、匿名化、フォント埋め込みなど、投稿前の状態も確認します。

• LaTeXソースからPDFを生成
• コンパイルや参照・引用エラーを修正
• 図表の配置や表示を確認

論文の数値や比較、評価範囲の主張を生の実験結果と照合します。事前の経緯を持たない別モデルが確認し、丸め誤差や集計条件の違い、根拠の不足を報告します。

• 投稿前に論文の数値を照合したいとき
• 改善率の計算を確認したいとき
• 比較の実行回数や条件を確認したいとき

実験結果を論文の主張に使う前に、正解データの出所や指標計算、結果ファイルとの一致、評価範囲を別モデルが点検し、根拠付きの監査報告にまとめるスキル。

• 正解データの出所を確かめたいとき
• スコアの正規化と指標計算の確認
• 論文の主張と保存済み結果の照合

大まかな研究テーマから文献調査、案の生成、新規性確認、小規模実験、批評までをつなぎます。有望な案を順位付けし、研究提案と実験計画にまとめます。

• 広い研究テーマから具体案を探したいとき
• 参考論文を起点に改善案を探す
• 小規模実験で有望な案を比較

ロボットや身体を持つAIの研究テーマを、文献調査から発案、新規性確認、外部レビューまで絞り込みます。利用できる設備と評価基準に基づき、シミュレーション優先の検証案にまとめます。

• 物体操作や移動の研究テーマ探し
• 利用設備に合う研究案を選びたいとき
• シミュレーションや既存ログで検証計画

既存のコードと作業ルールを調べ、不具合の再現から修正・機能実装・検証まで進め、利用者の変更を保ちながら結果と未確認事項を報告するスキル。

• 不具合を再現して修正したいとき
• 既存の方針に沿った機能追加
• 参考画像に基づくUIの確認