本文へ移動Skip to content
projects.daito.ws

17 QUESTIONS / TWO LEVELS

数式から円盤まで、
17の質問に答える。

同じ問いに、図を使った中学生向けの説明と、専門家向けの厳密な説明で答えます。短い入口と技術的な根拠を往復しながら、何が確認され、何がまだ主張できないのかを分けて示します。

17 QUESTIONS 中学生向け+図解 専門家向け 根拠と限界

本FAQでは、Ramanujanに直接帰属する式、関連する数学的文脈、プロジェクトが構成した人工式を区別します。ここでいう人工式とは、既知の数学的対象を材料に、本プロジェクト内で定義した実験式です。「偽物」や「誤った式」という意味ではありません。AIが新しい定理を発見・証明したとは主張しません。

01 / QUESTIONS

知覚のあとから、説明が追いつく

質問を開くと二つの回答が表示されます。検索と対象読者の切り替えは表示を整理するためのもので、回答内容や根拠を変更しません。

表示する回答
17件の質問
01 ラマヌジャンに関係する数学から、人工的な数式をどのように作ったのですか?

中学生向け

模式図:数学的な材料を組み替え、計算できる実験式の候補を作ります。

ラマヌジャンに直接関係する数論的対象に加え、q級数やモジュラー形式など、強い数学的・歴史的文脈を持つ対象を「材料」として使いました。材料を少しずらして比べたり、重みを付けたり、足したり掛けたりして、多くの組み合わせを計算しています。

AI支援で候補を構成し、計算機で評価・比較しました。どの材料を使い、何を作品として残すかは人間が決めています。現在の一層テストと軌跡アニメーションで扱っているFormula 54も、ラマヌジャン本人の公式ではなく、このプロジェクトが構成した有限の実験式です。

専門家向け

Formula 54は、法の異なるRamanujan sumをlag付きで相関させ、Ramanujan tauで重み付けした有限人工相関場です。使用する法、lag、有限打切り数、評価半径はregistryに固定しています。

FORMULA RENDER / PENDING

canonical 60式とは別の内部Expanded 160に含まれるFormula 61–160では、Rogers–Ramanujan連分数、Delta、partition、mock theta、Eisenstein series、Möbius Lambert seriesなどを成分とし、入力の冪・円分回転・複素重み・加算・積を組み合わせました。これは画像の重ね合わせではなく、複素関数の値の段階での再構成です。AIは探索と検証を支援しましたが、歴史的恒等式や新定理としては扱っていません。

02 数式を二次元の模様に変換するとき、どのような工夫をしていますか? 見ただけで数式由来だと分かりますか?

中学生向け

模式図:場所ごとの計算結果を三つの地図にし、その特徴を渦巻きの線間隔へ移します。

円の中にたくさんの計算地点を置き、それぞれの場所で数式を計算します。すると「値の強さ」「複素数の向き(位相)」「変化の激しさ」が場所ごとに違う地図ができます。

現在のTime-Aware方式では、そのうち選んだ地図を輪郭として写すのではなく、円を回る一本の渦巻きの間隔へ置き換えます。数式が線と線の間隔を動かすのです。ただし、模様を見ただけで元の数式を当てることはできません。どの式から作ったかは、制作記録と、同じ条件から同じ結果を作り直せることによって示します。

専門家向け

複素q平面の円盤領域をcanonical Cartesian gridで有限評価し、magnitude、phase、spherical-derivativeの三つのscalar viewを抽出します。現在のTime-Aware一層テスト Formula 54-Cでは、選択した場をmask付き平滑化とrobust normalizationへ通し、単調に内側へ進む極座標spiralの局所pitchへ写像しています。

この処理は、複素場からscalarへの射影、有限sampling、正規化、平滑化、経路化を含む情報圧縮です。そのため見た目だけから「数式由来」と証明したり、元の式を一意に逆算したりはできません。根拠はformula ID、view ID、field hash、trajectory recipe、SVGを結ぶprovenanceです。

