(続く)

(To be continued)

実は、数学の証明を、コンピュータを使ってされたものもあります。

In fact, some proofs of mathematics have been made using computers.

「4色問題」というものです。

It's a "four-color problem."

この問題は、パターンが有限個数に限定できるという珍しいケースであったため、このような証明が可能となりました。

This was a rare case where the pattern could be limited to a finite number, which made this proof possible.

その後もアルゴリズムは改良されてきましたが、現在でもコンピュータを使用しない証明は得られていません。

Although the algorithm has been improved since then, there is no proof that no computer is used.

解空間が有限数である数学の証明問題は、かなりレアケースです。

Mathematical proof problems with a finite number of solution spaces are fairly rare cases.

ですので、このアニメの主人公が取り組んでいる「多項式時間帰着」系の問題は、有限パターン問題として取り扱うことができるものなのかなぁ、と、疑問を持っています。

So I wonder if the problem of the "polynomial time reduction" system that the hero of this animation is working on can be treated as a finite pattern problem.

(もし、そうなら、『それほど、難しいことを訳ではないのかな』とも思ってしまいますが)

(If so, I wonder if his work is not so difficult)

-----

で、まあ、私は、真面目にこの話をしたいのではなくて、

Well, I don't want to talk about this seriously, however, I think just that

―― このアニメを見ていると、色々な数学の考え方を知ることができそうで楽しみだなぁ

"I am looking forward to seeing various math concepts when watching this anime"

と、思っています。

「多項式時間帰着」とか「ハミルトンパス」は、ともかく、「帰無仮説」という言葉は知らなかったので、直ぐに調べました。

Anyway, I didn't know the term "null hypothesis", but "polynomial time reduction" or "Hamilton pass", so I looked up it immediately.

そして、

So, I noticed that

―― あ、有意検定のことか

"Oh, it is significance test isn't it?"

と、気がつきました。

-----

現在の現職総理大臣が国会答弁で「そのような事実が"ない"ことを証明する手段はない」と主張していました。

The current Prime Minister has asserted in the Diet defense that "There is no way to prove that there is no such fact."

彼の主張内容は正しいです。

His claim is correct.

これを「悪魔の証明」といいます。

This is called "devil's proof."

この「悪魔の証明」は、どのような手段を用いても証明できないから、悪魔の証明なのです。

This "devil's proof" is a really proof of the devil, because it cannot be proved by any means.

しかし、そこに、統計的手法を持ち込んで、「概ね証明された」と言えるレベルまで持っていく方法が、「有意検定」であり、「帰無仮説」というもの ―― らしいです。

However, it seems to be "significance test" and "null hypothesis", by statistical methods and bringing it to a level of "generally proven"

このアニメは、その内容もキチンと説明していて ―― 少なくとも第1回目は「勉強になりました」。

This anime also explains the contents clearly, and at least for me, it is very helpful at the first time

-----

アニメは、上手く使えば、勉強の良いモチベーションになります。

Anime can be a good motivation to study, if we can use it well.