AIで研究する方法の導入
企業の研究部門、大学の研究室
数十のAIエージェントに仮説・計算・証明を分担させ、独立した監査・数値の検算・形式検証で誤りを潰す進め方を、貴社のテーマで一緒に回しながらお伝えします。環境の構築と、規則の文書化まで行います。
30万円〜 研修（1日）
150万円〜 伴走（3か月）
- 貴社のテーマで、実際に1サイクル回す
- 監査と検算の規則を、貴社用に書き起こす
- 研究するのは貴社。当社は方法と環境を渡す
まずは定額の入口パック
45万円（税抜）2週間・1テーマ
次のうち1つを選んでいただき、2週間で結果をお返しします。結果を見てから、続けるかどうかをお決めください。
- 論文や手元の計算の再現（数値・シミュレーション・数式の導出）と、貴社・貴室の問題に使えるかの判定
- 証明・アルゴリズムの検証（独立した複数の監査。重要な箇所は Lean で形式化を試みる）
- AI研究環境の試作（貴室のテーマで1サイクル回し、規則の草案を作る）
納品物: 報告書、作業と監査の記録、再現の手順（コード・Lean のファイルを含む）
研究室の通常のご発注で扱いやすい金額にしています（発注の手続きは大学・研究機関ごとに異なります）。 研究費でのご発注について →
4つの支援
数理・物理の課題の受託
製造業・エネルギー・金融などの研究開発部門
物理モデルの導出、シミュレーションの検証、最適化、アルゴリズムの正しさの証明。「この論文の手法がうちの問題に使えるか」を、再現して判定するところから始められます。
50万円〜 論文の手法の再現と適用判定（2〜4週）
300万円〜 受託研究
- 解けなかった場合も、経過と理由を納品
- 成果の帰属と公表の扱いは契約で決める
- 守秘の情報は、学習に使われない契約のAI環境だけで扱う
証明とアルゴリズムの検証・形式化
暗号・制御・金融のアルゴリズムを扱う企業、投稿前の研究者
証明の誤りや抜けを、独立した複数の監査で洗い出します。重要な補題や計算は Lean 4 / Mathlib で形式化し、機械で検査できる形にします。
10万円〜/本 証明・アルゴリズムの検証
50万円〜 Lean による形式化
- 著者は貴社・ご依頼者のまま。支援は謝辞で開示
- 学会誌のAI使用の開示に使える作業記録を添付
研究室・研究部門のAI研究環境の構築
大学の研究室、企業の研究部門
AIのエージェントで研究を回すための環境を、貴室の計算機や契約の中に作ります。作業の記録、監査と検算の規則、Lean による検査の自動実行（CI）、データの扱いの設定までを一式で納め、使い方をお伝えします。
100万円〜 環境の構築一式（2〜4週）
- 研究するのは貴室。当社は環境と規則を渡す
- 学習に使われない契約のAIサービスで構成
- 構築後の相談は月額でも承ります
金額は税抜の目安です。テーマの難しさと範囲で変わるので、無料相談のあとに固定の見積をお出しします。
根拠にしている実績
- 論文（数理物理、査読中） arXiv:2610.34122・arXiv:2610.34125（Pauli–Fierz 模型の紫外の極限。著者名は旧姓の S. Futakuchi）
- 形式検証 論文の証明の計算の核 23 件を Lean 4 / Mathlib で形式化（主定理は対象外）
- 研究記録（公開） 試して閉じた方式、数値計算の失敗、AIとの分担と運用の規則まで、経過をすべて公開
- 講演 RIMS 研究集会「量子場の数理とその周辺 2026」で講演予定（2026年12月、京都大学数理解析研究所）
- 教材 数学・物理学・情報科学の教科書サイト Rikai を運営
論文は学術誌で査読中で、まだ採録されていません。検証は AI の監査と代表の確認によるもので、外部の査読はこれからです。
誤りを潰す仕組み
AIは、もっともらしい誤りを自信を持って書きます。速さだけでなく正しさを保つために、次の規則で進めます。
- 書いた者と確かめる者を分ける。主張ごとに、文脈を持たない別のエージェントが独立に監査します。
- 数字は必ず検算する。定数や評価は、区間演算などの再現できるコードで確かめます。
- 核心は形式化する。重要な補題・計算は Lean で機械検査できる形にします。
- 失敗も台帳に残す。閉じた方式と理由を記録し、同じ誤りを繰り返しません。
進め方
- 30分の無料相談
テーマと、いま研究のどこで時間がかかっているかをお聞きします。向いていない場合はそうお伝えします。 - 範囲と開示の取り決め
作業の範囲、成果の帰属、著者・謝辞の扱い、AIの使用の開示、データの扱いを契約に書きます。 - 実施
エージェントの作業と監査の記録を残しながら進め、途中経過を定期的に共有します。 - 納品
結果（解けなかった場合は経過と理由）、検算と監査の記録、再現の手順を納めます。
お引き受けしない仕事
ご依頼者が単独の名義で発表する論文・証明を代わりに作って納める仕事、学位論文・授業の課題・審査用の業績づくりはお引き受けしません。 当社の関与は、著者として、または謝辞で必ず開示します。学生の方からのご依頼は、指導教員の書面の確認がある場合に限ります。
研究費でのご発注について
- どんな書類を出せますか。
- 見積書・納品書・請求書を発行します。不正な取引に関与しない旨の誓約書の提出にも応じます。適格請求書（インボイス）の発行の可否は、お問い合わせの際にご案内します。
- 研究費（科研費など）で支払えますか。
- 研究の一部の作業（数値計算・コード・形式検証・文献の調査など）の業務委託として、所属機関の通常の手続きでご発注いただく形を想定しています。研究の中核を丸ごと委ねる形はお受けしません。支出が規則に合うかは、所属機関の経理にご確認ください。
- 他社と比べる見積もりが取れないと言われました。
- 当社を選ぶ理由（作業の内容、他社にない点、実績）を説明する資料をお出しします。手続きの判断は所属機関が行います。
- 大きな仕事を分けて発注できますか。
- お受けできません。1つの仕事を金額の区切りに合わせて分けるご発注は、所属機関の会計の規則に反するおそれがあるためです。規模の大きい仕事は、最初から全体の見積をお出しします。
- 年度末に納品できますか。
- 着手の時期と納期を最初にお約束します。年度内の納品が必要な場合は、ご相談の時点でお知らせください。
よくあるご質問
- 未発表の研究や社外秘の情報を、AIに入れて大丈夫ですか。
- 学習に使われない設定の商用契約のAIサービスだけで扱い、使うサービスとデータの保持の扱いを契約に書きます。貴社の環境の中で作業することもできます。特許の出願前の技術は、出願まで外部に出しません。
- 当社は論文の著者になりますか。
- 分野の著者の基準を満たす貢献があれば共著者として、満たさなければ謝辞で役割を書きます。どちらにするかは開始時に決めます。
- 解けなかったら費用はどうなりますか。
- 研究は結果を約束できません。解けなかった場合も、試した方針・閉じた理由・残る見込みを報告として納めます。中間で続けるかを判断する場を設けます。
- どの分野に対応していますか。
- 中心は数理物理・関数解析・作用素論・確率と、それを使う工学の数理モデルです。分野が離れる場合は、無料相談の段階で率直にお伝えします。