スパイが時系列を操作した特殊詐欺を仕掛けるために、これとか https://t.co/paXMTy58Z6 これとか https://t.co/Zd3YbwzHvM これ https://t.co/a01X7eCYTa を存在しないことにして乗っ取りをしかけ続けているわけで、スパイが関係者だという事実なんてないぞ。

https://t.co/Zd3YbwzHvM モデル式を立てる、適切化する、解く、このように問題を捉えた時、再構築する際の手戻りが多くなる。

https://t.co/NX4BwdpQ6q

https://t.co/Zd3YbwzHvM で、こんなの中学生でもできる、俺たち天才な人たちは、勝手にフェードアウト。

https://t.co/Zd3YbwzHvM まああれだ、こんなもん中学生でもできる、東工大情報はバカアホ間抜けみたいなことを吠えるスパイがその実装である https://t.co/BWfqULY7M7 を自力で開発することなどできないが、ソースコードを盗み出してしばらくして起源を主張し始めることは日常茶飯事。

https://t.co/Zd3YbwzHvM 2003年の書かれた私の論文を基に設計された「行列システム」は https://t.co/BWfqULY7M7 や https://t.co/Wo8X3vI6w8 や https://t.co/R0wtVUKQVz など複数の顔をしているけど、論文の原型を知っている人はこれらが全部この論文の派生物だとわかる。

で、 https://t.co/BWfqULY7M7 や https://t.co/Zd3YbwzHvM について、クソクソ、東工大は無能とかブツブツ言い続けてるやつは直接なんか言ってこないわけ？

https://t.co/Zd3YbwzHvM 行列システムってこれです。

https://t.co/Zd3YbwzHvM この時の論文とか奥深いよな。 有限要素法と境界要素法で空間が変わるからソリッドモデルとサーフェースモデルを交換するのが重要だったわけね。 ∫S, ∫V

https://t.co/Zd3YbwzHvM ２０年前の自分の論文をベースにしたプログラムで、観測データ中心とか、チコノフの適切化とか、集合Setsでとか、S = {x| ... where ...} とか、作用素でとか、写像でとか、使っているのを１５年後にブツブツ言われて起源を主張されても

@knsmr コンパイラがAIと言えるかどうかは推論のレベルによるかと implicit functionや作用素(微分や積分など)のレベルで推論するのなら mathematica になりますし、オペレーションリサーチのようにLP問題まで解けば意思決定ツールとなりますし https://t.co/Zd3YbwzHvM ちなみに２０年前にかいた論文です

https://t.co/NX4BwdqnVY 手戻りを減らすためには100%に近づける必要があるのだけど、妥協をしなければどんどん難易度が上がるんだよな。

@Takeshi_Inoue03 ああ、GUTはgrand unified theoryの略ね。 https://t.co/NX4BwdHqXY 私がやっているのはマクスウエル方程式など有限要素法、境界要素法などをはじめとした数値計算を考慮したフレームワークの話であって、大統一理論を解くための計算機基盤の話です。大統一理論の証明をする話などはしていない。

@Takeshi_Inoue03 @shinji_kono https://t.co/Zd3YbwQKxM だから、全ソフトスタックを写像、集合、作用素、関数で抽象化して宣言的に統合するのが私の手法なのですけど。

https://t.co/Zd3YbwQKxM 1) モデル化 2) 適切化 3) 解く を一体化させて手戻りを発生させない手法に関しては私の修士論文のアブストラクトにもかいていて、写像プログラミングの最大の特徴は手戻りが発生しないことなんだが。

https://t.co/Zd3YbwQKxM 問題→解法→解の取得　という手続き論でなく 解空間の定義が問題を解くことであるというパラダイムなのだけど、あまり内容が伝わらないんだよな。