リサーチ・学習のスキル

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

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

研究アイデアと文献から、科研費などの研究助成申請書を組み立てます。既存研究との差を確認し、研究目的、方法、年次計画、予算の説明を整え、外部レビューにつなげます。

• 研究案から科研費申請書を作りたいとき
• 文献や採択課題との差を説明したいとき
• 研究目的・年次計画・予算説明の整理

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

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

ブログ、公式ドキュメント、ニュース、論文を横断検索し、本文や要約も取得するスキル。日付やドメインで絞り込み、指定URLに似たページも探せます。

• 学術データベース以外も調べたいとき
• 検索結果の本文や要約を集めたいとき
• 指定URLに似たページを探したいとき

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

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

機械学習の手法から構成要素を外したり置き換えたりする比較実験を設計し、各要素の貢献を確かめます。査読者の疑問を踏まえ、優先順位や計算予算、実行順まで整理します。

• 手法の各構成要素の貢献を調べたいとき
• 論文投稿前の追加実験を計画したいとき
• GPU予算内で実験に優先順位を付けたいとき

中国の知識共有サービス知乎で回答や記事を検索し、種類・期間・並び順を指定して、著者や評価数、URLを含む結果をページごとに整理するスキル。

• 知乎の回答や記事を探したいとき
• 評価の高い回答の比較
• 最近作成された投稿の収集

数式の簡約や微積分、行列計算、有限範囲の反例探索を行い、条件・手順・結果を記録します。厳密計算と高精度の数値計算を使い分け、再実行できる計算証拠をまとめます。

• 恒等式や積分を厳密に確認したいとき
• 指定範囲で反例を探したいとき
• 数値結果を高精度で照合したいとき

散らばった数式や理論メモを、対象・記号・仮定が一貫した導出手順に整理し、恒等式と近似を区別しながら、隠れた条件や途中の論理を確認するスキル。

• 散らばった数式と理論メモの整理
• 代数的な恒等式の導出を追いたいとき
• 近似の適用条件と誤差の整理

Web3のスマートコントラクト監査を学ぶ資料の入口として、基礎、脆弱性検索、再現テスト、報告、実例、ツール連携を読む順番と参照先を案内します。

• スマートコントラクト監査の学習開始
• 調査準備から報告まで順に学びたいとき
• 監査の実例を探したいとき

数学の命題や証明草稿を点検し、仮定・補題・証明すべき事項を整理するスキル。反例や境界条件も調べ、証明の穴や条件不足を明示した、検討経過を追える草稿にまとめます。

• 数学の証明草稿の穴を埋めたいとき
• 命題と補題の依存関係の整理
• 反例や境界条件を調べたいとき

自然言語の数学命題をLean 4で扱う定義や補題に分け、証明の機械検証と元の命題への忠実性を別々に確認し、検証結果と根拠を記録します。

• 重要な補題をLean 4で検証したいとき
• 定理を定義と補題に分解
• 証明の穴や未承認の公理を点検

数学研究で何から進めるべきか迷ったときに、問題設定・文献調査・導出・計算・証明・形式化のどこが詰まっているかを整理し、担当スキルを一つ選びます。

• 開かれた数学問題の着手点を決めたいとき
• 論文・数式・コードが混ざった依頼の整理
• 導出・計算・証明・形式化の選択

数学の漠然とした関心を調査可能な問いに整理し、定義や定理の先行研究を探して、出典付きの関係図と未解決点、検証可能な予想候補をまとめます。

• 定理の変種と先行研究を調べたいとき
• 整数列に関する既存研究の確認
• 研究課題の検索語と範囲の整理

複数のNotionページを調べ、出典付きの要約、比較資料、調査レポートにまとめます。情報の不足や矛盾、未解決の疑問も整理し、Notion上に文書を作成します。

• Notionに散らばる情報を要約したいとき
• 社内資料を基に候補を比較したいとき
• 出典付きの報告書を作りたいとき

最新ニュースの論調を比較し、複数の立場をまとめた記事や市場データを取得します。株式・ETF・暗号資産のAI分析、オプション価格の推定、ミーム検索にも対応します。

• 媒体別のニュースと論調の比較
• 時事問題の複数の見方を把握したいとき
• 株式・ETF・暗号資産の価格調査

未上場企業の事業・財務・競争・リスク・技術を複数エージェントで調べ、公開情報を照合しながら、推定企業価値と判断に残る不確実性を整理するスキル。

• 未上場企業の事業とリスクを調べたいとき
• 調達時の評価額と事業価値を比べたいとき
• 採用や特許から経営動向を探りたいとき

指定したObsidianの保管庫を根拠に質問へ答え、参照ページや情報の矛盾・不足を示します。調べる深さを選べ、ノートを変更せずに蓄積した知識を確認できます。

• Obsidianのノートから答えを探したいとき
• 保管庫の知識を要約したいとき
• 食い違うノートと根拠を比較したいとき

調査の範囲や回数・時間の上限を決めて情報を集め、出典付きの調査資料にまとめます。矛盾や未確認事項を示し、確認後にObsidianへの保存案も作れます。

• 上限を決めてテーマを深掘りしたいとき
• 対立する主張と根拠を比較したいとき
• 出典付きの調査資料を作りたいとき

仕組みを触って理解するための、小さな対話型HTML画面を作るスキル。操作できる説明やシミュレーション、簡単なゲームを、外部通信なしの一画面にまとめます。

• 仕組みを操作して理解したいとき
• シミュレーションを順に追いたいとき
• 簡単なゲームで考え方を伝えたいとき

Notion内の文書や議事録を検索し、更新日や配置、他ページからのリンクを手がかりに参照すべきページを見極め、矛盾も示しながら出典付きで回答するスキル。

• Notionで社内ルールや手順を調べたいとき
• 重複文書から参照先を見極めたいとき
• 執筆前に仕様や会議の決定を確認

研究コードや実験結果をもとに、機械学習・AI分野の論文草稿を組み立てます。主張と根拠の整理、引用の実在確認、LaTeXでの投稿準備を支援します。

• 研究コードと結果から論文を起こしたいとき
• 貢献を軸に要旨や導入を改稿したいとき
• 関連研究の検索と引用確認を進めたいとき

システム分野の国際会議向け論文を、章ごとのページ配分と段落構成から組み立てます。設計の選択理由や評価実験の示し方、投稿前の点検も支援します。

• 論文の章構成とページ配分を決めたいとき
• 設計の選択理由と代替案を整理したいとき
• 評価実験と結果の説明を組み立てたいとき

論文やコード、実験ログを、AIエージェントが参照できる構造化された研究資料へ整理します。主張と根拠、検証計画、実装のひな型、研究上の判断のつながりをまとめます。

• 論文とコードを研究資料へ整理したいとき
• 研究上の主張と表・図・検証計画の対応付け
• 失敗した試みや研究上の判断の記録