アカウント名:
パスワード:
Wikipediaに「証明に用いた新たな手法(宇宙際タイヒミュラー理論)」なんてものが書かれてるんだけど、なんか厨二心をくすぐられるな、これ。
しかし、難解すぎてラノベのネタにもSFのネタにも出来ないのであった。
字面の割には難解でもないとおもうけど。話の全体はややこしいんだろうけど、少なくともこの部分だけは定性的に説明できるから、むしろラノベ向きだと思う。
フワっとしてんなあw
小説「D-GENESISダンジョンができて3年(著:之 貫紀)」の作中時間は2018年11月(なろう版では2019年2月、カクヨム版では2018年12月)だが、なろう版の作中時間2019年2月にリーマン予想に触れている。作中時間が2020年4月まで続くなら、ABC予想に触れてくるかも(作中時間2019年1月17日に「物語も丁度中盤です。」としているからそこまで続かない可能性が高い)。但しその前に新コロをどう処理するかだが(「本作品に登場するイベントその他は、公園で行われてる小さなイベントまで、2018をできるだけ忠実になぞっています」とある)。
# 本作は非常に薀蓄の多い小説で、初期には飲食店、その後色々拡散しましたが、最近はお仕事の報酬に用いられるワインの薀蓄が多いです。
集合論やら圏論やらから(いずれも数学の基礎理論)、関数型プログラミングやオブジェクト指向やジェネリックのような型理論の概念が登場したので、新手の概念が登場するかもしれないとかいう話を聞いた。宇宙際ってのは新手の数学の基礎理論らしい、見たけどよーわからんかったw関数型とオブジェクト指向を美しく結合する言語とかできたら見てみたいけど、そういうものなのかもよくわからんですが。
宇宙って言うのはグロタンディーク宇宙とかフォンノイマン宇宙とかそういうやつかな、と想像するぐらいだよね
宇宙際、ってのがなんかスゲーんだよな。厨二的に。あとドイツ語。んでも、「際」ってのが国際とかの際で、宇宙ってのはUniverse、つまり Inter-Universeって考えると、なんか腑に落ちるというか。Universeってのが「世界・世界観」という意味を含んでるから、多世界間の問題的な意味と考えるとあまり厨二っぽくな…いか?
英語だと Inter-universal Teichmüller theory になるので、厨二感無い。Universeを宇宙って訳しちゃってるのが超訳なんだろうね。直訳なんだろうけども。
この業界詳しく無いので適当なこと言うけど、領域/Region < 空間/Space < 世界/World みたいな階層構造があって、その上は < 宇宙/Universeとするしか無かった、とかなのかもな。
提唱者ご本人による日本語訳(?)なので、もうそれは受け入れて慣れるしかないという。分野外の人間がその概念に触れるような時代がいつ来るのかは分からんが…。
ぱっと説明を読んだところだと、「公理」(「1+1を2とする」か「1+1を10とする」か、ユークリッドかそうでないか、みたいな)によってきまる空間を「宇宙」とよんでいて、その公理と公理の「際」を扱う*というから
「公理際」
ってのが…やっぱわかりにくいな#ユークリッドと非ユークリッドを統一して扱うのは「一般相対性理論」なんだから#望月教授のも「整数、代数、幾何に関する一般理論」の方が汎用性ありそう(ケインズかっ)
*半解にも至っていないというのが丸わかりな日本語表現
概念としてはいいんだが、単語として見たときにはInter-Uni-Verseってのはちょっと引っ掛かりを覚えてしまう。
新規に用語を作っちゃえばよかったのに。あるいはまんまカタカナでユニバースで通すとか。
あと、確かに"International"の訳は「国際」だが、「Intercontinental」は「大陸間」だし、普通の人は説明されなきゃ意味が分からない「宇宙際」という言い方より「宇宙間」という表現の方がしっくりくる感じ。
「宇宙際」というのも「Inter-Universe」を日本語にしたものなのだから、「複数の宇宙の間」という意味だよ。そもそもが二つ(以上)の数学的宇宙の関係を見るという手法なんだから、一つの宇宙の話じゃないよ。
う~ん、「際」と「間」の訳の違いは間に何か(大陸の場合は海)があるかどうかじゃないのかしらん。#わたしのイメージだけど国の場合は地理的には直接国境で接している場合が多いし、関係性でいえば直接接しているしね。
この場合どっちがいいかは・・・・わからん
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日々是ハック也 -- あるハードコアバイナリアン
すごい手法名 (スコア:0)
Wikipediaに「証明に用いた新たな手法(宇宙際タイヒミュラー理論)」なんてものが書かれてるんだけど、なんか厨二心をくすぐられるな、これ。
Re: (スコア:0)
しかし、難解すぎてラノベのネタにもSFのネタにも出来ないのであった。
Re: (スコア:0)
字面の割には難解でもないとおもうけど。話の全体はややこしいんだろうけど、少なくともこの部分だけは定性的に説明できるから、むしろラノベ向きだと思う。
Re: (スコア:0)
フワっとしてんなあw
Re: (スコア:0)
小説「D-GENESISダンジョンができて3年(著:之 貫紀)」の作中時間は2018年11月(なろう版では2019年2月、カクヨム版では2018年12月)だが、なろう版の作中時間2019年2月にリーマン予想に触れている。
作中時間が2020年4月まで続くなら、ABC予想に触れてくるかも(作中時間2019年1月17日に「物語も丁度中盤です。」としているからそこまで続かない可能性が高い)。
但しその前に新コロをどう処理するかだが(「本作品に登場するイベントその他は、公園で行われてる小さなイベントまで、2018をできるだけ忠実になぞっています」とある)。
# 本作は非常に薀蓄の多い小説で、初期には飲食店、その後色々拡散しましたが、最近はお仕事の報酬に用いられるワインの薀蓄が多いです。
Re: (スコア:0)
集合論やら圏論やらから(いずれも数学の基礎理論)、関数型プログラミングやオブジェクト指向やジェネリックのような型理論の概念が登場したので、新手の概念が登場するかもしれないとかいう話を聞いた。
宇宙際ってのは新手の数学の基礎理論らしい、見たけどよーわからんかったw
関数型とオブジェクト指向を美しく結合する言語とかできたら見てみたいけど、そういうものなのかもよくわからんですが。
Re: (スコア:0)
宇宙って言うのはグロタンディーク宇宙とかフォンノイマン宇宙とかそういうやつかな、と想像するぐらいだよね
Re: (スコア:0)
宇宙際、ってのがなんかスゲーんだよな。厨二的に。あとドイツ語。
んでも、「際」ってのが国際とかの際で、宇宙ってのはUniverse、つまり Inter-Universeって考えると、なんか腑に落ちるというか。
Universeってのが「世界・世界観」という意味を含んでるから、多世界間の問題的な意味と考えるとあまり厨二っぽくな…いか?
英語だと Inter-universal Teichmüller theory になるので、厨二感無い。
Universeを宇宙って訳しちゃってるのが超訳なんだろうね。直訳なんだろうけども。
この業界詳しく無いので適当なこと言うけど、
領域/Region < 空間/Space < 世界/World みたいな階層構造があって、その上は < 宇宙/Universeとするしか無かった、とかなのかもな。
Re:すごい手法名 (スコア:1)
提唱者ご本人による日本語訳(?)なので、もうそれは受け入れて慣れるしかないという。
分野外の人間がその概念に触れるような時代がいつ来るのかは分からんが…。
Re:すごい手法名 (スコア:1)
ぱっと説明を読んだところだと、「公理」(「1+1を2とする」か「1+1を10とする」か、ユークリッドかそうでないか、みたいな)によってきまる空間を「宇宙」とよんでいて、その公理と公理の「際」を扱う*というから
「公理際」
ってのが…やっぱわかりにくいな
#ユークリッドと非ユークリッドを統一して扱うのは「一般相対性理論」なんだから
#望月教授のも「整数、代数、幾何に関する一般理論」の方が汎用性ありそう(ケインズかっ)
*半解にも至っていないというのが丸わかりな日本語表現
Re: (スコア:0)
概念としてはいいんだが、単語として見たときにはInter-Uni-Verseってのはちょっと引っ掛かりを覚えてしまう。
Re: (スコア:0)
新規に用語を作っちゃえばよかったのに。あるいはまんまカタカナでユニバースで通すとか。
あと、確かに"International"の訳は「国際」だが、「Intercontinental」は「大陸間」だし、
普通の人は説明されなきゃ意味が分からない「宇宙際」という言い方より
「宇宙間」という表現の方がしっくりくる感じ。
Re:すごい手法名 (スコア:1)
だから縁というか、際という表現になるのでは。
-- To be sincere...
Re: (スコア:0)
「宇宙際」というのも「Inter-Universe」を日本語にしたものなのだから、「複数の宇宙の間」という意味だよ。
そもそもが二つ(以上)の数学的宇宙の関係を見るという手法なんだから、一つの宇宙の話じゃないよ。
Re: (スコア:0)
う~ん、「際」と「間」の訳の違いは間に何か(大陸の場合は海)があるかどうかじゃないのかしらん。
#わたしのイメージだけど
国の場合は地理的には直接国境で接している場合が多いし、関係性でいえば直接接しているしね。
この場合どっちがいいかは・・・・わからん