03 AIと計算機を使って構成した人工式について、何を「正しい」と確認していますか?

中学生向け

模式図:定義・プログラム・再計算の確認と、新しい定理の証明は別の検査です。

ここでの人工式は、学校の問題のように答えが○か×かというより、「このルールで新しい関数を定義します」というものです。まず、式と計算範囲が明記されているか、プログラムがその定義どおりか、計算できない場所を隠していないか、同じ条件で同じ結果になるかを確認します。

ただし、計算できることと、数学的に重要な新定理であることは別です。この作品では、新しい定理を発見・証明したとは言っていません。

専門家向け

人工式そのものは、まず有限の関数としての定義です。確認を、①式・定義域・有限打切り・パラメータが明記されているか、②registryとevaluatorが一致するか、③指定した有限格子で数値状態が健全か、④記録された実行環境内で再現できるか、に分けています。domain、singular、nonfinite、clamped、ill-conditionedは値0へ潰さずstatus maskとして記録します。数学的新規性や重要性は別の問いです。

一部の構成には有限係数監査や既知の代数的性質の検査がありますが、それは全人工式の収束、独立性、新規性、重要性を一括して証明するものではありません。数値評価PASSは「指定した有限領域で、実装どおり計算できた」という範囲の証拠です。

04 どこまでがラマヌジャンで、どこからが作者やAIなのですか?

中学生向け

模式図:数学史は材料を、AI・計算機は候補と比較を、作者は選択と責任を担います。

ラマヌジャンから受け継いでいるのは、ラマヌジャン和やタウ関数などの数学的な材料と、その歴史です。作者は、どの材料を組み合わせ、どの見方を使い、どの線を作品として残すかを決めました。AIは候補を広げ、計算や比較を速めています。

現在の一層テストで扱うFormula 54は、ラマヌジャン本人の公式ではありません。ラマヌジャンに関連する材料から、このプロジェクトが構成した有限の実験式です。

専門家向け

現行の60式registryは、direct_ramanujan 3件、modular_context 7件、note_experiment 49件、excluded_control 1件を区別しています。したがって全体を「ラマヌジャンの60公式」と呼ぶことはできません。

AIの役割は、候補再構成、有限評価、可視化、類似度・重なり分析、経路生成、検証補助です。問いの設定、authority境界、採否、意味、物質化、最終的な作者的・倫理的責任は人間側にあります。

05 AIを使わなくても同じものは作れますか?

中学生向け

模式図:式・見方・設定を固定すれば、同じデジタル模様を再計算できます。

記録された同じ実行環境と条件なら、AIにもう一度考えさせなくても同じデジタル模様を再計算できます。AIは候補探索と比較を速めました。

完成した模様を作り直すことと、そこへ至る発見や判断の過程まで同じにすることは別です。

専門家向け

registry、有限打切り、grid、view、normalization、trajectory recipe、Planner条件を固定すれば、現行パイプラインはAIへ再問い合わせせずに実行できます。canonical Atlasの生成にrandom sourceはなく、記録されたruntime内で決定的です。

ただし、異なるruntime間のbit-identical性が自動的に保証されるわけではありません。また、出力の再生成可能性と、AIを含む探索史や作品概念の再現可能性は区別する必要があります。

06 同じ数式から、違う模様を作ることはできますか?

中学生向け

模式図:同じ数式でも、観察する特徴を変えると異なる模様になります。

できます。同じ土地でも、高さの地図、気温の地図、坂の急さの地図は違って見えます。この作品でも、一つの数式を「値の強さ」「向き」「変化の激しさ」という三つの見方で観察しています。

ただし、数式と見方と設定を全部同じにすれば、同じ模様を作り直せます。

専門家向け

同じ複素場をmagnitude、phase、spherical-derivativeという異なる三つのviewで観測できます。同一viewでも、平滑化、正規化、pitch modulation、回転などを変えれば別のtrajectoryになります。他のformulaをlayerとして重ねた場合は、同じ数式だけから作った模様ではありません。

