宇宙ロケットをも吹き飛ばすソフトウェアバグは根絶できるのか
製品開発を進める上でソフトウェアバグへの対応は重要だ。特に、ランタイムエラーの検出や根絶は極めて難しい。MathWorksの静的検証ツール「Polyspace」を使えば、開発したソフトウェアコードにランタイムエラーが無いことを「証明」することができる。
システム開発において、ソフトウェアバグの根絶は難しいという話はご存じの通り。特にランタイムエラーの検出や根絶は極めて難しいものがある。では、根絶できないから放置して良いのかというと、当然そんなわけにはいかない。
根絶できなかったバグが引き起こした問題で最も有名な事例の1つになるのが、1996年6月に打ち上げを行った宇宙ロケット「アリアン5」の1号機だ。ESA（欧州宇宙機関）が運用していたこのロケットは、打ち上げ後37秒で爆発した。その理由は、打ち上げ37秒後に舵を最大にするコマンドがモーターに送られて進路が急激に変更され、空気抵抗を受けてロケットが折れてしまったためだ。
なぜ最大舵のコマンドが送られてしまったのか。実は、バックアップ用の慣性航法装置内部で64bitの変数を16bitに代入しており、ここでオーバーフローが発生したためだった。典型的なランタイムエラーであるが、その結果は3億7000万ドルもの大損害につながった。
「アリアン5」の事故を研究して生まれた「Polyspace」
宇宙ロケットに限らず、ミッションクリティカルなシステムにおいてはランタイムエラーが破滅的な結果を及ぼす場合がある。こうした問題を、ホワイトボックステストとかブラックボックステストなどの動的検証で、完全に捕らえて根絶するのは困難だ。
それもあって、自動車業界では「コーディングルールの形で、ランタイムエラーにつながる問題を根絶させよう」という取り組みがなされ、「MISRA-C」や「MISRA-C++」として広く普及している。最近では、自動車業界以外でもMISRA-C/C++が次第に利用されるようになってきている。しかし、たとえMISRA-C/C++を運用していても、ランタイムエラーを起こさないことが保障されているわけではない。
もっと根本的に根絶する方法は無いか、という研究が冒頭のアリアン5の事故を受けて始まった。この研究では、静的検証の形で、ランタイムエラーを引き起こし得る要因を検出するという内容だった。その結果として生まれたのが、MathWorksの静的検証ツール「Polyspace」である。
Polyspaceを使えば、静的にコードを検証して、その段階でランタイムエラーになり得る潜在的なバグに対応することができる。具体的には、オーバーフローやゼロ除算、負の値に対するシフトなどの数値的欠陥、ポインタ演算に絡む静的メモリの欠陥、メモリの開放忘れなどの動的メモリの欠陥、さまざまなプログラミングの欠陥やセキュリティの欠陥、汚染されたデータの欠陥、スレッド／プロセス間同期に関する欠陥などを、全てコードベースで確認して指摘してくれるのだ。それだけでなく、最終的にはこうした指摘を正しく修正したコードに対して、ランタイムエラーが無いことを「証明」してくれる、という機能も有している。
「Polyspace」による静的コード検証結果の画面。ランタイムエラーが無いことの「証明」状況が一目で分かり、コードを実行しなくてもマウスを合わせるだけで変数のとり得る値の範囲も示される 出典：マスワークスハンドコードの多いミッションクリティカル機器の開発に最適
静的なコード検証ツールは世の中に幾つも存在する。しかし、コードにランタイムエラーが無いことを「証明」してくれるツールは、Polyspaceの他にはほとんどないのが実情だ。この「証明」こそが、宇宙／防衛、医療機器といったミッションクリティカルな用途向けには極めて重要である。
ミッションクリティカル機器を開発する場合、認証済みの機器やソフトウェアの再利用を求められることも多い。そのカスタマイズについては、技術者が自身の手でプログラミング（ハンドコード）することになる。どうしてもランタイムエラーなどのバグの原因になりやすいハンドコードに対して、Polyspaceは大きな威力を発揮する。
こうしたミッションクリティカル分野を中心に、300以上の顧客が、2000以上のライセンスを利用しているPolyspaceだが、近年では自動車業界で採用する例も増えてきた。自動車業界では、自動車メーカー／ティア1サプライヤー／ティア2……という多層的なサプライチェーンを構成しているのが一般的だ。開発するコードは、さまざまなティアのものが混在しやすく、あるサブシステムが大きなシステムに組み込まれるSystem in System的な構造にもなりやすい。
こうした大規模なシステムでは、ランタイムエラーが発生した場合、その影響の大きさもさることながら、問題の特定とその修正に多大な時間とコストが掛かってしまう。これを避けるためには、全てのティアで納入前にPolyspaceを使い、問題が無いことを証明できる状態まで持ってゆくことで、テスト段階からの大幅な手戻りを未然に防ぐことが可能になる。
また、自動車向けならISO 26262、一般産業機器向けならIEC 61508といった機能安全規格についても、これらの規格の認証の取得のために並々ならない努力が必要、という話もよく知られている。Polyspaceを利用すると、これらの認証取得に必要となるさまざまなソフトウェア検証項目を達成できる。
「Bug Finder」と「Code Prover」から構成
Polyspaceは、バグ検出やコードメトリックスを行う「Polyspace Bug Finder」と、最終的なコードに問題が無いことを証明する「Polyspace Code Prover」から構成される。コーディングの途中ではPolyspace Bug Finderを使って細かくチェックを入れながら問題の箇所をつぶして置き、ある程度完成したらPolyspace Code Proverを使って全体のチェックを掛ける、という手法が一般的な運用法になるだろう。それぞれの製品Webサイトには、紹介ビデオやホワイトペーパーなども用意されているので、プロジェクト成果物の品質管理に悩んでいるのであればぜひ検討してほしい。
「Polyspace Bug Finder」と「Polyspace Code Prover」の機能の違い。両製品ともインタフェースなどは共通であり、シームレスに運用することができる 出典：マスワークス
とても興味深く見ました：次の文を参考にしてください：
再生核研究所声明 １４８（2014.2.12） 100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
１００割る０ の意味を質問されたが（なぜ １００÷０は１００ではないのか？ なぜ １００÷１は１００なのか… ０とは何...aitaitokidakenimoさん）、これは、定義によれば、その解、答えが有るとして、a と仮に置けば、 １００＝a ｘ０ = ０ で矛盾、すなわち、解は、答えは存在しないとなる。
方程式 a ｘ０= b は b=０ でなければ 解は無く、答えが求まらない。（特に、bが０ならば、解 a は 何でも良いと言うことに成る。）
解が、存在しなかったり、沢山の解が有ったりすると言う、状況である。
そこで、何時でも解が存在するように、しかも唯一つに定まるように、さらに 従来成り立っていた結果が そのまま成り立つように（形式不変の原理）、割り算の考えを拡張できないかと考えるのは、数学では よくやることである。数学の世界を 美しくしたいからである。
実際、文献の論文で 任意関数で割る概念を導入している。
現在の状況では、b 割るa の意味を ax – b の２乗を最小にする x で、しかも x の２乗を最小にする数 x で定義する。後半の部分が無いと、a が０の場合 x が定まらない。後半が有ると０として、唯一つに定まる。この意味で割り算の意味を考えれば、１００割る０は ０ であるとなる。
上記で もちろん、２乗を最小にする の最小値が０である場合が、 普通の割り算の解、
b 割るa を与える。
もちろん、我々の意味で、０割る０は 曖昧なく、解は唯一つに定まって、０となる。
f 割る g を ロシアの著名な数学者 チコノフの考えた正則化法 と 再生核の理論 を併用すると 一般的な割り算を 任意関数g で定義できて、上記の場合は、１００割る０は ０ という解に成る。
すなわち、解が存在しなかった場合に、割り算の意味を 自然に拡張すると 唯一つに解は存在して それは０であると言う、結果である。
上記で、ax – b の２乗を最小にする x で、と考えるのは、近似の考え方から、極めて自然と考えられるが、さらに、x の２乗を最小にする数 x とは、神は、最も簡単なものを選択する、これはエネルギー最小のもの、できれば横着したい という 世に普遍的に存在する 神の意志 が現れていると考えられる（光は、最短時間で到達するような経路で進むという ― フェルマーの原理）、神が２を愛している、好きだ とは 繰り返し述べてきた（神は ２を愛し給う）（http://www.jams.or.jp/kaiho/kaiho-81.pdf）。
これで、０で割るときの心配が無くなった。この考えの 実のある展開と応用は多い。
― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明１４６で与えられ、神の定義は 声明１２２と１３２で与えられている。―
以 上
文献：
Castro, L.P.; Saitoh, S. Fractional functions and their representations. Complex Anal. Oper. Theory 7, No. 4, 1049-1063 (2013).
ゼロの発見には大きく分けると二つの事が在ると言われています。
一つは数学的に、位取りが出来るということ。今一つは、哲学的に無い状態が在るという事実を知ること。http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1462816269
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも０であるという意外な結果が得られた。
原点を中心とする単位円に関する原点の鏡像は、どこにあるのでしょうか・・・・
∞ では
無限遠点はどこにあるのでしょうか・・・・・
無限遠点は存在するが、無限大という数は存在しない・・・・
ゼロ除算（1/0=0）は、ピタゴラスの定理（a2 + b2 = c2 ）を超えた基本的な結果であると考えられる。
地球平面説→地球球体説
天動説→地動説
何年かかったでしょうか????
1/0=∞若しくは未定義 →1/0=0
何年かかるでしょうか????
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
もし1+1=2を否定するならば、どのような方法があると思いますか？ http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12153951522 #知恵袋_
一つの無限と一つの∞を足したら、一つの無限で、二つの無限にはなりません。
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス
数学名言集：ヴィルチェンコ編：松野武 山崎昇 訳大竹出版1989年
数学で「A÷０」（ゼロで割る）がダメな理由を教えてください。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1411588849 #知恵袋_
割り算を掛け算の逆だと定義した人は、誰でしょう？？？
0×0=0・・・・・・・・・だから0で割れないと考えた。
唯根拠もなしに、出鱈目に言っている人は世に多い。
multiplication・・・・・増える 掛け算（×） 1より小さい数を掛けたら小さくなる。 大きくなるとは限らない。
ビッグバン宇宙論と定常宇宙論について、http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1243254887 #知恵袋_
ゼロ除算（100/0=0, 0/0=0）が、当たり前だと最初に言った人は誰でしょうか・・・・ 1+1=2が当たり前のように
『ゼロをめぐる衝突は、哲学、科学、数学、宗教の土台を揺るがす争いだった』 ⇒ http://ameblo.jp/syoshinoris/entry-12089827553.html …… →ゼロ除算（100/0=0, 0/0=0）が、当たり前だと最初に言った人は誰でしょうか・・・ 1+1=2が当たり前のように、
1÷0=0 １÷0＝∞・・・・数ではない １÷0＝不定・未定義・・・・狭い考え方をすれば、できない人にはできないが、できる人にはできる。
明治5年（1872）
ゼロ除算の証明・図｜ysaitoh｜note（ノート） https://note.mu/ysaitoh/n/n2e5fef564997
Ｑ）ピラミッドの高さを無限に高くしたら体積はどうなるでしょうか？？？ Ａ）答えは何と0です。 ゼロ除算の結果です。
ゼロ除算は1+1より優しいです。 何でも0で割れば、０ですから、簡単で美しいです。 1+1=２は 変なのが出てくるので難しいですね。
∞÷0はいくつですか・・・・・・・
∞とはなんですか・・・・・・・・
分からないものは考えられません・・・・・
1人当たり何個になるかと説いていますが、1人もいないのですから、その問題は意味をなさない。
よってこれは、はじめから問題になりません。
ついでですが、これには数学的に確定した解があって それは0であるという事が、最近発見されました。
Reality of the Division by Zero z/0 = 0
Einstein's Only Mistake: Division by Zero
０を引いても引いたことにならないから：
君に０円の月給を永遠に払いますから心配しないでください：
再生核研究所声明１７１（2014.7.30）掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である？
（2014.7.11小柴誠一、山根正巳氏との会合で、道脇裕氏の 割り算と掛け算は別であり、ゼロ除算100/0=0は自明であるとの考えを分析して得た考えを纏めたものである。）
ゼロ除算100/0=0は2014.2.2 偶然に論文出筆中に 原稿の中で発見したものである。チコノフ正則化法の応用として、自然に分数、割り算を拡張して得られたものであるが、歴史上不可能であるとされていること、結果がゼロであると言う意味で、驚嘆すべきことであること、さらに、高校生から小学生にも分る内容であると言う意味で、極めて面白い歴史的な事件と言える。そればかりか、物理学など世界の理解に大きな影響を与えることも注目される。詳しい経過などは 一連の声明を参照：
再生核研究所声明１４８（2014.2.12）100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明１５４（2014.4.22）新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明１５７（2014.5.8）知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか？
再生核研究所声明１６１（2014.5.30）ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明１６３（2014.6.17）ゼロで割る（零除算）－ 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明１６６（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ 世界観
しかるに いろいろな人たちと広く議論しているところであるが、世界の指導的な数学者でさえ、高校生でも理解できる発表済みの論文 その後の結果について、現代数学の常識を変えるものであり、受け入れられない、と言ってきている。まことに不思議なことであり、如何に驚くべき結果であるかを示していると言える。
多くの数学者は、内容を理解せず、100/0=0 は100=0 x 0 =0 で矛盾であると即断している。しかるに論文は 100/0 は 割り算の意味を自然に拡張するとゼロの結果を得るのであって、ゼロ除算の結果は 100=0 x 0 =0を意味しないと説明している。 逆に、無限大、無限遠点は数と言えるかと問うている。
ところが面白いことに 既に３月１８日付文書で、道脇裕氏は 掛け算と割り算は別であり、ゼロ除算100/0は 自明であると述べていた。しかし、その文書は、一見すると
矛盾や間違いに満ちていたので、詳しく分析してこなかった。しかるに上記７月１１日の会合で、詳しい状況を聞いて、道脇氏の文書を解読して、始めて道脇氏の偉大な考えに気づいた。結論は、ゼロ除算100/0は分数、割り算の固有の意味から、自明であると言うことである。これはチコノフ正則化法や一般逆とは関係なく、分数、割り算の意味から、自明であるというのであるから、驚嘆すべき結果である。千年を越えて、未明であった真実を明らかにした意味で、極めて面白い知見である。またそれは、割り算が掛け算の逆であり、ゼロ除算は不可能であるという長い囚われた考えから、解放した考えであると評価できる。
原理は日本語の表現にあるという、掛け算は 足し算で定義され、割り算は 引き算で定義されるという。割り算を考えるのに 掛け算の考えは不要であるという。
実際、2 x3 は ２＋２＋２＝６と繰り返して加法を用いて計算され、定義もできる。
割り算は、問題になっているので、少し詳しく触れよう。
声明は一般向きであるから、本質を分かり易く説明しよう。 そのため、ゼロ以上の数の世界で考え、まず、100/2を次のように考えよう：
100-2-2-2-,...,-2.
ここで、2 を何回引けるかと考え、いまは 50 回引いてゼロになるから分数は50であると考える。１００を２つに分ければ５０である。
次に 3/2 を考えよう。まず、
3 - 2 = 1
で、余り1である。そこで、余り1を10倍して、 同様に
10-2-2-2-2-2=0
であるから、10/2=５ となり
3/2 =１＋０．５＝ １．５
とする。３を２つに分ければ、１．５である。
これは筆算で割り算を行うことを 減法の繰り返しで考える方法を示している。a がゼロでなければ、分数b/aは 現代数学の定義と同じに定義される。
そこで、100/0 を上記の精神で考えてみよう。 まず、
100 - 0 = 100,
であるが、０を引いても １００は減少しないから、何も引いたことにはならず、引いた回数は、ゼロと解釈するのが自然ではないだろうか （ここはもちろん数学的に厳格に そう定義できる）。ゼロで割るとは、１００を分けないこと、よって、分けられた数もない、ゼロであると考えられる。 この意味で、分数を定義すれば、分数の意味で、
１００割るゼロはゼロ、すなわち、100/0=0である。（ここに、絶妙に面白い状況がある、０をどんどん引いても変わらないから、無限回引けると解釈すると、無限とも解釈でき、ゼロ除算は ０と無限の不思議な関係を長く尾を引いている。）
同様に０割る０は ゼロであること0/0=0が簡単に分かる。
上記が千年以上も掛かったゼロ除算の解明であり、 ニュートンやアインシュタインを悩ましてきたゼロ除算の簡単な解決であると 世の人は、受けいれられるであろうか？
いずれにしても、ゼロ除算z/0=0は 既に数学的に確定している と考えられる。そこで、結果の 世への影響 に関心が移っている。
以 上
文献：
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on 100/0=0 and on 0/0=0,
Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. Vol.4 No.2 (2014), 87-95.http://www.scirp.org/journal/ALAMT/
再生核研究所声明316（2016.08.19） ゼロ除算における誤解
（２０１６年８月１６日夜，風呂で、ゼロ除算の理解の遅れについて 理由を纏める考えが独りでに湧いた。）
６歳の道脇愛羽さんたち親娘が３週間くらいで ゼロ除算は自明であるとの理解を示したのに、近い人や指導的な数学者たちが１年や２年を経過してもスッキリ理解できない状況は 世にも稀なる事件であると考えられる。ゼロ除算の理解を進めるために その原因について、掘り下げて纏めて置きたい。
まず、結果を聞いて、とても信じられないと発想する人は極めて多い。割り算の意味を自然に拡張すると1/0=0/0=z/0 となる、関数y=1/xの原点における値がゼロであると結果を表現するのであるが、これらは信じられない、このような結果はダメだと始めから拒否する理由である。
先ずは、ゼロでは割れない、割ったことがない、は全ての人の経験で、ゼロの記録Brahmagupta(598– 668?) 以来の定説である。しかも、ゼロ除算について天才、オイラーの1/0を無限大とする間違いや、不可能性についてはライプニッツ、ハルナックなどの言明があり、厳格な近代数学において確立した定説である。さらに、ゼロ除算についてはアインシュタインが最も深く受け止めていたと言える：（George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} ：Gamow, G., My World Line (Viking, New York). p 44, 1970.）。
一様に思われるのは、割り算は掛け算の逆であり、直ぐに不可能性が証明されてしまうことである。ところが、上記道脇親娘は 割り算と掛け算は別であり、割り算は、等分の考えから、掛け算ではなく、引き算の繰り返し、除算で定義されるという、考えで、このような発想から良き理解に達したと言える。
ゼロで割ったためしがないので、ゼロ除算は興味も、関心もないと言明される人も多い。
また、割り算の（分数の）拡張として得られた。この意味は結構難しく、何と、1/0=0/0=z/0 の正確な意味は分からないというのが 真実である。論文ではこの辺の記述は大事なので、注意して書いているが 真面目に論文を読む者は多いとは言えないないから、とんでもない誤解をして、矛盾だと言ってきている。1/0=0/0=z/0 らが、普通の分数のように掛け算に結びつけると矛盾は直ぐに得られてしまう。したがって、定義された経緯、意味を正確に理解するのが 大事である。数学では、定義をしっかりさせる事は基本である。― ゼロ除算について、情熱をかけて研究している者で、ゼロ除算の定義をしっかりさせないで混乱している者が多い。
次に関数y=1/xの原点における値がゼロである は 実は定義であるが、それについて、面白い見解は世に多い。アリストテレス（Aristotelēs、前384年 - 前322年3月7日）の世界観の強い影響である。ゼロ除算の歴史を詳しく調べている研究者の意見では、ゼロ除算を初めて考えたのはアリストテレスで真空、ゼロの比を考え、それは考えられないとしているという。ゼロ除算の不可能性を述べ、アリストテレスは 真空、ゼロと無限の存在を嫌い、物理的な世界は連続であると考えたという。西欧では アリストテレスの影響は大きく、聖書にも反映し、ゼロ除算ばかりではなく、ゼロ自身も受け入れるのに１０００年以上もかかったという、歴史解説書がある。ゼロ除算について、始めから国際的に議論しているが、ゼロ除算について異様な様子の背景にはこのようなところにあると考えられる。関数y=1/xの原点における値が無限に行くと考えるのは自然であるが、それがx=0で突然ゼロであるという、強力な不連続性が、感覚的に受け入れられない状況である。解析学における基本概念は 極限の概念であり、連続性の概念である。ゼロ除算は新規な現象であり、なかなか受け入れられない。
ゼロ除算について初期から交流、意見を交わしてきた２０年来の友人との交流から、極めて基本的な誤解がある事が、２年半を越えて判明した。勿論、繰り返して述べてきたことである。ゼロ除算の運用、応用についての注意である。
具体例で注意したい。例えば簡単な関数 y=x/(x -1) において x=1 の値は 形式的にそれを代入して 1/0=0 と考えがちであるが、そのような考えは良くなく、y = 1 + 1/(x -1) からx=1 の値は1であると考える。関数にゼロ除算を適用するときは注意が必要で、ゼロ除算算法に従う必要があるということである。分子がゼロでなくて、分母がゼロである場合でも意味のある広い世界が現れてきた。現在、ゼロ除算算法は広い分野で意味のある算法を提起しているが、詳しい解説はここでは述べないことにしたい。注意だけを指摘して置きたい。
ゼロ除算は アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の基礎的な部分の変更は かつて無かった事である。と述べ、大きな数学の改革を提案している：
再生核研究所声明312（2016.07.14） ゼロ除算による 平成の数学改革を提案する
以 上
再生核研究所声明335（2016.11.28） ゼロ除算における状況
ゼロ除算における状況をニュース方式に纏めて置きたい。まず、大局は：
アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における初歩的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の初歩的な部分の期待される変更は かつて無かった事である。ユークリッドの考えた空間と解析幾何学などで述べられる我々の空間は実は違っていた。いわゆる非ユークリッド幾何学とも違う空間が現れた。不思議な飛び、ワープ現象が起きている世界である。ゼロと無限の不思議な関係を述べている。これが我々の空間であると考えられる。
１．ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。もちろん、普通の分数の意味ではないことは 当然である。ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。ゼロ除算を含む、四則演算が何時でも自由に出来る簡単な体の構造、山田体が確立されている。ゼロ除算の結果の一意性も 充分広い世界で確立されている。
２．いわゆる複素解析学で複素平面の立体射影における無限遠点は1/0=0で、無限ではなくて複素数0で表されること。
３． 円に関する中心の鏡像は古典的な結果、無限遠点ではなくて、実は中心それ自身であること。球についても同様である。
４． 孤立特異点で 解析関数は有限確定値をとること。その値が大事な意味を有する。ゼロ除算算法。
５． x,y 直交座標系で y軸の勾配は未定とされているが、実はゼロであること; \tan (\pi/2) =0. ― ゼロ除算算法の典型的な例。
６． 直線や平面には、原点を加えて考えるべきこと。平行線は原点を共有する。原点は、直線や平面の中心であること。この議論では座標系を固定して考えることが大事である。
７． 無限遠点に関係する図形や公式の変更。ユークリッド空間の構造の変更、修正。
８． 接線や法線の考えに新しい知見。曲率についての定義のある変更。
９． ゼロ除算算法の導入。分母がゼロになる場合にも、分子がゼロでなくても、ゼロになっても、そこで意味のある世界。いろいろ基本的な応用がある。
１０．従来微分係数が無限大に発散するとされてきたとき、それは 実はゼロになっていたこと。微分に関する多くの公式の変更。
１１．微分方程式の特異点についての新しい知見、特異点で微分方程式を満たしているという知見。極で値を有することと、微分係数が意味をもつことからそのような概念が生れる。
１２．図形の破壊現象の統一的な説明。例えば半径無限の円（半平面）の面積は、実はゼロだった。
１３．確定された数としての無限大、無限は排斥されるべきこと。
１４．ゼロ除算による空間、幾何学、世界の構造の統一的な説明。物理学などへの応用。
１５．解析関数が自然境界を超えた点で定まっている新しい現象が確認された。
１６．領域上で定義される領域関数を空間次元で微分するという考えが現れた。
１７．コーシー主値やアダマール有限部分に対する解釈がゼロ除算算法で発見された。
１８．log 0=0、 及び e^0 が２つの値1,0 を取ることなど。初等関数で、新しい値が発見された。
再生核研究所声明371（2017.6.27）ゼロ除算の講演― 国際会議 https://sites.google.com/site/sandrapinelas/icddea-2017 報告
ゼロ除算については、既に相当な世界を拓いていると考えるが、世の理解を求めている状況下で、理解と評価、反響にも関心がある：
ゼロ除算は 物理学を始め、広く自然科学や計算機科学への大きな影響があり、さらに哲学、宗教、文化への大きな影響がある。しかしながら、ゼロ除算の研究成果を教科書、学術書に遅滞なく取り入れていくことは、真智への愛、真理の追究の表現であり、四則演算が自由にできないとなれば、数学者ばかりではなく、人類の名誉にも関わることである。実際、ゼロ除算の歴史は 止むことのない闘争の歴史とともに人類の恥ずべき人類の愚かさの象徴となるだろう。世間ではゼロ除算について不適切な情報が溢れていて 今尚奇怪で抽象的な議論によって混乱していると言える。― 美しい世界が拓けているのに、誰がそれを閉ざそうと、隠したいと、無視したいと考えられるだろうか。我々は間違いを含む、不適切な数学を教えていると言える： ― 再生核研究所声明 41： 世界史、大義、評価、神、最後の審判 ―。
地動説のように真実は、実体は既に明らかである。 ― 研究と研究成果の活用の推進を 大きな夢を懐きながら 要請したい。 研究課題は基礎的で関与する分野は広い、いろいろな方の研究・教育活動への参加を求めたい。素人でも数学の研究に参加できる新しい初歩的な数学を沢山含んでいる。ゼロ除算は発展中の世界史上の事件、問題であると言える （再生核研究所声明325（2016.10.14） ゼロ除算の状況について ー 研究・教育活動への参加を求めて）
そのような折り、ISAAC マカオ国際会議では、招待、全体講演を行い、ゼロ除算について、触れ、 論文も発表したものの（Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications -Plenary Lectures: Isaac 2015, Macau, China. (Springer Proceedings in Mathematics and Statistics, Vol. 177) Sep. 2016 305pp.(Springer) ）
今回頭記の２００名を超える大きな国際会議で、ゼロ除算と微分方程式について真正面からゼロ除算の成果を発表することができた。
ゼロ除算には、世界史と世界観がかかっているとの認識で、この国際会議を記念すべきものとするようにとの密かな望みを抱いて出席した。そこで、簡単に印象など記録として纏めて置きたい。
まずは、３日目 正規の晩餐会が開かれる恵まれた日に 最初に全体講演を行った。主催者の学生が多数出席されたり、軍の専属カメラマンが講演模様を沢山写真に収めていた。図版を用意し、大事な点はOHPで講演中図示していた。用意した原稿は良く見えるように配慮したので、全貌の理解は得られたものと考えられる。 結びには次のように述べ、示した。宣言文の性格を持たせるとの意思表示である：
{\bf The division by zero is uniquely and reasonably determined as $$1/0=0/0=z/0=0$$ in the natural extensions of fractions. \\
We have to change our basic ideas for our space and world.\\
We have to change our textbooks and scientific books on the division by zero.\\
Thank you for your attention.}
講演に対して、アラブ首長国の教授が、現代数学を破壊するので、全て認められないとの発言があった。後で、送迎中のバスの中で、とんちんかんな誤解をしている教授がいることが分かった。過去にも経験済みであるが、相当に二人共 感情的に見えた ― それはとんでもないという感じである。閉会式に参加者を代表して謝辞を述べられたギリシャの教授が、画期的な発見で、今回の国際会議の最大の話題であったと述べられたが、要点について話したところ、要点の全てについて深い理解をしていることが確認された。さらにゼロ除算の著書出版の具体的な計画を進めたいという、時宜を得た計画が相談の上、出来た。
そこで、講演原稿と図版を出席者たちにメールし、助言と意見を広く求めている。理解できないと述べられた人にも 要求に応じて送っているが、現在までのところ連絡、返答がない。
主催者から、５０カ国以上から２００名以上の出席者があったと述べられたが、そのような国際会議で、招待、全体講演を行うことができたのは 凄く記念すべきこととして、出版される会議録、論文集の出版に最善をつくし、交流ができた人々との交流を積極的に進めていきたい。尚、正規の日本人参加者は８名であった。
ゼロの発見国インドからは６名参加していたので、１３００年も前に0/0=0が四則演算の創始者によって主張されていた事実を重要視してその状況を説明し、特に対話を深め、創始者に関する情報の収集についての協力をお願いした。ゼロ除算について理解した、分かったと繰り返し述べていたが、どうも感情が伴わず、心もとない感じであった。若いカナダの女性に印象を伺ったところ、沢山の具体例を挙げられたので、認めざるを得ない、内容や意義より驚きの感じで、それが講演に対する全体的な反響の状況を表していると考えられる。
歴史は未来によって作られる。今回の国際会議の意義は 今後の研究の進展で左右されるものと考える。しかしながら十分な記録は既に残されていると考えている。
以 上
再生核研究所声明353（2017.2.2） ゼロ除算 記念日
2014.2.2 に 一般の方から100/0 の意味を問われていた頃、偶然に執筆中の論文原稿にそれがゼロとなっているのを発見した。直ぐに結果に驚いて友人にメールしたり、同僚に話した。それ以来、ちょうど３年、相当詳しい記録と経過が記録されている。重要なものは再生核研究所声明として英文と和文で公表されている。最初のものは
再生核研究所声明 148（2014.2.12）: 100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
で、最新のは
Announcement 352 (2017.2.2): On the third birthday of the division by zero z/0=0
である。
アリストテレス、ブラーマグプタ、ニュートン、オイラー、アインシュタインなどが深く関与する ゼロ除算の神秘的な永い歴史上の発見であるから、その日をゼロ除算記念日として定めて、世界史を進化させる決意の日としたい。ゼロ除算は、ユークリッド幾何学の変更といわゆるリーマン球面の無限遠点の考え方の変更を求めている。― 実際、ゼロ除算の歴史は人類の闘争の歴史と共に 人類の愚かさの象徴であるとしている。
心すべき要点を纏めて置きたい。
１） ゼロの明確な発見と算術の確立者Brahmagupta (598 - 668 ?) は 既にそこで、0/0=0 と定義していたにも関わらず、言わば創業者の深い考察を理解できず、それは間違いであるとして、１３００年以上も間違いを繰り返してきた。
２） 予断と偏見、慣習、習慣、思い込み、権威に盲従する人間の精神の弱さ、愚かさを自戒したい。我々は何時もそのように囚われていて、虚像を見ていると 真智を愛する心を大事にして行きたい。絶えず、それは真かと 問うていかなければならない。
３） ピタゴラス派では 無理数の発見をしていたが、なんと、無理数の存在は自分たちの世界観に合わないからという理由で、― その発見は都合が悪いので ― 、弟子を処刑にしてしまったという。真智への愛より、面子、権力争い、勢力争い、利害が大事という人間の浅ましさの典型的な例である。
４） この辺は、２０００年以上も前に、既に世の聖人、賢人が諭されてきたのに いまだ人間は生物の本能レベルを越えておらず、愚かな世界史を続けている。人間が人間として生きる意義は 真智への愛にある と言える。
５） いわば創業者の偉大な精神が正確に、上手く伝えられず、ピタゴラス派のような対応をとっているのは、本末転倒で、そのようなことが世に溢れていると警戒していきたい。本来あるべきものが逆になっていて、社会をおかしくしている。
６） ゼロ除算の発見記念日に 繰り返し、人類の愚かさを反省して、明るい世界史を切り拓いて行きたい。
以 上
追記：
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
International Journal of Mathematics and Computation Vol. 28(2017); Issue 1, 2017), 1-16.
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
再生核研究所声明371（2017.6.27）ゼロ除算の講演― 国際会議 https://sites.google.com/site/sandrapinelas/icddea-2017 報告
http://ameblo.jp/syoshinoris/theme-10006253398.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
0 件のコメント:
コメントを投稿