外国語はもはやAIに任せる 中国の大学、外国語専攻の募集、次々に中止
https://media.dglab.com/2024/09/02-koreawave-01-3/
数学の先生も強くなるのでは・・・・。
医者もかなり不要になるのでは。
再生核研究所声明 764（2024.8.6)： 大局、世界と私 ー 夜明け前
（心境： 研究室の整備を進めていて、本、別刷り、手紙など相当処分しています。
いろいろ世の無常を感じさせられます。
大いなる河のほとりに着いて 対岸を見ていると、想い出す。かつてわたってきたときは何も無かった。 そして今渡って行くとき、同じように この世の全ては無意味で消えてゆき、全く自由な存在になる。天に魂をかえす時である。 終末に対する想い。予感。
２０２４．７．５．２０：５６ 暑い日、夕立があった日。素晴らしい。)
人の生きるは 真智への愛にある。真智とは神の意思の事である。それ故に 真理、真実の追究は 相当に基本的でなければならない。 真実の追求である。 ところが世界は 世界史は ゼロ除算の現状を見れば歴然のように、未だいい加減で、混沌、動物の本能レベルにある。 未だ夜明け前の世界に見える。3つの顕著な例は、数学界の恥ずかしい有り様、政治社会における残念なプーチン政権の終末、宗教界の可笑しさである。最も真理を追求すべき数学界が 権威をかざしたり、特権意識で 名誉争いや虚栄心争いを続けており、本来の真理の追究の真摯さが感じられない。 恥ずかしい状況をゼロ除算の歴史に見ることができる。天才的な才能の持ち主であるプーチン大統領も 古代の妄想にとりつかれ、ロシアを混乱に陥れ、第2次世界大戦以来の世界史の進化を台無しにして、世界を混乱させている。 宗教界は聖人や賢人によって創られたが、教義の誤解や勢力争いのような感じも少し、感じられる。、信仰に対する基本的な在りように 根本的な問題を未だかかえているように感じられる。世界史は長期的には確実に進化していて、世は在るべき方向で着実に進化するものと考えられる。在るべき方向は、数学も、政治社会も、宗教界も確定的に定められていると考えられる。それは神の意思である。そこで、考えようによっては、すべてはそれで良い、それでいいとの見方ができる。しかしながら、そのように悟れない 単細胞的で、無能力な私は、上記3件は基本的な問題を抱えていると考える。
数学界では 数学を神の意志を受けて純粋に追及すること、社会的な存在意義に留意しながら、空虚な抽象論の世界にはまってはならない。政治社会は簡単である。声明第一に公正の原理で あるべき在りようは明かにされている。宗教界は人間とは何かと問い、信仰とは何かを問えば 在りようは明かになるだろう。
真実を真摯に追及し、自由な意見表明を積極的に保証して、議論や討論が大事である。その背景には、よりよい社会を築いて行こうとの前提精神が大事であり、そのような基礎を曖昧にして、勝手に恣意的な存念を無責任に表明して行けば 無秩序で空虚な衆愚社会に陥るだろう。人間は独断と偏見に満ちた単細胞的な存在であり、謙虚さは大事である。そもそも生きるという事とは恥をさらしているようなものであるとも言える。それ故に 神の前にひざまついて わたしはそう思う、そう感じますと謙虚に表明したい。 良心にもとづいて より良い世界を築くためにである。
以 上
https://isabelle.in.tum.de › doc › tutorial
T Nipkow 著 · 2024 · 被引用数: 6 — order logic (HOL), using the proof assistant Isabelle. It is written ...
Since division by zero yields zero, we could allow c to be zero. However, c ..
166 8. More about Types
Surprisingly few of these results depend upon the divisors’ being nonzero.
That is because division by zero yields zero: a div 0 = 0 (DIVISION_BY_ZERO_DIV) a mod 0 = a (DIVISION_BY_ZERO_MOD)
8.4 Numbers 169
– division_by_zero includes all types where inverse 0 = 0 and a / 0 = 0.
These include all of Isabelle’s standard numeric types.
https://isabelle.in.tum.de/doc/tutorial.pdf
確かにそれは、見方にとって当たり前ですが、その理由や根拠を明らかにし、さらに効用や応用をきちんと示すのが、
科学的精神ではないでしょうか。
