RigorMed

数学・物理学

モデルの仮定と導出から、小規模数値計算・誤差検証・研究の説明まで支援します。

具体的な作業から始める

文献・モデル・課題の整理

検索式・出典位置・根拠の相違を残し、実際に読んだ全文を明示します。

仮定・記号・次元の整理

課題・仮定・設計・比較条件と、研究者の確認が必要な選択を示します。

式・データ・境界条件の確認

変数・単位・欠測・重複・出所を点検し、補完や削除を無断で行わず変更を記録します。

小規模な数値計算

資料と手法の適合性を確認し、必要な計算を実行してコード・結果・限界を渡します。

誤差・収束・極限の検証

独立点検・代替説明・適切な感度確認により、失敗条件と未解決点を示します。

関数・相図・結果の可視化

確認済みの結果から単位・説明・出典付き図表を作り、再利用できるコードを残します。

導出の説明と論文執筆

実際の資料と結果に基づき執筆し、数値と引用を確認して草案・不明点を明示します。

証明方針の検討とゼミ発表

問題一覧・項目別回答・発表資料を作り、修正済み・根拠不足・未解決を区別します。

現在の対応範囲

利用可能な資源で小規模な探索的数値計算を行い、誤差と適用条件を確認します。形式的証明、大規模シミュレーション、物理法則の実証ではありません。

研究事例

研究成果の事例を見て、作業の出発点を見つけましょう。

すべて見る