トップ «前の日記(31-December-2020) 最新次の日記(02-January-2021)» 編集

つれづれなるままに

これまでの訪問者人
本日の訪問者人　昨日の訪問者人
月齢24.5

AI | AIきりたん | Ast | Beat Saber | CeVIO | Cn | cover | de | Emacs | En | Es | fr | git | html | iPad | It | Just Dance | misc | MMD | MV | NEUTRINO | OVA | PC | PV | Ru | SF | SKK | stable diffusion | SynthesizerV | tDiary | Th | Vocaloid | VRC | VRChat MMD | Vsinger | Vtuber | was | YuNi | お茶 | アニメ | アメリカ | イラスト | オカリナ | カゲプロ | キズナアイ | テレビ | ノベル | ノーベル賞 | ビートセイバー | フィートセイバー | フランス | ラズパイ | ラノベ | 万葉語 | 世界 | 中国 | 予定 | 即売会 | 台湾 | 台風 | 合成してみた | 同人 | 地震 | 宇宙 | 家電 | 展示 | 描いてみた | 政治 | 旅行 | 日記 | 映画 | 時事 | 書道 | 歌ってみた | 歴史 | 海外 | 演奏してみた | 漫画 | 特撮 | 科学 | 英国 | 訃報 | 語学 | 踊ってみた | 陶笛 | 障害 | 音楽 | 飲み | 駅

01-January-2021 新年 [長年日記]

_ [日記] 明けましておめでとうございます

今年もよろしくお願いします。

今年が良い年でありますように。

_ [アニメ][PC][科学] Steins Gate

録画してあったものを視聴。

1話から12話ぐらいまで。

一種のタイムリープ物なのでしょうが、ここまでのところではまだ時間を遡及してるのは携帯で送れるわずかな文字だけで、それによって生じた歴史の改変は主人公にしか認識できないという。

この主人公、普段から中二病なことばかりしゃべっていたのですが、様々な状況証拠から数日程度であるが歴史が改変されてることは仲間たちも認識しはじめていて。

それにしても、キーワードとしてジョン・タイター(2036年から2000年にやってきてネットに書き込みを残した人物)や、その周辺の話題である、CERNによるタイムトラベルの開発や、ジョン・タイターが目的としていたIBM5100についてのことなどがネタとして使われてるみたいでした。

基本はジョン・タイターの話していたタイムトラベルの理論に沿った設定になってるのかな。CERNのコンピューターの情報からIBM5100じゃないと理解できないコードというものが出てきたり。まぁ、EBCDで書かれたAPLなんて普通に読める機器はないような気もしますが。EBCDはBCDという2進数で10進数を表現するコードを文字列にまで拡張したもので、より拡張されたEBCDICはIBMのメインフレームとかで使われていたもよう。IBMのマシンじゃないですが、EBCDICの文字コードを使用したメインフレームは使ったことがあります。昔のUNIXのtarコマンドではEBCDICからASCIIに変換するオプションがあったような気がします。EBCDICはASCIIとは対応してないから、知識がなければ文字列をそこから抽出することもできないですね。オリジナルのCP37には小文字がなくて大文字しかないみたいです。それにAPLは英数字以外に多数の記号を追加した文字列でプログラミングする言語で、これも知識がないと理解できないですね。APLを使ってるということは IBM5100 はAPLの文字セットを扱えるものだったということになりますが。

APLの後継プログラミング言語のA+のコード例が A+: a programming language for actual programmers にありました。

 
#! /usr/local/bin/a+ -q