一方、formula ID、parameter、view ID、全transform、runtime条件を固定すれば出力は決定的です。パラメータまで変えた場合は、同じ数式族であっても同一の関数インスタンスとは限りません。

07 なぜ「値の強さ」「位相」「変化率」という三つの見方を使うのですか?

中学生向け

模式図:一つの数式を、強さ・向き・変化の激しさという三つの窓から見ます。

複素数には大きさと向きがあります。さらに、場所を少し動かしたときに値がどれくらい急に変わるかも調べられます。一つの見方だけでは見えない特徴を、三つの窓から比べるためです。

専門家向け

magnitudeは対数圧縮した絶対値、phaseは複素偏角、normalized derivativeは値の大きさに支配されにくい局所変化を観測します。現行derivativeは解析微分や自動微分ではなく、canonical Cartesian grid上の中心差分による数値推定です。

三viewは関数の完全な表現でも、零点・極・恒等式の証明でもありません。互いに異なる構造を抽出する、相補的な観測方法として選んでいます。

08 数式から作った模様が似ているとき、元の数式も数学的に同じなのですか?

中学生向け

模式図:別の数式が似た模様になっても、数学的に同じだとは限りません。

同じとは限りません。違う曲でも波の形が一部似ることがあるように、別の数式が似た模様になることがあります。反対に、同じ数式でも見方を変えると違う模様になります。

専門家向け

有限格子化、scalar projection、percentile normalization、色変換、平滑化、pitch encodingはいずれも情報を圧縮し、多対一になり得ます。画像類似度は候補の近似重複を避けるためのheuristicであり、関数同一性、代数的独立性、恒等式、解析的同値性の証拠ではありません。

既知の恒等関係が視覚的近似を説明する例はありますが、視覚的類似だけから関数同一性や恒等関係を結論づけたり、証明したりはできません。

09 美しい模様を選ぶことと、数学的に重要な式を選ぶことは同じですか?

中学生向け

模式図:作品としての見た目と、数学としての重要性は、別々の基準で確かめます。

同じではありません。見た目の美しさは作品として選ぶ理由の一つですが、数学的重要性は、証明された性質、他の数学との関係、その結果が生む問いなどを別に検討して判断します。

この作品は、その二つが一致しないことも大切な問題として扱っています。

専門家向け

視覚選抜では、可読性、重複率、密度、局所構造、layer間干渉などを比較します。Time-Awareではさらに経路長、pitch、層数、機械時間などの制作条件を考慮します。これらは作品判断と経路選定の指標であり、数学的新規性や重要性のrankingではありません。

高順位、複雑さ、美しさを、真理、高度な知性、数学的重要性、加工安全性の証拠へ昇格させないことが重要です。

10 なぜ一本の線に変換するのですか?

中学生向け

模式図:一本の線は外側から内側へ進み、模様の中に「先」と「後」の順番を作ります。

一本の線にすると、模様が一瞬で現れる画像ではなく、機械が外側から内側へ進む一つの旅になります。どこを先に通り、どこを後に通るかという時間が作品に入ります。

専門家向け

Time-Aware方式は数値場をsingle trajectoryの局所pitchへ圧縮し、角度方向の進行と半径方向の内向き進行を保ちます。空間的な場を、順序、速度、加速度、所要時間を持つ機械運動へ変換するためです。

「一筆書き」は1 SVG centerlineが1 path/0 liftであるというtopologyの主張です。複数layerのcompositeを一本と呼ぶことや、1 pathを加工安全性・完成品質の保証とみなすことはできません。

11 なぜ円盤でなければならないのですか?

中学生向け

模式図:中心からの距離と回転角で表した場所を、回る円盤と内向きの針の動きへ変換します。

数式を調べる場所を、中心からの距離と回る角度で表しているため、円盤と相性があります。円盤を回しながら針を内側へ動かすことで、二次元の模様が一本の時間になります。

