2016-11-16から1日間の記事一覧
@klmquasi: あ、n<Nだ。P(・)2016-11-16 12:17:42 via earthquake.gem to @klmquasi @klmquasi: ∀nP^n(X)だと任意の繰り返しであることの指摘で永久ループであるとはいってないというのはP(∀nP^n(X)≠∃N,∀n,n>N P^N(X)) URL2016-11-16 11:13:21 via earthquake.gem</nだ。p(・)2016-11-16>
@klmquasi: あ、n<Nだ。P(・)2016-11-16 12:17:42 via earthquake.gem to @klmquasi @klmquasi: ∀nP^n(X)だと任意の繰り返しであることの指摘で永久ループであるとはいってないというのはP(∀nP^n(X)≠∃N,∀n,n>N P^N(X)) URL2016-11-16 11:13:21 via earthquake.gem</nだ。p(・)2016-11-16>
