11/03/17 23:35:28.94
教わる立場の人間が煽って答え引き出そうとするとは…最悪だなコイツ
370:１３２人目の素数さん
11/03/17 23:46:29.41
>>369
口だけのヤツに言われたくない
こっちに関係のない問題なんか、教えてくれなくて結構だよ
偉そうに、バカじゃないの（笑）解けないくせに
371:１３２人目の素数さん
11/03/17 23:50:46.45
|￣｀`''- ､
| ｀ﾞ''ｰ- ､ ＿＿＿＿＿＿__
| ,. -‐ ''´￣￣｀ヽ､＿ /
|, - '´￣ ｀ヽ、 /
／ ｀ヽ､ヽ /
_/ ヽヽ/
／ / / / / / ヽﾊ
く / /! | 〃 _/__ l| | | | | | | ||ヽ
＼l// / | /|'´ ∧ || | |ｰ､|| | | l | ヽ
/ハ/ | | ヽ/ ヽ | ヽ | || /|ヽ/! |/ | ヽ
/ | ||ヽ { ,r===､ ＼| _!V |// // .! |
| || |l |ヽ!'´￣｀ﾞ , ==ミ､ /イ川 |─┘
| ﾊ|| || | """ ┌---┐ ｀ / // |
V !ヽ ト! ヽ､ | ! / //| /
ヽ! ＼ハ` ､ ヽ､__ノ ,.イ/ // | /
┌/）/）/）/）/）/）/）/）/）/）lｰ/ ` ー‐┬ '´ レ//l/ |/
|（/（/（/（/（/（/（/（/（/（/│|| |＼ 〃
r'´￣ヽ. | | ト / ＼
/ ￣｀ｱ | | | ⌒/ 入
〉 ￣二) 知ってるが | | | ／ ／/ ヽ
〈! ,. -' | | ヽ∠-----', '´ ',
| ＼| | .お前の態度が | |<二Z二￣ ／ ',
| | | _r'---| [ ｀`ヽ､ ',
| | | 気に入らない >-､__ [ ヽ !
＼.| l. ヽ､ [ ヽ |
ヽ| ＼ r' ヽ､ |
372:１３２人目の素数さん
11/03/17 23:51:31.80
つか、二項定理そのままだって書いてあるんだから、もう解かれてるだろｗｗ
>>368>>370
禿げﾜﾛｽｗｗｗ
373:１３２人目の素数さん
11/03/17 23:58:27.88
数列{a_n}の母関数をF(z)とおけば、与えられた漸化式から
F(z)-1=zF(z)+(1/2)(z/(1-z)-(-z)/(1+z))
となるのでこれをF(z)について解いておしまい。
二項定理を使った解答がお好きなら勝手にやってね。
374:１３２人目の素数さん
11/03/17 23:59:24.38
この板で澪のAAを見るとは
375:１３２人目の素数さん
11/03/18 00:01:16.94
>>373
その問題について話してる奴は誰もおらんぞ。
>>343（>>348）やぞ。
376:１３２人目の素数さん
11/03/18 00:05:14.58
なにそれ。しょーもな。
そんなん一般二項定理使うだけで終わりでしょう。
なにをぐだぐだ騒いでるんですか。
377:１３２人目の素数さん
11/03/18 00:15:15.97
>>376
わからん。
一番分からんのは、二項定理知ってるかどうかの確認をされての返答が
>>352や>>357だということ。
378:１３２人目の素数さん
11/03/21 14:55:35.20
k次の非同次差分方程式によって定まる母関数ってなんですか？
379: 忍法帖【Lv=13,xxxPT】
11/03/26 14:09:04.24
10人の男性と７人の男性がいる。これらの人たちを一列に並べるとき、女性が隣り合うことがない並び方は何通りあるか答えなさい。
この問題をどなたかお願いします
380:１３２人目の素数さん
11/03/26 14:30:23.28
17!
381: 忍法帖【Lv=13,xxxPT】 >>379
11/03/26 15:30:59.03
10人の男性と７人の男性がいる → 10人の男性と７人の『女性』がいる
の間違いでした。すいません
382:１３２人目の素数さん
11/03/26 17:54:51.19
>>379
男の並びの間に女を挟み込むと考えれば、男の隙間は11箇所でそのうち女が
入らないのは11-7で4箇所。
男順列の総数 * 女順列の総数 * 女が入らない隙間の組合せの数
383:１３２人目の素数さん
11/03/26 23:09:41.67
>>男の並びの間に女を挟み込むと考えれば、
エロいこと妄想してしまった
いや、すまない
384:１３２人目の素数さん
11/03/26 23:10:36.29
嬲
385: 忍法帖【Lv=14,xxxPT】 >>379
11/03/27 01:43:48.26
>>382-383
丁寧なご説明ありがとうございました
386:１３２人目の素数さん
11/03/27 14:52:11.32
数列{a_n}の母関数をF(z)とおけば、与えられた漸化式から
F(z)-1=zF(z)+(1/2)(z/(1-z)-(-z)/(1+z))
となるのでこれをF(z)について解いておしまい。
これの続きってないの？全部やってほしいよ...orz
387:１３２人目の素数さん
11/03/28 01:49:31.86
まだいたのか。
続き以前に、
> 与えられた漸化式から
> F(z)-1=zF(z)+(1/2)(z/(1-z)-(-z)/(1+z))
> となる
のところもお前には自明じゃないだろ。
388:１３２人目の素数さん
11/03/29 01:10:49.16
>>387
ここにきたの初めてなんですが...
迷惑行為はしません
模範解答があればすぐに帰ります
389:１３２人目の素数さん
11/03/29 07:12:59.94
> ここにきたの初めて
初めてきた奴が他人の質問をかっさらって模範解答書けとかいってるってのか？
だったら、迷惑行為以外の何者でも無いな。
390:１３２人目の素数さん
11/03/29 15:28:41.01
>>389
お願いしますよ
391:１３２人目の素数さん
11/04/08 09:31:33.58
お願いしますよ、待ってるんだから
早くして下さいよ、お願いしてるのに
みたいな状態ｗ
392:sage
11/04/14 20:25:39.45
mは0以上の整数
49|{5･3^(4m+2) +53･2^5m}を示せ
この問題をお願いします。
393:１３２人目の素数さん
11/04/14 20:43:30.12
a＋b≡0 mod49 ⇒ 81a＋32b≡81a＋32(-a)≡49a≡0 mod49
394:１３２人目の素数さん
11/04/20 14:54:19.97
R の同値関係を x － y ∈ Z で定め,商集合を R/Z で表わす.
1. 実数 a ∈ R に対し, a 倍写像 R → R が, 写像 R/Z → R/Z をひきおこすための a の
条件を求めよ.
2. a を 1. の条件をみたす実数とし, g_a : R/Z → R/Z をひきおこされた写像とする.
x ∈ R/Z に対し, 集合 g_a^-1 (x) の元の個数を求めよ.
解答
1. a ∈ Z が必要十分である。
2. a ≠ 0 ならば, x ∈ R/Z に対し, g_a^-1 (x) の元の個数は |a| 個である.
a = 0 のときは, x ≠ 0の類 なら g_a^-1 (x) の元の個数は 0 個であり,
x = 0の類 なら g_a^-1 (x) の元は無限個である.
解答を見ても意味が分かりません。
R/Zがどのような商集合かさえわかりません。
a倍写像の逆像が集合になるのも理解できません。
具体例付きで親切なわかりやすい解説をお願いします。
395:394
11/04/20 14:57:06.13
すみません、誤爆しました。
396:１３２人目の素数さん
11/04/21 21:01:41.44
1. 箱の中に4人が自分の名前を書いた紙を入れる。4名がそれぞれ箱から1名ずつ名刺を抜き取る。このとき、抜き取った本人と紙の名前が一致するのが
1名だけある確率を求めなさい。
2.ジョーカーを除いた52枚のトランプがある。このトランプから4枚のカードを引く。このとき、引いた4枚のカードの中にエースが1枚だけ含まれる確率求めなさい。
どなたかこの問題の模範回答をお願いします。
397:１３２人目の素数さん
11/04/23 18:56:12.04
age
398:１３２人目の素数さん
11/04/25 01:17:12.49
>>366
1.
一致する１人を選ぶのは４Ｐ４＝４通り
残り３人の間違え方は、２通りある
よって ４×２＝８通りになる
全ての通りは、４・３・２・１＝２４通り
よって ８／２４＝１／３
２．
カードの引き方は、52Ｃ4＝５２・５１・５０・４９／４・３・２・１＝２７０７２５通り
１枚だけ含まれるAは４通り。残りのＡ以外の３枚の選び方は、
48C3＝４８・４７・４６／３・２・１＝１７２９６
よって 48C3*4Ｃ1＝１７２９６×４＝６９１８４通り。
確率は （4Ｃ1＊48Ｃ3）／52Ｃ4 = ６９１８４／２７０７２５通り
399:１３２人目の素数さん
11/04/25 01:18:00.54
訂正
>>398は>>366じゃなくて>>398へのレス
400:１３２人目の素数さん
11/04/26 00:01:25.59
>>398-399
ありがとうございます
401:１３２人目の素数さん
11/04/27 15:48:28.83
群論的グラフ理論的非可換幾何学的束論的位相幾何学
402:１３２人目の素数さん
11/04/27 16:04:52.23
マイナー分野乙ｗ
403:１３２人目の素数さん
11/05/01 22:30:42.77
ｎ種類の命題変数を使って、文字数がmの論理式をつくります。
論理式には→のみしか出現しません。
例：
A→(B→A)
このとき括弧が正常なもの、
例えば
(A→B
のように括弧が閉じていなかったりするものを
除いた論理式は全部でいくつ作れるのでしょうか？
404:１３２人目の素数さん
11/05/01 22:33:35.06
文字数とは、命題変数の数の事。
命題変数と→は必ず交互にくること
つまり文字数ｍの論理式の→の数はm-1個。
という条件でお願いします。
グラフ理論の言葉での翻訳もお願いします。
405:１３２人目の素数さん
11/05/02 02:48:24.70
またおまえか
406:１３２人目の素数さん
11/05/02 06:05:07.73
>>403
Dyck languageでググれ
407:１３２人目の素数さん
11/05/04 12:08:20.04
グラフ理論入門 Ｒ．Ｊ．ウィルソンを買って勉強し始めたんだけど
面白いね。高度に洗練されすぎた授業中の落書きという感じだ。
教育でも代数式とか教える前にこれやらせるべきじゃないだろうか
408:１３２人目の素数さん
11/05/04 12:10:59.58
>>40２
グラフマイナー理論ってのがアリマス ｗ
409:１３２人目の素数さん
11/05/04 18:51:39.64
>>407
私も最近、ベルジュでグラフ理論をはじめましたが、
集合・位相や代数が
どれだけ裏技的手法かが良くわかってきますね。
410:１３２人目の素数さん
11/05/05 23:19:50.65
連結、非連結グラフ、成分の話は心理学のゲシュタルトを
必ず思い出すんだよなあ。まああんま思いつきや比喩はよくない
んだけどどっちも詳しい稀有な人はいないもんか
411:１３２人目の素数さん
11/05/05 23:26:44.36
シュプリンガーの離散幾何の未解決問題ってやってるけど
相当難しいよ。
412:１３２人目の素数さん
11/05/06 14:20:11.13
まじで難問くらい解けた？
俺もやってみようかな。
413:１３２人目の素数さん
11/05/06 22:56:54.08
>>410
んだ
414:１３２人目の素数さん
11/05/07 20:37:04.23
組合せ数学系のOpenProblemの一覧サイトみたいのあります？
確かMozerが大量に集めてたって聞いたんですが。
415:１３２人目の素数さん
11/05/09 22:57:01.44
重みつきグラフの最短経路の問題の解き方でさ、仮ラベル、最小の数発見、永久ラベル、、
というのがあるけどこれってあんまスマートじゃなくないか？
隣接行列からある点からある点までの経路（同じ点は含まない）は絞れるし、
これは機械にも出来るだろう。でそれらの合計の重さを比べるって方法のが早い気がする。
416:１３２人目の素数さん
11/05/10 11:33:48.03
>>仮ラベル、最小の数発見、永久ラベル
ダイクストラ法?
でそれらの合計の重さを比べるって方法のが早い気がする。
実用的なアルゴリズムの次元では明らかに前者のほうが早い。
君の案は、グラフの枝数、点数が多くなるととたんに性能が悪くなる。
417:１３２人目の素数さん
11/05/10 17:58:10.55
ダイクストラ法っていうのか。ありがとう。
確かに枝があればあるほど経路は増大するんだが、、アルゴリズム的に効率が
いいというのはどういうことなのか難しいな。試行の単位？が機械ではどこで
どう分節されるのか。
手書きだと仮ラベル書いて消しゴムで消して、ってしなきゃならんからすごく
面倒に感じる。
418:１３２人目の素数さん
11/05/10 18:50:35.58
この場合は、
数値の大小比較の回数で効率のよしあしを考えればいいかと思う。
君の案は、
与えられた点を端点とする
経路すべてを比較する方法？
419:１３２人目の素数さん
11/05/10 22:31:41.35
ラベルを貼る行程は考えずともよし？
うん。
420:１３２人目の素数さん
11/05/11 01:40:49.47
ダイクストラの場合、
ラベルの張替え回数は多くても点の個数回。
数値比較回数は点数に対して、O(n^2)だから、
比較回数の方が本質的。
オーダーの観点からは張替えの回数は考える必要はない。
一方、君の方法だと、経路を探す手間が本質的になりそうだけど、
これは、点数や辺数に対してどのくらいの手間になるの?
421:１３２人目の素数さん
11/05/14 22:08:51.65
うん、、膨大になってしまうね、、
ｎ点の異なるラベルつき木の総数はn^n-2 の証明の所で詰まってしまった。
なにかしら順序のある記号列a1、、an-2に点を対応させるという方法は
理解出来た。まあ愚痴みたいなもんなんだけど、もう一つの連鎖（Ａ、Ｂ）
から作る関係式からの証明がよくわからない。手法としては追えるんだけど
これがなんで総数になるんだろう、、。
422:１３２人目の素数さん
11/05/18 17:58:32.05
R.J.ウィルソンのグラフ理論入門を読むのに必要な数学の知識はどれ程でしょうか？
423:422
11/05/18 18:38:59.08
自己解決しました.
424:１３２人目の素数さん
11/05/18 20:42:03.39
タコ解決しました．
425:１３２人目の素数さん
11/05/19 00:42:56.04
>>424
恨んでやる（´･ω･`）
426:１３２人目の素数さん
11/05/19 00:55:41.97
す、すまん・・・
427:１３２人目の素数さん
11/05/20 11:29:32.22
日本の離散幾何学の本って一冊しかないんですか？
428:１３２人目の素数さん
11/05/20 15:06:46.79
８月末までに避難所を原則解消…政府が期限明記
読売新聞 5月20日(金)11時4分配信
政府は２０日午前の緊急災害対策本部（本部長・菅首相）で、東日本大震
災の被災地・被災者への当面の支援策や生活再建策などをまとめた「被災地
における生活の正常化に向けた当面の取り組み方針」を正式決定した。
８月末までに避難所を原則解消し、国と地方が連携してがれき撤去にもめ
429:１３２人目の素数さん
11/05/20 20:10:43.13
>>427
その1冊ってどれのことよ？
430:１３２人目の素数さん
11/05/20 23:35:18.61
これだろ
URLﾘﾝｸ(www.amazon.co.jp)
431:１３２人目の素数さん
11/05/21 15:32:32.46
ラベル付ツリーの総数n^n-2は理解したんだけど、位相同形な？もの
を除いたもの、要するにｎ点のツリーの形の種類を導く式ってあるの？
なんか出来そうで、、出来ないような出来るような
432:１３２人目の素数さん
11/05/21 22:39:43.39
形の種類を導くって日本語がわからん。
本質的に異なるn点木の種類の個数といいたいの？
433:１３２人目の素数さん
11/05/22 07:57:13.52
最も複雑な木って何だろう。
434:１３２人目の素数さん
11/05/22 07:58:45.45
木は一点可縮じゃまいか
435:１３２人目の素数さん
11/05/24 14:04:00.64
あるグラフを効率よくコンピューターアルゴリズムに組み込むデータ構造ってむずかしいよな。
436:１３２人目の素数さん
11/05/28 02:04:56.30
大学の学部のグラフ理論の授業で、
完全グラフにおいて、接続集合がカットセットであることを示せがわかりません。
だれか教えてください。.お願いします。
437:１３２人目の素数さん
11/05/28 07:18:40.06
工学部？
438:１３２人目の素数さん
11/05/28 11:39:20.61
情報学部です。
439:１３２人目の素数さん
11/05/28 12:54:25.42
>>436
完全グラフの辺の向きは一方しかないから、
外向きと内向きの接続の集合が互いに素になる。
440:１３２人目の素数さん
11/05/28 18:16:22.02
ラムゼー理論って今でも研究されてる？
441:１３２人目の素数さん
11/05/28 18:27:30.11
最も研究されているものの一つだと思うけど。
442:１３２人目の素数さん
11/05/28 18:28:06.20
あり
443:１３２人目の素数さん
11/05/29 02:36:15.31
>>439
ありがとうございます。
444:１３２人目の素数さん
11/05/31 20:20:27.65
>>439
接続集合が互いに素だとカットセットなのですか？
445:１３２人目の素数さん
11/05/31 21:19:02.33
>>444
カットセットって切断集合のこと？
外向きに接続した集合と
内向きに接続した集合が互いに素なら
定義から明らかでは？
446:１３２人目の素数さん
11/06/01 00:22:59.37
>>445
そうです。
すいませんが、定義が分からないので、定義を教えてもらえませんか？
447:１３２人目の素数さん
11/06/01 00:46:46.58
太すぎる釣り針ですね
448:１３２人目の素数さん
11/06/01 13:41:53.67
離散幾何学って多様体を勉強してないと厳しいな。
449:１３２人目の素数さん
11/06/01 20:17:39.30
アフィン空間って何で勉強すればいいの？
450:１３２人目の素数さん
11/06/01 20:41:14.30
岩波基礎講座にある
451:１３２人目の素数さん
11/06/01 21:39:05.88
離散幾何学じゃアフィン空間頻出するし、
基本的な考え方であるような気がするけど、
意外とテキストなんかじゃ紹介されていないような気がする。
アフィン写像・アフィン変換だけは見かけるんだけど。
452:１３２人目の素数さん
11/06/01 21:58:36.70
>>449
代数群の本で。
453:あんでぃは爺 ◆AdkZFxa49I
11/06/08 21:07:46.89
あんでぃ
454:１３２人目の素数さん
11/06/08 22:54:58.08
パアンティ
455:１３２人目の素数さん
11/06/10 12:26:36.68
アフィン空間も多様体だから多様体を勉強しとけばいいんだよ。
456:１３２人目の素数さん
11/06/11 16:35:26.75
アフィン空間へ行くには？
457:あんでぃは存在 ◆AdkZFxa49I
11/06/11 16:41:29.00
分かりませんね。
あんでぃ
458:１３２人目の素数さん
11/06/11 20:10:09.58
アフィン空間と射影空間は
代数幾何にもあり。
459:１３２人目の素数さん
11/06/11 20:11:29.18
アフィンじゃないアファイン
460:１３２人目の素数さん
11/06/11 20:40:51.07
どっちでもオッケー
461:１３２人目の素数さん
11/06/11 20:49:52.56
URLﾘﾝｸ(www.amazon.co.jp)
konohonn, doukana?
462:１３２人目の素数さん
11/06/11 21:37:10.61
doudesyoune
463:１３２人目の素数さん
11/06/14 00:50:27.44
大学の学部の離散数学の授業で、
問題はR∘SはX上の順序になるか？理由とともに結論を述べよ．という問題で，
反対称的
(x,y)∈R∘S ∩ (y,x)∈R∘S
⇒∃a,b∈X, {((x,a)∈R かつ (a,y)∈S) ∩ ((y,b)∈R かつ (b,x)∈S)}
⇒ここからどういうふうにすればわかりません．
推移的
<x,y>∈R∘S ∩ <y,z>∈R∘S
⇒∃a,b∈X, {((x,a)∈R かつ (a,y)∈S) ∩ ((y, b)∈R かつ(b, z)∈S)}
⇒ ここからどういうふうにすればわかりません．
だれか教えてください。.お願いします。
464:１３２人目の素数さん
11/06/14 00:58:39.44
>>463
東京電気代の情報メディアの脳無し乙
465:１３２人目の素数さん
11/06/14 09:54:06.41
グラフ理論は幾何学傘下？
466:１３２人目の素数さん
11/06/14 13:23:56.17
いや新ジャンル
467:１３２人目の素数さん
11/07/03 13:30:09.48
肝
468:１３２人目の素数さん
11/07/13 21:00:16.70
偏差分方程式の解法を詳しく解説している本は無いですか？
469:１３２人目の素数さん
11/07/19 22:02:13.32
グラフ理論で木ってのが良く出てくるけど
全部で何種類位知られてんの？
◎◎（人名）の木とか。
470:１３２人目の素数さん
11/07/19 22:55:54.60
Hopf algebraを成すrooted treeとか切りがない。
どんだけでも考えられる。
471:１３２人目の素数さん
11/07/20 08:02:43.55
セフィロトの木ってのが
かなり研究されている
472:１３２人目の素数さん
11/08/08 01:44:16.06
DP != P 記念カキコ
473:１３２人目の素数さん
11/08/08 04:24:09.25
>>472
DPってなんだよ？
deterministic polynomial timeのクラスがPだろが
DP != Pってどういうこと？？？
474:１３２人目の素数さん
11/08/08 22:09:52.09
いや、Difference Polynomial-Time といって、NPとcoNPを一緒に扱うやつ。
URLﾘﾝｸ(qwiki.stanford.edu)
意外とマイナーなんだよね。俺も最近知ったし。
475:１３２人目の素数さん
11/08/09 00:06:32.61
thanks!
へえ、そんなクラスがあったんだ
しかも定義されたのは84年の論文だから随分と以前なんだね
476:１３２人目の素数さん
11/08/09 00:47:02.84
調べてみたけどかなり性質良さそうよ。
MUC判定問題（どの節を取っても充足可能に変化する充足不可CNFかどうかをチェックする問題）
なんかもDPになるし。
477:１３２人目の素数さん
11/08/09 13:07:24.28
DPはcomplexity hierarchy diagramにも乗らないこと多いしね。
478:１３２人目の素数さん
11/08/09 22:05:33.37
何でだろうかね。非常に重要なクラスだと思うけど。
NPとかcoNPなんかよりよっぽど性質良いのになぁ。
479:１３２人目の素数さん
11/08/12 13:43:24.96
性質よすぎてつまらない、とか？
480:１３２人目の素数さん
11/08/12 23:16:52.79
やっぱり重要だわ、DP。ただ、DP!=Pの証明はちょっと曖昧だった……
夏休みの宿題代りに色々と試してみるわ。
481:１３２人目の素数さん
11/08/13 08:34:13.22
おれはdeterministic polynomial timeとＤＰを間違えたけど
調べたら偶然ＤＰがあったから言い分けしたに一票だな。
482:１３２人目の素数さん
11/08/13 17:39:12.25
>>481
またずいぶんと不自然な推測ですね。
>>472==>>474がＤＰをdeterministic polynomial timeだと思ってたとすると、
だれがDP!=Pを証明したのですか？
483:１３２人目の素数さん
11/08/14 06:39:54.34
本人乙
484:482
11/08/14 12:43:42.18
>>481が馬鹿げているので釣られた第三者です。
DP!=Pを証明したのが>>472と仮定しても別人と仮定しても
>>481はつじつまが合いません。
485: ◆YeNleXj6MwwY
11/08/14 12:47:33.60
|>､＿_ ／|ﾌ
〉｡, o く /＼
b ～ O ヽ〉 /
（> ＜ノ ∨
（､＿（、 ノ
￣ ￣
486:１３２人目の素数さん
11/08/14 13:02:52.22
イ´|￣｀ヽr＜´￣ ￣｀ヾ´￣ ｀ヽｘ''´￣「｀丶､
/ _|ノ ├〈,.-― ;. ＿ ,ゞ--'､:＼___lヽ
,':∨::＼ ／´￣ ￣｀ヽ ヽ/´ ｀ヽ、-.､ ＼::::::::::',
|､＿;／ ／ ／´ ,. 、 ､ ＼. ＼ ＼―|
’、 / ／ ,. / / ,ﾊ ',. ヽヽヽヽ ＼ヾ/
＼_/:/:/:./ , / .,' / // | l | , l: | ', ',. ! ｌ :',!|
|/:/::/:/:/:! l | { /|:! l l } !ﾉ|::,!l | :| |::|:::::::|ﾉ
|:/ｌ/:/:::,|::|:{イ⌒lヾゝ ﾉﾉイ⌒lヽ|:::!::}:;!::l::::::/
|::/|/l::/ｌ';:{ヾlー''! lー''!/ﾘﾉﾉ/::/:l::/
|| |:/ﾘ､|::l;ゝﾞ￣´´ ,. ｀￣" ﾊ:lﾘノﾉﾉ'
ﾘ |' __,⊥!、 " " r===､ " " /ﾉﾉ ||
'／´＼:: : ＼ ヽｰノ ／`ーｧ-､ ヾ､
_ / ｌi : . ',.`ヽ､ ＿ ,.イ´ ／.ﾉ::ｌ| ヽ ＼＿___
. ／'/ |l ヽ ｀Ｙ´ ／ '.／ . :ｌ| |､ / /
＼l |ｌ, ＼＼_!_／ ‐ ´ ､!| | |＼￣
| /; ´ ｀ ‐ , ヽヾ ! ＼|
| / ヽ::／ ｀ヽ ｜
| ,' ｀ ', ! 同じ板にコピペするとそのままだけど、
. | |::: ヾ ヾ .:| .| 違う板にコピペするとおっぱいがポロリと
| '､:::.:.. . ― . .:.:::,' ! 見える不思議なギガバイ子コピペ。
',. ＼_:::.: : :_二二二:_: : : : .:.:.:.:::／ ,'
':、 ﾄ、￣ ´.:.:.::::::::::.:.:.:.` ―┬ '′ /
＼ |l ヽ ｌ| ／
. `/,' ヽ ＼ ',／
∧ヽ ＼ ＼:.:.:.. ∧
487: ◆YeNleXj6MwwY
11/08/14 13:05:29.52
|>､＿_ ／|ﾌ
〉｡, o く /＼
b ～ O ヽ〉 /
（> ＜ノ ∨
（､＿（、 ノ
￣ ￣
488:１３２人目の素数さん
11/08/21 18:12:15.21
情報数学の本で基数変換も満足に出来ない私立文系の馬鹿でも最後まで読めて次に繋がる良書ってありませんか？
489:１３２人目の素数さん
11/08/21 20:06:06.95
数Ⅲ/Cを学んでおりませんが、グラフ理論をいきなり学んでも大丈夫ですか？
前提知識は必要ですか？
490:１３２人目の素数さん
11/08/21 21:43:23.99
>>489
全く問題ないと思う。
グラフに限らず、離散系は前提知識なしでもでとっつきやすい。
強いて言うなら線形代数の基礎があるといい。
491:１３２人目の素数さん
11/08/21 22:21:05.93
>>489
集合論？
492:１３２人目の素数さん
11/08/21 23:02:15.09
グラフに詳しい方がいそうなので質問してみます。
グラフから関数を求めることはできますか？
493:１３２人目の素数さん
11/08/21 23:10:54.05
>>492
それは本当にグラフ理論で言うところのグラフなの？
494:１３２人目の素数さん
11/08/21 23:14:41.85
関数（写像）の図が
グラフ理論っぽく見えたんだと思うけど、
全く違う観点です。
グラフは組合せ理論の一部だと考えてください。
ものの組み合わせの総数とか、組合せ方による性質とか。
関数（写像）は集合論です。
位相空間なんかとセットになって主に解析学の研究に使われます。
もちろん関数自体の特性も研究されますが
やっぱりグラフ理論とは視点が違います。
495:１３２人目の素数さん
11/08/21 23:57:12.23
なにいってんだこいつ
496:１３２人目の素数さん
11/08/22 01:24:43.21
>493
ごめんなさい・・・たぶん違いますorz
497:494
11/08/22 07:20:48.87
>>495
俺に敵うのか？
>>496
(x,f(x))という意味ならグラフから関数は定義できますよ。
498:494
11/08/22 07:32:10.79
>>496
関数のグラフはグラフ理論のグラフとは違います。
しかし分からないことはここで聞いてもらって結構ですよ＾＾；
499:１３２人目の素数さん
11/08/22 11:46:02.80
関数のグラフの線をグラフと考えればグラフだろ。
連続関数なら連続グラフになるけど。
500:１３２人目の素数さん
11/08/22 13:17:09.63
>>492
既知関数になるかわかるかという意味なら無理だと思う（判定でも構成でも）。
何らかの制約（多項式関数になるとか）があれば補間や内挿などのキーワードで
調べれば役に立つ情報があるかもしれない。
501:494
11/08/22 19:57:14.00
グラフ理論で関数を考えるなど
包丁で紙を切るようなものだ。
502:１３２人目の素数さん
11/08/22 20:55:52.23
>>490-491
回答、ありがとうございます。
線型代数は、グラフ理論にどの様に関わるのでしょうか？
503:１３２人目の素数さん
11/08/22 20:59:47.71
>>490
グラフ理論と出自が同じ位相幾何学となると、高校数学の範囲も含め、どんな前提知識が必要ですか？
504:１３２人目の素数さん
11/08/22 21:04:34.59
>>502
「接続行列」とか「隣接行列」というものがあって、
これがなかなか面白い。グラフの固有値も定義される。
レベルが同じ本でも、取り扱いの詳しさにかなり差があるからちょっと注意
505:１３２人目の素数さん
11/08/24 22:44:35.21
離散幾何学って初等幾何の延長？
506:１３２人目の素数さん
11/08/24 22:47:07.87
いいえ。
507:１３２人目の素数さん
11/08/25 15:19:49.71
念のために聞きたいのですが、ある歩道が道なら小道ですか？
508:１３２人目の素数さん
11/08/25 15:31:50.78
walk ⊇ trail ⊇ path
509:１３２人目の素数さん
11/08/25 15:41:24.09
>>508
ありがとうございます。
510:１３２人目の素数さん
11/08/25 15:52:48.02
>>507-508
これってそろそろ定訳の淘汰は済んだのかねえ。
個人的には直訳よりはもっと直観的に数学的性質が判別できる名称に
造語でもいいからして欲しいものだが……（慣れれば済む話だけど）。
511:１３２人目の素数さん
11/08/25 19:16:33.87
束論は、離散数学に入りますか？
束論というのは、位相幾何学とブール代数に共通する構造を調べるものですか？
512:１３２人目の素数さん
11/08/26 20:42:16.84
グラフとか離散系は下手に素人数学者が、
勝手に用語を作るからかなり混乱してるな。
同じものに３つも名前があるとかざら。
513:１３２人目の素数さん
11/08/26 23:20:04.07
それも、それが既存の用語にも影響してくるから困る。
後で一貫性のある用語法に変更しようとしても人口に膾炙しててどうしようもない
なんてのはどこにでもある話ではあるが。
514:１３２人目の素数さん
11/08/30 10:30:56.39
接続行列の行列式の値に何か意味はありますか？
515:１３２人目の素数さん
11/08/30 11:01:55.96
接続行列は正方行列とはかぎらないから行列式は一般に定義されない
516:１３２人目の素数さん
11/08/30 11:04:52.38
すみません、隣接行列の間違いです。
517:１３２人目の素数さん
11/08/31 00:12:01.69
やっぱりグラフ理論やな
518:１３２人目の素数さん
11/09/21 05:26:45.54
ハフマン符号化についてはスレチ？
519:１３２人目の素数さん
11/09/21 12:44:47.24
情報理論かな。
でも情報科学板はすたれてるし、離散系は情報系とも多少絡んでるからいいのでは？
520:１３２人目の素数さん
11/09/22 03:41:21.47
コスト付きグラフにおけるk番目に短い経路（ループする経路は除く）を
求めたいのですが、（いわゆる k shortest simple paths 問題）
負のコストが存在する有向グラフで使える手法ってありますか？
521:１３２人目の素数さん
11/09/22 09:28:08.94
最短を求めるアルゴリズムにはBellman-Fordっていうのがあるけど、
そのk-shortest実装がJGraphTのkShortestPathsらしい。
522:１３２人目の素数さん
11/10/01 11:49:51.68
”それ”の最短を求めるアルゴリズムにはBellman-Fordっていうのがあるけど、
”これ”のk-shortest実装がJGraphTのkShortestPathsらしい。
523:１３２人目の素数さん
11/10/01 12:39:17.36
離散幾何やりたい
524:１３２人目の素数さん
11/10/01 12:48:03.62
つまりそのこの女のそのだけど////
525:猫vs運営 ◆MuKUnGPXAY
11/10/01 13:12:01.21
>>523
ほしたら自分でやったらエエと思いますね。自分がやりたい事をスルのが
自分にとっては正しい事なので。
猫
526:ルーキー読書
11/10/05 00:11:06.66
離散数学で、基礎から応用と問題までみっちり書かれた
初心者からでもできるような書籍ってありますか？
だいたい６００pくらいだといいのですが。
527:１３２人目の素数さん
11/10/06 09:04:14.62
ヒモは病気です。 治療が必要です。
つまりそこの女の声だけど。
528:１３２人目の素数さん
11/10/06 12:57:34.25
>>528
この分野は著者の専門が色濃く出るから、
バランス重視の教科書はあまりない。
各分野一つ一つあたっていくしかない。
529:１３２人目の素数さn
11/10/07 12:07:28.52
「コンピュータサイエンスのための 離散数学入門 」
問題は載ってなかったような気がする。
530:ルーキー読書
11/10/07 18:02:42.44
離散数学―コンピュータサイエンスの基礎数学 (マグロウヒル大学演習)
これにしようと思います。
頑張ります>>527
参考になりました。>>528
ありがとうございます。スレ汚し失礼しました。
531:１３２人目の素数さん
11/10/11 10:31:13.94
それ買うならコンピューターの数学ってやつのほうがよくね？
532:１３２人目の素数さん
11/10/11 14:22:00.43
おにゃのこと遊びたかっただけ
533:１３２人目の素数さん
11/10/11 15:08:01.36
ちょっと質問。
重みつきグラフの最短経路を求めるのはダイクストラ法でいいんだが、
その最短経路の次に最短な経路（２番目に最適な解）を求めるアルゴリズムってある？
全経路を列挙して求めるしかないのか？
534:１３２人目の素数さん
11/10/11 16:18:22.70
離散幾何
やりたい
535:１３２人目の素数さん
11/10/11 16:21:10.01
まんこ
やりたい
536:１３２人目の素数さん
11/10/11 20:15:45.00
>>533
k-shortest paths
537:１３２人目の素数さん
11/10/14 22:35:22.18
>>533
>>520-522
538:472
11/10/15 20:56:13.68
まいど。
結局DPからのアプローチは精度が上らないので諦めました。
似たような性質を持つALを使ってNP!=ALをまとめました。
対数領域マジ何もできない。道具としてかなり強力ですな。
539:１３２人目の素数さん
11/10/17 22:12:57.73
>>538
URLﾘﾝｸ(arxiv.org)ですか？
540:472
11/10/17 23:41:16.15
はい、そうです。
証明がいいかげんなのでちょこちょこ直しています。
多分どこかに致命的なギャップがありそうですが、まあ、新しい切り口になれば。
541:472
11/10/17 23:44:30.43
ちなみにOther formatsのSourceに日本語pdfがあります。
.tar.gzを付けて保存して解凍して下さい。
542:１３２人目の素数さん
11/10/28 15:51:56.20
ディスティールのグラフ理論の証明はいちいち細かいところで嫌がらせしてくるな。
マジムカついたから読んでやるのやめた。
543:１３２人目の素数さん
11/11/11 23:32:52.08
グラフ理論におけるtourの定義って非連結なtrailの集合ってのでおｋ？
544:１３２人目の素数さん
11/11/11 23:44:37.63
>>543
A walk with no repeated edges is called a tour
ということだった
545:１３２人目の素数さん
11/11/12 18:16:28.24
離散離散離散離散離散離散離散
546:１３２人目の素数さん
11/11/12 18:16:49.40
離婚数学
547:１３２人目の素数さん
11/11/12 19:46:25.17
ｎ点の異なるラベルつき木はｎ＾（ｎ－２）というのはわかったんだけど、
ラベルなしの木の種類の公式ってないの？
548:１３２人目の素数さん
11/11/18 15:36:23.31
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
549:１３２人目の素数さん
11/11/18 15:36:56.02
魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
550:１３２人目の素数さん
11/11/22 09:38:20.31
={(1,1),(1,2),(1,3),(3,3)｝
これ絶対推移律じゃないですよね？？？
551:１３２人目の素数さん
11/11/22 15:18:19.01
絶対推移率か・・・
絶対値が推移的ということか・・・・
552:１３２人目の素数さん
11/11/22 15:53:18.00
>>550
まず、「推移律である」とは何かから定義してくれないか？
553:１３２人目の素数さん
11/11/22 20:52:17.93
>550
厳密さが足りないから何とも言えない。
554:１３２人目の素数さん
11/11/28 14:13:55.88
>>547
ラベルなしのn点から成る木の種類の総数を数え上げる計算式はある。
ただ、異なるラベル付き木の場合ほどには簡潔な形じゃない。
555:１３２人目の素数さん
11/12/08 18:13:06.78
離散数学パズル
556:１３２人目の素数さん
11/12/10 20:54:57.26
離散数学って、なにが離散なんだろうね
557:１３２人目の素数さん
11/12/10 21:02:21.13
一家離散
558:１３２人目の素数さん
11/12/12 04:51:55.13
おまいらグラフ理論をマスターしてるの？
AGM とか FSG とか gSpan とかアルゴリズムがイミフなんだが、どこで習うの？
やっぱり英語の原著論文読まないと駄目なんかね？
559:１３２人目の素数さん
11/12/19 14:35:22.00
卒論のテーマ決まったけど、計算複雑さも帰着も近似度も全く改善できる気がしない
詰んだ
560:１３２人目の素数さん
11/12/19 22:58:51.22
できないことを証明すりゃ良いんじゃね？
561:１３２人目の素数さん
11/12/20 11:40:29.95
出来ないことの証明が一番難しいんだぜ・・
P≠NP問題も全ての問題において、ってのが言えないから賞金1億かかってるんだぜ・・
562:１３２人目の素数さん
11/12/21 00:21:01.81
だから研究テーマになるっつうこと。
どうせ卒論なんだから、ある程度方向性が見えりゃ良いんじゃね？指導教官次第だけど。
563:１３２人目の素数さん
11/12/27 12:47:42.01
マイナーな問題だから出来る出来ないの予想すら立ってないからな・・
ランダムグラフ生成して適当にアルゴリズムを回せるようなプログラミングの腕がほしいｗ
564:１３２人目の素数さん
12/01/03 10:13:00.44
所詮は卒論だしな。査読付き会議に投稿するのは義務？
565:１３２人目の素数さん
12/01/20 16:24:59.68
数学って、研究する分野ってどれくらいあるものなの？
566:１３２人目の素数さん
12/01/20 20:38:00.95
応用数学はそれなりにあるかと。
学習理論とかグラフ解析みたいな数理工学系は需要もあるし。
純粋数学は・・・
567:１３２人目の素数さん
12/01/21 02:03:31.10
計算機科学を勉強したいんですけど、理学部数学科と、工学部情報学科、どっちがいいですか？
568:１３２人目の素数さん
12/01/21 06:18:41.18
>>567
計算機科学を勉強したいなら理学部数学科は畑違いだと思います。
しかし情報○○科という名前だけでは計算機科学を学べるか不明です。
大学公式サイトで志望学科のシラバスを調べ、下記カリキュラム標準の
コンピュータ科学領域を含んでいるか確認してください。
情報専門学科におけるカリキュラム標準J07
URLﾘﾝｸ(www.ipsj.or.jp)
569:１３２人目の素数さん
12/01/22 20:45:03.95
>>567
理学部情報科学科
570:１３２人目の素数さん
12/01/22 22:31:01.22
>>569
工学部の情報工学と理学部情報科学科、その違いは何？
研究内容の差みたいなものはあるんだろうか？
571:１３２人目の素数さん
12/01/23 18:44:43.66
イリノイかMIT池
572:１３２人目の素数さん
12/01/24 13:44:57.61
28 ：「名無しわざとか？」とかイヤミを言われた：2011/11/23(水) 08:21:26.08 ID:0Xz2jIVL
昨日悪のアイジャグ675を打っていたアゴ…
こいつは本当にろくでもないしモラルもないし糞人間だな。
前日常連のおっさんがはまり、今日こそはと朝から並んでいたのにアゴが平然と奪った(笑
アゴが、常連のおっさんが打っていたのを知らないならわかるが知ってて平然と取るその心が気に入らない。ましてや毎日顔を合わせて挨拶までしてるんだぜ。
パチスロやるにも最低限のモラルがあると思う。
10万くらい出るならわかるがアイジャグだぜ(笑)
人から奪い取るほどの台じゃねーだろ(笑)
しかも前日バケが45回も出てる台。こんな台、翌日もはまる可能性大だろ？
で、案の定負けてた。
ざまーみろ(笑)って皆思ってたはず。
アゴ死ね
193 ：「名無しわざとか？」とかイヤミを言われた：2011/12/12(月) 13:40:27.17 ID:LEkQwbYU
ジャグを長く打ってるばわかるだろ。
出た後に打って粘って打つならわかるが4、500打ってやめれば必然的に負けるってことだよ。
ｽﾚﾘﾝｸ(slotj板:191-199番)
573:１３２人目の素数さん
12/01/24 20:12:45.15
理学部より工学部の方が就職は良いそうだよ
574:１３２人目の素数さん
12/01/25 22:03:53.43
>>570
そんなに違いは無いのではないかな？
結構、まぜこぜでやっているみたいだよ
575:１３２人目の素数さん
12/01/26 00:33:10.85
俺は情報工の人間だが、工学部情報工学科と情報科学科は目指す方向性が違う。
情報工では、OS、機械学習、集積回路、
あくまでも工学的なことが主眼。
計算機科学もやるけど、あまりこってりはやらない。
工学部における数学の立ち位置になる。
情報科学科では上記のようなことも触れるだろうが、
やや理論を重視している。計算理論とか、アルゴリズム論とか。
576:１３２人目の素数さん
12/01/26 17:12:51.60
あまり理論的なことばかりやっても、人生の中で
どれだけ使うのかが疑問に感じ始めてきたよ
577:１３２人目の素数さん
12/01/26 23:46:27.66
学問とはそういうものだが。数学やめたら？
578:１３２人目の素数さん
12/01/27 23:15:44.03
科学より工学に興味がある人には、数学は道具でしかない。
数学は単なる記号操作の集合であり、
その記号操作に意味を与えることによって、
現実の問題を解くことが可能になる。
現実世界の問題や現象を数学の記号に抽象化することができれば、
以後は記号操作を行うことで、その問題のさまざな特性を知ることができ、
さらに、うまく現実世界に対応付けることができれば、問題の解決もできる。
これが、工学における数学の役割です。
まぁ数学そのものが好きな人にとっては、こういう考え方は嫌いなのだろうけど。
579:名無しさん
12/01/31 22:40:17.81
数泊が好きな人間にとってむしろ、
「数学は単なる記号操作の集合」って方が嫌いな考えだが。
確かに、数学はたしかに、単なる記号操作の集合を含むのだが、
それだけでは数学とという学問は成立しない。
一つ一つの記号やそれに対する操作にはちゃんと、
数学的意味、イメージがなければならない。
記号だけで数学の全命題を表現することはできるが、
多分それだけでは「数学」ではない。
580:片山博文MZ ◆0lBZNi.Q7evd
12/02/05 12:31:15.71
論文『グラフ理論におけるウラムの予想の単純化された証明（第一版）』、
片山博文MZと彼の仲間たち著、2012年2月5日。
URLﾘﾝｸ(katahiromz.web.fc2.com)
PDF形式でダウンロード可能。
電子メールによるご報告を受け付けている（2012年12月まで）。
間違いのご指摘と修正案などにお礼として1,000円分のWebMoneyを
差し上げるつもりである。希望があれば、貴方の名前を新版で
載せることも可能である。翻訳や出版などの際は、電子メールで
ご連絡いただきたい。katayama.hirofumi.mz@gmail.com
581:片山博文MZ ◆0lBZNi.Q7evd
12/02/05 12:48:55.58
グラフ理論に明るい秋●仁先生が読んでくれたとしても、
記号論理を理解してくれるかどうかで不安になる。。。
582:片山博文MZ ◆0lBZNi.Q7evd
12/02/05 14:27:30.08
age
583:片山博文MZ ◆0lBZNi.Q7evd
12/02/07 09:20:35.31
あげ
584:１３２人目の素数さん
12/02/07 21:33:05.44
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
585:片山博文MZ ◆0lBZNi.Q7evd
12/02/12 14:22:10.93
あげ
586:１３２人目の素数さん
12/02/15 01:26:35.47
超離散化って知ってる？ソリトンとか
おもしろくね？
さっそくamazonで本ぽちってさ届くのまってるんだ
587:１３２人目の素数さん
12/02/15 03:28:09.51
>>580
これ本当なの？
588:１３２人目の素数さん
12/02/15 03:30:43.27
ウラム予想といえばグラフ理論で難問として知られるが。。。
589:１３２人目の素数さん
12/02/15 03:34:07.11
webmoney欲しい。でも難しいお
もっと分かりやすい版もつけてほしいよな。実際にこの人の頭の中がこうなってるわけじゃないだろ？
機械に喰わせれば合ってるかどうか判断できるレベルじゃんwww
590:１３２人目の素数さん
12/02/15 03:38:36.83
もうこうなってくると数学ってなんなんだろうなって
こういう個々の命題について考えるよりさ
統一的に、コンピュータで証明する方法に全力を注いだほうがいいと思うんだよ
591:１３２人目の素数さん
12/02/15 03:41:11.61
少なくとも、数学の証明があってるかどうかだけならコンピュータで確認できるだろうな
逆にコンピュータで確認できないような証明は証明と呼べないしな
だから、俺らに頼むんじゃなくてコンピュータで確認してみれば？
592:１３２人目の素数さん
12/02/15 03:43:41.43
数学詳しくないんだけどさ、全ての数学の証明を記述できるプログラミング言語みたいなさ
そういう無いの？
593:１３２人目の素数さん
12/02/15 03:48:11.29
世界中の人が共通のプログラミング言語で証明するわけじゃん
新しい命題証明したらそれをライブラリに登録するわけよ
一度証明されたものは再利用できるっていうさ
簡単な命題ならさマウスぽちで正しいか正しくないかが出てくるのよ
いちいち自分で確認したりすんのめんどいじゃん
そりゃあ複雑な命題だと、自動で探索する範囲が広くなりすぎて無理だろうけど
簡単な命題が一瞬で証明できるだけでも凄い助けになるじゃん
この仕組みを作れば数学の発展が速くなるんじゃないかって
594:１３２人目の素数さん
12/02/15 03:51:12.42
で、数学証明ライブラリに関してなんだけど
陳腐な命題を登録しすぎたら、自動証明が逆に遅くなる可能性があるじゃん
プログラミングの世界のメモ化って知ってる？
同じ引数で関数を呼び出したら、計算結果を保存しておいて次は一瞬で呼び出せるっていうやつ
あのメモ化みたいにうまく動けばいいんだよ
そのためには、ある証明をプログラミング言語で書いたら
それを一意な形式に正規化できればいいのかなって
そうすればメモ化が最大限使える
595:１３２人目の素数さん
12/02/15 03:52:08.61
>>585はこういうのに興味ないの？
596:１３２人目の素数さん
12/02/15 03:55:55.59
将来はさ世界規模でグリッド化してさ、寝る前にポチってやったら朝には証明がされてるっていうさ
最強じゃん。暗号理論とか超発展しそう
597:１３２人目の素数さん
12/02/15 04:00:12.11
そういう分野あるんだな。勉強してみよっかな
URLﾘﾝｸ(ja.wikipedia.org)
598:１３２人目の素数さん
12/02/15 04:34:11.06
予想の仮定で、「ρはuとvに依存して定まる」とありますから、明示的に\rho_{u,v}のように書くべきだと思います。
さて、そのような同型写像（たち）の存在を仮定して
\rho: G -> Hの存在を証明すべきですが・・・。
「\rho: G -> Hの存在を仮定」して「\rho: G -> Hの存在を主張」してませんか？
599:１３２人目の素数さん
12/02/17 01:03:04.94
P!=NP 記念カキコ
素人でも結構な所までできるものですね。どうせ大穴あるんだろうけど……
興味あればどうぞ。4ページの簡単な論文です。
URLﾘﾝｸ(arxiv.org) (tar.gz圧縮)
数学基礎論スレでは相手にされなかったのでこっちにブン投げます。
計算複雑性と位相幾何学を絡めた切り口ってあんまり聞きませんけど、何ででしょうかね？
計算幾何学はちょっと方向性が違うし。
600:１３２人目の素数さん
12/02/17 10:57:46.31
>>587 間違ってるよ。
601:片山博文MZ ◆0lBZNi.Q7evd
12/02/17 11:34:30.50
>>600 トリップをつけて間違っている個所を指摘すればWebMoney1000円。
602:599
12/02/17 22:16:21.70
>601
概要に証明の骨子をまとめてくれ。
603:１３２人目の素数さん
12/02/17 23:11:52.56
犯罪者MZが涌いてるのか
604:片山博文MZ ◆0lBZNi.Q7evd
12/02/18 13:57:05.82
>>589 これでも単純化させた方だよ。
>>590-594, >>596 考え方としては面白い。
>>598
どこのページのことだ？ 全称限量子で束縛されているから変数には依存していない。
ρの存在についてはUlam予想の変形の過程で示されている（∵ノードの個数が等しい）。
証明に必要なのは、ρが同型性条件を満たしているかどうかだ。
>>600
メルアドかトリップを付けて間違いを具体的に指摘して欲しい。説明責任を果たせ。
605:片山博文MZ ◆0lBZNi.Q7evd
12/02/18 14:06:00.76
>>599
(誤) This paper talk about
(正) This paper talks about
(誤) I define TCNF that reduce from
(正) I define TCNF that reduces from
can notはつなげてcannotにする。
ファイル名はJapaneseではなく、もっと具体的に。
英語の文章の中に“を使わないこと。代わりに`` ''を使う。
606:１３２人目の素数さん
12/02/18 14:12:04.64
reduceって自動詞あるのか？
607:片山博文MZ ◆0lBZNi.Q7evd
12/02/18 14:14:49.66
HornSATなどはローマンフォントに統一した方がいいね。
608:599
12/02/18 14:40:47.50
>605, 607
サンクスです。後で直しておきます。
lyxあんまり使ってないからレイアウトが上手くいかん……
あと、ファイル名はarxiv.orgの推奨ですね。
多言語の場合はファイル名を言語名にすることを推奨しています。
URLﾘﾝｸ(arxiv.org)
>606
一応あるみたいです。でも、こういった使い方はしないんですかね？
URLﾘﾝｸ(ejje.weblio.jp)
英語はろくに使っていないから良くわからん……
609:１３２人目の素数さん
12/02/18 15:39:06.79
>ρの存在についてはUlam予想の変形の過程で示されている（∵ノードの個数が等しい）
これが間違いの元。
あなたは、 G-u ~ H-rho(u) が全てのuで成り立つような「uに依存しない」写像rhoの存在を仮定してるけど、
これは証明するべきことですよ。
貴方の仮定『 There exists rho such that G-u ~ H-rho(u) for all u』(rhoはuによらない）
予想の仮定『 For each u, there exists rho such that G-u ~ H-rho(u)』（rhoはuによる）
610:１３２人目の素数さん
12/02/19 03:43:45.40
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
611:片山博文MZ ◆0lBZNi.Q7evd
12/02/19 13:33:40.67
>>609 素晴らしい。あなたの指摘のおかげで、定理13の致命的な
間違いが発見されました。メールでご連絡ください。
WM1000円お送りいたします。（次からはトリップつけてね）
katayama.hirofumi.mz@gmail.com
612:片山博文MZ ◆0lBZNi.Q7evd
12/02/19 13:55:44.90
証明の正しさを検証するようなプログラムも
あってもいいかもしれないな。
613:１３２人目の素数さん
12/02/19 14:01:35.16
そうだよ、人間は発想力がいいじゃん
でも細かい論理とか苦手じゃん
そのめんどくさい部分を全部コンピュータまかせにしてさ
人間は高度な部分だけ考えればいいのよ
614:１３２人目の素数さん
12/02/19 17:19:44.71
609だけどWMはいりません。何か勘違いされてませんか？
615:１３２人目の素数さん
12/02/19 18:07:51.72
ライセンスを騙って著作権を侵す犯罪者だからな、そいつは。
616:１３２人目の素数さん
12/02/22 20:39:36.33
山田多項式ってなに？
どの書籍に乗ってるか知ってる？
617:１３２人目の素数さん
12/02/25 01:37:23.74
>定理13の致命的な
>間違いが発見されました。
いや、定理１３が間違いなんじゃなくて、一番初めに書いてある「Ulam 予想の変形」が間違いなんですよ。
618:１３２人目の素数さん
12/03/06 20:38:06.44
離散幾何学 is 何
619: ◆H2u4HYHizs
12/03/13 22:26:45.63
.
620:１３２人目の素数さん
12/03/22 06:13:34.93
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
621:１３２人目の素数さん
12/03/22 23:59:43.37
「いくなん」と読んで恥をかきました。
622:１３２人目の素数さん
12/03/23 01:40:17.00
誰もが通る道
623:１３２人目の素数さん
12/03/23 02:21:20.47
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
624:１３２人目の素数さん
12/03/23 20:00:24.43
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
625:１３２人目の素数さん
12/03/24 22:19:58.73
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
626:１３２人目の素数さん
12/03/25 23:08:01.73
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
627:１３２人目の素数さん
12/03/25 23:43:02.48
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
628:１３２人目の素数さん
12/03/25 23:55:47.85
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
629:１３２人目の素数さん
12/03/25 23:57:39.92
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
630:１３２人目の素数さん
12/03/26 08:38:44.71
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
631:１３２人目の素数さん
12/03/26 08:43:03.66
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
632:１３２人目の素数さん
12/03/26 08:43:38.97
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/