専門家向け

複素入力qは r eiθ と表せますが、数値場自体はq-disc内のCartesian gridで有限評価します。選択したscalar fieldを極座標spiral上で参照し、plotterの角度軸と半径軸を持つtrajectoryへ変換します。現行作品では半径8–140 mmの環状領域と回転運動が、二次元の場を順序付きtrajectoryへ変える認識装置として機能します。

円盤は数学一般の必然ではありませんが、現在の作品では本質的な形式です。別形状を採用する場合は、同じ作品の支持体交換ではなく、作品の核を変更する派生として再検討する必要があります。中心の空白にも一つだけの象徴的意味を固定しません。

12 なぜ画面表示ではなく、金属へ刻むのですか?

中学生向け

模式図:画面上の像を、針の時間と力によって金属に残る痕跡へ変えます。

画面では模様をすぐ表示できます。本作では、針が実際の時間と力を使って金属へ傷を残す構成を選んでいます。計算を物質的な痕跡へ変えるためです。ただし、実加工が完了したという意味ではありません。

専門家向け

金属への刻印によって、抽象的な関係は線幅、密度、傷、反射、抵抗、機械時間を持つ不可逆な痕跡になります。animationとInteractive HTMLは、経路、密度、黒化、速度を確認する制作テストであり、物理円盤と同格の作品要素ではありません。

物理形式は確定していますが、実加工系は未校正です。現在は physicalStatus=uncalibrated、machineReady=false であり、実工具、材料、pressure/depth、runout、tracking error、tool wearを含む安全性と完成品質は未確認です。

13 AIと人間のどちらが作者なのですか?

中学生向け

模式図:AI・計算機が候補を広げ、人間の作者が選択し、意味と責任を引き受けます。

作者として最終的に選択し、説明し、責任を持つのは人間です。AI/計算機は、候補の構成、有限評価、比較、検証を支援・高速化しました。

どちらか一方だけで作ったと考えるより、仕事の違いを見る方が正確です。

専門家向け

本作は、数学史、AI/計算探索、作者、機械、鑑賞者という五つの知性を区別します。AIは候補空間を広げ、有限評価、比較、検証、整理を高速化します。作者は問い、authority、採否、意味、物質化、最終責任を引き受けます。

これは法的な共同著作者性を判定する説明ではなく、制作上の役割分担です。「AIか人間か」という二者択一に還元しないことが、作品の倫理的な境界でもあります。

14 この研究によって新しい数学は発見されましたか?

中学生向け

模式図:新しい式の組み合わせを作ることと、新しい定理を証明することは同じではありません。

新しい組み合わせの式は作りましたが、それと新しい数学の発見は同じではありません。現時点では、新しい定理を発見した、または証明したとは言っていません。

専門家向け

project-authored formula experimentは、新しい関数や有限相関場の定義です。そこから限定された代数的性質や実装上の共変性を検証できる場合はありますが、「新しい式を構成した」と「新定理・恒等式・数学的重要性を発見した」は分離しています。

現時点で後者の主張はありません。数値評価PASSや視覚的新規性も、無限級数としての収束、定理性、数学的重要性の証拠にはなりません。

15 模様から元の数式を復元できますか?

中学生向け

模式図:模様だけでは元の式を一つに戻せませんが、制作記録から式と設定をたどれます。

模様だけから元の式を一つに決めることはできません。料理を見ただけで、材料の量や作った手順を完全には戻せないのと似ています。

ただし制作記録があれば、どの式と設定から作ったかをたどれます。

専門家向け

有限sampling、scalar化、normalization、colormap、blur、pitch mapping、座標量子化を通るため、変換は非単射で、inverse problemは一般に一意ではありません。未知の画像から式を数学的に逆算することと、既知catalog内の画像をhashやmetadataで同定することも別です。

