- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
205 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 10:16:03.10 ID:CoYajOLi - メモ
https://www.gizmodo.jp/2019/11/lee-sedol-to-step-down-from-go-champion-as-ais-are-undefeatable.html
GIZMOD
韓国の囲碁世界チャンピオンが｢AIは倒せない存在だ｣と引退
2019.11.28 16:00
author Jennings Brown - Gizmodo US［原文］（ 岡本玄介 ）
(抜粋)
https://assets.media-platform.com/gizmodo/dist/images/2019/11/28/191128_go-w1280.jpg
白黒ハッキリさせたいタイプ。
囲碁の世界的な人間のチャンピオンのひとりが、もはやAIとは競争できないという理由で、プロ棋士の立場から引退することを決めました。
韓国人の囲碁棋士イ・セドル氏は、2016年3月にGoogle Deepmindの人工知能AlphaGoと対決し、世界的に有名になった人物です。AlphaGoはセドル氏との5試合のうち4試合を勝利し、AIがもっとも複雑で抽象的な戦略ゲームのひとつで人間を負かせるほど進化していることを、世界的な舞台で証明したのでした。
対局当時から漂う悲壮感
セドル氏は負けた後も挫折感を隠しませんでした。彼は第3局後にこう言いました。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
206 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 10:21:24.04 ID:CoYajOLi - >>205
数学では部分的に、同じように、ヒトを機械が上回ることが起きて来ていた
・πの計算
・表計算（含む関数計算、例エクセル）
・有限群の計算
・数式処理ソフト
など
これからは、AIが入ってくるだろう
しかし、囲碁などと違うのは、数学は不完全性定理により、ルール（＝公理や定義）が変わるから
人間の役割は、無くならないのではないでしょうか？（＾＾；
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
207 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 11:28:33.78 ID:CoYajOLi - >>160 関連
IUTうまく行ってほしいですね（＾＾；
https://twitter.com/math_jin
math_jinさんがリツイート
Fumiharu Kato 加藤文元
@FumiharuKato
11月25日
その他
拙著『宇宙と宇宙をつなぐ数学』（KADOKAWA）
ですが品切れアマゾンなどで状態が続いてすいません。
第6刷（4,000部）の増版が決まりました！
累計23,000部です！！
12月8日に出荷予定です。
今後もよろしくお願い致します。
#宇宙と宇宙をつなぐ数学 #八重洲本大賞
https://twitter.com/5chan_nel (5ch newer account)
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
208 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 13:46:48.33 ID:CoYajOLi - メモ
https://www.nikkei.com/article/DGXMZO51692890R01C19A1000000/
国産データベース開発、技術革新で巡ってきた勝機
2019/11/28 2:00日本経済新聞 電子版
新エネルギー・産業技術総合開発機構（NEDO）が5年と25億円を投じて、国産の新しいリレーショナルデータベース（RDB）を開発している。日経 xTECHの取材でその詳細が明らかになった。
RDBの世界で近年、DBエンジンの作り直しが必須となる目覚ましい技術進化が起こっていることから、新規参入にも勝算があると判断した。
NEDOのRDB開発プロジェクトは「実社会の事象をリアルタイム処理可能な次世代データ処理基盤技術の研究開発」で、2018年度からの5年間に25億円の国費を投じる。開発はNEC、ノーチラス・テクノロジーズ（東京・品川）、東京工業大学、大阪大学、名古屋大学、慶応義塾大学などに委託する。
■厳格なトランザクションと高速な分析を両立
新RDBの特徴は厳格なオンライントランザクション処理（OLTP）が可能でありながら、ビッグデータ分析にも使用できる高いオンライン分析処理（OLAP）性能を有していることだ。
OLTPとOLAPの両立はハイブリッドトランザクション/分析処理（HTAP）と呼ぶ。OLTPで用いる行方向のデータは不揮発性メモリーを採用する主記憶（メインメモリー）に格納し、OLAP用の列方向のデータを2次記憶装置に格納する。2次記憶装置にも不揮発性メモリーを使用する。
OLTPに関しては、トランザクション処理の分野で一般的なベンチマークである「TPC-C」において1ノードで1000万トランザクション/秒（TPS）の達成を当面の目標とする。
そしてトランザクション処理においては、一貫性と隔離性のレベルを示す「トランザクション分離レベル」が最も高い「SERIALIZABLE（シリアライザブル=直列化可能）」を保証する。
2次記憶装置にデータを格納する前にデータを処理するストリーミング処理にも、RDBそのもので対応する。従来はストリーミング処理のために、RDBとは別に処理機構を用意する必要があった。
つづく
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
209 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 13:47:23.07 ID:CoYajOLi - >>208
つづき
OLAP高速化のために探索的データ分析を高速に実行するフレームワークも開発する。OLAPのクエリー（問い合わせ）を実行する前に機械学習ベースのアルゴリズムによってその内容を分析し、クエリーにとって最適なスキーマ（構造）を設定する。クエリー実行計画に加えてデータ構造も最適化することで、探索的データ分析を高速化する。
■PostgreSQL互換、OSSとして公開
新しいRDBはOLTPエンジンとOLAPエンジンの両方を搭載する。両エンジンに対応するクエリーのコンパイラーも開発する。完全に新規開発のRDBではあるが、SQLクエリーなどアプリケーション開発者にとってのインターフェースはオープンソースソフトウエア（OSS）のRDBであるPostgreSQL（ポストグレスキューエル）互換とすることで、使い勝手を良くする。
新RDB自体もOSSとして公開する計画だ。
RDB市場は現在、米オラクルや米マイクロソフトといった海外の巨大IT（情報技術）企業の独壇場だ。そうした中で国産RDBに勝機はあるのか。
開発リーダー役を務めるノーチラスの神林飛志会長は「DBの分野で近年、パラダイムシフトと言うべき目覚ましい技術進化が起こっている。この動きに対応するためには、既存DB製品もアーキテクチャーを根本から作り替える必要がある」と語る。全ての製品が作り直しになるのだから、新規開発の製品にもチャンスがある。それが国産RDBを新規開発する理由だという。
RDBの世界で近年、最も目覚ましい技術進化が起こっているのはトランザクション処理だ。現在の主要RDB製品で採用されている「2相ロック（2PL）」や「マルチバージョン同時実行制御（MVCC）」といったトランザクション処理方式は、1980年代末までに開発されたもの。それから四半世紀、トランザクション処理方式に大きな進化はなかった。
しかし13年に「SILO」という新しい方式が提案されてから「トランザクション処理方式の常識が大きく変わり始めた」（慶応義塾大学環境情報学部の川島英之准教授）。このSILOは、今回の新しい国産RDBにも影響を与えている。
つづく
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
210 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 13:47:51.92 ID:CoYajOLi - >>209
つづき
■楽観的制御と高い分離レベルを両立
SILOの特徴は「SERIALIZABLE」の分離レベルを保証しながら、処理性能も高い点だ。現在の主要RDB製品もSERIALIZABLEを使用できるが、処理性能が大きく落ちてしまうため、デフォルト設定においてトランザクション分離レベルは2段階低い「READ COMMITTED（リード・コミッテッド=コミットされた読み取り）」になっている。SILOのような高い分離レベルと高い処理性能の両立は画期的だった。
SILOはロックを基本的に用いない「楽観的並行実行制御（OCC）」と、複数のトランザクションをまとめてログに記録する「グループコミット」を採用している。基本はロックフリーでトランザクションを並列処理して性能を高めつつ、わずかな時間だけロックを使うことでデータの一貫性を確保するテクニックを用いている。
具体的には、SILOはトランザクション処理を「Read（読み取り）」「Validation（検証）」「Write（書き込み）」の3段階で実行し、Validationの際に当該トランザクションがアクセスするデータアイテムに対してだけロックをかけ、Writeが終わったらロックを解除する。Validationとは他のトランザクションとの競合がなかったか検証するフェーズだ。
Validationによってトランザクション処理の一貫性を保証する。現在の主要RDB製品が採用する悲観的並列実行制御はデータアクセス前からデータアクセス終了までロックする。それに比べてSILOはロック時間が短い。
SILOはグループコミットを採用し、多数のトランザクションのログレコードをストレージに対して並列的に書き込む。近年の不揮発性メモリーが備える高速な書き込み性能を十分に活用できる。
13年に米マサチューセッツ工科大学（MIT）の研究チームがSILOを提案して以降、SERIALIZABLEを保証する高速なトランザクション処理方式が次々と考案されている。
つづく
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
211 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 13:48:17.40 ID:CoYajOLi - >>210
つづき
■トランザクション処理方式でも国産目指す
NEDOの新RDBは、まずSILOを採用したDBエンジンを開発する予定だ。その後さらにSILOよりも性能が高いトランザクション処理方式を独自に開発して実装する計画になっている。
ノーチラスの神林会長は「新しいトランザクション処理方式の考案はほぼ済んだ。20年には新方式を実装したプロトタイプを作って性能を示す」と語る。新RDBの完成は22年度の予定だが、早ければ2020年にもその実力の一端が示されることになりそうだ。
（日経 xTECH/日経コンピュータ 中田敦）
［日経 xTECH 2019年10月23日付の記事を再構成］
(引用終り)
以上
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
212 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 13:53:37.08 ID:CoYajOLi - >>206
４色問題とかケプラー予想もあったかな（＾＾；
https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%97%E3%83%A9%E3%83%BC%E4%BA%88%E6%83%B3
(抜粋)
ケプラー予想（ケプラーよそう、英: Kepler conjecture ）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間における球充填に関する数学的な予想である。
それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。
1998年にトーマス・C・ヘイルズ（英語版）はラースロー・フェイェシュ＝トート（英語版）が提案した方法[1]に従ってケプラー予想を証明したと発表した。
多数のケース一つ一つを複雑なコンピュータシミュレーションでチェックするしらみつぶし法（英語版）であった。
査読者は証明が正しいことを「99%確信している」と評した。
よってケプラー予想は定理として受け入れられる寸前に来ている。
2014年、ヘイルズに率いられたフライスペック・プロジェクト（英: the Flyspeck project）のチームは、定理証明支援ツールであるIsabell（英語版）およびHOL Light （英語版）を組み合わせて用いることにより、
ケプラー予想の形式的証明を完了したと発表した。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
213 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 15:42:55.33 ID:CoYajOLi - >>208
＞ノーチラス・テクノロジーズ（東京・品川）
これか（＾＾
https://enterprisezine.jp/dbonline/detail/7263
EnterpriseZine
DBプロに会いたい！
「すべてのIT屋は全力で反省しろ！」― ノーチラス・テクノロジーズ 神林飛志さん
加山 恵美[著]edited by DB Online ? 2015/10/07 06:00
IT業界にいると、しばしばファンタジーに酔わされる。「ほにゃららコンピューティングが世界を変える」とか「ほにゃららでビジネスの革新を」とか。耳あたりのいい言葉、前向きなコピー、未来を感じさせる謎のカタカナ文字、イベントの基調講演前に流れるかっこいい映像――こうしたITのファンタジーを怒髪天を衝く勢いで否定するのが、今回のDBプロ、ノーチラス・テクノロジーズの神林飛志さんだ。
公認会計士からプレイングCTOへ
https://ez-cdn.shoeisha.jp/static/images/article/7263/7263_1.jpg
神林飛志さん。キレ芸が魅力（ちょと怖い）
「ITで世界が変わった？変わってないから！」
「ITなんてなくても世界は回るから！全てのIT屋は反省すべき！全力で反省しろ」
「ITエンジニアなんて世の中で一番要らない職業だから！」
……とまあ、この調子で取材に来るなり、全否定。けんもほろろ、とりつく島もない勢い。
今回のDBプロはノーチラス・テクノロジーズ 代表取締役社長の神林飛志さん。某イベントで行なわれたパネルディスカッションでこのキレっぷりを目撃したDBオンライン編集部たっての希望で実現した取材である。とあるデータベースの重鎮も「ちょっと怖いかもしれないけど、面白い人だから話を聞いてごらんよ」と太鼓判。そこでやってきてみれば、やっぱりちょっと怖い。でも確かに面白い。
「ぼくはITやコンピュータに幻想がないから」という神林さん、波瀾万丈な経歴の持ち主でもある。抜粋して流れを追ってみよう。
つづく
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
214 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 15:43:18.58 ID:CoYajOLi - >>213
つづき
まず社会人としての経歴は会計事務所の公認会計士から始まった。学生のうちにに資格試験に合格したため、大学卒業前から公認会計士として働き始めたという。そこで企業買収などの案件を手がけた。IT業界だとM&Aなんて珍しい話ではないが、90年代当時の日本では「会社は売りものじゃない」という感覚があったそうだ。ちょっと隔世の感。
「短期間で対象となる企業や業界の事情をマスターしなくてはならないため、仕事はとてもタフでした」と神林さんは振り返る。
数年後、茨城を中心に店舗を展開するカスミストアのCIO兼CTOに就任する。実は神林さんはカスミストア創業者の息子。家業を継ぐような感覚だろうか。神林さんのITキャリアはここがスタート地点となる。
任されたのは汎用(はんよう)機で作られた業務システムの刷新。「フルスクラッチで書き換えました。3年くらいかかったかな」とさらりと言う。自らコードも書いたそうだ。
公認会計士からいきなりプレイングCTOである。当初は「未経験でそんな無茶な！」と思えたが、実は神林さんはコンピュータの知識は十分に持っていた。中学生ごろからパソコンでゲームを始めたそうだ。どんな遊び方をしたかと話を聞くと、いつの間にか話はダンプのとりかたになっていた。ダンプである。ダンプ？
それから学生時代。「大学生の時にLinuxが出まして。インターネットを始めたんですが。とはいえ、当時のインターネットってメールでしたけど」と話す。Linuxは楽しかったらしい。メールが？と思いきや違うらしい。「毎日コンパイルしていました」。
ダンプもコンパイルもお手のもの。神林さんはコンピュータはかなりの経験者であった。だから業務システムの刷新すら、自ら手がけられてしまうわけだ。コンピュータならどんな言語を使おうと「結局バイナリでしょ」という感覚。すごく機械に近いレベルを知っている。経営も知っている。だから冒頭のような話となる。コンピュータやITを概念的なものとしてとらえていない。
※この続きは、会員の方のみお読みいただけます（登録無料）。
(引用終り)
以上
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
215 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2019/11/29(金) 16:05:59.66 ID:CoYajOLi - >>208 参考
もと記事
https://tech.nikkeibp.co.jp/atcl/nxt/column/18/00001/03044/
2019/10/23 05:00
ニュース解説
NEDOが25億円投じ日の丸RDBを開発中、「国産にも勝機あり」と自信を見せる理由
中田 敦＝日経 xTECH／日経コンピュータ
|