11/12/30 22:00:47.59 .net
おつ～ん
3:あんでぃ ◆Q5DeCEGA5s
11/12/31 09:15:28.61 .net
あんでぃ
4:１３２人目の素数さん
11/12/31 10:15:59.77 .net
アスペ隔離スレね
5:１３２人目の素数さん
11/12/31 10:36:49.18 .net
>>1のテンプレ、敬体と常体くらいは文章作法として
合わせて下さい
×数学の基礎づけを目的として誕生したが
↓
○数学の基礎づけを目的として誕生しましたが
○数学の基礎づけを目的として誕生した分野ですが、
6:１３２人目の素数さん
11/12/31 10:44:34.99 .net
おまえいがいそんなことは気にしない
だからおまえはアスペだとしてきされるのではないか
7:１３２人目の素数さん
2012/01
8:/02(月) 14:31:57.72 .net
9:１３２人目の素数さん
12/01/02 23:06:15.09 .net
ｽﾚﾘﾝｸ(math板:958番)
この質問に誰も答えられないと云うのは、・・・
10:１３２人目の素数さん
12/01/03 08:08:12.53 .net
直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)
11:１３２人目の素数さん
12/01/03 08:10:20.08 .net
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)
直観主義論理でも {x | ￢ x ∈ x} の存在から
矛盾を導くことはできます。
要は、φから矛盾を導くことができることから
￢φ を導くのは直観主義論理でもアリ
なことがミソです。
やってみましょう。
R = {x | ￢ x ∈ x} とおく。 すなわち、
(*) x ∈ R ⇔ ￢ x ∈ x
である。 特に、x = R の場合を考えると、
(**) R ∈ R ⇔ ￢ R ∈ R
まず、R ∈ R と仮定すると (**) より ￢ R ∈ R が得られ、
仮定と矛盾する。 R ∈ R を仮定して矛盾が導かれたので、
￢ R ∈ R が成り立つ。
これに (**) を適用すると、R ∈ R が得られる。
R ∈ R と ￢ R ∈ R がともに成り立つので、矛盾する。
12:１３２人目の素数さん
12/01/03 08:19:34.01 .net
ちなみに、縮約規則がない論理では
{x | ￢ x ∈ x} の存在から
矛盾を導くことができない。
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(d.hatena.ne.jp)
13:１３２人目の素数さん
12/01/03 08:23:57.31 .net
まとめ。
１．「論理主義」（フレーゲの理論）では
ラッセルのパラドックスが生じる。
但し、ツェルメロの公理的集合論では
ラッセルのパラドックスは生じない。
２．「直観主義」（排中律なしの論理）でも
ラッセルのパラドックスを防げない。
３．「形式主義」（ヒルベルト・プログラム）では
公理的集合論からパラドックスが生じない
という証明は出来ない。
結論：数学基礎論はラッセルのパラドックスとは直接関係ない。
14:１３２人目の素数さん
12/01/03 08:28:16.00 .net
ｽﾚﾘﾝｸ(math板:964番)
＞自分が気に入らないとスタンフォードの事典すらも、素人扱いか。
>>12で根拠を示した。
スタンフォードという名前は意味がない。
引用したページでは、証明が示されている。
数学でも他の学問でも、重要なのは内容であって
無意味な権威ではない。
15:１３２人目の素数さん
12/01/03 08:45:54.66 .net
＞「直観主義は直観主義論理を採用すること」等々、
＞素人っぷり丸出し
残念だが、ブラウアーは集合論に代わる理論を提示していない。
その意味でも、ラッセルのパラドックスを解決できていない。
誰が素人かは、当の素人以外には明らかだろう。
16:１３２人目の素数さん
12/01/03 08:50:39.09 .net
＞直観主義っていうのは、論理の部分だけではなく、
＞非論理的公理の部分や、 その他数学のあるべき姿全般
＞に対する哲学的主張（例えば形式主義に反対するなど）
＞までひっくるめた文字通り一つの「主義」なんだけどな。
ブラウアーは、非論理的公理を示さなかった。
もともと公理論が嫌いだったともいわれている。
ブラウアーはナチ・シンパだったともいわれている。
直観主義が政治的な態度まで含めるかどうかは知らんが。
17:１３２人目の素数さん
12/01/03 08:59:33.02 .net
ラッセルのパラドックスの解決法に関しては
○○の一つ覚えのような論理主義・直観主義・形式主義
の三主義の呪文を唱えるより、以下のページおよび
これに関連するページを見たほうが、よほど多くのことを
学べるだろう。
URLﾘﾝｸ(d.hatena.ne.jp)
18:１３２人目の素数さん
12/01/03 09:06:33.40 .net
＞基礎論論争は、隔離スレでやってくれ
おやおや、それなら、わざわざスレッドのタイトルに
堂々と数学基礎論なんていれなきゃいいのにね。
ちなみにこちらは（）つき。
しかも、数理論理学によって、いわゆる○○主義が
ラッセル・パラドックスの解決には結びつかない
という事実を示している。つまり数学の話。
19:１３２人目の素数さん
12/01/03 09:19:42.22 .net
マツシンって誰？
20:１３２人目の素数さん
12/01/03 09:24:49.21 .net
AKB全盛の今、「なっちって誰？」って
尋ねるようなもんだな。
21:１３２人目の素数さん
12/01/03 09:47:01.11 .net
質問
１．数学の理論に決定可能性は必要？
２．数学の理論に無矛盾性証明は必要？
３．１及び２の要件を満たさない
現在の集合論は数学ではない？
22:KingMathematician ◆LoZDre77j4i1
12/01/03 13:05:49.32 .net
数学の無矛盾性を証明されるべきとした人がいる.
数学の無矛盾性を証明できないらしいが,
無矛盾性を証明できないことの証明に誤りがあるといわれることもあり,今の事態は何か.
23:１３２人目の素数さん
12/01/03 13:08:04.51 .net
>>20
公式見解
１．不必要
２．不必要
３．集合論から矛盾が導かれない限り
数学の理論として認められる。
24:１３２人目の素数さん
12/01/03 13:11:03.44 .net
>>21
＞数学の無矛盾性を証明されるべきとした人がいる
ヒルベルトのことかい？
＞数学の無矛盾性を証明できないらしいが,
ゲーデルの不完全性定理のことかい？
＞無矛盾性を証明できないことの証明に
＞誤りがあるといわれることもあり
誰の発言のことかい？素人のいいがかりなら忘れとけ
25:１３２人目の素数さん
12/01/03 13:17:18.48 .net
1 はい
2 いいえ
3 はい
だな、俺の感覚からすると
26:１３２人目の素数さん
12/01/03 13:57:07.90 .net
>>24
一応確認しますが、
決定可能性の定義は
御存知ですか？
27:１３２人目の素数さん
12/01/03 14:10:31.01 .net
数学の無矛盾性が数学の中で記述できるものとする。
数学が決定可能かつ矛盾が証明不能（無矛盾）ならば
無矛盾性は当然証明できる。
28:１３２人目の素数さん
12/01/03 19:39:36.38 .net
無限論の教室（野矢茂樹）
「ラッセル集合、つまり「自分自身を要素としてもたない集合」ですが、
これもまた、可能無限的観点からすれば、そういう集合を集めてくる
際限もない作業があるにすぎません。こうした生成するものとしての
集合というイメージのもとでは、「自分自身を要素に持つ／持たない」
ということも考え直さなければなりません。「ラッセル集合」とは、
そうした作業遂行の方法に付けられた名前に過ぎません。それは決して
完結した全体として対象化されえないものですから、それが要素になる
とならないとかいうのはナンセンスなのです。(p.167-168)」
これがブラウアーの見解かどうかはともかくとして、この主張は、
直観主義論理によって内包公理を救うものではなく、むしろ、
内包公理を否定しているわけで、単に集合論に難癖つけてると
しか思えん。
29:１３２人目の素数さん
12/01/03 21:00:17.61 .net
>26
証明概略はこれでいい？
決定可能性の前提から、
(1) |- Consis または |- not Consis
|- not Consis とすると |- false。これは無矛盾性の前提に反する。だから
(2) not |- not Consis
(1)と(2)から
(3) |- Consis 以上
>数学の無矛盾性が数学の中で記述できるものとする。
ここの｢数学｣は｢形式的体系｣くらいが適切？
30:１３２人目の素数さん
12/01/04 12:19:40.35 .net
>>27
内包公理に変わるものを構築しようとしていると考えることも出来る。
31:１３２人目の素数さん
12/01/05 22:37:51.61 .net
★★★下記の本スレへ誘導のほどお願いします★★★
数学基礎論・数理論理学 その11
ｽﾚﾘﾝｸ(math板)
★★★★★★★★★★★★★★★★★★★★★★★
32:１３２人目の素数さん
12/01/06 13:13:51.58 .net
オワ
33:１３２人目の素数さん
12/01/07 16:37:01.95 .net
ｽﾚﾘﾝｸ(math板:49番)
上記の文章では、直観主義がいかなる意味で
ラッセル・パラドックスなどの逆理を回避するのか
全く答えられていない。つまりトンデモ。
34:１３２人目の素数さん
12/01/07 16:39:55.69 .net
ｽﾚﾘﾝｸ(math板:51番)
上記の文章を書いた人は、きっと
「数学基礎論が生まれた動機の一つとして、
素朴集合論における逆理の解消があるんですよね。
ね、ね、そうだといってくださいよ。（泣）」
と懇願のメールを専門家に送りまくって
黙殺された苦い経験があるんだろう（笑）
35:１３２人目の素数さん
12/01/07 16:45:53.58 .net
ｽﾚﾘﾝｸ(math板:53番)
「扇定理(Fan Theorem) と
連続選択公理(実数の選択関数で連続なものが取れる) により
ラッセル・パラドックスが解消される！」
という新説を唱える者現る（笑）
36:１３２人目の素数さん
12/01/07 16:49:18.28 .net
ｽﾚﾘﾝｸ(math板:54番)
上記の文章を書いた人は、なにか重大な誤解をしているようだ。
「実数値関数はすべて連続である」ということは
「連続性を有しないものは実数値（全域）関数でない」
ということであるから、当然弱い。
37:１３２人目の素数さん
12/01/07 16:52:40.14 .net
ｽﾚﾘﾝｸ(math板:70-72番)
結局
「直観主義がラッセル・パラドックスを解決する！」
といってた人は、頓死したようだ（笑）
38:１３２人目の素数さん
12/01/07 17:09:03.74 .net
ｽﾚﾘﾝｸ(math板)
＞知識も話題も豊富なスレタイスレ446
おしゃべりの素人にだれも言い返せないとは
トンデモスレはどいつもこいつもカスだな。
39:１３２人目の素数さん
12/01/07 17:12:58.30 .net
ぶっちゃけ、決定厨（数学理論は決定可能でなければならない
と絶叫する奴）は人格障害かと思う。
数理論理学が、全ての問題の解決法を求めたがる
人格障害者をひきつけ易い傾向があるのは確かだ。
40:１３２人目の素数さん
12/01/07 18:07:07.60 .net
何かはしゃいでるようだけど、サッパリ分からないな。
41:１３２人目の素数さん
12/01/07 19:21:11.13 .net
決定不可能なものは数学だなんて呼べないよ
42:あのこうちやんは始皇帝だった
12/01/07 19:54:37.81 .net
ニートや無職の、ゴミ・クズ・カスの、クソガキは、死ね！！！！！！
43:１３２人目の素数さん
12/01/08 08:53:20.53 .net
>>39
何かイラついているようだが、理由がサッパリワカランなｗ
44:１３２人目の素数さん
12/01/08 08:59:46.68 .net
ｽﾚﾘﾝｸ(math板:160番)
ｽﾚﾘﾝｸ(math板:162番)
スタンフォード哲学事典(SEP)だから正しい、と思ってる奴は
自分の頭でモノを考えたことが一度もないんだろうなあｗ
45:１３２人目の素数さん
12/01/08 09:05:33.24 .net
ｽﾚﾘﾝｸ(math板:163番)
＞基礎論の最初の目的（の一つ）がパラドックスの解決だったかということと、
＞基礎論の研究の結果実際にパラドックスを解決できたかという、
＞全く別の問題（一方は歴史の問題、もう一方は数学または哲学の問題）を混同
言い訳にも何にもなっていないな。
まず「パラドックスの解決」は数学の問題。哲学でも歴史でもない。
そして、パラドックスの解決が目的だ、と主張するには、
少なくとも解決の案が提示されているという証拠が必要。
し・か・し・な・が・ら、そのような証拠は一切提示できていない。
要するに、当人がパラドックスに勝手に発狂し解決を求めてるだけ。
そんな人格障害者の精神の安定の問題を、
学問の問題に摩り替えないでほしいｗ
46:１３２人目の素数さん
12/01/08 09:09:24.56 .net
ｽﾚﾘﾝｸ(math板:164番)
＞火傷しないようにスルーしとけ。
そうしたところで、勝手に>>40みたいに
「決定不可能なものは数学だなんて呼べないよ」なんて、
自らガソリンかぶって、ライターで着火するようなこと
平気でやるから、結局火達磨になって炭に成り果てるｗ
47:１３２人目の素数さん
12/01/08 09:15:36.70 .net
ｽﾚﾘﾝｸ(math板:153番)
いくら２ｃｈといえども、トンデモに管理人やらせちゃいかんよなｗ
48:１３２人目の素数さん
12/01/08 09:22:09.96 .net
決定厨隔離スレ
ｽﾚﾘﾝｸ(math板)
のテンプレートも
「素朴集合論における逆理の解消などを一つの動機として」ではなく
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
一つの動機として」とでもしておけばよかったわけだ。
ツェルメロの公理系も応急処置でしかなく、絶対的な無矛盾性の保証
はないわけだから。しかし、そのような動機も結局
「無矛盾性の絶対的保証なんか無理。ま、諦めろ」
という常識的なところにオチついたわけで、いまだに不満を抱いてる
のは、決定厨のような人格障害者くらいのもの。
49:１３２人目の素数さん
12/01/08 09:28:09.31 .net
>>47
ま、
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
一つの動機として」というのも、ヒルベルト・プログラムの
説明にしかなっていないわけだが。しかも疑念をいだいていたのは
ヒルベルトではないわけで、ヒルベルトとしては胡散臭げな疑念を
大義名分にして、狭い範囲に閉じこもろうとする反動主義者どもを
抹殺しようと企んだら、自爆しちまったというところか。
50:１３２人目の素数さん
12/01/08 10:37:05.81 .net
ｽﾚﾘﾝｸ(math板:165番)
トンデモの特徴「相手が皆同じに見える」ｗ
51:１３２人目の素数さん
12/01/08 12:24:29.40 .net
>>47
元の文の方がよくないか？
52:１３２人目の素数さん
12/01/08 15:40:58.70 .net
>>50
頭悪いな。
「逆理の解消」と「無矛盾性への疑念の解消」は違うんだよ。
53:１３２人目の素数さん
12/01/08 17:08:34.03 .net
横レスだが違うと思ってなきゃ元の方がいいだなんて思うわけないだろｗ
54:１３２人目の素数さん
12/01/08 17:56:36.91 .net
>>52
違うっていったってどうせ字数が違うとかそういう話だろｗ
55:１３２人目の素数さん
12/01/08 18:47:40.31 .net
どちらの表現がいいかは別にしてお前の方が頭悪く見える件
56:１３２人目の素数さん
12/01/08 22:17:32.59 .net
前スレの
935 ：１３２人目の素数さん
Vopěnka's principle（VP）:="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、
Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能"
「VP⇒拡張可能基数」が成り立つからかなり強い仮定。
また膨大基数kを仮定すると、V_k（累積的階層）がVPのモデルになる。
が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。
に対して
958 ：１３２人目の素数さん：2012/01/02(月) 13:24:57.89
>>931
>Vopěnka's principle
でググっていたら
URLﾘﾝｸ(www.imub.ub.es)
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
URLﾘﾝｸ(www.imub.ub.es)
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
57:１３２人目の素数さん
12/01/09 09:22:46.37 .net
>>54
＞どちらの表現がいいかは別にして
頭悪っｗｗｗｗｗｗｗ
58:１３２人目の素数さん
12/01/09 09:29:49.15 .net
ｽﾚﾘﾝｸ(math板:170番)
＞数理論理学･･･というのが、もはや一つの分野とは言いがたくて、
＞複数の分野の総称という感じ。
そんなもん、代数学でも幾何学でも解析学でも同じｗ
群論と代数幾何が一つの分野だというヤツは無知
微分幾何とトポロジーが一つの分野だというヤツは無知
59:１３２人目の素数さん
12/01/09 09:34:15.69 .net
ｽﾚﾘﾝｸ(math板:190番)
＞数学自体が一つの分野であって、本来は切り分けられないけど、
＞（岩澤理論は）便宜上分けた一部。
＞身体に対する右腕のような用語。
岩澤理論なんて数学の右腕じゃないだろ。
まあ、親指の爪みたいなもんだな。
ああ、そういえば爪切らなきゃ。パチン
ｗｗｗｗｗｗｗ
60:１３２人目の素数さん
12/01/09 09:40:50.60 .net
数理論理学を「数学の証明の形式的言語による記述」と思い込んでる
素人（数理論理学以外を専攻する数学者を含む）が多いが全く誤り。
数理論理学は「数学による各種論理の研究」である。
部分構造論理の独自性が明らかになった今日では
直観主義論理なんて古典論理と大して変わらん。
61:１３２人目の素数さん
12/01/09 09:51:42.76 .net
隔離スレ
ｽﾚﾘﾝｸ(math板)
の常連、イタタ度ランキング
１．基礎論排斥厨（老い耄れ三流数学者）
２．基礎論固執厨（老い耄れトンデモ）
３．決定厨（ガキ）
１と２は論理に対する態度は正反対だが、
パラダイムとか目的とかに固執してる点で
まったく同じ爺臭さを有している。
「基礎論は逆理を解消するためにできた」というのは誤りだが
「無矛盾性が証明できないのなら論理学の研究は無意味」
というのもこれまた軽率。
論理学の研究は、別に無矛盾性を証明するためにあるのではない。
62:１３２人目の素数さん
12/01/09 09:56:00.87 .net
>>55
個人的にはこういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。
例えば「代数学スレ」「幾何学スレ」「解析学スレ」なんて
あっても個々の話題は書き込みにくい。なぜなら、個々人の
関心はそれこそバラバラだからだ。
そういう意味でいえば、「論理学スレ」も基本的には必要ない。
例えば、非標準論理について議論したければ「非標準論理スレ」
を立てるほうがリコウだろう。
63:１３２人目の素数さん
12/01/09 11:09:04.50 .net
基礎論擁護の程度が低くて擁護になっていない
64:１３２人目の素数さん
12/01/09 11:42:01.84 .net
擁護の必要はない。
65:１３２人目の素数さん
12/01/09 14:35:42.85 .net
>>63
そう、もはや数学基礎論ではなく数理論理学だから。
66:１３２人目の素数さん
12/01/09 15:12:28.17 .net
前スレの
935 ：１３２人目の素数さん
Vopěnka's principle（VP）:="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、
Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能"
「VP⇒拡張可能基数」が成り立つからかなり強い仮定。
また膨大基数kを仮定すると、V_k（累積的階層）がVPのモデルになる。
が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。
に対して
958 ：１３２人目の素数さん：2012/01/02(月) 13:24:57.89
>>931
>Vopěnka's principle
でググっていたら
URLﾘﾝｸ(www.imub.ub.es)
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
URLﾘﾝｸ(www.imub.ub.es)
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
67:１３２人目の素数さん
12/01/09 15:28:46.18 .net
>>65
こういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。
是非そうしたまえ。
68:１３２人目の素数さん
12/01/09 19:05:06.51 .net
>>66
巨大基数の集合論とその応用 そのアレフ 0
と言うタイトルで立て様と思ったが拒否された。
69:１３２人目の素数さん
12/01/14 16:40:30.37 .net
>>67
ｽﾚﾘﾝｸ(math板)
代わりに立てた。礼は要らない。
70:１３２人目の素数さん
12/01/28 22:43:53.71 .net
age
71:１３２人目の素数さん
12/02/04 22:52:20.33 .net
ｽﾚﾘﾝｸ(math板:456番)
>今夜0時までに
>田中の数学基礎論講義の5章までの定理をすべて
>Coqで証明するよ＾＾
もし、数理論理学が
「他人様がすでに自然言語で書いた証明を
計算機でチェックできる言語で書き直す作業」
だとしたら、そんなもんは確かにクソだ。
もちろん、実際の数理論理学は全く異なるわけだが。
72:１３２人目の素数さん
12/02/04 23:05:31.08 .net
何が言いたいのかわからん
単に他人を貶したかっただけか
73:１３２人目の素数さん
12/02/09 10:29:22.53 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
74:１３２人目の素数さん
12/02/09 21:15:32.88 .net
決定性公理 AD って二階算術の命題として定式化出来ますか？
定式化出来るとして、 ADの否定は
ATR0やΠ11-CA0などの体系で証明できますか？
75:１３２人目の素数さん
12/02/09 23:27:04.28 .net
★★★下記の本スレへ誘導のほどお願いします★★★
数学基礎論・数理論理学 その11
ｽﾚﾘﾝｸ(math板)
★★★★★★★★★★★★★★★★★★★★★★★
76:１３２人目の素数さん
12/02/15 18:14:42.34 .net
>>103
自分の知識がないせいだと思うが専門知識が豊富な感じのレス
77:１３２人目の素数さん
12/02/19 04:01:51.88 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
78:１３２人目の素数さん
12/02/19 04:08:29.57 .net
質問ですマジレスお願いします。ガチです＞＜
１００未満を、四捨五入。１００未満が、四捨五入。
１２万６７５０ ＝ 答え（ ）
答えはいくつになりますか？
79:１３２人目の素数さん
12/02/20 14:31:02.24 .net
いつでもかまいません。
80:１３２人目の素数さん
12/02/20 20:38:39.06 .net
それが数理論理学とどう関係するんだ
質問スレが別にあるからそこに書けよ
お前のやってることは「あらし」だよ
81:１３２人目の素数さん
12/02/24 09:05:01.41 .net
ｽﾚﾘﾝｸ(math板:660番)
>鶏のようなlofさんの型理論
「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。
82:┌∩┐(& ◆EQYxHFCTcMRP
12/02/24 19:33:24.66 .net
┌∩┐(◣_◢)┌∩┐
fuckin!
鶏ってのはCoqのことだZE!
Coqは型理論CoCの断片だZE!
CoCはMartinの構成的型理論由来DAZE!
Upps!FuckOff///
83:１３２人目の素数さん
12/02/24 23:37:59.52 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
84:１３２人目の素数さん
12/02/25 03:08:20.63 .net
>>80
あっちのスレのレスに反応したければ、あっちのスレに書き込めばいいだろうに...
85:１３２人目の素数さん
12/02/25 10:17:36.72 .net
>>83
ゴミ記事ばかりで汚い。
86:１３２人目の素数さん
12/02/25 10:19:43.53 .net
>>81
もしかして、Martinが名前で、Lo"fが姓
だと思ってるんなら間違いだYO。
Martin-Lo"fで一つの姓。おぼえとけYO。
87:┌∩┐(& ◆EQYxHFCTcMRP
12/02/25 11:42:08.68 .net
┌∩┐(◣_◢)┌∩┐
Fuck!
お前あげあし、
俺は天下、
とるのかFucinBroootas!!
OZOZ...＠＠（くるくるくるくる）、
Yes!Fucing＠＠（くるくるくるくる）”！！
Coolish!!!!!!!!!!
88:１３２人目の素数さん
12/02/25 11:43:53.40 .net
例えば、草がある。
その草は「草」としてそこに存在している訳だが、我々がそれを草と認識するには、草がまず草であるという理解が必要となる。
何か分からないものに対して、その「もの」に自分の少しの理解が加われば、そこに存在しているものの見方も変わってくる。
汚い話になるが、うんこが目の前の道に落ちている。
殆どの人はうんこから遠ざかり、逃げるだろう。その状況下で「なぜ、うんこがそこに落ちているか」を考える人はそう少ない。「うんこ」に対する理解の仕方が一方的であるために、殆どの人は同じ行動をとってしまう。
ある問題に出会ったときに、いわゆる「答え」までの考える過程は人それぞれ。
ただ数学は答えが1つである。
その1つの答えを求めて、論理的に思考するのである。
論理的に思考することは、我々に行動の自信を与える。
自分が次に何をすればよいのか、どのような反応をとればよいのか。
人間が進化していく過程の中で、「考える」という時間があったはずだ。
考えることは、人間に与えられた楽しみであり、またそれは同時に喜びである。
数学の「緻密な論理性」はまさに、我々人間が持つ「最高の思考力」なのである。
89:１３２人目の素数さん
12/02/25 19:53:38.91 .net
>>84
ここは隔離スレ。ゴミ記事ばかりなのはこっちだろ。
本スレは有益な情報が結構ころがってるぜ。
猫に小判の価値は分からんのだろうが。
90:１３２人目の素数さん
12/02/26 10:27:09.50 .net
>>88
いや、実際には向こうのほうがゴミ記事が多い。
ゴミを有益という奴は、きっと産廃業者だろうｗ
91:１３２人目の素数さん
12/02/26 19:35:05.47 .net
８４＝８９は現実を直視できないアスペだろ。
その為の隔離スレなんだし、本人が隔離を気に入っているんなら、万々歳。
92:１３２人目の素数さん
12/03/12 11:00:17.40 .net
84=89 ⇒ 0=5 ⇒ 0=1 ⇒
93:１３２人目の素数さん
12/03/15 07:28:31.18 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ�
94:� ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。 . | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は? | ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？ | |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼ . | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 | | |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､ | |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣| | /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| | |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ | /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
95:１３２人目の素数さん
12/03/22 14:13:21.35 .net
(Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) はトートロジーであり、
「(ＰならばＱ)ならば(ＱでないならばＰではない)」が成立する。
しかるに、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] はトートロジーである
にもかかわらず「Ｐならば(ＱかＲ)ならば(ＰならばＱかＰならばＲである)」
は成立しない。（^A^;）ﾊｧﾊｧ
96:１３２人目の素数さん
12/03/22 20:31:50.54 .net
シータパン予想ってなんですか？中国人が解いた有名な予想らしいですけど・・・
97:１３２人目の素数さん
12/03/23 18:12:37.34 .net
>>87
メシもうんこも、同じ陽子と中性子と電子から出来てるわけだが。
化学的にもうんこは例えば石や金属と比べればはるかにメシに近いｗ
98:１３２人目の素数さん
12/03/23 18:18:30.85 .net
>>94
中国人の有能な数学者なんて過去にいくらでもいるがな。
チャーン（陳省身）とか、テレンス・タオとか。
論理学でも、莫少揆 (Moh Shaw-Kwei)とかいるよ。
99:１３２人目の素数さん
12/03/23 18:20:21.52 .net
リサイクルという点ではクソから食物を作るというのもアリｗ
100:あのこうちやんは始皇帝だった
12/03/23 19:34:45.39 .net
お前たちは、定職に就くのが先決だろがあああああああああ！！！！！！
ニート・無職の、ゴミ・クズ・カスのクソガキどもがあああああ！！！！！！
101:１３２人目の素数さん
12/03/23 19:35:00.53 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
102:１３２人目の素数さん
12/04/09 22:15:58.06 .net
center
103:１３２人目の素数さん
12/04/10 03:38:25.27 .net
centre
104:１３２人目の素数さん
12/04/12 15:06:45.15 .net
せやな
105:１３２人目の素数さん
12/04/14 12:10:13.69 .net
>>92
>>99
俺は、おまえなんかと、付き合いたくねーんだよ。
106:１３２人目の素数さん
12/04/21 17:36:18.85 .net
しらんがな
107:１３２人目の素数さん
12/04/21 17:48:09.82 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
108:１３２人目の素数さん
12/04/22 01:16:58.37 .net
現行の数理論理学が間違っていることを示す好例：－
(Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) はトートロジーであり、
「(ＰならばＱ)ならば(ＱでないならばＰではない)」が成立する。
しかるに、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] はトートロジーである
にもかかわらず「Ｐならば(ＱかＲ)ならば(ＰならばＱかＰならばＲである)」
は成立しない。
109:ウンコちゃん ◆KrtffNQWmI
12/04/25 21:38:45.81 .net
273 ウンコちゃん ◆TE6vHyq7MA age 2012/04/25(水) 21:24:50.30
241 １３２人目の素数さん 2012/04/21(土) 23:18:11.46
1億人から選ばれた1人（A)が、1億人全員から口座に1円づつ振り込まれるとする
毎月1人選ばれるとすると1年間に12人が1億円の資産を持つことができる
10年で120人 20年で240人 30年で360人が1億円を手にできる
宝くじより確実
1億人全員が1億円持つことは可能か
110:１３２人目の素数さん
12/04/26 01:56:39.56 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
111:１３２人目の素数さん
12/04/29 16:56:38.39 .net
おはようございます
112:１３２人目の素数さん
12/04/29 19:32:39.40 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
113:１３２人目の素数さん
12/04/29 20:48:24.60 .net
>>110
おはよう
114:１３２人目の素数さん
12/04/29 23:25:03.16 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
115:１３２人目の素数さん
12/04/30 06:46:33.36 .net
ブラウワーの直観主義なんて、愚の骨頂。
116:１３２人目の素数さん
12/05/01 20:51:23.09 .net
>>112
おはよう
117:１３２人目の素数さん
12/05/01 20:55:42.45 .net
素朴集合論最高
118:１３２人目の素数さん
12/05/02 00:30:26.49 .net
素朴集合論の期末試験ってあれでしょ、
人間の本性たる純粋直観により明らかに真と判る、
とか書いとけば丸貰えるんでしょ。
119:１３２人目の素数さん
12/05/02 00:49:14.24 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
120:１３２人目の素数さん
12/05/02 06:38:37.95 .net
ベン図がすべて
121:１３２人目の素数さん
12/05/02 07:53:29.99 .net
なんかヴェン図の事、論理学の本でオイラーの図って書いてるのたまに見るけど
なんか違うのかな？
同じようにしか見えない…
122:１３２人目の素数さん
12/05/02 08:06:46.89 .net
今では両方の記法をまとめてベン図って言ってんだよ
123:１３２人目の素数さん
12/05/02 08:15:55.34 .net
厳密には、ベン図は集合を説明する図、オイラー図は伝統論理の説明に使われる図で違うけど、今�
124:ﾍ同じという説明もよく見かけるからそうなんだと思う。
125:１３２人目の素数さん
12/05/02 08:55:00.71 .net
>>120ｰ121
そうなのか
ありがとう
126:１３２人目の素数さん
12/05/02 21:26:25.88 .net
>>116
お前さんの大学の試験ならそれで十分なのかもな
127:１３２人目の素数さん
12/05/03 07:48:27.17 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
128:１３２人目の素数さん
12/05/03 13:22:11.38 .net
>>124
おはよう
129:１３２人目の素数さん
12/05/03 14:22:53.64 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
130:１３２人目の素数さん
12/05/03 14:36:08.20 .net
>>116
ダルマさんだろ
131:１３２人目の素数さん
12/05/06 17:02:06.52 .net
>>126
おはよう
132:１３２人目の素数さん
12/05/06 17:17:42.36 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
133:１３２人目の素数さん
12/05/11 14:42:09.36 .net
糞論すれ
134:１３２人目の素数さん
12/05/11 16:30:23.43 .net
ZFCでz=x^2-y^2の曲率を計算せよ
がわかりません、よろしくお願いします。
135:１３２人目の素数さん
12/05/11 21:01:40.26 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
136:１３２人目の素数さん
12/05/12 18:20:34.07 .net
age
137:１３２人目の素数さん
12/05/12 20:31:26.46 .net
せやな
138:１３２人目の素数さん
12/05/13 12:54:31.10 .net
こういうときの132は役に立つ。
139:１３２人目の素数さん
12/05/13 13:20:37.98 .net
糞論age
140:１３２人目の素数さん
12/05/13 14:50:46.47 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
141:１３２人目の素数さん
12/05/13 15:35:23.74 .net
大したことではないのだが、これの証明がいまひとつうまくできないんだ。
f：X→Y を局所Noetherスキームの間の固有射であるとし、
X , Y の構造層 G , H の間には f*(G)＝H が成り立つと仮定する。
このとき、任意の y∈Y に対し、 f^-1(y) は、空でなく、連結である。
142:１３２人目の素数さん
12/05/13 16:11:32.73 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
143:１３２人目の素数さん
12/05/14 21:15:55.33 .net
>>139
おはよう
144:１３２人目の素数さん
12/05/15 23:01:12.42 .net
>>139
おはよう
どうした？
145:１３２人目の素数さん
12/05/16 10:30:47.21 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
146:１３２人目の素数さん
12/05/16 11:10:24.75 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
147:１３２人目の素数さん
12/05/16 11:10:43.82 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
148:１３２人目の素数さん
12/05/19 19:25:16.15 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
149:１３２人目の素数さん
12/05/19 21:45:01.24 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
150:１３２人目の素数さん
12/05/23 06:17:50.94 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
151:１３２人目の素数さん
12/05/26 22:28:13.57 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
152:１３２人目の素数さん
12/05/26 23:09:31.92 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
153:１３２人目の素数さん
12/05/29 00:02:16.73 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
154: それとも最近は Inv. Math. の方が上かしら？ | |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼ . | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 | | |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､ | |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣| | /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| | |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
155:１３２人目の素数さん
12/05/29 07:52:32.15 .net
隔離スレとして機能してないならこのまま荒らし対象にされるだけ
さっさと削除依頼出して来い
156:１３２人目の素数さん
12/05/30 10:24:54.27 .net
論理的思考の技法〈2〉三段論法と誤謬
URLﾘﾝｸ(www.amazon.co.jp)
157:１３２人目の素数さん
12/05/30 10:33:15
158:.10 .net
159:１３２人目の素数さん
12/05/31 00:33:09.33 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
160:１３２人目の素数さん
12/05/31 06:48:48.13 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
161:１３２人目の素数さん
12/06/01 01:08:16.84 .net
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
162:１３２人目の素数さん
12/06/01 07:51:07.71 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
163:１３２人目の素数さん
12/06/01 21:13:51.30 .net
398 名無し生涯学習 sage 2012/05/19(土) 07:53:33.61
ジョーは酒場で論理学の教授と知り合った。
「論理学ってのはどういったもんですか？」
「やって見せましょうか。お宅には芝刈機があります？」
「ありますよ」
「ということは、広い庭があるわけですね？」
「その通り！うちには広い庭があります」
「ということは、一戸建てですね？」
「その通り！一戸建てです」
「ということは、ご家族がいますね？」
「その通り！妻と２人の子供がいます」
「ということは、あなたはホモではないですね？」
「その通り！ホモじゃありません」
「つまりこれが論理学ですよ」
「なるほど！」
深く感心したジョーは、翌日友人のスティーブに言った。
「論理学を教えてやろう。君の家には芝刈機があるか？」
「いや。ないよ」
「ということは、君はホモだな！！」
164:１３２人目の素数さん
12/06/01 21:55:24.54 .net
不覚にもワロタ
165:１３２人目の素数さん
12/06/01 22:25:26.28 .net
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
166:１３２人目の素数さん
12/06/02 00:03:55.86 .net
9 名無しのオプ sage 2011/06/22(水) 00:54:20.50 ID:5HGVLTrZ
”「博士は眼鏡をいじった。「こう言いたいのかね」博士は迫った。
「本物の帽子屋がロンドンで盗みを働いていると」”
10 名無しのオプ 2011/06/22(水) 03:21:05.38 ID:ivdj3XDZ
>>9
・博士の話している相手は目上の人間ではない。
・こう言いたいのかね、の表現から博士が会話相手は自説を断言することを避けたことがわかる。
→推理：従って会話相手が伝えたかったことは、
「突飛な話」あるいは「博士の名誉に差し障る話」あるいは「自分自身が不利になる話」のいずれか。
・ロンドンで盗みを働いている、の表現から、犯罪は突発的なものではなく連続して起きている。
・本物の帽子屋が～、の表現が暗に意味する「本物でない帽子屋」
→推理：帽子屋が犯罪を起こす小説等があり、それになぞられた事件が起きている？
18 名無しのオプ 2011/07/10(日) 08:45:43.16 ID:cQnGTeBY
”ハーフォードを出発する前、タナーはルース荘の応接間で見つけた写真に記されていた名前の写真師に手紙を出して、
サー・ウィリアム、オースチン、コスグローブの三人の写真の焼増しを注文しておいた。”
21 名無しのオプ sage 2011/07/10(日) 15:45:34.44 ID:tde/In6A
>>18 まず分かることはタナーは写真師と面識はない、ということ
（ルース荘で写真を見つけて初めて名を知った）。
にもかかわらず、写真の焼き増しを依頼できるということは、タナーには何らかの権限がある
（おそらく捜査関係者）。
ハーフォードを出発したタナーの目的地に写真師がいるのかどうかは分からない。
目的地に写真師がいるのだとすれば、かなり遠方（依頼の手紙の方が早く着くことを想定しているのだから）。
そうでない（ハーフォードから目的地へ出掛けて帰る間に焼き増しが出来上がるように依頼した、などの）
場合も考えられるから、目的地については何とも言えない。
ただ、後者の場合、目的地での調査には必ずしも写真は必要ではないことになる。
167:１３２人目の素数さん
12/06/02 00:12:06.23 .net
24 10 2011/07/11(月) 00:05:22.59 ID:tRxAZDqU
>>21
・手紙を送ってる所から、写真師はハーフォードにはいない。
手紙ならどこからでも(目的地からでも)送れるので、
わざわざ出発前に手紙を出したということは、
目的地に写真師がいる蓋然性が高い。
写真を撮る場合、近くの写真師に頼むはずなので写真師はルース荘の近くにいる。
したがって、タナーの目的地はルース荘であると考えられる。
→推理
見るだけなら目的地の応接室にあるというのに、
わざわざ焼き増しを必要とする理由は聞きこみに使うためと考えられる。
25 10 2011/07/11(月) 00:07:30.72 ID:tRxAZDqU
>>21（つづき）
・ハーフォードの名の都市は、アメリカのカンザスに存在する。
しかし、サーの称号からルース荘のある国はイギリスであることがわかる。
タナーが探偵であれ、捜査員であれ海外に調査に出かけるとは考えにくい。
したがって文中のハーフォードは、
イギリスの都市ハートフォードの書き間違いである可能性が高い。
168:１３２人目の素数さん
12/06/02 02:11:54.53 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/