リサーチ・学習のスキル

WeChat公式アカウントの記事をリンクから読み、確認できた本文や画像を基に要約します。タイトル・著者・公開日を照合し、読めた範囲と未確認事項も明示します。

• リンクからWeChat記事を要約したいとき
• タイトル・著者・公開日の確認
• 記事の重要な画像を確認したいとき

製品・デザイン・技術の外部情報を調べ、出典と根拠の強さを確認します。候補の比較や不確かな点の整理を通じて、判断や次の実装に役立つ調査結果にまとめます。

• 製品や技術の候補を比較したいとき
• Xの投稿やデモを調べたいとき
• 設計の参考を実装案に落としたいとき

複雑なテーマを複数回のウェブ検索で掘り下げ、出典や残る不確実性を含む調査レポートにまとめます。集めた情報に応じて次の検索方向を調整します。

• 市場動向を調べたいとき
• 技術の最新動向を調査したいとき
• 競合や製品を比較したいとき

小红书 / RedNote の共有リンクから投稿を読み、本文と画像内の情報を分けて整理します。画像の順序や出典を確認し、読めた範囲と未検証の内容も示します。

• 共有リンクから投稿を要約したいとき
• 画像ノートを順番に読みたいとき
• 画像内の表や数式を理解したいとき

RSS・Web・APIから業界情報を集め、重複除去やAIによる評価・分類・要約を行うスキル。207以上の設定済み収集元を使い、MarkdownやJSONにまとめます。

• AI技術のニュースをまとめたいとき
• 石炭・不動産業界の動向収集
• 独自の収集元から情報を集めたいとき

最新のAI製品・論文・見解を一次情報で確かめ、最大10件に絞って中国語と英語のHTML日報に整理します。話題を横断する傾向と次に取る行動もまとめます。

• 毎朝のAI動向チェック
• AIエージェントの研究・ツール調査
• 次に読む資料や試すツールを選びたいとき

具体的な質問をもとにウェブ検索を行い、回答と参考情報を取得します。付属のPythonスクリプトから、出典のURLや公開日時、関連する追加質問の候補も確認できます。

• 特定の話題の最新動向を調べたいとき
• 参考情報付きの回答が欲しいとき
• 調査を深める追加質問を探したいとき

Top Lean AI のランキングを定期的に確認し、変化や更新履歴を記録するスキルです。保存した履歴を使い、ランキングの変化を分析するレポートも提供します。

• ランキングを定期的に確認したいとき
• ランキングの更新履歴を残したいとき
• 順位変動のレポートを確認したいとき

火山引擎のAsk-Echo APIでウェブや画像を検索し、結果のタイトル・URL・概要などを取得するほか、AIによる検索結果の要約も得られるスキル。

• 特定テーマのウェブ情報を探したいとき
• 検索結果をAIの要約付きで読みたいとき
• 画像を検索したいとき

arxiv の論文 ID や URL から HTML 版の全文を取得し、章構成を保ったテキストに変換します。ファイル保存や章区切りの追加にも対応し、読解やノート整理に使えます。

• arxiv の ID や URL から論文を読む
• 研究ノート用に全文を抽出したいとき
• 長い論文を保存して分割で読みたいとき

論文や公式文書など複数の情報源から学習資料を探し、根拠と既読状況を確かめて読む優先順位を整理します。精読や指定ノートへの要点整理にも対応します。

• 論文や技術学習資料を探したいとき
• 次に読む資料を決めたいとき
• 論文の手法と限界を理解したいとき

ローカルの SearXNG を使い、複数の検索エンジンからウェブ・画像・ニュースをまとめて探せます。言語や期間の指定、JSON形式の結果取得にも対応します。

• 複数の検索エンジンで調べたいとき
• 画像・ニュース・動画を探したいとき
• 言語や期間を絞って検索したいとき

Marinの実験レポートを集めて索引を整理し、指定された過去の実験をタグとIssueへの参照でアーカイブするスキル。既存の結論や正式なリンクを保ちます。

• 実験レポートの索引を整理したいとき
• 正式なレポート項目を統合したいとき
• 指定した過去の実験のアーカイブ

位相空間のコンパクト性を、空間の種類に応じた条件や定理で調べます。閉性・有界性、部分列、開被覆の確認から、積空間や連続関数への応用まで解法を整理します。

• ユークリッド空間の集合の判定
• 部分列や開被覆による証明の検討
• 積空間のコンパクト性の確認

実解析の極限問題で、直接代入から式変形、はさみうちの定理、イプシロン・デルタ論法まで解法を選び、計算や厳密な証明の検証を進めるスキル。

• 極限問題の解法を選びたいとき
• 不定形の式を整理したいとき
• はさみうちの条件を確認したいとき

位相空間の連結性を証明するために、背理法、点を結ぶ経路の構成、共通点を持つ連結集合の性質から方針を選び、連結成分の考え方も整理する学習用スキル。

• 連結性の証明方針を選びたいとき
• 凸集合内の経路を構成したいとき
• 連結集合の和集合を扱いたいとき

位相空間の開集合や写像の連続性を扱う問題で、距離や逆像を使った証明方針を整理し、内部・閉包・境界の確認や論理式による検証を支援するスキル。

• 集合が開集合であることを証明したいとき
• 逆像を使って連続性を確認したいとき
• 内部・閉包・境界の整理

関数の積分を数値で求めるために、区間や関数の性質に応じた計算法を選びます。多重積分への対応や許容誤差の設定、既知の解との比較まで、計算と精度確認の手順を案内します。

• 定積分や広義積分の手法を選びたいとき
• 二重積分や三重積分の計算
• 許容誤差を変えて精度を確かめたいとき

関数解析のヒルベルト空間の問題に対し、直交分解や射影定理などから解法を選び、内積の計算や証明に取り組むための方針とツールの実行例を示すスキル。

• ヒルベルト空間の演習の解法選び
• 直交分解と射影を学びたいとき
• Riesz 表現定理を使いたいとき

2階常微分方程式を係数や右辺の形で分類し、解法を検討します。特性方程式による解や非同次方程式の特殊解に加え、初期値・境界値問題の数値計算も扱います。

• 2階常微分方程式を分類したいとき
• 定数係数の同次方程式を解きたいとき
• 非同次方程式の特殊解を求めたいとき

関数解析の作用素に関する問題で、有界性・随伴・スペクトル・コンパクト性を調べる手順を整理し、証明や記号計算に使うコマンド例を示すスキル。

• 作用素の有界性を確認したいとき
• 随伴作用素を求めたいとき
• 自己随伴作用素のスペクトルの検討

整数の余りを扱う合同算術の問題で、逆元や連立合同式、べき乗、平方剰余、原始根を調べるために、使う定理と計算・証明の進め方を整理するスキル。

• 拡張ユークリッド互除法による逆元計算
• 中国剰余定理で連立合同式を解きたいとき
• Euler's Theoremでべき乗を整理

素数判定や素因数分解、素数の分布を扱う数学問題で、解法の選択を支援します。代表的なアルゴリズムや定理を整理し、計算・検証用コマンドを案内するスキルです。

• 素数判定の方法を選びたいとき
• 素因数分解の手法を検討したいとき
• 素数の分布や間隔の学習

複素解析の積分問題で、式の形に合う積分経路を選び、特異点の確認から留数定理による計算までを案内します。Sympyを使った計算例も参照できます。

• 広義積分の経路を選びたいとき
• 三角関数の積分を単位円で解く
• 分岐切断を囲む経路の検討