カテゴリー: 02-Natural Sciences

Decrypt history, Encrypt future™

構成員の誰もが今日辞められる会社を作る|bounded model checking

会社に所属する人や会社を創業する人は、永遠に続くアルゴリズムを求めてしまいがちであるが、永遠に続くアルゴリズムあるいは、いつアルゴリズムが止まるかを判定する汎用アルゴリズムは数学的に存在しないことがアランチューリングによ…
Read more

生命現象のNP-complete性

生命のシステム(特にタンパク質の構造や進化)がNP完全(NP-complete)やNP困難(NP-hard)であることを数学的・計算機科学的に証明した論文。 1. タンパク質の折りたたみが「NP困難」であることの証明(1…
Read more

チューリングマシンにおける2倍、1/2の効率性

チューリングマシンは3倍や1.5倍を考えるのが苦手で、基本的に最小ステップで増やすということであれば、2倍がスムーズである。処理の効率や仕組みのシンプルさという点において、チューリングマシンは圧倒的に2倍(2進数)が得意…
Read more

Primordial Black Holes: PBH 原始ブラックホール

物理学の理論上、温度には「これ以上は上がらない」という絶対的な上限(最高の温度)が存在します。 どこまでも無限に上昇するわけではありません。 最低の温度が「絶対零度(-273.15度)」と決まっているように、最高にも限界…
Read more

Pycnonuclear fusion|ピクノ核融合

The physics of white dwarf matter https://ui.adsabs.harvard.edu/scan/manifest/1940MNRAS.100..582E W. A. Wildha…
Read more

EUV Lithography

EUV(極端紫外線)リソグラフィに関する論文と特許群 X線ミラー投影 鏡ドイツ カールツァイス(Carl Zeiss SMT) 量産化 バラバラの技術を1台の「量産機」としてまとめ上げ、15,000件以上の特許の城を築い…
Read more

宇宙空間の航行関連論文

今日の月往復や惑星探査ロケットは、すべて以下の論文が敷いた数理的・物理的なレールの上を走ります。 1. ロケット工学・宇宙飛行の基礎 ■ コンスタンチン・ツィオルコフスキー(1903年) ツィオルコフスキーのロケット方程…
Read more

constraints: continuum vs discrete

There is a fundamental gap in effective universe model game. Continuous models—much like trying to solve the C…
Read more

81 Life Sciences Breakthrough Prize Laureates

Year Ceremony location Laureates Affiliation (when awarded) Affiliation (current/last) Reasons 2013 Geneva, Sw…
Read more

36 Fundamental Physics Breakthrough Prize Laureates

1. List of Fundamental Physics Breakthrough Prize Laureates Year Ceremony location Laureates Affiliation (when…
Read more