[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(1): 2019/05/29(水)19:17 ID:O5hfrFeF(1) AAS
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 38
2chｽﾚ:math
903(1): 2019/06/30(日)23:59 ID:SwSeoAcb(4/4) AAS
そりゃあ鮮人の僻みだからさ。
904: 2019/07/01(月)00:04 ID:gJgMRbjC(1) AAS
ニダー工作員は巣に帰れ
905: 2019/07/01(月)00:08 ID:DGD2I8ih(1) AAS
・日本語が不自然
・意味不明な単発レス
・文章構造が崩壊した長文レス
・自演でスレを荒らす
・突然の物理語り
・同じことを何度も書き込む
これ全て片言ガイジの特徴です
906(1): 2019/07/01(月)00:10 ID:NnyfLJu0(1/2) AAS
・反論が不自然
・意味不明な罵倒レス
・精神構造が崩壊した恫喝レス
・自演でスレを荒らす
・突然のアクセプト語り
・同じことを何度も書き込む
これ全て擁護ガイジの特徴です
907: 2019/07/01(月)00:18 ID:qwwof/nu(1/3) AAS
鮮人にしてみれば日本から偉大な数学の業績が出るのは耐えられないくらい辛いことなんだろう。
908: 2019/07/01(月)00:19 ID:NnyfLJu0(2/2) AAS
アタマ大丈夫ですか？
909: 2019/07/01(月)00:23 ID:ysrDVK5S(1) AAS
>>906
あと自分の頭で考えられない馬鹿だから、誰々がああ言ってると批判してくる
他人がどうこうじゃなくて自分の頭で考えろ低能
910: 2019/07/01(月)00:23 ID:SFPjTNHt(1) AAS
タクローさんや柏原先生もなんもいわれとらんがな
太鼓持ちの腰巾着連中におかしな奴がズラリといるだけ
911: 2019/07/01(月)00:28 ID:cceT8HC3(1) AAS
サーベイは書けんわギャップは埋めれんわネットでゴロゴロするだけでしかもやられっぱなし
その辺の焼肉屋にいるオヤジとかわらんな
912: 2019/07/01(月)00:39 ID:qwwof/nu(2/3) AAS
日本で偉大な数学の業績が出ると鮮人の惨めさがよりサリエントになる。
913: 2019/07/01(月)05:43 ID:3+OphnsF(1) AAS
相当悔しさが滲みでてるな、期待してたぶんだけ
はじめから無理なのに
914: 2019/07/01(月)09:51 ID:lWJfs8xx(1) AAS
「パラシュートなしで飛行機から飛び降りてもケガしない」ハーバード大学の衝撃研究の真相は
外部ﾘﾝｸ:news.yahoo.co.jp
915: 2019/07/01(月)12:47 ID:Wbm34Opq(1) AAS
ショルツのパーフェクト数学教室
916: 2019/07/01(月)14:01 ID:ZxvkXskW(1/2) AAS
パーフェクトイドについて何も書けなかったという点は文元にも言えるよね
というかどういう使い方をするのかよくわからないけどな。剛性部分を置き換えるのか
本来は表現論やコホモロジーのほうがフィットしてると思うけどな。主流から外れすぎた数学の悲しさw
917: 2019/07/01(月)14:03 ID:ZxvkXskW(2/2) AAS
Kedlayaも文元もIUTにパーフェクトイド使う論文書いてないでしょ
つまりはそういう事なんだよ、あまり見通し良くない。アイデアがあったら5ページでも書くだろうし
918(1): 2019/07/01(月)15:08 ID:x0SnrTo8(1) AAS
>>903
むしろレスの感じからすると欧米の人っぽい
919: 2019/07/01(月)15:16 ID:qwwof/nu(3/3) AAS
>>918
いや韓国人だ。
韓国政府から金貰って書き込みしてる可能性もある。
920: 2019/07/01(月)15:32 ID:+/pt6kf7(1) AAS
>>881
スピンは1/2、1、3/2、5/2を
1,2,3,5に置き換えればいいだけ
実際の実験が4次元空間(3+1次元)で行われる限りにおいては
+-4種の合計8種(+-3種の合計6種)しかクォークは実験的には見つけられないってこと
これが無限の入れ子ループ構造を一つの極から見たときに想定される数学的な挙動だからな
921: 2019/07/01(月)18:16 ID:8PCGqVSn(1) AAS
>>897
科研費申請書によくある「大風呂敷を広げたができなかった」だなw
Goは若手で1回（2年で完了）・基盤Cは今回初めてで書き慣れてないな
今の論文実績で次あるのかねえ
科研費の申請は1/3はすでに持ってる未発表結果を書いて
1/3は本当に目標を書き1/3ではったりを書くものだw
922: 2019/07/01(月)18:38 ID:MGEAluK/(1) AAS
全部はったりじゃ具合悪かろう
923: 2019/07/01(月)18:39 ID:YT3DF9jp(1) AAS
そもそもあの業績で、肝心のサーベイもクソの役にも立たず、それであそこのパーマネだからな。本人も流石に居心地悪いし後悔してるんじゃね？
924: 2019/07/01(月)18:59 ID:JCTMUZTg(1) AAS
クソ偉そうに罵倒とプロパガンダを繰り返すのが仕事だと思ってる院生と相性いいんじゃないの
925: 2019/07/01(月)19:05 ID:Fri2mAfi(1) AAS
あの丸写しサーベイで科研費３百だか５百もらったんならBより時間単価高いよな
監修経費で高級焼肉に流用させたのか
926: 2019/07/01(月)19:14 ID:c1HN02P5(1) AAS
院生の本音
外部ﾘﾝｸ:search.yahoo.co.jp
927: 2019/07/01(月)19:40 ID:isDUtUwn(1) AAS
この時間帯って内部者らしき擁護厨の工作員いないのな
さては生活苦におわれてコンビニバイトとはごくろうなこったｗｗ
生活苦と引き換えに魂まで売り飛ばすとかＡＶ嬢かよ
928: 2019/07/01(月)20:56 ID:YZhdX5+W(1) AAS
>>883なんかそうだが、
フーリエ変換とかテータ関数や乗法理論はわかるけどメリン変換が全くわからないなんてあるか？
前者を代数幾何学的な設定で考えたら俺ならアイデア出せるよ
数学的視点から見てもよくわからないんだよな。何か書けるだろ
929: 2019/07/02(火)07:13 ID:8EzjP+CR(1) AAS
誰にでもすぐ右翼左翼のレッテルを貼って
まともな政策論争ができないネット民に
似ているね、すぐ擁護派だの反対派だの
いう奴。
930: 2019/07/02(火)07:20 ID:rXRTVteh(1) AAS
論点が明らかなのに明確な反論ができないからだろ
一部のフーリガンは証明された、されたの連呼だし
理性派？は反論できず新しい数学だとか可能性だとかで逸脱するし
なにが新しいのかキチンと訴求すれば
931(2): 2019/07/02(火)12:05 ID:m+NrFT6e(1) AAS
IUT周辺にはおもしろいネタがあるけど、
御本尊がIUTの (細かい)改良しか許さないの
だろう
932(1): 2019/07/02(火)13:00 ID:BOcgD3xc(1) AAS
山のようなパッチが当たった、動くかどうかわからないプログラム、みたいな？
933: 2019/07/02(火)14:30 ID:21EU+IlN(1) AAS
>>931
周辺は自分たちのやりたいように勝手にやればいいと思うがな
「御本尊が(細かい)改良しか許さない」数学なんてすぐ潰れる
934: 2019/07/02(火)15:43 ID:CaFoTM5d(1) AAS
>>931
まったく逆だと思う。むしろいじり倒して欲しいけど、周りが手をつけられないだけ。
935: 2019/07/02(火)15:49 ID:nzRoO8NL(1) AAS
＞御本尊がIUTの (細かい)改良しか許さないのだろう
何言ってんだこいつ(´･ω･`)
936: 2019/07/02(火)16:44 ID:2gT6mNci(1) AAS
>>932
証明のプログラムなら 裏付けに論理の完全性
定理も必要だし、
IUTによる証明はIUT形式を含むんだよね
937: 2019/07/02(火)16:46 ID:IBtJIl6U(1/2) AAS
うーん、メリン変換とスピンって言ったら一応ちゃんと一定の方向で模索はしてるのはわかるが
何か書いて出せよとw
特にIUTとモチーフとの関連は一本間違いなく書ける。でも、どうせアクセプトされないか
938: 2019/07/02(火)16:50 ID:IBtJIl6U(2/2) AAS
とはいえArxivにどんどんプレプリント出すべきだよね
あれだけの膨大な理論を理解して三年間一本も書けないとかありえないよ。全体的に無能としか思えないね
939: 2019/07/02(火)20:02 ID:EM+k0btj(1) AAS
このスレでバカみたいなイチャモンつけるやつが多過ぎる。なぜだろう？
940: 2019/07/02(火)21:09 ID:UDherhKq(1) AAS
研究室周辺が特異点なだけ
941(2): 2019/07/02(火)21:40 ID:pYbbnTiu(1) AAS
今回だってＢの非数学徒人気を利用して世論を扇動し、ゴリ押しで掲載させようとしたんだろうが世間はそんなに甘くない
脳内妄想全開だからＮスペもポシャるのさ
Ｂだって密約のポストがゲットできないと笛吹になるかもよ
あの理解度なら普通は厳しいだろうけど
942: 2019/07/02(火)23:54 ID:0FhYomiN(1) AAS
IUTで所望の不等式を得て愛友亭で所望の地位を得る
東京の焼肉はうまくないのか
943: 2019/07/03(水)04:53 ID:jzO7LrN9(1) AAS
韓国政府から金貰ってる民団が組織的にもっちーを誹謗中傷する書き込みをしているのか。
944: 2019/07/03(水)08:10 ID:tlbTB8gt(1/2) AAS
>>941
そういう陰謀論的なことを平気で書いてると、まともな批判とは
受け取られないよ。逆効果だからやめとき。
945(1): 2019/07/03(水)14:45 ID:0iHXX/7/(1) AAS
まともな批判と受け取ったことなんかあったっけ
946(1): 2019/07/03(水)14:55 ID:g6rILCt+(1) AAS
M月と取り巻きは説明責任を果たしていない、で終わりの話。
いつまでダラダラやるつもりよ？
947: 2019/07/03(水)15:46 ID:iFK4d7Zh(1) AAS
>>941
そうだよ。エディタ会議に物わかりのいい人が入ると大変なんだから。
コトによるけど退任責任の署名付きならいいんじゃないの。
事前に騒動の顛末は分かってるわけだし。
論文の掲載後に誤りが見つかることはよくあるといってもPRIMSの権威を左右する。
948: 2019/07/03(水)16:59 ID:pPcD8P3K(1) AAS
伝家の宝刀サーベイを見ろが通用しなくなったからなあ
当時から応援してた奴は知ったかぶり
949: 2019/07/03(水)18:18 ID:RzIG4v0m(1/2) AAS
>>946
俺もそう思うわ。
K藤さん一般向けの解説書まで出して勇み足だよ。
950(1): 2019/07/03(水)18:20 ID:RzIG4v0m(2/2) AAS
圏論の連中は怪しいと言ってるけどね＞IUT
俺は解析屋だから詳細は追えないが。
951: 2019/07/03(水)19:25 ID:dqLWAG/2(1) AAS
2600
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
画像ﾘﾝｸ[jpg]:pbs.twimg.com
Twitterﾘﾝｸ:Fu_L12345654321
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
952: 2019/07/03(水)22:36 ID:gmfcCeF+(1) AAS
まあ有耶無耶に逃げ切るっていうのはもう無いからね
文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する
今年度中には何か起こるだろう
953(1): 2019/07/03(水)23:13 ID:cBOT5KQf(1) AAS
論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう
急先鋒のFでさえ大人しくなってるのに
954: 2019/07/03(水)23:17 ID:tlbTB8gt(2/2) AAS
>>945
まともな批判と受け取られなくてもいいと開き直ってるのなら、
フェイクニュースだろうがなんだろうがお好きにどうぞ。
955: 2019/07/03(水)23:39 ID:CFWFpfGx(1) AAS
言葉って便利だよな
批判と誤りを履き違えて平然としてるのもどうかと思うが
956: 2019/07/04(木)00:00 ID:e0s7SjJC(1) AAS
>>953 そういや何やってんだろうなあいつ笑 存在を忘れてたわ
957: 2019/07/04(木)08:50 ID:uq4SM7D9(1) AAS
>>950
> 圏論の連中は怪しいと言ってるけどね＞IUT
なるほどやはりそうですか
958(1): 2019/07/04(木)12:16 ID:WVvlIGKU(1) AAS
論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw
IUTを形式化するところがまず今後やるべき事なんでしょう
959(1): 2019/07/04(木)12:25 ID:r9BoI4Q1(1) AAS
lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw
あとは共同研究してるフェセンコの院生が特定研究員かもなww
Mファミリーwwww
960: 2019/07/04(木)13:14 ID:q50OUQFv(1) AAS
俺は数学できないけどIUTやってみた。
したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。
961: 2019/07/04(木)13:39 ID:CsQjDDgF(1) AAS
STOP IUT はありま〜す
962: 2019/07/04(木)13:44 ID:uvSAa4Sp(1) AAS
身内評価永久機関の試み
963: 2019/07/04(木)14:14 ID:pMW0ZGlk(1/3) AAS
>>958 要は本人も単なるまやかしだと認めているわけだ藁
964: 2019/07/04(木)14:40 ID:6LGlUzx7(1) AAS
ことここに至ればもう何らかのハードランディングしか残ってなさげ
965: 2019/07/04(木)14:46 ID:pMW0ZGlk(2/3) AAS
大理論、難解、真偽判定には時間がかかると銘打って
取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。
慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう
966(1): 2019/07/04(木)15:44 ID:3ZhQIMPA(1) AAS
完成してないのがわかってるからアクセプト➡
予算獲得➡優秀な人材を多数確保➡拡張と
確定を狙ったんだろう
967: 2019/07/04(木)15:50 ID:u7Swe+1+(1) AAS
姑息だよね〜
>>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に
対するレポートや多少の質疑応答は必須だよねえ
968: 2019/07/04(木)16:43 ID:FVoBAriS(1) AAS
>>966
それでご本尊や取り巻き連中がダンマリ戦法なのか
969: 2019/07/04(木)16:52 ID:chXgx/+D(1) AAS
だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか
970: 2019/07/04(木)16:59 ID:x00U3Nsp(1) AAS
誰か意訳して
971: 2019/07/04(木)17:40 ID:NlSu9whV(1) AAS
ここは鮮人が多過ぎる。
組織的な書き込みのよう。
972: 2019/07/04(木)18:06 ID:PYOSW5iJ(1) AAS
もういい加減次スレ建てるのやめようぜ
オーバードクターの鬱憤晴らしの場になっているだけ
973: 2019/07/04(木)19:08 ID:opHQDpJX(1) AAS
出鱈目な内容のIUTへ毅然とした姿勢で
対応し ノーと発信すべき。
このスレで大切なことは
記録に残す
974: 2019/07/04(木)19:20 ID:24BqSlfM(1) AAS
もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある
どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし
975: 2019/07/04(木)22:06 ID:pMW0ZGlk(3/3) AAS
朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。
とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。
976: 2019/07/05(金)08:53 ID:0oh2mTfH(1) AAS
朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな
977(1): 2019/07/05(金)14:27 ID:SMgdAclR(1) AAS
F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？
面識のある方はちょっと尋ねてみてください。
978(1): 2019/07/05(金)14:55 ID:L48BejiI(1) AAS
遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと
「遺伝情報理論的遠アーベル幾何学」って感じだねw 凄くしっくり来る
たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は
979(1): 2019/07/05(金)20:43 ID:Q+m44D4z(1) AAS
>>977
さては知ってて、あえて訊いてるだろ
980(1): 2019/07/05(金)23:07 ID:2LcLaaDX(1) AAS
次スレ
Inter-universal geometry と ABC予想 40
2chｽﾚ:math
981(1): 2019/07/05(金)23:21 ID:K9VxBE6D(1/3) AAS
>>978
望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、
恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ
つまり、最初期の発想は計算機科学者のそれにかなり近い
これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています
しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょうね
で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが
単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある)
さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と
ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、
省4
982: 2019/07/05(金)23:22 ID:K9VxBE6D(2/3) AAS
>>980
スレ立て、乙です
983: 2019/07/05(金)23:37 ID:K9VxBE6D(3/3) AAS
上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・
984: 2019/07/06(土)00:58 ID:yKHKprzS(1) AAS
>>979 kwsk
985: 2019/07/06(土)09:17 ID:+Ho8rao1(1) AAS
専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？
986(1): 2019/07/06(土)15:51 ID:SzxByl/K(1/2) AAS
結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁
987: 2019/07/06(土)16:01 ID:5dvSg4jK(1/2) AAS
>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし
（事情があって）さっさとrejectできない場合は辛い
988(1): 2019/07/06(土)16:56 ID:SzxByl/K(2/2) AAS
取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。
989: 2019/07/06(土)17:02 ID:JQlwrsWC(1) AAS
>>988
多額wwんな規模じゃねーよww
990: 2019/07/06(土)17:09 ID:lQHJNu5p(1) AAS
方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない
991: 2019/07/06(土)17:47 ID:vf7Keayn(1) AAS
IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw
992: 2019/07/06(土)18:04 ID:5dvSg4jK(2/2) AAS
AA省
993: 2019/07/06(土)18:49 ID:EErN+KeY(1) AAS
この飛行機に
単遠アーベルを直せる客は、乗ってません orz
994: 2019/07/06(土)18:53 ID:1Jk9ck24(1) AAS
無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん
995: 2019/07/06(土)18:59 ID:Sde7L8On(1) AAS
ダメなの！
死にそうだから●●を教えて！ お・ね・が・い
996(1): 2019/07/06(土)21:00 ID:mexKV3lm(1) AAS
結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ
997: 2019/07/06(土)21:35 ID:VjsFe2sY(1/3) AAS
>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる
それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね
省5
998: 2019/07/06(土)21:37 ID:VjsFe2sY(2/3) AAS
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
999: 2019/07/06(土)22:23 ID:VjsFe2sY(3/3) AAS
SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故
精妙な非同型として区別された非自明な特異性を持ちうるのか？
フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない
かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない
色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ
1000: 2019/07/06(土)22:23 ID:vd7YBARF(1) AAS
>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない
トンデモかも？
1001(1): 1001 Over 1000 Thread AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒
1002(1): 1002 Over 1000 Thread AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.213s*