[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
81(1): 2022/03/26(土)10:26:33.40 ID:JU9S0djr(1/2) AAS
2007年に入学してすぐに指導教官がつくわけ無いだろ
404: 2022/04/18(月)10:57:36.40 ID:xtvhZssM(1) AAS
自分の事天才やと思ってるんやろ
なーんも勉強せんでもなーんでも分かると思ってる
489: 2022/04/23(土)09:10:33.40 AAS
>>487
>"functorial algorithm"のformal definitionも見たことない。
ああ、そりゃ駄目だ
アルゴリズムというからには手続きが
実行可能な形で明確にしめされなくてはならない
何をどうやればいいか全く示されないなら
嘘書いたってこと
503: 2022/04/23(土)16:04:22.40 AAS
ああ、それから今後ニホンザルの下げマスを”η”の一文字で表す
508: 2022/04/23(土)16:15:21.40 AAS
多項式の微分と積分の計算はできる学生に、
「AグループまたはBグループに所属する学生の人数は、
『Aの人数＋Bの人数−AかつBの人数』だから……」と話すと、
「それって暗記した記憶はありませんが、暗記するものですか」
と質問する。
541: 2022/04/23(土)21:14:07.40 ID:shYw/6kL(1) AAS
>>519
んなのいっぱいあるじゃん。量子力学なんてアインシュタインは死ぬまで受け入れなかったし。
807: 2022/04/30(土)13:14:38.40 ID:Vf6bDvV+(17/26) AAS
>>806
つづき
ダイクストラの構造化プログラミング
「構造化プログラミング」（structured programming）の語が最初に提唱されたのは1969年にオランダのコンピュータ科学者エドガー・ダイクストラ（Edsger W. Dijkstra）が発表した論文で、本来はこちらが構造化プログラミングの定義であるとされる。
彼の主要な問題意識は、プログラムの規模が大きくなっても正しさを容易に検証できるような「良く構造化されたプログラム」（well-structured program）を記述する方法論で、そのためのいくつかの考察と原則を構造化プログラミングという概念でまとめた。
これには、現代では関数やサブルーチンなどとして知られる、プログラムの「段階的な抽象化」（step-wise abstraction）、現代のオブジェクト指向プログラミングに近い、抽象的なデータ構造（abstract data structures）とこれに関連付けられた抽象的な構文（abstract statements）の「共同詳細化」（joint refinement）が含まれる。
(引用終り)
以上
837(1): 2022/04/30(土)23:42:10.40 ID:Vf6bDvV+(26/26) AAS
>>836
＞ラリュエルによる非哲学
「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？ きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが
>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
省12
926(3): 2022/05/06(金)06:45:47.40 ID:f7kU6wic(1/6) AAS
>>924-925
宇宙Aと宇宙Bとの対応を作って
宇宙Aで難しい問題を、宇宙Bの中では易しい問題に出来て、そこで解を出して、宇宙Bの解を宇宙Aの解に変換しなす
という理論は、すでに例があるよ
理論物理学で、AdS/CFT対応です
宇宙A：CFT空間、宇宙B：AdS空間 です
詳しくは下記を
なお、”この対応は弦理論やM-理論のことばで定式化される”とあるように、理論物理学者は”弦理論”を使います
”弦理論”を否定するwoitは、三流です
(参考)
省17
954(1): 2022/05/07(土)03:56:01.40 ID:SbxoEQXH(1/5) AAS
このスレにセタと呼ばれていた動物と格下の奴なんて居ないだろ
>>936=>>1
おいそこの動物。目上かつ格上に唾して楽しいか？楽しいだろう､
世間知らず物知らずのお前は恥知らず恐い物知らず｡
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s