タクシー数(その4）で
となることをみた。これとタクシー数(8)でみたこととの関係はどうなっているのだろうか。
タクシー数(8)でみたように
であるので、
より、
同様に
より
よって、
つまり、タスク―数(8)でtまたはt’が非正になるとして除外したケースに相当する。
重力波は歌う
ジャンナ・レヴィン著
2017年のノーベル物理学賞は、LIGOによる重力波発見に貢献したレイナー・ワイス、バリー・バリッシュ、キップ・ソーンの3氏に与えられた。本書は、LIGOが軌道に乗るまでの苦難を3人の科学者、今回受賞に輝いたワイス、ソーンの両氏に加え、英国のドナルド・ドレーバー氏の活動を中心に描いた物語である。残念ながら、ドレーバーは2017年3月に永眠されたそうである。2016年2月にLIGOにより重力波が発見され、2016年のノーベル物理学賞候補にも挙げられていたそうなので、受賞が1年早ければと思わざるを得ない。
つくばにある高エネルギー加速器研究機構では毎年9月初めころ施設一般公開を行う。2016年の施設公開で、研究者の方より重力波発見の話を聞き、それが本書を読みきっかけになった。本書を読み、2017年の受賞は間違いないと思っていたので、今年のノーベル物理学賞は私にとっても感慨深いものになった。