16/12/26 21:36:10.90 P7KkK7Ue.net
￥
3:￥ ◆2VB8wsVUoo
16/12/26 21:36:27.74 P7KkK7Ue.net
￥
4:￥ ◆2VB8wsVUoo
16/12/26 21:36:43.47 P7KkK7Ue.net
￥
5:￥ ◆2VB8wsVUoo
16/12/26 21:36:59.49 P7KkK7Ue.net
￥
6:￥ ◆2VB8wsVUoo
16/12/26 21:37:17.09 P7KkK7Ue.net
￥
7:￥ ◆2VB8wsVUoo
16/12/26 21:37:33.13 P7KkK7Ue.net
￥
8:￥ ◆2VB8wsVUoo
16/12/26 21:37:49.69 P7KkK7Ue.net
￥
9:￥ ◆2VB8wsVUoo
16/12/26 21:38:07.05 P7KkK7Ue.net
￥
10:￥ ◆2VB8wsVUoo
16/12/26 21:38:24.75 P7KkK7Ue.net
￥
11:１３２人目の素数さん
16/12/26 21:39:36.38 0mlFBJ9t.net
ここは分からない問題を書くスレです。
お願いごとをするスレでも分からない問題に答えてもらえるスレでもありません。
12:￥ ◆2VB8wsVUoo
16/12/26 21:45:25.88 P7KkK7Ue.net
￥
13:１３２人目の素数さん
16/12/26 21:49:48.88 wXgU8zNU.net
前スレの
URLﾘﾝｸ(imgur.com)
(1)に対応する図：
URLﾘﾝｸ(imgur.com)
(2)に対応する図：
URLﾘﾝｸ(imgur.com)
(3)に対応する図：
URLﾘﾝｸ(imgur.com)
(4)に対応する図：
URLﾘﾝｸ(imgur.com)
(5)に対応する図：
URLﾘﾝｸ(imgur.com)
思いっきり領域間違えていてアホ臭いんだが
14:￥ ◆2VB8wsVUoo
16/12/26 22:15:45.74 P7KkK7Ue.net
￥
15:￥ ◆2VB8wsVUoo
16/12/26 22:50:39.67 P7KkK7Ue.net
￥
16:￥ ◆2VB8wsVUoo
16/12/26 22:51:00.31 P7KkK7Ue.net
￥
17:￥ ◆2VB8wsVUoo
16/12/26 22:51:19.01 P7KkK7Ue.net
￥
18:￥ ◆2VB8wsVUoo
16/12/26 22:51:36.83 P7KkK7Ue.net
￥
19:￥ ◆2VB8wsVUoo
16/12/26 22:51:53.03 P7KkK7Ue.net
￥
20:￥ ◆2VB8wsVUoo
16/12/26 22:52:09.07 P7KkK7Ue.net
￥
21:￥ ◆2VB8wsVUoo
16/12/26 22:52:26.12 P7KkK7Ue.net
￥
22:￥ ◆2VB8wsVUoo
16/12/26 22:52:44.73 P7KkK7Ue.net
￥
23:￥ ◆2VB8wsVUoo
16/12/26 22:53:03.24 P7KkK7Ue.net
￥
24:１３２人目の素数さん
16/12/26 23:43:00.62 4mnIQGtm.net
>>11
ここの回答者って、わからないからってこういうこと書いとけば免罪符にでもなるとでも思ってるんでしょうか、アホらしいですね
25:￥ ◆2VB8wsVUoo
16/12/26 23:54:38.32 P7KkK7Ue.net
￥
26:１３２人目の素数さん
16/12/27 00:11:54.56 GqLFqYYQ.net
出題者気取り、採点者気取りのアホが�
27:Eザいからだよ
28:１３２人目の素数さん
16/12/27 00:13:27.27 GqLFqYYQ.net
>>24
845 １３２人目の素数さん [] 2016/12/25(日) 20:06:03.72 ID:2Zi1ufqB [12/18]
要するに解けないんですか？
849 １３２人目の素数さん [] 2016/12/25(日) 20:12:07.01 ID:2Zi1ufqB [13/18]
>>847
分からないんですか？
873 １３２人目の素数さん [] 2016/12/25(日) 20:38:52.77 ID:2Zi1ufqB [14/18]
要するに解けないらしい
877 １３２人目の素数さん [] 2016/12/25(日) 21:10:26.58 ID:2Zi1ufqB [15/18]
>>875
間違ってるよ
879 １３２人目の素数さん [] 2016/12/25(日) 21:17:10.53 ID:2Zi1ufqB [16/18]
>>878
全部
893 １３２人目の素数さん [] 2016/12/25(日) 21:31:23.57 ID:2Zi1ufqB [17/18]
>>875
試験の答案としてはボツ
２０点満点中、３点くらいだな。
904 １３２人目の素数さん [] 2016/12/25(日) 21:36:45.38 ID:2Zi1ufqB [18/18]
しかも、出題された時刻
：2016/12/24(土) 15:11:01.22
から凄まじく時間がたっている。よく考えたら昨日じゃないか。
これだけ時間をかけてこんなクソ解答しか作れない時点で不合格
せいぜい２５分程度で処理しなければならない問題だから。
29:１３２人目の素数さん
16/12/27 00:14:32.87 ww42pVF2.net
つまり、わからないってことですよね？
30:￥ ◆2VB8wsVUoo
16/12/27 00:14:40.33 iZPD86tj.net
￥
31:１３２人目の素数さん
16/12/27 00:16:12.28 GqLFqYYQ.net
初等幾何や組合せ論が美しいと抜かしてるアホもいたな、そういや
32:￥ ◆2VB8wsVUoo
16/12/27 00:20:04.50 iZPD86tj.net
￥
33:￥ ◆2VB8wsVUoo
16/12/27 00:21:36.77 iZPD86tj.net
￥
34:￥ ◆2VB8wsVUoo
16/12/27 00:21:53.80 iZPD86tj.net
￥
35:￥ ◆2VB8wsVUoo
16/12/27 00:22:13.44 iZPD86tj.net
￥
36:￥ ◆2VB8wsVUoo
16/12/27 00:22:31.65 iZPD86tj.net
￥
37:￥ ◆2VB8wsVUoo
16/12/27 00:22:48.46 iZPD86tj.net
￥
38:￥ ◆2VB8wsVUoo
16/12/27 00:23:05.21 iZPD86tj.net
￥
39:￥ ◆2VB8wsVUoo
16/12/27 00:23:23.93 iZPD86tj.net
￥
40:￥ ◆2VB8wsVUoo
16/12/27 00:23:42.69 iZPD86tj.net
￥
41:￥ ◆2VB8wsVUoo
16/12/27 00:24:01.75 iZPD86tj.net
￥
42:１３２人目の素数さん
16/12/27 06:31:21.08 UuSzrHdP.net
前スレ>>971
z=(x-a)^2+(y-b)^2-a^2-b^2
は回転放物面だから、x,yが取り得る範囲で、(a,b)からの距離が最小の点で
zが最小になることが判明。
43:￥ ◆2VB8wsVUoo
16/12/27 06:42:59.53 iZPD86tj.net
￥
44:１３２人目の素数さん
16/12/27 08:58:47.12 fBVZvql0.net
>>41
ａ，ｂを動かすなら（ａ，ｂ）を遠くに持っていけばいくらでも小さくなるから最小値はない。
45:￥ ◆2VB8wsVUoo
16/12/27 09:33:05.22 iZPD86tj.net
￥
46:￥ ◆2VB8wsVUoo
16/12/27 09:33:21.96 iZPD86tj.net
￥
47:￥ ◆2VB8wsVUoo
16/12/27 09:33:37.33 iZPD86tj.net
￥
48:￥ ◆2VB8wsVUoo
16/12/27 09:33:54.87 iZPD86tj.net
￥
49:￥ ◆2VB8wsVUoo
16/12/27 09:34:12.08 iZPD86tj.net
￥
50:￥ ◆2VB8wsVUoo
16/12/27 09:34:29.86 iZPD86tj.net
￥
51:￥ ◆2VB8wsVUoo
16/12/27 09:34:46.74 iZPD86tj.net
￥
52:￥ ◆2VB8wsVUoo
16/12/27 09:35:05.34 iZPD86tj.net
￥
53:￥ ◆2VB8wsVUoo
16/12/27 09:35:21.79 iZPD86tj.net
￥
54:￥ ◆2VB8wsVUoo
16/12/27 09:35:39.76 iZPD86tj.net
￥
55:１３２人目の素数さん
16/12/27 10:31:43.77 UuSzrHdP.net
>>43
(a,b)からの距離が最小となる
x^2+y^2≦25, 2x+y≦5
の範囲の中の点で、zは最小値-(a^2+b^2)をとる
56:１３２人目の素数さん
16/12/27 13:53:57.53 WrkWRerW.net
z^n=1に対して
有理数a,bに対してa+bi=zが根にならないことを証明してください。
ただし1の単数は根になってもいいとします。
教えてください。
57:￥ ◆2VB8wsVUoo
16/12/27 16:00:05.93 iZPD86tj.net
￥
58:１３２人目の素数さん
16/12/28 00:13:25.16 SKpBUEV5.net
X上で定義された二乗可積分な複素数値関数全体をL2（この元において、至る所等しければ同一とします）
L2の内積を、(f,g)=∫fg*dμ（gの共役をとってfを掛け積分）とします
μ、νをXの有限測度として、ρ=μ+νとします
さらに、L2(ρ)上の有界線形汎関数Φを
Φ(f)=∫fdρ
と定義します
このとき、リースの定理より
Φ(f)=(f,h) （L2(ρ)上の内積）
なるh∈L2(ρ)が存在する
（ここまでは理解できます）
hの性質で、0≦h(x)＜1 (ρ a.e.)を確かめる際に、
「Φの定義からhは実数値関数として良い」らしいのですが、その理由が分かりません
どなたか教えてくださいませんでしょうか
59:１３２人目の素数さん
16/12/28 00:43:02.30 pcPJEhVO.net
Φを実数値L2関数に制限したとき定まるh（これは実数値としてよい）を用いて
Φ(f) = Φ(Ref) + iΦ(Imf) = (Ref,h) + i(Imf,h) = (f,h)
60:１３２人目の素数さん
16/12/28 08:28:22.08 uAwkapaD.net
>>58
なるほど
ありがとうございます！
61:１３２人目の素数さん
16/12/28 08:40:55.86 oMk9GQiy.net
線形性を使って実数値から拡大できる、というだけ。何を証明したいのか分からんが、命題自体自明のような気がする
62:１３２人目の素数さん
16/12/28 12:28:51.17 pD8keLaG.net
>>57
57は問題設定がおかしいね。
Φ(f)=∫fdρ, Φ(f)=(f,h) （L2(ρ)上の内積） ならh=1にきまっとる。
63:１３２人目の素数さん
16/12/28 12:59:34.00 SEYwXL9P.net
>>61
すみません
Φの定義が間違っていました
Φ(f)=∫fdν
64:１３２人目の素数さん
16/12/28 13:13:43.29 hfdMUmdB.net
>>55は解けませんか？
"1の単数"じゃなくて"単数"の間違いでした。
単数とは1,-1,-i,iの4つのことです。
65:１３２人目の素数さん
16/12/28 13:53:44.00 Bpzk02GU.net
>>55
・nが奇数のとき
a+bi = (A + Bi)/C とする。（A,B,Cは自然数、ABC≠0)
AA+BB=CC より、A,B,Cは互いに素としてよい。
(A+Bi)^n の虚部は
C[n,1]A^(n-1)B - C[n,3]A^(n-3)B^3 + C[n,5]A^(n-5)B^5 - … ±C[n,n]B^n
= B {C[n,1]A^(n-1) - C[n,3]A^(n-3)B^2 + … ±B^(n-1)}
= B {(AAの倍数)±B^(n-1)}
≠ 0
∴ z^n≠1
・nが奇数mの倍数のとき
(a+bi)^n = {(a+bi)^(n/m)}^m ≠ 1,
・n=2^e のとき
n=1,2,4のとき 単数(ab=0)のみ。
n=8 のとき z = (±1±i)/√2 or 単数 ゆえ、成立。
e≧3 のとき 成立。
66:１３２人目の素数さん
16/12/28 14:47:57.24 UAG+gwzR.net
>>63
単数の定義が変。
Q(i)は体だから、0以外は全て単数のはず。
67:１３２人目の素数さん
16/12/28 15:44:53.52 hfdMUmdB.net
>>64
ありがとうございます。
>>65
それは気づきませんでした。
ありがとうございます。
68:１３２人目の素数さん
16/12/29 14:23:45.04 g/epfTbT.net
>>55
・nが奇数のとき
a+bi = (A + Bi)/C とする。（A,B,Cは整数、ABC≠0)
AA+BB=CC より、A,B,Cは互いに素としてよい。
(A+Bi)^n の実部は
C[n,0]A^n - C[n,2]A^(n-2)B^2 + C[n,4]A^(n-4)B^4 - … ±C[n,n-1]AB^(n-1)
= A {A^(n-1) - C[n,2]A^(n-3)B^2 + … ±n･B^(n-1)}
= (Aの倍数)
≠ C^n
∴ z^n≠1
69:１３２人目の素数さん
16/12/29 18:04:48.75 MTvnRPaI.net
（X,μ）を有限な測度空間とし、νをμについて絶対連続な符号付き有限測度とする
ν=ν'-ν'' と、正値測度にジョルダン分解したとき、ν'、ν''もまたμについて絶対連続であることはどうやって示せばよいでしょうか？
70:１３２人目の素数さん
16/12/29 18:29:05.52 /jrklIRv.net
ふん
71:１３２人目の素数さん
16/12/30 10:15:39.16 qnhxLvuU.net
Define $X^+ := \cup \{ B : Borel subset of X ; \nu (B) \geq 0 \}$.
Given a Borel subset $B$ of $X$, we define $B^+ := B \cap X^+$.
Suppose that a Borel subset $B$ of $X$ satisfies $\mu (B) = 0$, hence $\nu (B) = 0$.
Then, we see that $B = B^+$ so that $\nu (B) = \nu (B^+) = \nu^{\prime } (B^+) = \nu^{\prime } (B) =0$.
Consequently, it follows that $\nu^{\prime \prime } (B) = \nu^{\prime} (B) - \nu (B) = 0$.
72:１３２人目の素数さん
16/12/30 11:59:43.02 9MG5Sine.net
単位元が存在して逆元も存在するけど結合的ではない演算ってありますか？
73:１３２人目の素数さん
16/12/30 12:00:26.24 U+UTyWD8.net
交換可能であるともします
74:１３２人目の素数さん
16/12/30 12:30:11.26 8wbK8/AS.net
どこまで調べたの
75:１３２人目の素数さん
16/12/30 12:32:33.90 U+UTyWD8.net
わからないんですか？
76:１３２人目の素数さん
16/12/30 12:45:03.05 +x/x8/0M.net
ある。少し考えれば思いつく
77:１３２人目の素数さん
16/12/30 12:52:57.04 U+UTyWD8.net
わからないんですか？
78:１３２人目の素数さん
16/12/30 13:41:03.60 5h1+5HNJ.net
また劣等感か
79:１３２人目の素数さん
16/12/30 13:47:43.68 U+UTyWD8.net
わからないんですね
80:１３２人目の素数さん
16/12/30 17:33:58.89 0sK070LH.net
31x + 41y = n
をみたす0以上の整数x,yの組みが存在しないような最大の自然数nを求めよ
これの解法が分かりません
分かる方教えてください
81:１３２人目の素数さん
16/12/30 18:25:46.58 aagFbt4r.net
31x+41y=1を満たす整数の組を考えると何かわかるかも知れない
82:１３２人目の素数さん
16/12/30 21:07:22.00 qnhxLvuU.net
First, suppose that $n = 31$. Then, we can pick the pair $(x, y) = (1, 0)$. This implies that
we cannot pick the integer such as $n = 41N + 31$ with $N = 0, 1, \cdots$. Secondly, we let
$n = 31 \cdot 2 = 62$. Then, we can pick $(x, y) = (2, 0)$. This implies that we cannot pick the
integer such as $n = 41N + 62 = 41(N + 1) + 21$ with $N = 0, 1, \cdots$. Repeating this until
$n = 31 \cdot 41 = 1271$, we see that we should avoid all $n \geq 1271$. In fact, these $n$
do not satisfy the given condition since for all $n \geq 1271$
there is $N = 0, 1, \cdots$ and $M = 1, \cdots, 41$ such as $n = 41N + 31M$.
Consequently, we have only to sucsessively check $n = 1270, 1269, \cdots$ to find the maximal
$n$ which does not have the pair $(x, y)$ of nonnegative integers such that $31x + 41y = n$.
83:１３２人目の素数さん
16/12/30 21:48:36.99 qnhxLvuU.net
The answer is 1199.
84:１３２人目の素数さん
16/12/30 23:16:00.02 0sK070LH.net
>>79
解決しました
フロベニウスの硬貨交換問題でした
>>80
ありがとう
85:１３２人目の素数さん
16/12/31 01:47:59.01 5BX5Oht0.net
>>80
(x, y) = (4, -3)
(x, y) = (4n-41k, -3n+31k)
が 31x+41y=n を満たすことが分かる。ただし 0以上とは限らない。
4n-41k ≧ 0, -3n+31k ≧ 0,
を満たす整数ｋ≧0が存在する条件は、
k=[4n/41] に対して 31k≧3n
n≧30*40 についてこれが成立つことを示せばよい。
（n≧31*41 については明らか？）
86:１３２人目の素数さん
16/12/31 01:53:47.25 m6j8E7Gl.net
>>84
既に解決している問題に回答つけるくらいですから暇なんですよね？
単位元が存在して、逆元も存在して、交換法則も成り立つけど、結合法則が成り立たないようなものってあるんでしょうか？
87:１３２人目の素数さん
16/12/31 02:15:21.32 yle2GuBK.net
x*y=(xy+yx)/2
88:１３２人目の素数さん
16/12/31 02:24:25.36 m6j8E7Gl.net
>>86
xやyってなんですか？実数じゃないですよね？
89:１３２人目の素数さん
16/12/31 08:10:34.13 Im406URn.net
>>85
元3つa、b、cで、
a→1
bc→c
cb→c
bb、cc→1
90:１３２人目の素数さん
16/12/31 08:57:04.91 rdQ0B+eK.net
>>87
うーん、この質問はない
91:１３２人目の素数さん
16/12/31 17:28:53.17 ZRypnIwC.net
ちょっとおたずねしますが、イデアルとはどういうものですか？
当方、博士（工学）です。
92:１３２人目の素数さん
16/12/31 17:34:59.41 m6j8E7Gl.net
>>90
物理の勉強はしないんですか？
93:１３２人目の素数さん
16/12/31 17:38:54.03 CzUrHA7C.net
環Rの部分集合Iがイデアルであるとは
・a,b∈I⇒a+b,a-b∈I
・a∈I,x∈R⇒ax∈I
を満たすこと
日本語で言えば、Iの中で足したり引いたりしてもまたI に入って、また、一度Iに含まれた元は何を掛けてもIに含まれ続ける
ということ
偶数全体の集合2Zや3の倍数全体の集合3Zはイデアルだし
x^2+1で割り切れる多項式全体なんかもイデアルだったりする
94:１３２人目の素数さん
16/12/31 18:10:06.44 mrtapakQ.net
要するに、整数とか多項式もイデアル？
95:１３２人目の素数さん
16/12/31 19:07:31.19 daCti/Lj.net
生物学の問題かもしれませんがDNA鑑定による親子関係鑑定はどれくらい信頼度があるのでしょうか？
99%の確率で父親であるという判定結果が出た場合、
仮に父親候補者の男性が二人いた場合、
この判定結果が正しい確率は99%になりますが、
１０人いた場合、99/108にまで下がりませんか？
１００人いたら、99/198=1/2にまで下がりませんか？
父権肯定確率が99%であるのと、99%の確率で父親であるというのは
医学的には意味が違うらしいのですが、
鑑定で黒と出た人が本当に父親である確率は、父親候補者の数には依存しないのですか？
96:１３２人目の素数さん
16/12/31 19:23:39.28 m6j8E7Gl.net
>>94
医学の問題ですね
定義が曖昧すぎて何とも言えないので他のそういうスレで聞くか、厳密に用語の定義をしてください
97:１３２人目の素数さん
16/12/31 19:29:57.38 daCti/Lj.net
99%の精度で的中する鑑定ならば、
二人鑑定実施者がいた場合、事前確率を0.5とすると、
事後確率は99/(99+1)=99/100のままですが、
１０人鑑定実施者がいた場合、事前確率を0.1とすると、
事後確率は99/(99+9)=99/108=11/12にまで下がると思います。
30年近く前のＤＮＡ鑑定だと一致する確率は1000人に1.4人という低い精度のもので、
これで被告人のＤＮＡが不一致であるとわかり再審請求され無罪が確定しています。
98:１３２人目の素数さん
16/12/31 19:32:07.87 ZPBugoa4.net
なんかすごい計算の仕方してるね（汗）
99:１３２人目の素数さん
16/12/31 19:39:59.19 m6j8E7Gl.net
>>96
なんの計算をしているのか意味不明です
何の値を出したいんですか？多分、計算方法が間違ってると思いますけど
100:１３２人目の素数さん
16/12/31 19:41:43.46 daCti/Lj.net
DNA鑑定で黒と出た男性が本当にその子供の父親である確率です
101:１３２人目の素数さん
16/12/31 19:43:49.39 m6j8E7Gl.net
>>99
その値は、1人だけの場合は、99/99+0=1となって100%なんですか？
102:１３２人目の素数さん
16/12/31 19:47:24.10 daCti/Lj.net
>>100
原告側の主張が正しい確率を0.5、被告側の主張が正しい確率を0.5とすると、
99/(99+1)=99%だと思います。
複数人被告がいる場合は、被告の頭数が均等割りされて事前確率が配分されます。
103:１３２人目の素数さん
16/12/31 19:54:27.65 m6j8E7Gl.net
>>101
99① /(99②+1③)
①99
②99
③1
はそれぞれ何を表しているのですか？
104:１３２人目の素数さん
16/12/31 20:03:37.18 daCti/Lj.net
原告の主張が正しい確率を0.5、被告の主張が正しい確率を0.5、
ＤＮＡ鑑定が的中する確率を0.99とすると
ＤＮＡ鑑定で黒と出た結果が真実である確率
=0.99*0.5/(0.99*0.5+0.01*0.5)=99/(99+1)=99/100にならないかという話です。
105:１３２人目の素数さん
16/12/31 20:19:49.73 m6j8E7Gl.net
>>103
＞ＤＮＡ鑑定が的中する確率
＞ＤＮＡ鑑定で黒と出た結果が真実である確率
これの違いはなんですか？
106:１３２人目の素数さん
16/12/31 21:00:41.36 daCti/Lj.net
>>104
陽性であると検査結果が出る確率と、
陽性であると検査結果が出た時に本当に感染している確率の違いと同じです。
107:１３２人目の素数さん
16/12/31 21:04:46.74 bKb/OJcf.net
>>103
「ＤＮＡ鑑定が的中する確率」って、何やねん？
yes/noで答えの出る検査結果の場合、
その正しさを表す数値はひとつではない。
yesと答えるべきところを正しくyesと答える確率を「感度」、
noと答えるべきところを正しくnoと答える確率を「特異性」
といって、このふたつは一般に異なる数値となる。
ＤＮＡ鑑定の結果が一致と出て事実一致である確率と
鑑定の結果が不一致と出て事実不一致である確率も
別々の値であって、それぞれ
検査の感度、得意性、DNA一致の事前尤度から算出できる。
「ＤＮＡ鑑定が的中する確率が99/100」ってのが
鑑定の感度＝特異性＝99/100の意味だとして、
二人の父親候補が鑑定前に同程度にあやしいとすると、
事前尤度＝1/2と置けて、
DNA鑑定が示した父親が本当の父親である確率は
(1/2)(99/100)/{(1/2)(99/100)+(1/2)(1/100)}=99/100となる。
例えば、鑑定以前に、戸籍上の父親が父親であると思われる率が90/100なら、
「DNAが一致しない」という鑑定結果が正しい確率は
(10/100)(99/100)/{(10/100)(99/100)+(90/100)(1/100)}=11/12となって、
99/100よりはいくぶん小さい。
108:１３２人目の素数さん
16/12/31 21:11:46.60 m6j8E7Gl.net
グループ1
•94
＞99%の確率で父親であるという判定結果が出た
＞99%の確率で父親であるというのは
•96
＞99%の精度で的中する鑑定ならば、
•103
＞ＤＮＡ鑑定が的中する確率を0.99とすると
•105
＞陽性であると検査結果が出る確率と、
グループ2
•94
＞父権肯定確率が99%であるのと
•99
＞DNA鑑定で黒と出た男性が本当にその子供の父親である確率です
•103
＞ＤＮＡ鑑定で黒と出た結果が真実である確率
•105
＞陽性であると検査結果が出た時に本当に感染している確率の違いと同じです。
これらはそれぞれ同じグループ内で同じ意味を表していると考えていいですか？
109:１３２人目の素数さん
16/12/31 21:18:14.33 m6j8E7Gl.net
>>106
(1/2)(99/100)/{(1/2)(99/100)+(1/2)(1/100)}=99/100となる。
1/100ってどっから出てくるんですか？
110:１３２人目の素数さん
16/12/31 21:43:03.80 daCti/Lj.net
>>106
＞ＤＮＡ鑑定が的中する確率
DNA鑑定で真実を言い当てる確率のことです。
そう、同じ精度のＤＮＡ鑑定を使っても、
その結果が真実を示す確率は事前確率に依存しますよね？
容疑者が二人いる場合と１００人いる場合では、（あやしさが1/50に振り分けられる場合では）
同じ検査を使っても、その検査結果が正しい確率は、
後者の方が低くなるのではないかという話ですよ。
となると、裁判において、科学は絶対的に正しい方法ではなく、
人間の主観による捜査の正確さがあってこそ初めて威力を発揮するということになりませんか？
111:１３２人目の素数さん
16/12/31 22:08:43.77 ZPBugoa4.net
なんやこいつ
たまに数学版にやってくるパチンカスより頭悪いんちゃうか
112:１３２人目の素数さん
16/12/31 22:17:19.93 bKb/OJcf.net
>>109前半
>>106を読まなかったのか、読めなかったのか、
読む気がなかったのか？
鑑定が「DNA一致」という真実を言い当てる確率と
「DNA不一致」という真実を言い当てる確率とは
異なるが、どっちの話をしているのか？と聞いたのだが。
>>109後半
そう。
同じ感度と特異性のDNA鑑定を使っても、
鑑定結果が合っている確率は事前確率に依存する。
例えば、
同じ占い師が「この宝くじは当たってる」と言うのと
「この宝くじは外れている」と言うのでは、
予言の信憑性は違うと思わないか�
113:ﾋ？
114:１３２人目の素数さん
16/12/31 22:31:30.94 qBVeKw+D.net
父親の可能性がある人はＤＮＡ鑑定の結果を無視してもいいというなら、まあ20億人ほどいるだろうから
ＤＮＡ鑑定による父親判定の信ぴょう性はないっていう結論にすればいい？
今年最後のネタにしてはイマイチしまらないネタだな
来年もよろしく頼むわ
115:１３２人目の素数さん
17/01/01 00:01:52.78 ALDWT/ZA.net
あ け お め こ と よ ろ
116:１３２人目の素数さん
17/01/01 00:02:56.42 NITnzzmz.net
>>107
はい、それでいいと思います。
精度99%というのは、100回検査を行ったら1回だけ間違うという意味だそうで、
99%の確率で父親であるというのと、父権肯定確率99%というのは、
意味が違うそうです。
>>111
どちらもです。
99.99999%の確率で父親、99.99999%の確率で父親ではない、
両方鑑定結果が出ていますよね。
となると、誰が真犯人なのか、真実の父親なのか誰にもわからない場合、
費用をかける（DNA鑑定を繰り返し行う、絞り込みを徹底する）ほど、
被告人が真犯人である、被告が真実の父親である確率は、
真犯人であれば高くなる（確率1に収束する）が、
真犯人でなければ低くなる（確率0に収束する）ということですか？
117:１３２人目の素数さん
17/01/01 15:53:45.14 JcZ3r4LL.net
a, b, cを和が３となる正の実数とする。このとき
√{b / (a^2 + 3)} + √{c / (b^2 + 3)} + √{a / (c^2 + 3)} ≦ (3 / 2) √√(1 / abc)
お願いします
118:１３２人目の素数さん
17/01/01 16:00:18.90 JcZ3r4LL.net
わからないんですか？
119:１３２人目の素数さん
17/01/01 16:24:33.01 mlP1nK9t.net
どなたか、お分かりになる方がいらっしゃれば、お教えいただければ幸いです。
treksit というゲーム（URLﾘﾝｸ(treksit.com) でできます。GIGAZINに解説が
あります）を見て思ったのですが、点と、それを結ぶ線からなる図形があるとき、
点を移動して線が交差しないように変形できるかどうかを判断するには
どこに着目すればよいのでしょうか。点が5以上で、全ての点が線で結ばれた
場合は変形できないようなのですが、どれだけ線がなくなれば良いのか
判断する基準がわかりません。よろしければ、お願いします。
120:１３２人目の素数さん
17/01/01 16:42:00.82 cQs/i6Qr.net
>>115
本当にこれお願いします
正月なのに気になって眠れません
121:１３２人目の素数さん
17/01/01 16:49:51.60 O4dTb5n9.net
>>117
URLﾘﾝｸ(en.wikipedia.org)'s_theorem
122:１３２人目の素数さん
17/01/01 16:57:36.37 UP9XiZHS.net
>>115はマルチポストだからスルー推奨
数学得意な人助けて [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(news4vip板)
123:１３２人目の素数さん
17/01/01 16:57:58.63 cQs/i6Qr.net
>>120
わからないんですか？
124:１３２人目の素数さん
17/01/01 18:06:25.51 M53l1PPa.net
AM-GMより
(a^2+3)/b=a^2/b+1/b+1/b+1/b≧4(a^2/b^4)^(1/4)=4√a/b
よって
√{b / (a^2 + 3)}≦√{b/4√a}=(1/2)√b/√√a
これより与式の左辺≦(1/2){√b/√√a+√c/√√b+√a/√√c}
=(1/2){√b√√(ac)+√c√√(ab)+√a√√(bc)}/√√(abc)
ここでAM-GMより
√b√√(ac)≦{b+√(ac)}/2≦{b+(a+c)/2}/2=b/2+(a+c)/4
よって
√b√√(ac)+√c√√(ab)+√a√√(bc)≦(a+b+c)/2+2(a+b+c)/4=a+b+c=3
ゆえに与式の左辺≦(3/2){1/√√(abc)}
125:１３２人目の素数さん
17/01/01 18:17:24.00 g1qM0Azo.net
>>122
なるほど質問者ではないけど分かってスッキリしました。ありがとう
126:１３２人目の素数さん
17/01/01 18:33:54.91 JcZ3r4LL.net
>>122
＞(1/2){√b/√√a+√c/√√b+√a/√√c}
＞=(1/2){√b√√(ac)+√c√√(ab)+√a√√(bc)}/√√(abc)
これ、なんかおかしくないですか？
第一項なら、√b*√√(bc)だと思います
分母は√√aですから、通分するのにかけるのは、√√(bc)です
127:１３２人目の素数さん
17/01/01 18:45:31.79 M53l1PPa.net
確かに
まあでも
{√b√√(ac)+√c√√(ab)+√a√√(bc)}を
{√b√√(bc)+√c√√(ac)+√a√√(ab)}に
置き換えれば後の論法は一緒ですね
128:１３２人目の素数さん
17/01/01 18:47:55.24 JcZ3r4LL.net
>>122
(1/2){√b/√√a+√c/√√b+√a/√√c}
C-S(cauchy-schwarz)より
≦(1/2)√(a+b+c)√(1/√a+1/√b+1/√c)
=√3/2*√(√(bc)+√(ca)+√(ab))/√√(abc)
C-Sより
√(bc)+√(ca)+√(ab)≦√(b+c+a)√(c+a+b)=3
よって
√(√(bc)+√(ca)+√(ab))≦√3
できました！
ありがとうございました
129:１３２人目の素数さん
17/01/01 20:14:38.46 HhNBFk6M.net
f(x)=sin(x)/x (x>0) とし、
f(x)=a (0<a<1)の解のうち、最も小さいものをx_0(a)とおく。
lim(a→1) x_0(a)/√(1-a)を求めよ。
130:１３２人目の素数さん
17/01/01 21:08:00.44 XqxoAdlb.net
>>119
ありがとうございます。正月中に読ませていただきます。
131:１３２人目の素数さん
17/01/01 23:28:26.34 yok34oCL.net
本当に基本的な質問ですみません｡
当方は地学系を専攻している学部生で家庭教師をしているものなのですが,
生徒になぜ背理法が成立するのかと効かれて全く説明ができませんでした｡
教養の授業において聞いたことのある二値原理で説明してみたのですが
逆に混乱させてしまったみたいで,なおかつ私自身も混乱してしまっています｡
数学に不得手な人間ですが,どのように説明したらいいのでしょうか?
どうぞよろしくお願いします｡
132:１３２人目の素数さん
17/01/01 23:30:19.81 0KaIQqbo.net
>>129
ベン図書いて説明すればいいのでは？？
133:１３２人目の素数さん
17/01/01 23:39:08.47 yok34oCL.net
返信ありがとうございます｡
ベン図もやってみたのですが,かなり賢い生徒さんで,
前件と後件が両方偽の時において,偽ではないのはわかるが
真であるとも思えないといわれて説明できませんでした｡
この場合はどのようにして説明したらいいのでしょうか?
134:１３２人目の素数さん
17/01/01 23:41:38.62 d8d4wmlu.net
背理法は大体対偶みたいなもんだからそれで説明してみるとか
135:１３２人目の素数さん
17/01/01 23:55:12.97 yok34oCL.net
それもやってみたのですが,前件が偽で後件が深のときの説明がうまくできませんでした｡
ネットを見てみた所,P→Qの真偽について嘘をついているかどうかで真理値を説明するという
説明法があるらしいと言うのをしったのですが,それはおおまかにいってただしいのでしょうか?
136:１３２人目の素数さん
17/01/02 00:07:37.96 I/rYlFjb.net
背理法を許さない数学もある
数学的直観主義
137:１３２人目の素数さん
17/01/02 00:11:31.55 BSjdY2KS.net
そういう話題はまた別の機会にどうぞ。
今は排中律を認める立場の人々の議論。
138:１３２人目の素数さん
17/01/02 00:13:38.50 2y0v/fPJ.net
>>131
＞前件と後件が両方偽の時において,偽ではないのはわかるが
背理法は、偽のことを仮定して矛盾を導くんですよ
偽じゃないです
偽を仮定して真を導かれることを示す、これが矛盾です
>>133
普通に変に深入りしないで、Aを仮定したらおかしくなるんだから、Aであることはあり得ない、でいいです
数学的にちゃんとやろうとすると、形式論理の話になって、そういう話になると「それが正しい」といった概念は全て無駄になります
形式的に考えれば、背理法、は公理そのものですから、正しいも何もなくなります
そのような世界においては、何が正しいかではなく、何が合理的か、だけが重要になります
そういう風に、正しいかどういうことかということが無意味であると説明した上で、初めてベン図の包含関係云々による合理性の説明が活きてくるのです
139:１３２人目の素数さん
17/01/02 00:13:40.26 Gwov34CY.net
真偽値を前提とするのならポイントは「否定の否定は肯定である」ということ
￢(P→Q)とはP∧￢Qのことだと定義するなら
P→Qは￢￢(P→Q)のことであり、￢(P∧￢Q)のことである
Pが偽のときはQの真偽値にかかわらずP∧￢Qは偽なのでP→Qは真
140:１３２人目の素数さん
17/01/02 00:19:52.19 I/rYlFjb.net
>>135
排中律認めるなら自明
141:１３２人目の素数さん
17/01/02 00:26:13.25 BSjdY2KS.net
そういう話題はまた別の機会にどうぞ。
142:１３２人目の素数さん
17/01/02 00:32:24.78 VNGKQzqm.net
カテキョの生徒だろ？
難癖付けて「勉強したくない」ってアピールしてるだけじゃねーの？
143:１３２人目の素数さん
17/01/02 00:35:24.90 2y0v/fPJ.net
あなたは、そうなのかもしれませんね
144:１３２人目の素数さん
17/01/02 01:42:46.95 eVj7tG1N.net
コンプガチャの一般化に興味があります
n種等確率の場合は結果も簡単で
URLﾘﾝｸ(mathtrain.jp)
など、ググればたくさん出てきます
等確率でない場合も、なんとか解決しました
本題は景品を一つずつ集めるのではなくk個以上ずつ集める場合についてです
何か関係ありそうな記事、論文などをご存知の方がいたら教えてもらえるとありがたい
145:１３２人目の素数さん
17/01/02 01:55:45.85 mJk7U8P3.net
>>134 が大切ではないかな。生徒への説明に直接
形式論理を含める必要は無いが、教える側の背景知識として
排中律と背理法と対偶法が同値な公理をなすことは
押さえといたほうがいい。その上で、
排中律の下に背理法を証明して見せることが適切かどうかは、
生徒のレベルを見て判断すべきかと。
説明するとかえって混乱しそうな生徒なら、
ベン図でも見せて何となく解った雰囲気にするほうが無難だし。
146:１３２人目の素数さん
17/01/02 02:02:01.24 2y0v/fPJ.net
排中律ってなんだかわかってますか？
正しいか正しくないかのどちらかだってことですよ
これで納得しないからどうするべきかって質問です
こういうのは、数学的に正しいとはそもそもどういうことなのか、生徒も教える側もわかってないから起こる問題です
そういうもんなんだと誤魔化すか、形式的な公理の考え方を叩き込むかのどちらかしかありません
147:１３２人目の素数さん
17/01/02 02:07:49.58 mJk7U8P3.net
お、同意者が
148:１３２人目の素数さん
17/01/02 02:35:03.51 QKedMsaX.net
背理法は場合分けの一種だと思えばよい。
Aが成り立つことを示したい。
「Aが成り立たないとき」「Aが成り立つとき」で場合分けする(ここで排中律が使われている)。
Aが成り立たないとき：～～～によって矛盾するから、このケースは除外してよい。
Aが成り立つとき：証明は既に終わっている。
以上により、Aが成り立つ。
背理法とは、上記のテンプレートで冗長な部分を省略したものだと思えばよい。
あと、背理法の話で「 P ⇒ Q 」という論理式を持ち出すのはよくないと思う。
数学における「ならば」は日常用語の「ならば」と意味が違うので、
「 P ⇒ Q 」を理解するのはこれ単独で1つの登竜門であり、
背理法の話題とは別の難しさを持ち出すことになってしまい、話がこじれる。
149:１３２人目の素数さん
17/01/02 03:28:46.21 mJk7U8P3.net
矛盾すると、なぜそのケースを除外してよいのか？
数学の矛盾を発見したのかもしれないではないか。
150:１３２人目の素数さん
17/01/02 10:10:03.24 zkkZzuvP.net
数学は無矛盾な体系
矛盾を引き起こす切っ掛けにになった仮定は、偽の仮定で無ければ体系を維持できない。
ナンプレ（数独）なんかで説明すれば、納得できるのでは？
151:１３２人目の素数さん
17/01/02 11:44:19.11 Gwov34CY.net
>>147
背理法は無矛盾性を前提にしているわけではない
矛盾していれば何でも証明できるのだから、当然、背理法も成り立つ
152:１３２人目の素数さん
17/01/02 12:01:14.90 0290nZie.net
数学の本質は構造である
153:１３２人目の素数さん
17/01/02 12:31:29.35 SepHgHbl.net
背理法の正当化は実用性以外に無い
154:１３２人目の素数さん
17/01/02 12:45:49.60 vlny7e8v.net
>>148
それは証明されていない。
それどころか、証明不可能
であることが証明されている。
155:１３２人目の素数さん
17/01/02 12:47:16.00 vlny7e8v.net
>>149
それは>>146に言えよ。
156:１３２人目の素数さん
17/01/02 12:48:34.90 vlny7e8v.net
>>151
そりゃまあ、直観主義数学は
あまりに非実用的だからね。
157:１３２人目の素数さん
17/01/02 14:14:46.11 vwKsV5kr.net
肝心なのは背理法での証明と直感主義数学での証明が相互に書き換え可能ということだぞ
158:１３２人目の素数さん
17/01/02 14:52:22.88 vlny7e8v.net
>>155
全てが書き換え可能だったら
排中律が証明できることになるが、
そういう主張がしたいのかな？
159:１３２人目の素数さん
17/01/02 15:56:14.39 FYJnOqxC.net
微分形式って何のために考え出されたんですか？
いろんな数学書を見ても歴史的経緯がさっぱりです。
160:１３２人目の素数さん
17/01/02 18:57:43.05 +mqik42U.net
一人目の容疑者にDNA鑑定を実施して白と出た場合、
他にn人容疑者がいる場合、
n+1人目の容疑者を見つけ出してその人にDNA鑑定を実施した方が、
現状容疑者とされているn人の中から一人を選んでDNA鑑定を実施するより、
真犯人を見つけ出せる確率は高くなりますか？
DNA鑑定の精度は100%ではないものとします。
161:１３２人目の素数さん
17/01/02 19:03:10.45 +mqik42U.net
真犯人は、殺された被害者だけが知っているとします。
162:１３２人目の素数さん
17/01/02 21:26:58.60 vlny7e8v.net
>>158
それ、DNA鑑定の精度と関係ない話だろ？
すでに確保されてる２人目～ｎ人目の容疑者と
まだ確保されてないｎ＋１人目の容疑者では、
どちらの容疑が濃いか？という問題。
そこが同じなら、どちらに鑑定を行っても
犯人が見つかる可能性は同じだし、
どちらかの容疑が濃いなら、濃いほうから先に
鑑定を行ったほうが早く犯人が捕まりそうだ。
163:１３２人目の素数さん
17/01/02 22:13:50.10 StIEudB7.net
ゲーデルの不完全性定理で質問があります。
①理論体系Ａは自分自身で自分に矛盾が無いことを証明できない。
②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。
③理論体系が二つあればそれぞれの正しさ（矛盾がないこと）を証明できる。
…ということでよいんでしょうか？
数学は苦手なんでそこんとこよろしくお願いします…。
164:１３２人目の素数さん
17/01/02 22:27:27.63 Gwov34CY.net
>>161
AやBは何なの？
③は明らかに間違い
165:161
17/01/02 22:51:53.25 StIEudB7.net
うわーこんな質問にレスがついた！
ありがとうー！
こんなこというと無視されそうだから書かなかったんだけど不完全性定理はまだ勉強してないんだ…。
ただ知りたいことがあって。
その知りたいことっていうのが、ある理論体系（数学とか）の正しさ（矛盾がなく証明不可能な命題もなし）を本当に証明できるんだろうかと。
＞AやBは何なの？
特定のものを指してるわけではなく…。
＞③は明らかに間違い
では②が間違いでもないという前提で尋ねたいんだけれど、仮にの話で。
理論体系Ａの正しさを理論体系Ｂで証明したとして、理論体系Ｂの正しさはどうやって証明するの？
それとも理論体系Ｂは別に正しくても正しくなくても関係ないのかな、理論体系Ａの正しさの証明には。
…わかる、自分できちんと不完全性定理を一から勉強しなさい�
166:ﾁてのは。 どうか僕のことを小学生の子供だと思ってほしい。
167:１３２人目の素数さん
17/01/02 23:04:25.56 bpWg0UDU.net
大人のピタゴラスイッチ「ピーマンとハトと数学」★1 [無断転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(liveetv板)
168:１３２人目の素数さん
17/01/02 23:06:22.90 2y0v/fPJ.net
>>163
私も不完全性定理全然知らないですけど、あなたの思っている「正しさ」≠矛盾がない、ということではないと思います
矛盾がないというのは、「その理論体系内において」矛盾がないということです
たとえば
理論A
りんごは赤い
りんごは白い
これは明らかに矛盾していますね
こういうのが矛盾している、ということです
理論B
りんごは赤い
これは矛盾していません
それと同様に
理論C
りんごは白い
これも、C内だけで考えるならば、矛盾はしていないのです
矛盾が生じるのは、実際の我々の知っているりんごを理論内に持ち出した時です
理論C'
りんごは白い
実際のりんごは赤い
これは矛盾します
169:１３２人目の素数さん
17/01/02 23:07:41.32 2y0v/fPJ.net
現代の数学においては、公理主義、もしくは、形式主義と呼ばれる立場を取っています
公理と呼ばれる大前提を定めて、その枠組みの中で物事を考えてしまおう、ということです
そのような考え方において、公理の正しさはどのようにして証明されるのか、という疑問はナンセンスです
公理とは単なる議論を進めるにあたって最初に定める前提であり、それ以外の何者でもないからです
1+1=2
これはあなたは「正しい」と思うかもしれません
しかし、1+1=11、こういうことだってあり得るわけです
1を文字と考えて、文字の足し算を考えたわけです
このような二つの1+1を考えた場合、どちらが間違えで、どちらが正しい、といったことは言えません
どちらも、それぞれの意味において正しいのです
つまり、現代数学的な立場を取る限り、「唯一の真理」とか「絶対正しい」といったことを示すことはできないのです
170:161
17/01/02 23:44:39.47 StIEudB7.net
わかりやすく書いてくれてありがとう！
色々と参考になるよ！
＞矛盾がないというのは、「その理論体系内において」矛盾がないということです
なるほど、そう考えると絶対的な正しさは確かにない。
＞そのような考え方において、公理の正しさはどのようにして証明されるのか、という疑問はナンセンスです
公理はあくまでも基本的な仮定だろうからそれについて正しさ云々を言うつもりはないよ。
それらの公理を集めて作った理論体系について、かな。
171:１３２人目の素数さん
17/01/02 23:47:22.37 2y0v/fPJ.net
>>167
それなら、
>>163
＞理論体系Ａの正しさを理論体系Ｂで証明したとして、理論体系Ｂの正しさはどうやって証明するの？
＞それとも理論体系Ｂは別に正しくても正しくなくても関係ないのかな、理論体系Ａの正しさの証明には。
このように、Aを考えているのにBが出てくる時点でおかしい、ということはわかりますよね？
172:１３２人目の素数さん
17/01/02 23:52:03.66 Gwov34CY.net
>>168
いや、おかしいのはアンタだろｗ
173:161
17/01/02 23:54:23.77 StIEudB7.net
＞このように、Aを考えているのにBが出てくる時点でおかしい、ということはわかりますよね？
ごめん、わからないｗ
言い訳するとちょっと眠いから悪い頭が普段よりもっと悪くなってると思う。
理論体系Ａが正しい＝理論体系Ａに矛盾がない。
という定義で。
①理論体系Ａに矛盾がないことを理論体系Ａでは証明できない。
②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。
だよね？
174:１３２人目の素数さん
17/01/02 23:56:14.73 2y0v/fPJ.net
>>170
ちがいますよ
1+1=2なのは、1+1=2の理論だからです
1+1=11の理論からは、1+1=2の正しさは示せません
175:161
17/01/02 23:57:35.15 StIEudB7.net
てか君らみたいに頭良くなりたいよｗ
やはり数学を地道に勉強していかないとここの皆さんと会話すらできないくさいぜ…。
176:１３２人目の素数さん
17/01/02 23:58:56.80 Gwov34CY.net
>>172
ID:2y0v/fPJ は「理論の正しさ＝公理の導出」という勘違いで凝り固まってるから無視した方がいい
177:161
17/01/02 23:59:06.22 StIEudB7.net
＞1+1=11の理論からは、1+1=2の正しさは示せません
ということは
＞①理論体系Ａに矛盾がないことを理論体系Ａでは証明できない。
＞②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。
②が間違えてるということかな。
178:１３２人目の素数さん
17/01/02 23:59:46.22 2y0v/fPJ.net
>>173
じゃあどういうことなんですかぁ？
179:１３２人目の素数さん
17/01/03 00:00:04.97 +L7QxfH3.net
>>173
ねぇ、まだ？
180:１３２人目の素数さん
17/01/03 00:00:20.64 +L7QxfH3.net
>>173
ねぇ、まだ？
181:１３２人目の素数さん
17/01/03 00:00:37.73 +L7QxfH3.net
>>173
ねぇ、まだ？
182:１３２人目の素数さん
17/01/03 00:00:58.05 +L7QxfH3.net
>>173
ねぇ、まだ？
183:１３２人目の素数さん
17/01/03 00:01:14.59 +L7QxfH3.net
>>173
ねぇ、まだ？
184:１３２人目の素数さん
17/01/03 00:01:34.56 +L7QxfH3.net
>>173
ねぇ、まだ？
185:１３２人目の素数さん
17/01/03 00:01:51.21 +L7QxfH3.net
>>173
ねぇ、まだ？
186:１３２人目の素数さん
17/01/03 00:02:09.89 +L7QxfH3.net
>>173
ねぇ、まだ？
187:１３２人目の素数さん
17/01/03 00:02:26.73 +L7QxfH3.net
>>173
ねぇ、まだ？
188:１３２人目の素数さん
17/01/03 00:02:45.71 +L7QxfH3.net
>>173
ねぇ、まだ？
189:１３２人目の素数さん
17/01/03 00:03:03.25 +L7QxfH3.net
>>173
ねぇ、まだ？
190:１３２人目の素数さん
17/01/03 00:03:20.33 +L7QxfH3.net
>>173
ねぇ、まだ？
191:１３２人目の素数さん
17/01/03 00:03:37.06 +L7QxfH3.net
>>173
ねぇ、まだ？
192:１３２人目の素数さん
17/01/03 00:03:53.79 +L7QxfH3.net
>>173
ねぇ、まだ？
193:１３２人目の素数さん
17/01/03 00:04:09.66 +L7QxfH3.net
>>173
ねぇ、まだ？
194:１３２人目の素数さん
17/01/03 00:04:25.92 +L7QxfH3.net
>>173
ねぇ、まだ？
195:１３２人目の素数さん
17/01/03 00:04:43.06 +L7QxfH3.net
>>173
ねぇ、まだ？
196:１３２人目の素数さん
17/01/03 00:05:01.11 +L7QxfH3.net
>>173
ねぇ、まだ？
197:１３２人目の素数さん
17/01/03 00:05:17.06 +L7QxfH3.net
>>173
ねぇ、まだ？
198:１３２人目の素数さん
17/01/03 00:05:33.26 +L7QxfH3.net
>>173
ねぇ、まだ？
199:１３２人目の素数さん
17/01/03 00:05:35.83 N8RBL+XJ.net
>>174
そもそも②の文章が曖昧
正確な文章で考えてみる
④適切なBを用意すればAの正しさを証明できる……これは正しい
（極端な話、Aの無矛盾性を意味する論理式をAに追加したものをBとすればいい）
⑤Aと異なるBを何でもいいから用意すればAの正しさを証明できる……これは間違い
おそらく貴方は④と⑤を混同してるから③のような勘違いが産まれた
200:１３２人目の素数さん
17/01/03 00:05:50.03 +L7QxfH3.net
>>173
ねぇ、まだ？
201:１３２人目の素数さん
17/01/03 00:06:17.17 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
202:161
17/01/03 00:06:18.07 AVmNKFwo.net
>>173
レスくれる人は神様だぜ！
てっきり無視されるかと思ってたからさｗ
貴方にもありがとう。
質問がやはり大雑把過ぎだよね。
こちらに数学の知識がないのが原因なんだけど。
203:１３２人目の素数さん
17/01/03 00:06:35.70 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
204:１３２人目の素数さん
17/01/03 00:06:54.52 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
205:１３２人目の素数さん
17/01/03 00:07:11.06 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
206:１３２人目の素数さん
17/01/03 00:07:28.00 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
207:１３２人目の素数さん
17/01/03 00:07:44.73 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
208:１３２人目の素数さん
17/01/03 00:08:00.95 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
209:１３２人目の素数さん
17/01/03 00:08:17.27 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
210:１３２人目の素数さん
17/01/03 00:08:34.20 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
211:１３２人目の素数さん
17/01/03 00:08:51.05 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
212:１３２人目の素数さん
17/01/03 00:09:06.80 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
213:１３２人目の素数さん
17/01/03 00:09:22.72 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
214:１３２人目の素数さん
17/01/03 00:09:40.40 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
215:１３２人目の素数さん
17/01/03 00:09:57.60 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
216:１３２人目の素数さん
17/01/03 00:10:04.09 N8RBL+XJ.net
＞私も不完全性定理全然知らないですけど、あなたの思っている「正しさ」≠矛盾がない、ということではないと思います
最初の質問>>161の時点で 正しさ（矛盾がないこと） と書いてあるでしょ
217:１３２人目の素数さん
17/01/03 00:10:14.44 +L7QxfH3.net
>>173
>>196
ねぇ、まだ？
218:１３２人目の素数さん
17/01/03 00:10:33.96 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
219:１３２人目の素数さん
17/01/03 00:10:50.90 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
220:わからないんですね(笑)
17/01/03 00:11:20.01 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
221:わからないんですね(笑)
17/01/03 00:11:35.50 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
222:わからないんですね(笑)
17/01/03 00:11:52.39 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
223:１３２人目の素数さん
17/01/03 00:12:06.77 N8RBL+XJ.net
後800もあるけど、またその調子でスレを埋め立てるつもり？
やっぱり君は高校生相手に粋がってるのがお似合いだよ
背伸びするから恥をかく
224:わからないんですね(笑)
17/01/03 00:12:11.98 +L7QxfH3.net
>>173
>>196
>>213
ねぇ、まだ？
225:わからないんですね(笑)
17/01/03 00:12:42.88 +L7QxfH3.net
>>173
>>196
>>213
>>220
ねぇ、まだ？
226:１３２人目の素数さん
17/01/03 00:12:45.78 U0HmGK9y.net
劣等感、年始から暇してるのかエンジン全開だな
人格崩壊しててリアルでも親戚づきあいもないのかな
227:わからないんですね(笑)
17/01/03 00:13:03.73 +L7QxfH3.net
>>173
>>196
>>213
>>220
ねぇ、まだ？
228:わからないんですね(笑)
17/01/03 00:13:24.90 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
229:わからないんですね(笑)
17/01/03 00:13:41.87 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
230:わからないんですね(笑)
17/01/03 00:13:58.72 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
231:わからないんですね(笑)
17/01/03 00:14:16.24 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
232:わからないんですね(笑)
17/01/03 00:14:34.06 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
233:わからないんですね(笑)
17/01/03 00:14:51.74 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
234:わからないんですね(笑)
17/01/03 00:15:09.32 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
235:わからないんですね(笑)
17/01/03 00:15:26.83 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
236:わからないんですね(笑)
17/01/03 00:15:44.80 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
237:わからないんですね(笑)
17/01/03 00:15:57.09 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
238:わからないんですね(笑)
17/01/03 00:16:13.90 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
239:わからないんですね(笑)
17/01/03 00:16:30.61 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
240:わからないんですね(笑)
17/01/03 00:16:48.37 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
241:わからないんですね(笑)
17/01/03 00:17:04.51 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
242:わからないんですね(笑)
17/01/03 00:17:22.29 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
243:わからないんですね(笑)
17/01/03 00:17:39.03 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
244:わからないんですね(笑)
17/01/03 00:17:55.25 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
245:わからないんですね(笑)
17/01/03 00:18:12.71 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
246:わからないんですね(笑)
17/01/03 00:18:29.86 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
247:わからないんですね(笑)
17/01/03 00:18:45.43 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
248:わからないんですね(笑)
17/01/03 00:19:01.21 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
249:わからないんですね(笑)
17/01/03 00:19:17.58 +L7QxfH3.net
>>173
>>196
250:="noopener noreferrer" target="_blank">>>213 >>220 >>223 ねぇ、まだ？
251:わからないんですね(笑)
17/01/03 00:19:34.46 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
252:わからないんですね(笑)
17/01/03 00:19:50.64 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
253:わからないんですね(笑)
17/01/03 00:20:08.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
254:わからないんですね(笑)
17/01/03 00:20:25.27 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
255:わからないんですね(笑)
17/01/03 00:20:41.86 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
256:わからないんですね(笑)
17/01/03 00:20:58.07 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
257:わからないんですね(笑)
17/01/03 00:21:18.17 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
258:わからないんですね(笑)
17/01/03 00:21:34.83 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
259:わからないんですね(笑)
17/01/03 00:21:50.79 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
260:わからないんですね(笑)
17/01/03 00:22:08.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
261:わからないんですね(笑)
17/01/03 00:22:25.57 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
262:わからないんですね(笑)
17/01/03 00:22:43.15 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
263:わからないんですね(笑)
17/01/03 00:22:59.06 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
264:わからないんですね(笑)
17/01/03 00:23:16.74 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
265:わからないんですね(笑)
17/01/03 00:23:33.36 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
266:わからないんですね(笑)
17/01/03 00:23:49.92 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
267:わからないんですね(笑)
17/01/03 00:24:07.63 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
268:161
17/01/03 00:24:21.75 AVmNKFwo.net
>>196
丁寧に掘り下げてくれて助かります。
＞④適切なBを用意すればAの正しさを証明できる……これは正しい
＞（極端な話、Aの無矛盾性を意味する論理式をAに追加したものをBとすればいい）
なるほど。
…またわかってないとつっこまれそうだけれど恐れずに。
そのＢの正しさはどうやって証明するのだろう、Ｃをもってくる？
（Ｂの正しさなんてＡの正しさの証明に無関係なんだろうけど気になって）
…たぶんすごい勘違いを自分はしてると思うからすまそ。
また明日のぞきます！おやすみ！
269:わからないんですね(笑)
17/01/03 00:24:24.89 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
270:わからないんですね(笑)
17/01/03 00:24:42.88 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
271:わからないんですね(笑)
17/01/03 00:25:08.17 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
272:わからないんですね(笑)
17/01/03 00:25:24.04 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
273:わからないんですね(笑)
17/01/03 00:25:41.15 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
274:わからないんですね(笑)
17/01/03 00:25:57.31 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
275:わからないんですね(笑)
17/01/03 00:26:11.37 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
276:わからないんですね(笑)
17/01/03 00:26:28.71 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
277:わからないんですね(笑)
17/01/03 00:26:49.37 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
278:わからないんですね(笑)
17/01/03 00:27:12.27 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
279:わからないんですね(笑)
17/01/03 00:27:29.15 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
280:わからないんですね(笑)
17/01/03 00:27:46.92 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
281:わからないんですね(笑)
17/01/03 00:28:03.66 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
282:161
17/01/03 00:28:11.00 AVmNKFwo.net
+L7QxfH3さんもおやすみだぜ！
283:わからないんですね(笑)
17/01/03 00:28:19.43 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
284:わからないんですね(笑)
17/01/03 00:28:38.32 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
285:わからないんですね(笑)
17/01/03 00:28:54.26 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
286:わからないんですね(笑)
17/01/03 00:29:11.11 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
287:わからないんですね(笑)
17/01/03 00:29:28.29 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
288:わからないんですね(笑)
17/01/03 00:29:46.32 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
289:わからないんですね(笑)
17/01/03 00:30:03.22 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
290:わからないんですね(笑)
17/01/03 00:30:20.03 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
291:わからないんですね(笑)
17/01/03 00:30:36.36 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
292:わからないんですね(笑)
17/01/03 00:30:53.63 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
293:わからないんですね(笑)
17/01/03 00:31:11.68 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
294:わからないんですね(笑)
17/01/03 00:31:27.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
295:わからないんですね(笑)
17/01/03 00:31:53.11 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
296:わからないんですね(笑)
17/01/03 00:32:11.44 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
297:わからないんですね(笑)
17/01/03 00:32:30.45 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
298:わからないんですね(笑)
17/01/03 00:32:46.63 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
299:わからないんですね(笑)
17/01/03 00:33:01.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223 ねぇ、まだ？ >>278 死ね
301:わからないんですね(笑)
17/01/03 00:33:18.18 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
302:わからないんですね(笑)
17/01/03 00:33:35.58 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
303:わからないんですね(笑)
17/01/03 00:33:52.16 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
304:わからないんですね(笑)
17/01/03 00:34:09.31 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
305:わからないんですね(笑)
17/01/03 00:34:26.21 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
306:わからないんですね(笑)
17/01/03 00:34:45.89 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
307:わからないんですね(笑)
17/01/03 00:35:01.92 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
308:わからないんですね(笑)
17/01/03 00:35:18.95 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
309:わからないんですね(笑)
17/01/03 00:35:34.90 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
310:わからないんですね(笑)
17/01/03 00:35:53.84 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
311:わからないんですね(笑)
17/01/03 00:36:09.82 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
312:わからないんですね(笑)
17/01/03 00:36:27.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
313:わからないんですね(笑)
17/01/03 00:36:45.08 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
314:わからないんですね(笑)
17/01/03 00:37:00.39 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
315:わからないんですね(笑)
17/01/03 00:37:17.76 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
316:わからないんですね(笑)
17/01/03 00:37:35.17 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
317:わからないんですね(笑)
17/01/03 00:37:51.61 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
318:わからないんですね(笑)
17/01/03 00:38:08.52 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
319:わからないんですね(笑)
17/01/03 00:38:25.00 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
320:わからないんですね(笑)
17/01/03 00:38:42.96 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
321:わからないんですね(笑)
17/01/03 00:39:00.71 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
322:わからないんですね(笑)
17/01/03 00:39:19.39 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
323:１３２人目の素数さん
17/01/03 00:39:20.55 aJ2jBb4g.net
また劣等感のピエロかよ
324:わからないんですね(笑)
17/01/03 00:39:36.78 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
ねぇ、まだ？
>>278
死ね
325:わからないんですね(笑)
17/01/03 00:39:53.36 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね
326:わからないんですね(笑)
17/01/03 00:40:11.35 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね
327:わからないんですね(笑)
17/01/03 00:40:27.34 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね
328:わからないんですね(笑)
17/01/03 00:40:46.53 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね
329:わからないんですね(笑)
17/01/03 00:41:03.38 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね
330:わからないんですね(笑)
17/01/03 00:41:20.95 +L7QxfH3.net
>>173
>>196
>>213
>>220
>>223
>>318
ねぇ、まだ？
>>278
死ね