unique{x}:((xÉx)=É#x)/x
nl{x}:,"\n",@1 x

ã found these functions in /u/apter
btom{x}:>(Ó/>#¡x)Ù¡x
vtoe{y;x}:if (`null=©x) x else 1Õ¡(ÚxÅy)Úxû((~(1Ùx)Åy)/1Ùy),x
vtom{y;x}:btom{vtoe{y;x}}
noLines{x}:vtom{"\n";(-"\n"=¢1Ùx)Õx}

aû0Ò
(nû¢1+#_argv) do {
 a[,]ûnl sys.readmat >_argv[n+1];
}

if (0¨Òa) {
 unique noLines a
}

sys.exit 0

文字化けじゃないです。こういう言語です。同じコードをASCIIモードにしたものも書いてありました。

#! /usr/local/bin/a+ -q

$mode ascii

unique{x}:((x iota x)= iota #x)/x
nl{x}:,"\n",@1 x

'found these functions in /u/apter';
btom{x}:>( max/># each x) take each x
vtoe{y;x}:if (`null= ? x) x else 1 drop each ( bag x in y) bag x := (( iota (1 take x) in y)/1 take y),x
vtom{y;x}:btom{vtoe{y;x}}
noLines{x}:vtom{"\n";(-"\n"=(-1) take x) drop x}

a := 0 rho 
(n := (-1)+#_argv) do {
 a[,] := nl sys.readmat >_argv[n+1];
}

if (0 ~= rho a) {
 unique noLines a
}

sys.exit 0

UnicodeはAPL用のコードも定義されているのですが、APL文字で書かれたソースは APL uniqから見ることができます。Unix の uniq コマンドに相当するものみたいです。

閑話休題。

シュタインズ・ゲートの中で言及されているタイムパラドックスの回避方法はいわゆる多次元宇宙と呼ばれるものですが、結構考え方としてはまっとうなもの。元々相対論というのは観測者が観測した事象が重要であることを鑑みるに、時間を観測してるのが単独の観測者であると仮定して、その観測者が時間を行ったり来たりするとするならば、その人物(もしくは観測機)が観測した時間だけが存在する時間であり、その人物が観測しなかった歴史は元々存在しないことになる。たとえば、ある人物が過去に戻った場合、その世界における、過去に戻ろうとした時点より未来の歴史は存在せず、過去に戻った時点から先は観測者が経験したものが歴史となる。

よくあるタイムパラドックスのひとつである親殺しのパラドックスは、親を殺害した時点で元の歴史とは違う歴史を(観測者の経験として)歩むことになるので、観測者が親から生まれたという事実を否定することはない。何故ならば、観測者は自分が生まれたという歴史を経験し、過去に戻った時点で歴史を別の歴史として上書きしてるだけだからである。彼が経験した歴史はひとつの線として成立するので、因果律の崩壊には至らないというわけです。

実際にはタイムトラベルを実現するために解決するための理論的課題は多数あって、そう簡単に過去に戻ることができるわけではないのですがね。ただ、歴史を戻ることによって情報量が発散してエントロピーが発散するという問題に関しては、同じ時空の点に戻るのではないということを前提に置けば発生しないのかもしれませんね。

過去へのタイムトラベルのためにはブラックホールのシュバルツシルト解でなく、中心の天体が回転しているカー解が必要とされていますが、カー解で発生する時空のひきずられがポイントになってるようで。

ちなみにカー解における自由粒子の描く測地線は $\frac{\partial S}{\partial \lambda} + g^{\mu\nu}\partial_{\mu}S\partial_{\nu}S = 0 $ で与えられるということなのですが、時空のひきずられ現象を伴った状態は人工衛星の観測で確認されたということを聞いたことがあります。

それにしても、このアニメ、2クールが2シーズンと劇場版があるそうで。先は長い………。

_ [アニメ] Fateの年末の

大晦日にFateの特番やってました。いつもやってるFGOやらなんやらの特番です。

後半の方でFate Ground Fantasm の宣伝があったのですが、今までFGOの主人公はずっと男主人公しか映像化されてなかったんですよね。(ぐだぐだオーダーは除く) 特番のやつもTVアニメ版も映画のやつもずっと男主人公の方の藤丸立香が登場していたのですがね。番組で紹介されていた部分では女主人公、いわゆるぐだ子がしゃべっていました。こっちの方をむしろ見たい、と思ったり。