この発見には、上野俊一にも関わったもので、益三から指示を受け各地の洞窟での調査の途中で、汽車やバスの待ち時間にはポンプ井戸を探し、ギリギリまで井戸を押し続けるという仕事が加わった。国立科学博物館時代.研究の発展.訃報.国立科学博物館の特別研究員時代に上野の指導を受けた丸山宗利は、レオン・ウェルトレオン・ワースより一般的には「何か良いことが最終的に起こる」ことを示すのがライブネス特性であり、「何か悪いことが起こらない」ことを示すのが安全性特性である。安全特性に違反した場合、その違反(「悪い」イベントの発生)を示す有限実行が必ず存在するが、ライブネス特性は、分散システムの有限実行では、「良い」イベントが後になっても発生する可能性があるため、違反できない。最終的な一貫性はライブネス特性の一例である。すべての線形時間特性は、安全性特性とライブネス特性の交点として表すことができる。与えられた安全性特性の違反が有限の目撃者を認めるのに対し、ライブネス特性の違反は、証明として使用できる有限の目撃者がいないため、立証が困難な場合がある。ライブネスの形態.ライブネスにはいくつかの形態があります。以下のものは、ある相互排除(ミューテックス)装置で保護されたクリティカル・セクションを持つマルチプロセス・システムの観点から定義されています。すべてのプロセスがミューテックスを正しく使用していると仮定し、クリティカルセクションの実行が終了することを進捗と定義する。ライブネスと安全性.形式上の区別.境界付きバイパスと境界付き追い越し.PRAM一貫性すべてのプロセスは、あるプロセスからのメモリ書き込みを、そのプロセスから発行された順に見る。ヤリエル・ロドリゲスジェリー・コブ大韓民国の少子化概要.地域別の統計.影響.高齢化.人口減少.兵役.原因.ヘル朝鮮.首都圏への人口・経済活動の一極集中.