11/08/06 12:25:22.24
数学ガールについて語りませんか？
『数学ガール』は、結城浩さんがオイラー生誕300年を記念して執筆された
楽しい《数学・青春・物語》です。
web版数学ガール
URLﾘﾝｸ(www.hyuki.com)
前スレ
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
11/08/06 12:48:30.98
以降 糞スレ
＿＿ ＿＿_
＼＿＿☆/
|＿＿＿|
（ ・ω・） しけい！
(σ y ＼σ
¶ヽ~( )
しＵ
3:１３２人目の素数さん
11/08/06 20:03:28.70
>>1
スレ建て乙。前スレは、こちらだよ。
【ミルカさんと】数学ガール【テトラちゃん】
ｽﾚﾘﾝｸ(math板)
4:１３２人目の素数さん
11/08/06 20:05:12.94
新刊まっだ～？
5:１３２人目の素数さん
11/08/06 20:51:25.47
>>3
それは、前々スレ。前スレは、こちらですね。
【ミルカさんと】数学ガール【テトラちゃん】
ｽﾚﾘﾝｸ(math板)
6:１３２人目の素数さん
11/08/07 08:10:27.89
すげー実質3スレ目ですか
7:１３２人目の素数さん
11/08/07 08:42:23.80
>>5
それは、前々々スレ。前スレは、こちらですね。
【ミルカさんと】数学ガール【テトラちゃん】
ｽﾚﾘﾝｸ(math板)
8:１３２人目の素数さん
11/08/07 09:27:01.40
数学ガールの同人誌まだかよ
9:１３２人目の素数さん
11/08/07 12:15:16.49
最近漫画読んで知ったんだが
稀に見る秀作だな
10:１３２人目の素数さん
11/08/07 15:22:15.71
漫画は駄作
11:１３２人目の素数さん
11/08/07 15:28:07.17
>>10
同意
12:１３２人目の素数さん
11/08/07 15:36:48.97
y=2^x-4x^2・・・①がある。
①が、直線y=ax-a^2 (a>0)によって切り取られる線分の長さをaを用いて表せ。
13:１３２人目の素数さん
11/08/08 01:49:27.79
いやここ宿題を丸投げするスレじゃないから
14:１３２人目の素数さん
11/08/08 22:06:24.38
>>991
>小川洋子 博士の愛した数式
2005年の深津絵里主演のこの映画ですね。
URLﾘﾝｸ(hakase-movie.com)
15:１３２人目の素数さん
11/08/09 02:15:28.01
正直俺はオイラーの公式を綺麗だとは思いません。
つか、一般の人がオイラーの公式を持ち上げるたびに
俺の心は離れていきます。
そこまで騒ぐほどのものかな
16:１３２人目の素数さん
11/08/09 17:15:49.72
美しいかどうかはおいといて
実用性については比類無きパフォーマンスを感じるが。
というかexp(iωt)使わずに現象を語ることができない体になった。
17:１３２人目の素数さん
11/08/09 17:55:07.04
>>16
(iωt)が顔文字に見える。。。
18:１３２人目の素数さん
11/08/09 20:38:24.17
>>16
それだけのことならオイラーの公式だけを持ち上げるのはおかしな話で
指数、対数、複素数、ベクトル解析、フーリエ解析など
様々な数学的技術が揃って初めて現象は記述できるので
それらの発見の歴史にも目を向けてみてください。
19:１３２人目の素数さん
11/08/10 14:15:15.38
それら全部算数だから
20:１３２人目の素数さん
11/08/10 15:16:14.46
>>15
数学の公式の中で、複雑なコトを単純な形で表現できてるという意味で、オイラーの公式よりも綺麗なモノはないでしょう
21:１３２人目の素数さん
11/08/10 18:10:36.73
>>20
数学の公式っていうのはどれも「複雑なコトを単純な形で表現」してる式なんだけど
オイラーの公式ばかりがそうというわけではない。
オイラーの公式が他のものよりも綺麗だと言いきる根拠はなんなんだい？
22:１３２人目の素数さん
11/08/10 19:01:38.71
>>20 他の公式を全て知らないとそれは言えない
23:検便のナウシカ ◆UVkh7uHFoI
11/08/10 19:26:07.74
結局ζ関数にπが出てくるのはなんでなん？
24:１３２人目の素数さん
11/08/10 19:32:41.01
>>18
いや，だから，その辺全部オイラーの公式で語れるというか，語らざるを得ないんだよ。
今日の応用系の世界は，「美しさ」の吟味などする間もなく，
学部一年次から怒濤のように複素漬けにして，
時間は複素化して，平面幾何も複素平面に持ち込んで，
より計算が楽な形に持ってゆくことばかり教わる。
純粋数学に敢えて触れないで，
無意識にオイラーの公式を用いさせるところが，
応用系，殊に工学部のスタンダードだわな。
25:１３２人目の素数さん
11/08/10 20:52:48.04
>>21-22
オイラーの公式よりも「複雑なコトを単純な形で表現してる度」が高い公式を示せばそれで議論は終わる
26:１３２人目の素数さん
11/08/10 20:54:15.49
実数はほとんどすべてπのような超越数です
27:１３２人目の素数さん
11/08/10 21:38:16.96
テスト
28:１３２人目の素数さん
11/08/10 22:36:10.22
>>25
そのナントカ度の定義と、ナントカ度でオイラーの公式を測るとどういう根拠で何度になるのか教えてくれ
29:１３２人目の素数さん
11/08/10 22:39:09.41
オイラーの公式キレイとか
ガロアって天才なんだよとか
言ってる人の99%は、「偉い人がそう言ってたから」「本に書いてあったから」という理由で称えてるだけではないかという気がしなくもない
30:１３２人目の素数さん
11/08/10 22:49:33.12
日本人の９９％は二本人です。
31:１３２人目の素数さん
11/08/10 23:09:40.38
>>28
複雑なコトを単純な形で表現してる度 ＝ (右辺の複雑度 ÷ 左辺の複雑度) ＊ Σ(右辺の関数と左辺の関数の距離)
複雑度 ＝ 項の数 ＊ 関数の数 ＊ Σ[(関数の複雑度) + 関数内の変数数]
関数の複雑度 変数×定数 1、 変数の定数乗 2、 定数の累乗 3、 三角関数 11、 無限級数 13、 …
関数の距離 (定数の累乗, 三角関数)＝7
オイラーの公式の複雑なコトを単純な形で表現してる度 ＝ ((2・2) ・ 3 ・ ((11+1)+(11+1)+(1+1)) ÷ (1・2・3・((3+1)+(1+1)))) ＊ 7 ＝ 60.66
32:１３２人目の素数さん
11/08/10 23:20:25.71
サワリ猫
33:１３２人目の素数さん
11/08/10 23:20:58.76
オイラーの式はたいしたことないとか特別でもなんでもないとか
それを超えないまでも同等程度の他の例すら挙げずに言ってる人の99%は
「偉い人がそう言ってたから」「本に書いてあったから」という理由で反感を持っているだけ
ではないかという気がしなくもないい
34:１３２人目の素数さん
11/08/10 23:23:51.60
昔、伊丹公理とかいうクソこてがおってな。
35:１３２人目の素数さん
11/08/11 00:02:31.45
>>33
悪魔の証明っぽいね。
大した物ではないなら
わざわざ言ったり書いたりすることは少ないから
そういうのはあまりないんじゃない？
36:１３２人目の素数さん
11/08/11 04:27:53.80
わざわざ言ったり書いたりすることでないならそんなに反感は持たないんじゃね？
37:１３２人目の素数さん
11/08/11 09:01:16.78
>>36
他の理由での反感があるとか考えないのか？
オイラーの公式を持ち上げるのが中高生とか
数学と無関係な一般人だらけだったりとかな
38:１３２人目の素数さん
11/08/11 13:55:45.35
エヴァがなんであんなに流行ってるのか理解できない
B'zがなんであんなに売れてるのか理解できない
オイラーの公式が……
こういうやついつでもどこにでもいるし、どんなに説明しても理解してはくれないからほっとけばいいよ。
数学や自然科学に興味がある人だったら「公式がもてはやされている」という結果から原因を探るくらい自分でしてほしいもんだ。
結果にケチつけちゃダメだよ……
39:１３２人目の素数さん
11/08/11 17:21:58.66
エヴァがなんであんなに流行ってるのか理解できない ← 一般人の文化
B'zがなんであんなに売れてるのか理解できない ← 一般人の文化
オイラーの公式が…… ← 一般人には本来分かりようの無い文化w
40:１３２人目の素数さん
11/08/11 17:24:08.36
とりあえず、物理系や電子工学系の教授で
オイラーの公式が役に立たないといった言葉は一度も聴いたことないぞ。
41:１３２人目の素数さん
11/08/11 18:05:49.55
物理系や電子工学はオイラーの公式以外にも様々な数学公式や自然法則で成り立っているわけで
役立つかどうかという視点でならオイラーの公式をことさら取り上げる理由は無い
オイラーの公式「だけ」あっても何ができるわけではないからな
42:１３２人目の素数さん
11/08/11 19:00:26.78
電電工出身で趣味で数学してる人間にとっちゃ
「当たり前の話」で何盛り上がれるんだって感じだけどなｗ
43:１３２人目の素数さん
11/08/11 20:26:56.13
e^iπ＋1＝0
って表記した場合の話だけど、
指数関数代表のeさん
複素数代表のiさん
円関数代表のπさん
乗法代表の1さん
加法代表の0さん
(後者2つは単位元だからってことらしい)
が一挙に出演する公式だからすごい
って言ってる本があった
って友達が言ってた。
まあ、盛り上がるよね、オールスターだもん。
それに豪華キャスト集めただけじゃなくて有用なもんだからファンも多いんじゃないかな。
44:１３２人目の素数さん
11/08/11 21:52:46.84
>>43
そういうのってジョークみたいなもんで
数学的な内容と全然関係無いなwww
45:１３２人目の素数さん
11/08/12 01:31:43.47
だから数学とは関係ない人のファンが多いんじゃないか
46:１３２人目の素数さん
11/08/13 01:09:40.92
不完全性定理わからん…
大学いって習えば理解出来るもんなの？これ？
47:１３２人目の素数さん
11/08/13 09:05:00.18
習っただけじゃなあ
48:１３２人目の素数さん
11/08/13 14:01:50.98
>>46
数学ガールでの不完全性定理の解説の長所は、
入門的解説書にありがちなハッキリと勘違いしているような説明がないことぐらい。
欠点は、
- 不完全性定理の解説部分のページ数が少ない。
- 解説の仕方自体にはあまり工夫がない(可証性述語の定義がずっと続いたり)。
そのため既存の解説と比べたときに、分かり易さに関して
(キャラクタが登場して物語的に進行すること以外)特別なセールスポイントが無い。
- プリンキピア・マテマティカの体系を前提にして説明している
(ゲーデルの論文に沿っているという興味深さはあるけど、分かり易さの点ではマイナス)。
など。
不完全性定理を理解が目的なら他の本を読むのがいいと思う。
49:１３２人目の素数さん
11/08/13 14:08:50.46
不完全性に違いがあることに言及したのは入門書としては合格
50:１３２人目の素数さん
11/08/13 17:44:04.39
いずれにしてもあれなら専門書読んだ方が早い。
少なくとも読者対象の普通の高校生には理解不能だろう。
51:１３２人目の素数さん
11/08/13 18:54:13.07
書いてる作者自身が理解してなさそう
52:１３２人目の素数さん
11/08/13 19:40:37.59
うわなにす
53:１３２人目の素数さん
11/08/18 20:12:21.88
１、１、２、３
54:１３２人目の素数さん
11/08/19 09:05:15.27
ワン、ワン、ツー、スリー
55:１３２人目の素数さん
11/08/19 09:43:32.18
いち、いち、に、さん
ミルカさーーーーーん
56:１３２人目の素数さん
11/08/21 00:27:47.57
（＾＾）
ゝ`￣￣＼
/ (・)(・) |
| ● |◯ ／￣￣￣￣￣￣
<＼＿_σ__／/ ＜ ﾄﾞﾗﾔｷｸﾚﾅﾘ！
○=ｷ ｏ ｏ |' ＼＿＿＿＿＿＿
|＿＿＿__,|
（＿__Ｙ＿_)
57:１３２人目の素数さん
11/08/22 09:18:24.39
いやしかし、実用性においてアインシュタインの e=mc^2
って使う機会はないんだけれども。
オイラーの公式は実用的ですぜ。
58:猫vs虚偽院生 ◆MuKUnGPXAY
11/08/22 09:23:24.38
>>57
原子炉が出力するエネルギーEは原子核分裂の際の質量欠損をmとした場合
にE=mc^2で与えられる。そういう意味では実用性アリ。
猫
59:１３２人目の素数さん
11/08/22 10:58:32.91
>>57
実用性においてもオイラーの公式だけで何かできるわけではないし
オイラーの公式も計算道具の一部でしかないから
オイラーの公式ばかりを取り上げるには
他の公式たちより優れている点とかそういうのを上げないと。
60:１３２人目の素数さん
11/08/22 14:09:09.30
>>58
その公式から算出されるエネルギーは膨大で
確かに魅力的だが、地震国ではどうすれば
安全に運用できるだろうね？
61:１３２人目の素数さん
11/08/22 16:05:33.09
>>58
そんな効率でエネルギーが取り出せるなら実用性もあるだろうな。
今のは危険な割には出てくるエネルギーが小さすぎる
62:１３２人目の素数さん
11/08/22 16:20:25.27
福島第一・地面から水蒸気が噴き出している件について
報道がされています。
URLﾘﾝｸ(www.youtube.com)
63:１３２人目の素数さん
11/08/29 16:28:06.79
ユーリが題名にないのは？
64:１３２人目の素数さん
11/08/29 16:30:03.23
不完全を読んだが、
訳ワカメだ。
あれで分かるの？
65:１３２人目の素数さん
11/08/29 18:09:29.44
大丈夫だ、作者も解ってるかどうか怪しい。
66:１３２人目の素数さん
11/08/29 21:15:11.39
読む限りは、証明の流れは理解できているけど
噛み砕いて人に説明できるほど分かっているとは思えない。
工夫もないし説明不足すぎる。
証明の骨格だけなら、2、3ページで説明できる話なんだけどね
67:１３２人目の素数さん
11/08/30 11:59:19.08
ラノベで、中二設定のファンタジーの部分を数学に変えただけだから…
68:１３２人目の素数さん
11/08/30 14:01:56.14
ていうか、εδ法を中学生が理解する
というのが凄い。
69:１３２人目の素数さん
11/08/30 17:42:10.41
そうかなぁ
εδってそんな苦労した覚えないけど
なんで難しい話ということになってるんだろうな
70:検便のナウシカ ◆UVkh7uHFoI
11/08/30 19:49:24.19
ていうか、もう少し高校でやること増やしてもいいと思うけど。
大学でやる量多すぎだろ。
高校数学ってなんであんなチャチなこと3年間も使って学ぶの？
71:１３２人目の素数さん
11/08/30 20:17:40.64
>>69
なにもないところからは発想できないという意味で難しい
72:１３２人目の素数さん
11/08/31 16:59:56.21
面白そうだけどイタリックじゃないのが気になる
73:１３２人目の素数さん
11/08/31 17:15:57.26
>>72
ん？オイラーフォントなのがだめってこと？
74: 忍法帖【Lv=40,xxxPT】
11/08/31 17:58:02.82
本にある、
「(A)->(A)は、定理か?」という話があるけど、
P2：(x)-> ((x) V (y))の
xにA、yに¬(A)を入れて
(A) -> ((A)V ¬(A)) .....⑴
P3: ((x) V (y))-> ((y) V (x))
より
((A)V ¬(A)) -> (¬(A)V(A)) -> ((A)->(A)).....⑵
⑴、⑵より
(A) -> ((A)->(A))
((A)->(A))は公理である
でもいいの。
75: 忍法帖【Lv=40,xxxPT】
11/09/01 19:27:21.31
むずい
76: 忍法帖【Lv=40,xxxPT】
11/09/02 13:41:49.44
誰か答えて！
77:１３２人目の素数さん
11/09/02 18:25:57.07
>>76
74の書き込みだけ読んでも
何を聞いているのかが全く分からない。
少なくとも手元に本がなくても分かるように書いてくれ。
78:１３２人目の素数さん
11/09/02 20:31:39.58
>>46
「無限論の教室」 (講談社現代新書): 野矢 茂樹
マジお勧め。安いし。1日で読めて、何度でも読める。
萌え要素はないが、台詞回しなど全然数学ガールよりうまいと言わざるを得ない。
内容的にもかなり分かりやすく書いてくれてると思う。
79: 忍法帖【Lv=40,xxxPT】
11/09/02 21:25:31.44
形式的体系 H
論理式F1 ：xが変数ならば、xは論理式である。
論理式F2 ：xが論理式ならば、¬(x)も論理式である。
論理式F3 ：xとyが論理式ならば、(x)∨(y)も論理式である。
論理式F4 ：F1～F3で定められるものだけが論理式である。
記号IMPLY (x)→(y)を、(¬(x))∨(y)として定義する。
公理P1：((x)∨(x))→(x)
公理P2：(x)→((x)∨(y))
公理P3：((x)∨(y))→((y)∨(x))
公理P4：((x)∨(y))→((y)∨(z))→((z)∨(x))
推論規則
xと((x)→(y))で、yを推論できる。
80: 忍法帖【Lv=40,xxxPT】
11/09/02 21:26:59.92
（A)→（A)
は定理か？
81: 忍法帖【Lv=40,xxxPT】
11/09/02 21:27:36.32
（A)→（A)
は定理か？
という話。
82:１３２人目の素数さん
11/09/02 22:29:55.27
>>78 不完全性定理の証明はそっちの方が分かりやすいね、地味にフラグはたってるし
83:１３２人目の素数さん
11/09/03 02:03:35.92
>>79
公理P4は間違ってない?
正しくない論理式に思えるけど
84:１３２人目の素数さん
11/09/03 17:56:45.48
>>68
ありがとう
85: 忍法帖【Lv=40,xxxPT】
11/09/03 22:11:34.37
>>83
公理P4：(((x)∨(y))→((z)∨(x)))→((z)∨(y))
86: 忍法帖【Lv=40,xxxPT】
11/09/03 22:12:15.12
すいません。
間違えていました。
87:１３２人目の素数さん
11/09/03 23:12:51.41
>>85
そんな使いにくそうな形の式を本当に公理にしてるのか。
88:検便のナウシカ ◆UVkh7uHFoI
11/09/03 23:16:11.63
数学基礎論ってさっぱりわからん。
やりこめば面白くなるの？
89: 忍法帖【Lv=40,xxxPT】
11/09/03 23:44:03.55
>>87
申し訳ない。
括弧の位置が違う。
公理P4：((x)∨(y))
→(((z)∨(x)))→((z)∨(y)))
90:１３２人目の素数さん
11/09/04 00:13:09.36
>>89
いやいや、それだと恒真でない論理式になっていると思う。
例えばxが真で、yとzが偽のとき、P4全体は偽にならない?
91: 忍法帖【Lv=40,xxxPT】
11/09/04 00:17:44.07
>>90
僕は、基礎が分かっていないのだが
基礎論で真・偽を考えるの？
92:１３２人目の素数さん
11/09/04 00:33:57.44
>>91
構文論(証明論)だけなら真偽は考えない。
演繹体系自体は構文論の範囲なので真偽は出てこない。
ただし演繹体系は、「証明できる」ことと
意味論(モデル論)での「恒真である」が一致するように作るのが普通。
教育目的でそうでない体系をでっちあげることもあるが。
>>89のP4は意味論的に見て恒真でない式だから、
そんな式を公理に置くシステムは変だろうってこと。
93:１３２人目の素数さん
11/09/04 00:41:53.02
ひょっとしてP4は (x→y)→(z∨x → z∨y) なのか?
だとすると、P4でx=A∨A、y=A、z=￢Aとおいて
(A∨A→A)→((A→A∨A)→(A→A)) ...(1)
P2でx=Aとおいて
(A∨A→A) ...(2)
(1)と(2)から
(A→A∨A)→(A→A) ...(3)
P1でx=Aとおいて
A→A∨A ...(4)
(3)と(4)から
A→A
ってなるけど
94:１３２人目の素数さん
11/10/19 13:36:45.57
フェルマー と ゲーデルの 漫画版の２巻はまだ出ないのか？
95:１３２人目の素数さん
11/11/06 23:26:46.87
今日の早稲田理工であったライブチャットでのクイズでは
わりと簡単に正解が出ていたな
96:１３２人目の素数さん
11/11/18 01:24:18.58
NHKで来春アニメ化ｷﾀ━━(ﾟ∀ﾟ)━━!!!!
ｽﾚﾘﾝｸ(news7板)
97:１３２人目の素数さん
11/11/19 15:53:01.69
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
98:１３２人目の素数さん
11/11/19 15:53:56.69
魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
無差別で猥褻、日本は危険知ったかブッタの日本人
失敗作
テロ資料を忘れずに
99:１３２人目の素数さん
11/11/24 18:56:08.69
アニメ化はガセだとわかったが
このシリーズはいまでも売れ行きは好調なのか？
100:１３２人目の素数さん
11/11/24 21:54:07.82
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
101:猫にコネは不必要 ◆MuKUnGPXAY
11/11/25 02:07:46.45
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
虚偽院生が大学院の質を下げ、教室を馬鹿の集まりに変えてしまいました。
猫
102:１３２人目の素数さん
11/11/25 02:08:34.27
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
芳雄
103:１３２人目の素数さん
11/12/09 10:35:28.94
『数学ガール ゲーデルの不完全性定理』を読んでいて、第 5 章「ライプニッツの夢」で>>74とまったく同じ答え
を考えましたが、本に書いてある解答の証明と違いました
まだ間違いを指摘するレスが無いようなので尋ねます、どこが間違っているのが教えてください
もしレスがなかったら、仕方が無いので質問スレのほうに書きます
問題は、>>79の形式的体系 H で (A) → (A) は定理か？ というものです
解答は>>93と同じで、本に書いてある解答はこうです
―――――――――――――――――
(A) → (A) は、形式的体系 H における定理である
形式的体系 H における証明は以下の通り
L1. ((A)∨(A)) → (A)
L2. (((A)∨(A)) → (A)) → (((￢(A))∨((A)∨(A))) → ((￢(A))∨(A)))
L3. (A) → ((A)∨(A))
L4. ((￢(A))∨((A)∨(A))) → ((￢(A))∨(A))
これは、次のように表記できる
((A) → ((A)∨(A))) → ((A) → (A))
L5. (A) → (A)
104:１３２人目の素数さん
11/12/09 10:51:29.14
これに対してぼくの回答の証明はこうでした
―――――――――――――――――
(A) → (A) は、形式的体系 H における定理である
形式的体系 H における証明は以下の通り
L1. ((A)∨(￢(A))) → ((￢(A))∨(A))
L2. (A) → ((A)∨(￢(A))
L3. (A) → (￢(A)∨(A))
これは、次のように表記できる
L4. (A) → ((A) → (A))
L5. (A) → (A)
105:１３２人目の素数さん
11/12/09 10:55:51.50
いま書いていて気づきましたが L4 から L5 への推論が間違っていますね……
この推論をするには (x) が公理じゃなきゃならないのに
ここを勘違いしていたようです
106:１３２人目の素数さん
11/12/09 10:59:05.37
>>104の L2 と L3 の括弧の数を訂正
(A) → (A) は、形式的体系 H における定理である
形式的体系 H における証明は以下の通り
L1. ((A)∨(￢(A))) → ((￢(A))∨(A))
L2. (A) → ((A)∨(￢(A)))
L3. (A) → ((￢(A))∨(A))
これは、次のように表記できる
L4. (A) → ((A) → (A))
L5. (A) → (A)
107:１３２人目の素数さん
11/12/25 04:50:06.95
数学ガールドラマ化
ｽﾚﾘﾝｸ(mnewsplus板)
108:１３２人目の素数さん
11/12/25 04:57:44.25
ｷﾀ━━(ﾟ∀ﾟ)━━!!!!
109:１３２人目の素数さん
11/12/25 09:50:14.43
さいんこさいん・・・
110:１３２人目の素数さん
11/12/29 09:50:55.45
>>107
12/27夜、東野圭吾の数学もの映画『容疑者Xの献身』が、再放映されて
いましたね。４色問題？
【映画】容疑者Xの献身【もの申す】
ｽﾚﾘﾝｸ(math板)
111:１３２人目の素数さん
11/12/29 18:33:22.00
英語版
マス ガール
って微妙
112:１３２人目の素数さん
11/12/29 23:26:11.19
５巻まだぁ？次のテーマはポアンカレかな？
113:１３２人目の素数さん
11/12/30 01:31:39.36
その前にコミックを完結
114:１３２人目の素数さん
11/12/31 00:32:02.65
コミックスは最初のがいちばんいいわ
115:１３２人目の素数さん
12/01/05 04:10:54.03
乱択アルゴリズム読んだが、主人公高校教師になったというオチか。
大して能力なかったということだな。
リアルだが、夢が無い。
116:１３２人目の素数さん
12/01/05 04:15:48.43
> 主人公高校教師になったというオチか
そのオチて、博士のなんとかてのと同じだろ
117:１３２人目の素数さん
12/01/05 15:38:47.41
いや、この時代教師になるなんて勝ち組だよ
俺なんて一生懸命に数学を勉強してきたが、塾講師にさえなれないもん
118:１３２人目の素数さん
12/01/05 19:15:32.00
塗装工ゲンさんの語る云々、の方がリアルだな
本は売れないだろうがｗ
119:１３２人目の素数さん
12/01/05 21:43:15.59
学校の先生も塾講師もだが
数学力よりも対人能力が要求されるんだよ
数学ばかりやってちゃダメだ
120:１３２人目の素数さん
12/01/06 02:28:13.22
>>116
>そのオチて、博士のなんとかてのと同じだろ
なにそれ？
121:１３２人目の素数さん
12/01/06 09:32:14.84
>>120
「博士の愛した数式」で、√君は数学教師になった。
122:１３２人目の素数さん
12/01/06 13:12:04.28
数学教師以外のキャリアないの数学モノの物語の登場人物は？
まあ保険会社のアクチュアリーになったとか、ヘッジファンドでぼろ儲け、と
いうキャリアにするとなんかお金はあっても夢がない感じになっちゃうよね。
123:１３２人目の素数さん
12/01/06 17:28:27.64
>>117
それはありえん。数学の教員免許って数学科と教育学部でしか取れないじゃん。
しかも数学科の方が採用されやすいし団塊が大量退職してるでしょ。
数学科は定員がどの大学でも30人~ぐらいと少ないから
駅弁でも一発で受かってる奴の方が多いぞ。
124:１３２人目の素数さん
12/01/06 17:45:26.55
117はそのレベルにも達せられなかったって意味でしょ
125:１３２人目の素数さん
12/01/07 14:37:08.72
>>123
＞ 数学の教員免許って数学科と教育学部でしか取れないじゃん。
ダウト。
126:１３２人目の素数さん
12/01/07 14:38:08.14
うちの高校には建築学科出身の数学教師がいた
127:１３２人目の素数さん
12/01/08 17:17:55.80
数学の教員免許はたいていの理学部や工学部でとれるよ。
他の学部でも履修科目の選択しだいでとれるところはけっこうある。
128:１３２人目の素数さん
12/01/10 11:04:01.02
なんか数学教師って変な奴ばっかりだった思い出
129:検便のナウシカ ◆UVkh7uHFoI
12/01/10 17:50:16.82
でも今数学職って穴だよ。
非常勤でもよければすぐなれる。
通信では数学は殺到するからね。
数学できるやつって少ないうえに、高校では文系理系とも必須。
人手が全然足りないらしい。
ただ通信で免許取ったやつが満足に数学教えれるのかどうか疑問だけど。
130:１３２人目の素数さん
12/01/11 03:06:50.95
へ、数学科でほんとに出来る奴の存在を知って才能のなさに挫折した
組だけど、教職ぐらいならなんとかなりそうだから教職受けておこうかな
やっぱり。
就職難だし。
131:１３２人目の素数さん
12/01/11 03:10:45.26
それは良い選択だよ
132:１３２人目の素数さん
12/01/13 04:43:22.66
数学科行くと自分が数学できるつもりだったのが幻想と分かってがっかりするよね。
133:１３２人目の素数さん
12/01/13 06:06:17.65
めんたいこ見た人いる？
134:１３２人目の素数さん
12/01/14 14:23:14.29
「ガール」と言う表記や発声が変梃子で、どうしてもたまらなく嫌だ。
欧米人が girl と発音するのを聞いて、私には「グーロー」としか聞こえない。
135:１３２人目の素数さん
12/01/14 14:38:53.49
で
136:１３２人目の素数さん
12/01/14 18:44:26.20
NHK のアナウンサーがその言葉を発声するのを見た事が、いや、聞いた事が無い。
矢張り何か違和感を持って居るのであろう。
137: 【中国電 86.9 %】
12/01/15 09:42:49.78
尾崎豊は「オーマイリルグー」て歌ってたね
138:１３２人目の素数さん
12/01/16 01:57:31.77
ガールの正しい発音は山下達郎の高気圧ガール
139:１３２人目の素数さん
12/01/17 11:02:00.03
キリスト教は胡散臭い
140:１３２人目の素数さん
12/01/18 11:54:16.20
では胡散臭くない宗教をひとつあげてくれ
141:１３２人目の素数さん
12/01/18 15:01:24.29
そうかそうか
142:１３２人目の素数さん
12/01/18 17:51:54.89
そうか、がっかり。
143:１３２人目の素数さん
12/01/24 09:29:44.47
B!] 結城浩の最新刊『数学ガール／ガロア理論』の日記でのアナウンス。 URLﾘﾝｸ(t.co) [結] 2012年1月 - 結城浩の日記
144:１３２人目の素数さん
12/01/24 23:51:55.94
5次方程式の一般解は存在しないとか、実数はほとんどすべて超越数とかいう話だっけ？
145:１３２人目の素数さん
12/01/25 00:20:28.74
5次以上の方程式の解の公式がない事とは関係する。
公式がない事を最初に証明したのはアーベルだけど。
後者の証明はカントールなので、時代的にもっとあとの話。
146:１３２人目の素数さん
12/01/25 03:36:28.89
和算って個々のレベルは高かったのに、西洋みたいに体系化した数学という方向に進まないで延々同じようなこと繰り返してたのはなぜなの？
神社に奉納してすっきりしちゃったの？
147:１３２人目の素数さん
12/01/25 04:35:08.28
さあわからんよ
あと300年くらい鎖国してたら体系化されていたかもしれんし
148:１３２人目の素数さん
12/01/25 04:47:44.64
金持ってるやつが、大いに数学を広めたり高めたりしようと思わなかったから。
まあ、数学に限らず、だいたいどの学問も日本じゃ同じ。いまでも同じ。
149:１３２人目の素数さん
12/01/25 06:45:01.00
未だに３巻のゲーデルの章が理解できない
どの本も不完全性定理は定義の羅列なの？
150:１３２人目の素数さん
12/01/25 12:20:05.24
不完全定理の一般向け解説で定義の羅列ではないもの
野矢茂樹『論理学』『無限論の教室』
野崎昭弘『不完全性定理』など
151:１３２人目の素数さん
12/01/25 21:17:14.01
>>149
そのためのコミックス版ですよ。嘘ですよ
コミックス版ゲーデルの下巻も発売になりましたよ。こっちは本当ですよｗ
152:１３２人目の素数さん
12/01/25 21:51:09.33
コミックス版て何？
同人誌？
153:１３２人目の素数さん
12/01/26 01:00:43.62
小説を原作にした漫画化がされてるんですよ。
商業誌ですよ。
154:１３２人目の素数さん
12/01/26 01:18:35.61
知らんかったのは俺だけか… orz
155:１３２人目の素数さん
12/01/26 04:55:31.31
結城ってほんとに不完全性定理理解してるの？
156:１３２人目の素数さん
12/01/26 11:30:30.03
さあ？ それは本人に聞く以外にはわからない。
157:１３２人目の素数さん
12/01/27 18:12:05.92
2012年内に発刊予定の新作（第5巻）はガロア理論についてだそうで。
158:１３２人目の素数さん
12/01/27 21:16:11.61
扱うのは5次以上の方程式には解の公式がないことや
体と群が対応するよって辺りまでかな。
159:１３２人目の素数さん
12/01/28 12:36:20.52
コミック版ゲーデルはもはや説明しようという気は無かったようだ。来月発売のフェルマー下巻も似た感じになりそう。
160:名無しさん
12/01/30 18:22:45.28 5nj60JPR
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
161:名無しさん
12/01/31 00:56:40.71
>>159
このマンガは辛かったなあ。
訳のわからない記者が書いた新聞の科学記事を読んでいる感じだ。
162:名無しさん
12/01/31 01:58:22.66
監修くらいすればいいののに
まあ、作家も編集も理解できてない所で書かなきゃならんのだから大変というのはわかるが
163:１３２人目の素数さん
12/02/02 11:28:52.95
>>133
１/11からのこの新番組のことですか？
1 ：名無し募集中。。。：2012/01/28(土) 23:55:18.01 0
・・・・・数々の数学バトルを勝ち抜き最後に現れる強敵（ボスキャラ）とは！？
笑って学べる全く新しいエンターテインメントをお楽しみ下さい!!
【サインコサイン】ドラマ数学女子学園ファンスレ④【メンタイコ】
ｽﾚﾘﾝｸ(morningcoffee板)
164:１３２人目の素数さん
12/02/04 00:56:59.28
5巻で扱うガロア理論もかなり難しいと聞くんですが
事前の予習に使えそうな参考書ってありますか？
165:１３２人目の素数さん
12/02/04 12:38:37.87
小島さんの天才ガロアの発想力かな。これを読むだけでは絶対にガロア理論を理解できないけど、心の準備をするためには良い。
166:１３２人目の素数さん
12/02/04 15:46:47.92
とりあえず線形台数の教科書でも読んでおけば？
167:１３２人目の素数さん
12/02/04 15:54:46.28
読むのに予習が必要な解説書って存在する意味あるの？
168:１３２人目の素数さん
12/02/04 16:21:26.62
そうは言っても、一般向けとされる『天才ガロアの発想力』
『ガロアの群論』『13歳の娘に語るガロアの数学』にしても
何割の人が予備知識なしで読みきれるか疑問な記述だし、
予備知識があって悪いことはないんじゃない?。
>>164
5次以上の方程式の解の公式がないことについての解説が
ネットにいくつかあるからそれを読んでみてもいいかもしれない。
URLﾘﾝｸ(d.hatena.ne.jp)
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
URLﾘﾝｸ(ir.lib.hiroshima-u.ac.jp)
169:１３２人目の素数さん
12/02/05 18:25:36.67
乱択アルゴリズムってまだ３版まで行ってないの？
170:１３２人目の素数さん
12/02/06 07:52:13.83
洗濯アルゴリズム
171:コシイシアズマ・便所掃除
12/02/07 02:06:50.61
>>146 和算が体系化しなかったのは、日本の職人文化ってのが原因でしょう。
弟子入りしてある程度経験をつまないと大事なこと教えてやらねーよ・・てなもんで
ライバルの職人同士では「技はヒミツ☆」 って世界だったんでしょう
和算の本の世界は職人的な雰囲気がありますね
だいたいにおいて昔の日本人の実力者は、言葉で多くを語らないもので・・
172:コシイシアズマ・便所掃除
12/02/07 02:26:29.48
地震対策をするなら、山梨や甲信越の山を歩いてみるのがいい
養老孟司さんよろしく 都会のアスファルト以外の土地を歩いてこそ
発見がある。
特に学生さんは、信州の山奥のうまい蕎麦をくってやるぞー
とか、新潟でうまい酒倉を見つけてやるぞーとか、
あとは山梨でほうとう鍋と、ワインね。
173:コシイシアズマ・便所掃除
12/02/07 02:30:10.33
アルキメデスさんみたいに、温泉で数学やってこその山梨です
信玄の隠し湯です。
174:１３２人目の素数さん
12/02/07 04:17:43.71
大統一理論
175:１３２人目の素数さん
12/02/07 06:03:03.79
調弦理論とか良くわかんねえな
あれ何が問題なんだ？
数学的な理論が完成しても証明しようがないのか？
176:１３２人目の素数さん
12/02/07 06:21:33.99
物理と数学を混同しているのか？
177:１３２人目の素数さん
12/02/07 08:31:57.83
究極では物質や空間は数学的構造にすぎない
178:１３２人目の素数さん
12/02/08 00:17:25.29
物理屋が道具として使う数学を理解できる人がいたら、その人は物凄くレベルの高い数学者だと断言できる
179:１３２人目の素数さん
12/02/08 01:04:11.31
物理屋は足し算も使うけどね
180:１３２人目の素数さん
12/02/10 12:24:37.82
結城ってツイッターで数学ガールがでてくるツイート拾ってはRTしてるんだな。
エゴサーチばっかりやってる奴みたいで気持ちワルイ
181:１３２人目の素数さん
12/02/10 14:13:12.93
結城浩さんって本名なのかな？
ちょっと気になる。
182:１３２人目の素数さん
12/02/17 09:40:25.10
23日にコミック版フェルマーの第2巻が出るらしいよー[PR]
183:１３２人目の素数さん
12/02/17 20:44:23.24
√5 の日か
184:１３２人目の素数さん
12/02/20 22:26:33.35
223より224の方が近いんじゃ？
185:１３２人目の素数さん
12/02/20 22:31:48.71
書店でコミック版を見つけたけど、大人の男が入っちゃいけないオーラがある場所に置いてあった
186:１３２人目の素数さん
12/02/21 00:20:17.05
え？ どちらかといえば女子供が入りにくいところにないか？
書店の趣味によるのかな？
187:１３２人目の素数さん
12/02/24 09:16:02.07
「数学ガール／非ユークリッド幾何」はいつ出るんだ？ｗ
188:１３２人目の素数さん
12/02/24 23:44:35.62
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
189:１３２人目の素数さん
12/02/25 00:00:12.34
フェルマーの最終定理２のコミック来た。
何巻まで続くのかな
190:１３２人目の素数さん
12/02/25 00:03:30.90
Idiot lots than Impact factor
191:１３２人目の素数さん
12/02/25 23:13:16.22
下手な教科書より分かりやすかった
小説（？）のほうね
192:１３２人目の素数さん
12/02/27 17:32:23.12
「ゲーデルの不完全性定理」の巻P62あたりで質問なんですが
次のうち正しいのって（１）だけですか？
（１）{1,2}⊂{1,2,3}
（２）{{1,2}}⊂{{1,2,3}}
（３）{1,2}∈{{1,2,3}}
193:１３２人目の素数さん
12/02/28 04:15:38.29
だね
194:１３２人目の素数さん
12/03/10 23:59:21.49
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
195:１３２人目の素数さん
12/03/11 21:37:26.13
エイエイの目が細目デフォなのにガッカリ
196:１３２人目の素数さん
12/03/13 00:04:55.80
エイエイ悪くないかも
197:１３２人目の素数さん
12/03/14 03:09:02.92
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
198:１３２人目の素数さん
12/03/17 03:22:37.15
乱択アルゴリズム読んだが主人公高校教師オチか？
しょぼすぎね？
あと新刊でるみたいだけどどうするんだろうね、設定とか。
199:１３２人目の素数さん
12/03/17 04:46:08.80
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
200:１３２人目の素数さん
12/03/17 05:21:59.50
アホしかおらんな
201:１３２人目の素数さん
12/03/17 05:38:22.31
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
202:１３２人目の素数さん
12/03/17 15:45:41.23
>>198
1冊目から主人公は教師とうオチだったと思うけど、違ったのかな…
203:１３２人目の素数さん
12/03/27 18:28:49.05
１、１、２、３
204:１３２人目の素数さん
12/03/27 19:33:53.43
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
205:１３２人目の素数さん
12/04/18 12:01:38.62
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/