本作ではformula ID、view ID、parameter、field hash、image hash、trajectory recipeを結ぶprovenanceによって出所を確認します。「絶対に復元不可能」ではなく、「この可視表現だけから一意には復元できない」というのが正確です。

16 Plannerで運動に変換できること、実機で加工できること、数学的に正しいことは、どう違いますか?

中学生向け

模式図:数式、Planner、実機加工には、それぞれ別の合格条件があります。

Planner PASSは、決めた速度や加速度の条件で、デジタルの線を機械の運動列へ変換できたという意味です。実際の機械で安全かつ正確に完成できることは、まだ確認していません。数式の定義や計算が正しいかどうかは、さらに別の検査です。

専門家向け

帰属と定義、有限数値評価、registryと実装の一致、SVG topology/寸法、Planner compilation、実機校正を独立したgateとして扱います。Plannerが答えるのは、固定条件下で経路を機械運動へコンパイルできたかどうかです。

それは恒等式の証明、数学的重要性、工具干渉、材料挙動、controller tracking、実加工安全性を保証しません。「数学的に正しい」も、well-definedness、実装適合、命題の真偽、数学的重要性へ分解して答える必要があります。現行状態は physicalStatus=uncalibrated、machineReady=false です。

17 最終的な模様は、たくさんの候補からどのように選んだのですか?

中学生向け

模式図:候補を3つずつ比べ、線が同じ場所に集まりすぎない組を選び、重ねて一つの模様にします。色は説明のための区別で、最終作品の色ではありません。

まず、数式からたくさんの候補模様を作ります。次にコンピューターが3つずつ組み合わせ、同じ場所に線が集まりすぎていないか、それぞれの模様の違いが残っているかを比べます。模様を回したり、鏡のように左右反転したりしながら、重なりと濃さの偏りが比較的小さい組み合わせを探します。

その計算結果から作者が3つを選び、同じ円の上に重ねて、最終的な一つの模様を決定しています。コンピューターの点数は候補を絞る道具であり、作品としての最終判断は人間が行います。

専門家向け

実装では、候補軌跡をグレースケールのcontinuous coverage fieldへラスタライズし、相異なる生成戦略またはformulaから3層を抽出します。各層には円盤中心まわりの回転とhorizontal reflectionだけを許可し、translationとscalingは行いません。変換後の被覆和を T とすると、excess coverageを全被覆量で正規化した duplicate = Σ max(T − 1, 0) / Σ T と局所的な密度集中度を求め、score = duplicate + 0.10 × concentration が小さい組み合わせを優先します。

固定seedによる広域探索の後、回転角と反転状態を段階的に局所最適化し、近似重複の少ない候補群を順位化します。その結果を作者が確認して3層を採用し、視覚上の一つの合成模様として重ねます。過去の5層比較は探索史として残りますが、最終形の層数は今回3層に確定しました。

これは縮小ラスタ上の視覚的heuristicであり、全組合せの完全探索、ベクトル曲線の厳密な交点数、stroke-edge clearance、工具掃引体積、加工安全性、数学的重要性の評価ではありません。また、一つの合成模様であっても、3層全体を一本の連続pathへ結合したという意味ではありません。実加工については引き続き physicalStatus=uncalibrated、machineReady=false です。

02 / READING GUIDE

FAQ全体を読むための三つの境界

ATTRIBUTION

由来を一括しない

Ramanujan本人の式、関連する数学、プロジェクトが構成した人工式を区別します。見た目の連続性と資料上の帰属は別です。

VERIFICATION

PASSは理解ではない

有限評価、画像、SVG、Plannerにはそれぞれ別の検査があります。どれか一つのPASSで数学的重要性や全体理解を保証しません。Planner PASSは、実加工の安全性や完成を意味しません。

MATERIALIZATION

映像は円盤ではない

Web、アニメーション、SVGは制作研究と検証のための資料です。作品本体として選んだ形式は、数式由来の軌跡が金属へ不可逆に刻まれることにあります。実加工の完了を示す文ではありません。