Scope and dates範囲と日付
Software interfaces, versions, prices and licence terms change. Dates on this site identify the environment actually used or the date on which information was checked. The listed hardware is a working reference, not a certified minimum specification.
ソフトウェアの画面、版、価格、ライセンス条件は変わります。このサイトの日付は、実際に使った環境または情報を確認した時点を示します。掲載機材は動作例であり、認定された最低仕様ではありません。
This website shares setup, mathematical design, checks, diagrams, screenshots and videos. The browser games can be played on this site. Source code and executable builds of the VR applications are not currently distributed.
このWebサイトでは、環境構築、数学的設計、確認方法、概念図、スクリーンショット、動画を公開します。ブラウザゲームもこのサイトで体験できます。VRアプリのソースコードと実行ファイルは現時点では配布していません。
How AI is usedAIの使い方
The project-dedicated ChatGPT Pro account is used to help write and revise Godot/GDScript code, the HTML, CSS and JavaScript used by the browser games, and the Python code and related files used by SCVeamer. We also use it to propose debugging steps, explain software concepts, organize experiment notes and prepare website text. The researchers decide which suggestions to use and check the mathematical displays and interactions. Automated tests are also used to check program behavior. The researchers remain responsible for the mathematical claims and public content.
研究プロジェクト用に契約したChatGPT Proアカウントを、Godot / GDScriptコード、ブラウザゲームのHTML / CSS / JavaScript、SCVeamerのPythonコードと関連ファイルの作成・修正に使います。デバッグ案、ソフトウェア概念の説明、実験ノートの整理、Web文章の作成補助にも使います。提案の採否と数学的な表示・操作の確認は研究者が行い、プログラムの挙動の確認には自動テストも用います。数学的主張と公開内容については、研究者が責任を負います。
These checks do not constitute a line-by-line review of all source code or a comprehensive security audit. For SCVeamer, the checks performed and matters not yet tested are recorded in the validation records for the corresponding distribution. See SCVeamer’s development and scope of review for the current records and scope. Please also read the notes on local use before running it.
ここでいう確認は、全ソースコードの逐行的なレビューや包括的なセキュリティ監査の完了を意味するものではありません。SCVeamerでは、実施した確認と未確認の事項を、配布版に対応する検証記録にまとめています。最新の記録と確認範囲は、SCVeamerの制作と確認の範囲をご覧ください。実行前に、ローカル利用の注意点もご覧ください。
For local software development, we also use Codex in the ChatGPT desktop app to inspect the Godot project in the selected working folder and help create or edit the files needed for the task.
ローカルのソフトウェア開発では、ChatGPTデスクトップアプリ内のCodexを使い、選択した作業用フォルダ内のGodotプロジェクトを読み、必要なファイルの作成・編集を手伝ってもらっています。
AI is not listed as an author or mathematical authority. A generated visualization is evaluated against its stated mathematical specification, known examples, tests and device behavior; it is not accepted as a proof.
AIを著者や数学的根拠として扱いません。生成された可視化は、明示した数学的仕様、既知の例、テスト、実機挙動と照合し、証明としては扱いません。
Software and official informationソフトウェアと公式情報
- OpenAI design guidelinesOpenAIブランドガイドThe ChatGPT name is used in plain text; no OpenAI or ChatGPT logo is used as project branding.ChatGPTの名称は本文中の事実表示に用い、OpenAIやChatGPTのロゴをプロジェクトのブランドとして使わない方針の参照。
- OpenAI Terms of UseOpenAI利用規約AI output may be inaccurate and should be evaluated before use or sharing.AI出力は不正確な場合があり、利用・共有前の確認が必要であることを含む規約。
- ChatGPT Pro — official plan informationChatGPT Proの公式案内The subscription type used for this project; plan features and limits may change.このプロジェクトで使っている契約種別。機能や利用上限は変わることがあります。
- Godot Engine 4.7.2The Windows release used for the first prototype.最初の試作で使用したWindows版。
- Godot 4.7 — Setting up XROfficial OpenXR setup documentation.OpenXR初期設定の公式文書。
- Godot licenceGodot is distributed under the MIT licence; third-party assets still require separate checking.Godot本体はMITライセンス。外部素材は個別確認が必要。
- Meta Quest Developer HubVersion used and checked on 26 August 2026: MQDH 6.4.1.2026年8月26日に使用・確認した版：MQDH 6.4.1。
- Meta device setupDeveloper team, account verification, developer mode and USB debugging.開発者チーム、本人確認、Developer Mode、USB debugging。
- Unity Editor Software TermsThe current terms should be checked directly before institutional use.機関利用前には、その時点の現行条件を直接確認。
- MathJax 3.2.1 / Apache-2.0Used to render mathematical notation on this site. The Apache 2.0 licence text is included.このサイトの数式表示に使用。Apache 2.0のライセンス全文を同梱しています。
Names, products and the project mark名称・製品名・プロジェクトマーク
Product and service names are written in plain text to identify the environment used. Their appearance does not imply sponsorship, certification or endorsement by the providers. The project mark was developed through AI-assisted image generation and repeated human selection and revision.
製品名・サービス名は、使用環境を特定するためプレーンテキストで記載します。提供各社による本研究への協賛、認証、推奨を意味しません。プロジェクトマークは、AI支援画像生成と人間による選択・修正の反復を通じて制作しました。
Using this site as a starting pointこのサイトを参考にしたら
Our examples focus on several complex variables and complex analytic geometry, reflecting our own research interests. We have written the setup guide and the account of working with AI to be useful in other areas of pure mathematics too. We hope you will try these approaches with your own mathematical objects.
僕たちの専門に合わせて多変数函数論・複素解析幾何を中心に紹介していますが、環境づくりやAIとの進め方は、純粋数学のほかの分野でも役立つようにまとめています。ぜひ、ご自身の数学で試していただければうれしいです。
If this site helps you get started with research, teaching or a new visualization, we would appreciate a mention of Project Holomorphonautica and a link to this site when you describe your work.
研究や授業、別の可視化を始めるきっかけになったときは、紹介の際にProject Holomorphonauticaとこのサイトに触れていただけると励みになります。
This project is supported by SPReAD, a research funding programme of Japan’s Ministry of Education, Culture, Sports, Science and Technology (MEXT). The formal research title and further details are listed in About the project.
本プロジェクトは、文部科学省 AI for Science萌芽的挑戦研究創出事業（SPReAD）の支援を受け、研究課題「AI支援可視化による多変数函数論の幾何学的直観形成」として進めています。詳しくは、研究としての基本情報をご覧ください。