F氏との複雑系に関する対話

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

14年前の文章だけど、核心ついてる。でも、もう「複雑系」って言葉だけで踊らされる人もいない気もするけどどうかな？→「複雑系で嘘をつく法」 pathfind.motion.ne.jp/complex.htm

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori 複雑系は滅びんでしょう。ビッグデータの名を変えて案外そばにいるかもしれません。まずは確実に動作する小さなモジュールから仕上げて、システムを積み上げて研究するしかないのでは。

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

@0xMETACPP 本当に研究したい（複雑な）対象をナイーブに作る方向と、本質を抽出したと（思える）シンプルなモデルを行ったり来たりするのがいいでしょうね。複雑なだけだと何がなにやら分からないですけど、シンプルな系の研究だけでは本当に知りたい事だったのか不安です。

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

@0xMETACPP 初期値鋭敏性を真に受けるならディテールこそが大事という見方も出来ますし、アトラクターこそが重要と考えるならディテールに左右されない全体の構造をみなければなりません。複雑系の概念の嫌らしい所は、最初から「小さい事からコツコツと」を否定しているように見える事です

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

@0xMETACPP 要素に還元できない現象を追求したいわけですから、最初から研究計画が破綻していると見えなくもないですw

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori 総力戦の概念を敷衍して、総力研究というものを遂行すれば良いのではないかと考えています。

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

@0xMETACPP 最初から負けてるw。竹槍で空襲に対抗しようとしているかもしれません。

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori とはいえですよ、例えば車だって要素に還元すれば、鉄板やらボルトの集合体なわけですが、システムとしては「車」という機能を発揮します。しかし、システムを研究したいからといって、部品をいい加減にして良いわけでもなく、むしろ部品の精度向上が車を成立させています。

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori ですので両者は両立するし、むしろ両立させねばならない。しかし、リンク先にあるように全体的を真に技術的に統括する機能は必要でしょう。補給の概念を援用すれば、この統括機能には教育も含まれると。

Hiroki MORI (森 裕紀) モデルナワクチン三回済 @HirokiMori

@0xMETACPP 「両立させねばならない」ホントその通りです。制御工学にとってのラプラス変換や線形モデリングにあたる包括的な理論が無いのも問題でしょうね。場当たり的で、博物学的な現象のリストアップに毛が生えたような印象は未だにもっています。まあ、僕も加担しているわけですが…

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori リストアップも必要なので、やるならティコブラーエ級のリストアップをしなければならないということでは。ティコのデータがあったからこそ、ケプラー、ニュートン、力学の成立とつっいたわけで。

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori 複雑系研究者はまずティコになるべし。ただしその観察精度は火星のズレ8分に対して4分以下でなければならないわけで。とにかくデータをとって100年に1度の天才を待つのも戦略ではないかと思います。

将来の夢、Coq証明職人 @0xMetaMetaP

@HirokiMori しかも、ケプラーもニュートンもその本質においては錬金術士であったわけですから、表面的な科学の装いというのは無意味ですよ。旧石器捏造事件だって相当科学の装いをまぶしてあったわけですからね。