現代数学の系譜工学物理雑談古典ガロア理論も読む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

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

メモ
https://news.mynavi.jp/article/20190717-860624/
マイナビニュース
46MBが4.5PBに膨れ上がる危険なZIP爆弾に注意 2019/07/17
後藤大地

Fossbytesは7月13日(米国時間)、「This Dangerous 'Zip Bomb' Can Explode 46MB File Into 4.5 Petabytes」が、「Zip Bomb (ZIP爆弾)」と呼ばれる高圧縮ファイル爆弾に新たな方法が発見されたと伝えた。この方法を使うと、46MBのZIPファイルを展開することで4.5PBのサイズに膨張させることが可能とされており、注意が必要。

記事はDavid Fifield氏が公開した次のドキュメントがベースになっている。

次に読む>>
zipコマンドの使い方

無料のAndroidアプリに注意、アンインストールでは課金を止められない
10月のWindows 10アップデート、まだファイル管理にバグか
Microsoft、「WSL 2」発表 - Linuxシステムコールの100%互換を達成

https://news.mynavi.jp/article/20190717-860624/images/001.jpg

説明によれば、ZIPコンテナ内部でファイルを重ね合わせることで高い圧縮率を実現したという。従来は再帰的な方法を使うことで高圧縮を実現していたが、今回発見された方法は再帰的な方法は使っておらず、1回の解凍で完全に展開されると説明がある。この方法を使うことでZIP形式の限界まで広げることが可能で、10MBのZIPファイルが281TBまで展開されるという。

64ビット拡張を使った場合はさらにファイルサイズを拡張することが可能で、46MBを4.5PBまで拡張できるとしている。また、報告されている方法は一般的な圧縮アルゴリズムDEFLATEのみを使用しているため、ほとんどのZIPパーサと互換性があるという。

この手法はまだ報告されてから日が浅いうえ、従来の再帰的手法に依存していないため、既存のセキュリティソフトウェアでは検出が困難な可能性があるとされている。Fossbytesは、疑わしいファイルはダウンロードして展開するといった操作をしないようにアドバイスしている。

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

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

メモ
https://news.mynavi.jp/article/20190702-851876/
マイナビニュース
Windows 10でCPUの温度を調べるツール5選と対処方法 2019/07/02
後藤大地

Fossbytesは6月28日(米国時間)、Windows 10で利用できるCPUの温度をモニタリングするツールを紹介した。

作業時のCPU温度は50℃ほどがよく、通常の利用では長時間にわたって60℃を超えるような状況は避けたほうがベターとしている。ゲーム中のCPUの温度は80℃に達することもあるが、何もしていない状況で100℃を超えているようなら、何らかの対処を取ったほうがよいという。

次に読む>>
Goで作られたターミナルツール「gotop2.0」など1月のGitHub Release Radar
アシックスとNTT、センサー付きウエアを利用した暑さ対策
Microsoft、ProcDump SysinternalsツールをLinuxへ移植中
茨城県の養鶏場がIoTによる温度管理や防犯対策

・Core Temp - 人気の高いモニタリング・アプリケーション。CPU温度をチェックすることができる。温度レベルが通知領域に表示される。アドオンを追加してさまざまな機能追加が可能
・Open Hardware Monitor - オープンソースで無料で利用することができるモニタリング・アプリケーション。CPUに加えてGPUの温度をチェックすることが可能
・HWMonitor - ハードウェアに関する詳細な情報を提供してくれるチェックツール
・Speccy - Piriform CCleanerと同じ開発者らによって開発されたアプリケーション。多くの情報を見やすい状態で提供してくれる
・SpeedFan - 冷却ファンの速度を制御することを目的としたアプリケーション。CPU温度のモニタリングツールとしても利用できる

https://news.mynavi.jp/article/20190702-851876/images/001.jpg
記事では、CPU温度が高かった場合の対処方法として以下を紹介している。

1.ヒートシンクを掃除するとともに、内部のホコリを取り除く
2.PC周りを空気通りをよい状況にする
3.適切な筐体を使用する
4.PCを低電力モードで使用する
5.マルウェアなどが電力消費を起こしている可能性もあり、そういったソフトウェアが動作していないかチェックする

CPU温度が高い状況が続くと故障の原因になることがある。CPU温度が常に高い状況が続いている場合、モニタリングを実施するとともに適切に対処することが望まれる。

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

468: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/11(日) 10:09:55.02 ID:D5VJA43k

>>455
＞ｗ＝１／ｚでｚが０以外の整数としても、ｗは整数ではない
＞したがって∞を整数に添加する意味はないｗ

意味不明だな（＾＾
サルは学習能力ゼロかよｗ（＾＾；

下記より「自然数全体（離散位相）N の一点コンパクト化は   Nに最大元  ω を付け加えた順序集合   N ∪ {ω} の順序位相と同相になる。」
（参考）
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
コンパクト化
(抜粋)
概要
位相空間X のコンパクト化（英: compactification）とは、X をコンパクトな位相空間に稠密に埋め込む操作を指す。X を数学的に取り扱いやすいコンパクトな空間へ埋め込むと、X の性質を調べやすくする事ができる。

厳密な定義は以下のとおりである。
略

X は  iによりそのコンパクト化K に埋め込まれているので、K はいわばXのに「点を付け加えて」コンパクト化したものとみなす事ができる。実応用上、こうした「付け加えた点」（すなわち  K＼ i(X)の点）は直観的には無限の彼方にあるとみなせるケースが多いので、
K＼ i(X)をコンパクト化  (K,i)の無限遠境界といい、無限遠境界上の点を無限遠点という事がある。

X をコンパクト化する方法は一意とは限らず、複数のコンパクト化の方法がある事がある。したがって実用上はX の構造を保つなど、X の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある（例えばX が多様体であるときにコンパクト化K として多様体になるものを選ぶ等）。

一点コンパクト化の例
・n次元ユークリッド空間   R^N の一点コンパクト化は、n次元球面   S^N と同相である。
特にリーマン球面  ^C は複素平面 C の一点コンパクト化として与えられる。
https://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Riemann_sphere1.jpg/250px-Riemann_sphere1.jpg
（複素平面の一点コンパクト化。複素数 A を埋め込み写像P により球面（リーマン球面と呼ばれる）の上の一点 α に写す。図でP (∞)と書かれている部分が無限遠点である。）

・自然数全体（離散位相）N の一点コンパクト化は   Nに最大元  ω を付け加えた順序集合   N ∪ {ω} の順序位相と同相になる。

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

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

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

ぬこの手ぬこTOP 0.042s