現代数学の系譜工学物理雑談古典ガロア理論も読む74

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

9: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/08/01(木) 20:54:46.07 ID:3WolrY+P

メモ

https://news.mynavi.jp/article/20190731-867932/
マイナビニュース
ディープラーニングでコーディングを高速化する「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(人工知能)研究企業。

次に読む>>
Uber主導のAIフレームワークPyroがLF Deep Learning Foundationプロジェクトに - Th...

CTC、EduLabのAI活用による手書き文字認識サービス「DEEP READ」
AIによるIntelliCodeも洗練されたVisual Studio 2019がGA - Microsoft
ウイングアーク1st、新たなOCR追加の文書データ活用ソリューション

サポートするプログラミング言語はJava、Python、JavaScript、C、C++、PHP、TypeScript、Kotlin、Objective-C、HTML、CSS、Go、C#、Ruby、Rust、Swift、 Haskell、OCaml、Scala、Perl、SQL、Bashなど。GitHubでホスティングされている200万ほどのファイルについて、ディープラーニングによって学習したデータが入力補完に使われている。

https://news.mynavi.jp/article/20190731-867932/images/001.jpg

同様の入力補完機能としてはVisual StudioのIntelliSenseなどがある。ただし、既存の他の入力補完機能が単一のトークンを提供するのに対し、Deep TabNineは複数個のトークンを補完候補として表示するという違いがある。

Deep TabNineは優れた補完機能を提供するとしているが、現在の実装はまだ動作が重く、計算能力の低い環境ではサクサクとは動かない問題があるとも指摘されている。より妥当な速度で動作するモデルの開発が今後の課題とされている。

http://rio2016.5ch.net/test/read.cgi/math/1564659345/9

276: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/07(水) 18:39:20.07 ID:iVG9z1JE

>>268
見た
選択公理無しならば
”ソロベイは強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した”（下記）
なので、ソロベイの結果に言及していない千京さんのビデオは片手落ちです（＾＾；
https://roygb.hatenabloｇ.com/entry/20090508/zfc
Log of ROYGB ＺＦとＣ 20090508
(抜粋)
選択公理というのがあってＺＦＣのＣのことです。ＺＦはツェルメロ＝フレンケルの公理系のことで、選択公理を含まないこの公理系も使われています
そして選択公理はＺＦに対して独立で、ＺＦＣのようにＺＦに選択公理の肯定を追加することも可能だし、選択公理の否定を追加することもできるようです。

選択公理と矛盾するが、それを除いた標準的な集合論の公理系 (ZF) とは矛盾しないような命題は数多く発見されている。たとえばソロベイは強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した。

1964年にミシェルスキが導入した決定性の公理もその一つである。これは現在、整合性証明のために頻繁に用いられている。
ZFに決定性の公理を付け加えた公理系の整合性と、ZFに選択公理とウディン基数の存在を公理として付け加えた公理系の整合性が同値となるというウディンの定理は、互いに矛盾する公理を関係づける非常に重要なものである。

対象が無限集合の場合には、有限回の操作では終了しないのでこのような操作が行えるかどうかは明らかではないということのようです。このため、選択操作が可能であるというのを公理に追加する必要があったということです。

しかし、ＺＦにも無限の操作は登場します。無限集合の冪集合の作成です。冪集合が存在することについてはＺＦ公理系の公理の一つです。

冪集合というのは、もとの集合の部分集合を全て集めた集合です。この、全ての部分集合を集めるという操作も有限回では終わりません。もとの集合が有限集合ならば勿論有限回ですみますが、無限集合の場合は有限回では終了しません。

どんな集合にも冪集合が存在するという公理も選択公理と似たような感じで、否定した公理系が考えられるのではなんてことを思いつきました
つまりＺＦから冪集合の公理を除いた公理系です。無限集合は存在するけれども、それに対する無限の操作は認めないという公理系は、可能無限の世界になるのかな

http://rio2016.5ch.net/test/read.cgi/math/1564659345/276

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s