[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む74 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
9: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/01(木)20:54:46.07 ID:3WolrY+P(9/11) AAS
メモ
外部リンク:news.mynavi.jp
マイナビニュース
ディープラーニングでコーディングを高速化する「Deep TabNine」 2019/07/31
後藤大地
Fossbytesは7月26日(米国時間)、「Programmers Can Code Faster With This AI-Based Autocompleter Tool」において、カナダのウォータールー大学コンピュータサイエンスの学生が開発した入力補完ツール「Deep TabNine」を紹介した。
Deep TabNineは、Open AIによる予測テキストのディープラーニング言語モデル「GPT-2」に基づき、効率のよい開発を実現するという。Open AIは、イーロン・マスク氏が共同会長を務める非営利のAI(人工知能)研究企業。
省9
141(1): 哀れな素人 2019/08/04(日)09:57:50.07 ID:YHlwXkGl(8/13) AAS
>>139
根拠はこれでもか、これでもか、
というほど何度も何度も説明している(笑
お前がアホだから理解できないだけ(笑
何でお前は、お前らは、そんなにアホなのか(笑
190(1): 2019/08/04(日)16:20:07.07 ID:IpsMAkm1(22/30) AAS
バカ主は中学の関数の定義からやり直せ
やり直しが終わるまで数学板出入り禁止な(^^
234(1): 2019/08/05(月)22:52:56.07 ID:xRhdEIIy(4/4) AAS
虚偽っていうかそこから矛盾が導けたら な
まあど素人に言ってもアレか(^^
276: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/07(水)18:39:20.07 ID:iVG9z1JE(8/8) AAS
>>268
見た
選択公理無しならば
”ソロベイは強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した”(下記)
なので、ソロベイの結果に言及していない千京さんのビデオは片手落ちです(^^;
外部リンク:roygb.hatenablog.com/entry/20090508/zfc
Log of ROYGB ZFとC 20090508
省11
346: 哀れな素人 2019/08/09(金)22:47:14.07 ID:6/Zeq4AP(17/20) AAS
たとえば僕がスレ主とサル石のことを
「この二人は非常に聡明だから」と書けば、
それは辛辣な皮肉として書いているのであるが、
それと同じで、市川氏が一見、実無限という概念の有用性を
認めているように書いていても、それは皮肉で書いているのである(笑
スレ主というアホは市川氏のサイトの文章を最後まで読まず、
市川氏が実無限という概念を賛美しているとでも思っているのだ(笑
省1
442(1): 哀れな素人 2019/08/11(日)09:00:52.07 ID:pQbrTYx1(9/27) AAS
要するにサル石は、自然数は∞にはならないが、
しかし∞は存在すると思っており、
スレ主も、自然数の最大元としての∞、
あるいは自然数の極限値としての∞、
あるいはとにかく数としての∞、
あるいは数ではないが、とにかく∞
が存在すると思っている(笑
省5
640: 2019/08/13(火)07:06:57.07 ID:xrcNKYkY(4/27) AAS
>猿回しよろしく、サルを踊らせるだけ
スレ主というゴキブリに殺虫剤かけて悶死させる
いつものショーの始まりだwwwwwww
こいつ何度悶死すれば気がすむんだ?(嘲)
832: 2019/08/15(木)06:38:38.07 ID:R2b+aaQz(4/49) AAS
>>825
>クロポトキン・アナーキスト・革命大好き
今はデヴィッド・グレーバーも好きだぞw
913: 2019/08/15(木)14:53:41.07 ID:eHJsXL8K(32/45) AAS
「決定番号を考えるだけなら可算選択公理で十分」
↑
まったく分かってない証拠w
国文バカと同レベルw
ローレベルピープルw
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.033s