探検

みきやん予想 [転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
2015/03/24(火) 17:21:46.02ID:tMnljH+Y
任意の位数nの群全てを多項式時間で見つけ出すアルゴリズムは存在する
2015/03/24(火) 20:40:24.66ID:HzQIwKxq
　┃
　┃
　Ｊ
3１３２人目の素数さん
垢版 |
2015/03/24(火) 20:54:00.67ID:tMnljH+Y
みきやんは大阪府立大学中退の疾病ニート。45歳。
4１３２人目の素数さん
垢版 |
2015/03/24(火) 20:58:32.81ID:As7FrkWM
　┃
　┃
　Ｊ
5１３２人目の素数さん
垢版 |
2015/03/24(火) 21:06:58.27ID:tMnljH+Y
みきやんの顔写真
http://i.imgur.com/85ES69f.jpg
6１３２人目の素数さん
垢版 |
2015/03/24(火) 21:12:21.19ID:T3fDRtGJ
ニートを名乗れるのは34歳まで
2015/03/24(火) 21:14:21.19ID:tMnljH+Y
みきやんのフルネームは松坂幹哉
大阪府堺市在住
現在は隣市の病院に入院中
8１３２人目の素数さん
垢版 |
2015/03/24(火) 21:17:02.25ID:tMnljH+Y
みきやんの専門は計算機科学
2015/03/24(火) 22:45:58.68ID:HzQIwKxq
　　 ∩＿＿＿∩
　　 | ノ　　　　　 ヽ
　　/　　●　　　● |　クマ──！！
　 |　　　　( _●_)　 ミ
　彡､　　　|∪|　　､｀＼
/　＿＿　 ヽノ　/´>　 )
(＿＿＿）　　　/　(_／
　|　　　　　　 /
　|　　／＼　＼
　|　/　　　 )　 )
　∪　　　 （　 ＼
　　　　　　 ＼＿)
10１３２人目の素数さん
垢版 |
2015/03/25(水) 08:02:43.46ID:7fVaQBU0
みきやんは群の公理から
「単位元を用意して逆元とペアになった2つの元か自分自身が逆元であるような元を加えていく」
というアルゴリズムを切り出しました
しかし結合則や演算が閉じることを満たすうまいアルゴリズムは見つかりませんでした
みきやんは開き直って
「単純群の分類理論はあるのだから多項式時間のアルゴリズムは実装可能のはずだ」
という予想を立てました
2015/03/25(水) 16:27:31.18ID:6PaBztuK
　　　　　　　　　＼　　　∩─ｰ､ 　　　====
　　　　　　　　　　 ＼／　●　､_ ｀ヽ 　　======
　　　　　　　　　　　/ ＼(　●　 ● |つ
　　　　　　　　　　　|　　 X_入__ノ 　 ミ　　　そんな餌で俺様が釣られクマ――
　　　　　　　　　　　 ､　(＿／　　　ノ　/⌒l
　　　　　　　　　　　 /＼＿＿＿ノﾞ＿/　 /　　=====
　　　　　　　　　 　 〈　　　　　　　　 ＿_ノ　　====
　　　　　　　　　　　 ＼　＼＿　　　　＼
　　　　　　　　　　　　　＼＿__）　　　　　＼　　　======　　　(´⌒
　　　　　　　　　　　　　　　　＼　　 ＿＿_ ＼＿＿　　(´⌒;;(´⌒;;
　　　　　　　　　　　　　　　　　 ＼＿＿＿）＿＿＿）(´;;⌒　 (´⌒;;　　ズザザザ
12１３２人目の素数さん
垢版 |
2015/03/25(水) 19:29:50.58ID:7fVaQBU0
みきやんが17歳の時に雑誌に投稿したゲーム

http://mio.servequake.com/~takky/emuz2000/sos/invader.html
2015/03/26(木) 10:24:05.61ID:VhlTYoU5
　　　　　　　 ∩＿＿＿∩
.　＼　　　　 | ノ　　　　　 ヽ
　　　＼　　/　　●　 　● |
　　　 　＼|　　　　( _●_)　 ミ　 そんなエサでおれが釣られるかクマー！
　　　　　　彡､　　　|∪|　,/..
　　　　　　　ヽ　　　ヽ丿/　 /⌒|
　　　　　　 /　＼＿＿ノﾞ＿/　 /　　=====
　　　　　　〈　　　　　　　　 　_ノ　　====
　　　　　　 ＼　＼＿　　　　＼
　　　　　　　　＼＿__）　　　　　＼　　　======　　　(´⌒
　　　　　　　　　　　＼　　 ＿＿_ ＼＿＿　　(´⌒;;(´⌒;;
　　　　　　　　 　　　　＼＿＿＿）＿＿＿）(´;;⌒　 (´⌒;;　　ズザザザ
14１３２人目の素数さん
垢版 |
2015/03/29(日) 10:26:08.27ID:jtSjxzZx
> 363 自分：１３２人目の素数さん[sage] 投稿日：2012/08/12(日) 21:39:21.60
> 質問です
> 例えば群であれば、ある位数nの群すべてを多項式時間で見つけ出す
> アルゴリズムは存在しているといえるのですか？
>
> 364 名前：１３２人目の素数さん[sage] 投稿日：2012/08/12(日) 22:33:17.37
> nが2のべきの時に位数nの群の同型類の個数はやたら大きくなるから
> そもそも個数自体が多項式で抑えられるか疑問だと思う
> たぶん無理
>
> 位数256の群は56,092個
> 位数512の群は10,494,213個
> 位数1024の群は49,487,365,422個
>
> http://www.icm.tu-bs...re/small/number.html
2015/04/04(土) 17:00:13.06ID:gHJ35CLy
みきやんからは以上です。
みきやんは晩年のゲーデル同様、精神病院に入院していますので雑談でも何でも歓迎です
2015/04/05(日) 09:13:42.78ID:+/iz/usr
みきやんです
n^100+n^10+nも多項式ですよね？
17１３２人目の素数さん
垢版 |
2015/04/06(月) 11:08:54.63ID:F6SrtD/H
ちなみに釣りではなくマジです
みきやんの顔写真は障害手帳のものだということを示す割り印が写真の右下に確認できます
18１３２人目の素数さん
垢版 |
2015/04/06(月) 11:34:04.15ID:7P+3LodT
障害手帳かは分からないけど堺市発行のものらしきことはわかる
19１３２人目の素数さん
垢版 |
2015/04/06(月) 12:32:19.04ID:F6SrtD/H
直観ではどう思われますか？
みきやんは予想が否定的に証明されても一向に構いません
2015/04/07(火) 16:34:15.94ID:mT3dQzb5
みきやんは抜群に切れ味の鋭い頭脳の持ち主ではありません
みきやんはむしろアイデアマンです
みきやんが基礎論スレで何の気なしに放った
「完全性定理を『Σ_0^1文を表現可能なΔ_0^1理論は決定不能』のように簡潔な表現で表すとどうなるか教えて下さい」
という質問が、完全性定理の証明に弱い形での選択公理が必要だという事実を炙り出す結果になったりしました
2015/04/08(水) 10:08:37.37ID:AGlrube0
みきやんは計算機屋なので逆数学（再帰理論）ネイティブの発想をします
数学者が算術より上の階層に興味を抱くのに対し、みきやんは算術より下の階層に惹かれます
2015/04/11(土) 11:06:17.56ID:Z3finmuW
みきやんは学部中退なので論文を書いた経験がありません
2015/04/21(火) 11:11:44.35ID:LUpSvYe1
みきやんカンパ貰えるとうれしいです

りそな銀行 初芝支店 3706395 マツザカ ミキヤ
24１３２人目の素数さん
垢版 |
2015/04/22(水) 22:33:17.58ID:9887YmHd
軽犯罪法
第一条 　左の各号の一に該当する者は、これを拘留又は科料に処する。
二十二 　こじきをし、又はこじきをさせた者
25１３２人目の素数さん
垢版 |
2015/04/25(土) 17:10:17.12ID:X0O2tD+P
みきやんです
トンデモですか？
2015/04/26(日) 09:27:01.69ID:TUbOxA/T
基礎論スレでの>>14の質問者もみきやんです
2015/04/28(火) 12:16:59.50ID:+wAEeGOe
みきやんです
みきやんの病気(統合失調症)の診断に結構関わりますのでトンデモでないことだけでも確定していただけるとうれしいです
28１３２人目の素数さん
垢版 |
2015/04/28(火) 16:44:03.79ID:+wAEeGOe
数学的におかしければこの板ならツッコミが入りますよね？
2015/04/29(水) 11:15:50.35ID:6mkWqB+Y
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所
2015/04/29(水) 14:54:10.42ID:WuIwtyui
ここまで数学的な議論なし
31１３２人目の素数さん
垢版 |
2015/05/20(水) 10:05:40.51ID:k2JTofHH
> 位数256の群は56,092個
> 位数512の群は10,494,213個
> 位数1024の群は49,487,365,422個

パッと見、桁が３つずつ上がっていってるだけ
多項式でなんとかなる
32１３２人目の素数さん
垢版 |
2015/05/25(月) 10:17:54.11ID:4dn3vlP/
質問です
位数2048の群の個数は世の中的にまだ知られていなくて
それを求めれば論文が書けるということですか？
33１３２人目の素数さん
垢版 |
2015/05/25(月) 11:13:27.57ID:4dn3vlP/
pを素数とし、位数が1の場合、pの場合、2pの場合、・・・とコツコツアルゴリズムを整備していくんですよね？
34１３２人目の素数さん
垢版 |
2015/05/25(月) 15:25:55.74ID:4dn3vlP/
みきやんはこういう世界を夢想しているのですが
http://homepage3.nifty.com/gomiken/math/cfsg.htm
35１３２人目の素数さん
垢版 |
2015/06/01(月) 10:43:20.60ID:+aIGc6Ex
みきやんは数学なんてろくすっぽ知りもしません
みきやんが知ってるのは有限群論と形式言語理論くらいです
36１３２人目の素数さん
垢版 |
2015/09/28(月) 17:29:35.55ID:gr0+9a0e
The existance of the algorithm for finding all groups of any order in polynomial time.
2015/09/28(月) 18:37:12.26ID:gr0+9a0e
単なる予想に過ぎなくても論文という形にしておいたほうがいいんでしょうか
何も分からなくてすみません
arXivとかに投稿するんですか？
面倒なんでどなたかお願いできませんか？
共著ということで構いません
38１３２人目の素数さん
垢版 |
2016/12/18(日) 17:07:10.44ID:9aVtBTUZ
良スレ
2016/12/18(日) 17:29:41.80ID:PXSJSVkX
￥
2016/12/18(日) 17:29:59.01ID:PXSJSVkX
￥
2016/12/18(日) 17:30:15.40ID:PXSJSVkX
￥
2016/12/18(日) 17:30:51.14ID:PXSJSVkX
￥
2016/12/18(日) 17:31:09.60ID:PXSJSVkX
￥
2016/12/18(日) 17:31:25.49ID:PXSJSVkX
￥
2016/12/18(日) 17:31:42.50ID:PXSJSVkX
￥
2016/12/18(日) 17:31:58.41ID:PXSJSVkX
￥
2016/12/18(日) 17:32:15.44ID:PXSJSVkX
￥
48１３２人目の素数さん
垢版 |
2017/08/07(月) 09:06:40.77ID:0YzkEl/p
耳栓をしたら世界が変わってワロタ
2017/08/07(月) 09:12:47.27ID:/rspiZFz
￥
2017/10/26(木) 09:30:52.19ID:jT09z118
￥
2017/10/26(木) 09:31:09.69ID:jT09z118
￥
2017/10/26(木) 09:31:26.26ID:jT09z118
￥
2017/10/26(木) 09:31:43.71ID:jT09z118
￥
2017/10/26(木) 09:32:00.41ID:jT09z118
￥
2017/10/26(木) 09:32:17.41ID:jT09z118
￥
2017/10/26(木) 09:32:34.09ID:jT09z118
￥
2017/10/26(木) 09:32:50.94ID:jT09z118
￥
2017/10/26(木) 09:33:07.81ID:jT09z118
￥
2017/10/26(木) 09:33:27.07ID:jT09z118
￥
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況