note

【C#】配列やリストのすべての要素を特定の値で初期化

配列やリストを特定の値で初期化したい場合のやり方。 LINQのEnumerable.Repeatを使えば良さそう。 ToArray、ToListを使ってそのまま配列、リストを宣言できる。 Enumerable.Repeatの第一引数に特定の値、第二引数に要素の数を指定すればOK。要素の型も指定できる。
IEEE

Every computably enumerable random real is provably computably enumerable random

Abstract: We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating that “a ...