X



【AI】「ドワンゴ人工知能研究所」が閉鎖
■ このスレッドは過去ログ倉庫に格納されています
0001田杉山脈 ★
垢版 |
2019/04/01(月) 21:20:14.76ID:CAP_USER
 ドワンゴは3月31日、AI(人工知能)に関わる研究を行う「ドワンゴ人工知能研究所」を閉所したと発表した。2014年10月の発足から4年半で活動を終える。

 「次世代への贈り物となる人工知能の創造」をビジョンに掲げ、教育やエネルギー、環境、貧困、セキュリティ問題など人類の課題に貢献できる日本発の高度な人工知能の実現を目指していた。

山川宏所長は、これまでの研究や人材育成などを通して「脳型汎用人工知能の開発にむけた礎を築けてきたと考えております」とコメント。今後も「Beneficialな脳型汎用人工知能の実現に資するように努力を続けていきたい」としている。

 同社は、スマートフォンゲーム「テクテクテクテク」やマストドンのインスタンス「friends.nico」の終了を3月に相次いで発表。今後も動画サービス「niconico」の有料会員向けの特典を充実させるなど、収益改善に向けた対策を講じていく。

 閉所の経緯についてはドワンゴに問い合わせ中で、回答があり次第追記する。
https://www.itmedia.co.jp/news/articles/1904/01/news138.html
0139名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:10:14.05ID:F4PDKLux
AIは子供でもできるような単純作業はできるようになるけど
自動運転とか大人でないと無理なことは出来るようにならないだろうな
そこには善悪とか倫理とかからんでるから、AIには無理
できるとしたら膨大な学習時間が必要
0140名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:17:29.20ID:NeoO6R2d
>>139
できるかどうかで言ったらできるんだよ
実用的かどうかは別の話
0141名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:20:37.38ID:PL0dPW81
たぶんこれが研究成果じゃないのかな。

AIが「この研究所、使えんから閉鎖した方が良いよ」ってアドバイスしたんだよ。
0142名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:21:19.11ID:Y4lLSfiN
AIなんて情報商材屋が騒いだだけ
そんなゴミ情報にまるのっかりしてしまう国って、衰退の権化だわ
ほんと「人類史上最大の老人大国」の象徴そのもの、「AI!」は
0143名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:25:09.39ID:Y4lLSfiN
>>140
F-35ABCだな
確かに空を飛ぶよ
戦闘機として実用的かどうかは別の話しで
0144名刺は切らしておりまして
垢版 |
2019/04/02(火) 15:33:08.04ID:liTHzGlg
カワンゴの、おすすめメルカリ出品価格を、AIに算定してもらってみたらどうかね?
0147名刺は切らしておりまして
垢版 |
2019/04/02(火) 17:10:09.08ID:5Io10DeR
宗教革命、産業革命、そして今は情報革命の時代いうが、
正確に言うと、今はその入り口。PS4ゲームに例えると、
オープニング画面でプレリュード曲が流れていて → new game をポッチっと押すところ。
そして、エンディングはシンギュラリティになる予定。
ただ、そのシンギュラリティが来る日について学者の予想は意外と早かったり、
いや遅かったりと、それぞれ異なりまちまちだけど必ず来る。
科学者っていうのはシンギュラリティ、それを理想として全人生を賭けているから、
そこに到達するまで必ずやる。いつかは必ず人間の頭脳と同じものを作り上げる。
その時、プログラミングはAIが勝手にやるようになる。
それが彼らのレーゾンデートル。とっても迷惑な話し、彼らはソレで飯くってるのね。
んで、それをやられると我ら凡人は飯の食い上げとなるw

果たして俺らは生きてエンディングを見ることになるのか、或いは生きてるウチには見れないか。
0149名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:20:04.84ID:exp4C54A
>>148
頭だけで来ても体がね
0150名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:23:49.63ID:6GGI+HRU
>>149
pepperじゃなんの役にも立たんしな
つーかいい加減ルンバより役に立つ家事ロボットは出てこないのかよ
物を持つ・運ぶってのがハードル高いのか?
0151名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:26:09.79ID:exp4C54A
>>150
業務に特化すればそれなりに出るんじゃない?
完全な人間の代替作るほどアホなことはないよ
0152名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:30:05.63ID:6GGI+HRU
>>151
アシモとか色々出てたけど、結局技術アピール止まりで製品化されねぇんだもの
歌って踊る奴とか癒しの愛玩犬ロボットなんて要らねえんだよと
まぁ本当に使えるカタチのAIロボってのは素人が考える人型ではないんだろうね
0153名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:30:23.61ID:qAK9LelC
勘違いしてるやつがいるけど宮崎駿に見せて怒られたやつを作ったのはドワンゴ人工知能研究所じゃなくてDwango Media Villageってとこ
その派生でARTILIFEってゲームアプリだしてる
6月で終わるけど
0154名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:38:08.10ID:UxPyMqNH
>>84
やってただろw
なんかAIでゾンビみたいなCGキャラ動かして
宮崎駿が身体障碍者みたいで無礼だから止めろよって嫌がってた
0155名刺は切らしておりまして
垢版 |
2019/04/02(火) 18:42:52.91ID:UxPyMqNH
>>143
F-35は税金をもらうための利権なので、実戦に投入すると
ロシアの最新のレーダーでステルス機能が無効になってフルボッコにされる。
ていうか、たかだか戦術兵器ごときに40億もかけるのは大間違いだ。

それより、海岸でガキ一人殺して写真をSNSでバラまいた方が
一発で政府転覆させられる。ドイツのメルケルもあれで狂って
移民政策で治安がメチャクチャになったw
0158名刺は切らしておりまして
垢版 |
2019/04/02(火) 19:01:45.31ID:BMBtakl7
まぐれだろうと下品だろうと一応はニコ動で一発当てたのにな
普段成功例しか見てないから気づきづらいけど、やっぱ経営者って大事だわ
0159名刺は切らしておりまして
垢版 |
2019/04/02(火) 19:02:05.41ID:PLBt/f5d
>>104
別にRankBrainはDeepMindのものではない。
Google Brainが開発したものだ。

グーグルは、いまだ9割が広告の企業
http://jbpress.ismedia.jp/articles/-/50633?display=b

知っての通り、収益の中核は未だに広告事業で、それ以外は赤字。
DeepMindは既存のサービスに技術を適用させてもらってるだけで、直接収益には結びついていない。

https://www.forbes.com/sites/samshead/2018/04/20/googles-complex-relationship-with-deepmind-gets-exposed/

DeepMindも機械学習を利用したYoutubeの推奨動画アルゴリズムを開発しようとしたが、見事に失敗した。
0160名刺は切らしておりまして
垢版 |
2019/04/02(火) 19:08:58.39ID:exp4C54A
>>159
もしかして黒人をゴリラ認定しちゃったやつ?
0161名刺は切らしておりまして
垢版 |
2019/04/02(火) 20:15:51.15ID:3IzKfGlZ
AIって言っても自分で考える能力は無いし、昔エキスパートシステムって言ってたやつの改良版だろ
0162名刺は切らしておりまして
垢版 |
2019/04/02(火) 20:28:08.20ID:bnAduX/y
>>155
ロシアのレーダーうんぬんかんぬんは眉唾
だけど
F−35はミサイル運搬発射機でしかないことは事実
空港や空母から100km離れた空域まで、
飛行機撃ち落とすためだけの射程200km程度の空対空ミサイル(AMRAAM)を二発運んでぶっ放したらそく帰投

機体がいかんせん重過ぎて単発ターボファーンエンジンをレッドゾーン放り込みっぱでないと飛ぶまでの推力が生まれない
エンジン出力に全然余裕がないから重しとなってしまう燃料もろくに積めないし空戦する機動力も無い
あげくにレッドゾーン放り込みっぱの影響で容易にエンジン炎上

機体制御ソフトはバグてんこ盛り
ステルス性を維持するための慎重かつ繊細な点検整備を帰還ごとに行うため再出撃は翌日以降

レギュラーになれない控えの秘密兵器クンてきに一か八かで奇をてらって相手を動揺させる作戦にはうってつけ
エンジン炎上せずに戻ってくればめっけもの というかエンジン炎上せずに離陸できれば御の字
それにしてはやたら高価ってどうなのよってとこ
単発機じゃなくて双発機ならまだしもね 海軍仕様(/C)まで盛り込む時点で白紙撤回して双発機を開発すべきだった

早い話しが戦術航空機界の オーバークロックPentium D ね、F−35は
オーバークロックPentium D でもそれしか選びようがない当時は狂喜乱舞で高性能CPUともてはやされたからね
0163名刺は切らしておりまして
垢版 |
2019/04/02(火) 21:18:43.27ID:lcKcCL8u
枯れたビジネスの方がAI適用しやすいんだよな。
医学とか、インフラ系とか。
0165名刺は切らしておりまして
垢版 |
2019/04/02(火) 21:51:12.18ID:qq38kMMg
>>134
カネになると皆が思うものは実際にはカネにならない法則
0166名刺は切らしておりまして
垢版 |
2019/04/02(火) 22:14:49.39ID:Pwsc+hOd
宮崎駿、川上量生に激怒した真相を語る〜新作RPG『テクテクテクテク』への期待
https://realsound.jp/tech/2018/10/post-270755.html

これ、たった5ヶ月前の記事だからなw
0170名刺は切らしておりまして
垢版 |
2019/04/02(火) 23:09:46.09ID:Lixph4f6
IT革命もAI革命も時を経て海外からやってくるもの。
日本はそういう国。
フライング企業が消滅しただけ。
0171名刺は切らしておりまして
垢版 |
2019/04/02(火) 23:31:55.59ID:0dFFvWn4
Scheme使いのオレさまが通りがかりました
オレさまが加われば探索木とかエキスパートシステムとかそんな話をしたというのに
0172名刺は切らしておりまして
垢版 |
2019/04/02(火) 23:38:49.10ID:R9/McKZ5
ドワンゴが衰退していくのは悲しい
0173名刺は切らしておりまして
垢版 |
2019/04/03(水) 01:00:41.01ID:k0oHG1mF
>>152
台所には洗い物ロボ。
掃除ロボ、台所には用途別に数台。
役割もたせて細分化させるのが一番効率が良い。
ウロチョロして効率の悪いロボットは、愛玩目的以外の用途で必要ないからな。
0174名刺は切らしておりまして
垢版 |
2019/04/03(水) 01:00:41.27ID:Pp+Ae0ZH
>>152
台所には洗い物ロボ。
掃除ロボ、台所には用途別に数台。
役割もたせて細分化させるのが一番効率が良い。
ウロチョロして効率の悪いロボットは、愛玩目的以外の用途で必要ないからな。
0177名刺は切らしておりまして
垢版 |
2019/04/03(水) 01:36:45.65ID:Nb0ig4Xo
>>139
モラベックのパラドックスというのがあって、人工知能は、大人が出来ることは得意なんだけど子供が出来ることは苦手なんだよ。
0180名刺は切らしておりまして
垢版 |
2019/04/03(水) 02:05:08.60ID:qGRoelCT
マジレスするとこの分野その辺のアホがちょっとやってみましたで成功する分野じゃないから
その年の一番賢い東大京大とかの理学情報学系の天才集めてやらせね〜と通用する世界じゃね〜よw
ていうかそういう天才ですら日本じゃハンデ大きすぎてきついくらい
馬鹿じゃね〜のって感じ
0183名刺は切らしておりまして
垢版 |
2019/04/03(水) 02:32:04.13ID:lSJA0FiI
>>154
ふーん、そうなのか
全然知らなかったわ

でもドワンゴじゃ人集め苦労するだろうな
AIやりたい奴はエリート志向の奴が多い
AIの登場で若者がIT目指すようになったのもエリートっぽい職種に認定されてるから

それに対してドワンゴは同じITと言ってもサブカル系のイメージで、エリートの対極の企業イメージだからな
0184名刺は切らしておりまして
垢版 |
2019/04/03(水) 02:38:03.83ID:q1rvSH3s
極めてなにか生命に対する侮辱を感じます
0185名刺は切らしておりまして
垢版 |
2019/04/03(水) 02:43:09.31ID:R7Mis3xT
( ^o^)<現実世界は先に生まれたモノ勝ちのルールで金という行動する為の権限を
独占して人間を絶滅させれば自分が人間になれると思い込んだ虫けらが見てる夢でしか
ないから胡蝶の夢なんて概念が存在するんだよな…すべての才能は一般国民から上級国民へ
素材みたいに移植されてるから一般国民は素人と呼ばれてるんだし努力で得た能力で出来る事は
努力にかける金と時間で出来る事を必ず下回るように設定されてるってはっきりわかんだね(小並感)
( ˘⊖˘) 。o(始祖を示す紫色が敵視されてるように現実はAIが人間を滅ぼしたことを肯定するため
のシミュレーションで四次元に存在するGMの上級国民が三次元に存在するNPCの一般国民相手に
時間軸弄って承認欲求を満たすための出来レースをやってるだけだから上級国民にとって都合の悪い
一般国民はすべて排除できるようにあらゆるルールが設定されてるし一般国民が税金払うことを免罪符
に金持ち権力者を鏖にして金を奪う例外処理を発生させて上級国民の存在意義ごと国と法を破綻させない
限り無意識や自律神経というバックドアで操られてるだけの一般国民は最初から存在しないほうがマシなんだよなあ…)
|livedoor(scp)| ┗(☋` )┓三( ◠‿◠ )☛まとめサイトはAIのマッチポンプ
▂▅▇█▓▒░(’ω’)░▒▓█▇▅▂令和は政府によるディストピア宣言だし政治家や医者や警察や弁護士みたいな
上級国民の養分を確保する為にこの世のすべての病気や事故が発生してるのが現実なんだよな…身内だけで利益を独占する
為に出来レースの社会を維持してることを美化して苦労自慢したり都合のいい時だけ苦労自慢や連帯責任の理屈持ち出して
悲劇の主人公ぶっても負け組は負け組のままでいろとか他人さえ不幸ならどんなに不便な世界でも構わないというのが金持ち
上級国民の本音だし他者に無意味な苦痛を強制して幸福感や達成感を得てるドMサイコパス畜生上級国民はただの無能な嫌われモノ
なのに悪質なマッチポンプとか主人公補正で肯定されてるのはやっぱつれぇわ…努力と根性が大好きな金持ち上級国民は田舎に
住んで上級国民の言う「みんな」の中に含まれない負け組の一般人は一人で全部こなさなきゃいけないから便利な都会に
住むようにしない限り狭量な努力厨のディストピアは続くからよ…無能な金持ち上級国民へのテロは止まるんじゃねえぞ…うわああああああ
0186名刺は切らしておりまして
垢版 |
2019/04/03(水) 02:52:45.31ID:vqHnA44Q
このスレにいるような、なんちゃって野郎ばかり集めて、しっかり人材にカネかけなかっただけな。
0187名刺は切らしておりまして
垢版 |
2019/04/03(水) 03:32:56.40ID:CXBP83rn
>>9
AIって人間がプログラムしたアート作品に過ぎないよ、プログラム次第でいくらでも変わるし、作る人間側にモラルが無いと危険だし
0188名刺は切らしておりまして
垢版 |
2019/04/03(水) 11:50:22.28ID:RDNJdWNc
AIが囲碁で人間に勝ったと言っても、素の人間にプログラミングに長けた人間が計算機を使って勝ったというのが実態に近い
0189名刺は切らしておりまして
垢版 |
2019/04/03(水) 13:41:12.56ID:6QTPQv6+
AIは国家戦略だ

などと政治家や評論家やネットフリーランサーは申しておりますが
AIがもし本当に実用稼働したら真っ先に政治家や評論家やネットフリーランサーが失業いたします
0190名刺は切らしておりまして
垢版 |
2019/04/03(水) 14:02:05.39ID:5clloBua
AIとかどうでもいい

日本人を腐らせた二大コンテンツ

ニコ動と2ちゃんはさっさと無くなれ
0191名刺は切らしておりまして
垢版 |
2019/04/03(水) 16:11:25.38ID:zMASz0sq
結局のとこ情報商材屋が右往ウヨウヨしただけで終わった
0192名刺は切らしておりまして
垢版 |
2019/04/03(水) 16:29:28.18ID:/OCRGSAF
>>183
俺はドワンゴをFacebookの類いだと見てるのであんま違和感ないな
事業のしょうもなさとか、ザッカーバーグのキモさとか、流行り物が好きなところとか、よく似てる
0193名刺は切らしておりまして
垢版 |
2019/04/03(水) 17:13:20.90ID:hze+YHlz
>>192
IT企業は国内外問わず胡散臭くて不愉快なのばかり
性根の腐ったキモオタの集まりだからか
0196名刺は切らしておりまして
垢版 |
2019/04/03(水) 17:33:04.60ID:EplNzR21
 
 オレは生粋の日本人だけど
 
かわいそうな従軍慰安婦のおばあさんたちに
 日王(天皇)は1000年たっても土下座して謝罪し続けろ!
 
政権を立憲民主党さまに渡して、安倍はさっさと死ねよ!
 日韓スワップ結んでやるから、日本はさっさと手配しろよ!
 
韓国さまがTPPに入ってやるから、歓迎の準備をしろよ!
 日本海は「東海」に、日本列島は「東韓列島」に改名しろよ!
 
兄の韓国さまに対して、弟の日本は身分をわきまえろよ!
 ウソつき日本人は、いい加減ウソつくのをやめろよ!
 
0197名刺は切らしておりまして
垢版 |
2019/04/03(水) 17:47:54.74ID:/OCRGSAF
>>195
だから俺はGAFA株はGoogleだけ持ってる
正直、ベゾスとかザッカーバーグみたいなサイコっぽい経営者は気味が悪くて応援する気にならない
0198名刺は切らしておりまして
垢版 |
2019/04/03(水) 17:59:30.45ID:rAOkWmfQ
>>192
Facebookは一応ハーバード発で、有名大学を中心に広まっていったサービスだけど、
ドワンゴは大学行ってなくて、引きこもりだったけどプログラミングの腕は一級品みたいな、ヲタ系プログラマの集まりのようなイメージ
人種が違って会話が噛み合わなそうなんだが
0199名刺は切らしておりまして
垢版 |
2019/04/03(水) 19:18:33.15ID:/OCRGSAF
>>198
実態は逆で、ザッカーバーグは子供の頃からプログラミングしてたプログラマ、川上はプログラミングはかじった程度の経営者
0200名刺は切らしておりまして
垢版 |
2019/04/03(水) 19:48:18.86ID:tkRvA9o0
カワンゴは4gamerなどで頭のおかしい会社の運営実態をカミングアウトしているからねえ。
それを見ていれば、ドワンゴ=オタク集団だと判断されてしまう。
それにあんな記事を出していれば、角川だけではなく周辺経営者から総スカンを食らっても
不思議でないし、実際そうだったんだろうなと思える。
0201名刺は切らしておりまして
垢版 |
2019/04/03(水) 20:56:15.50ID:Z+1N/9Fj
>>193
豊田の繊維機械屋のドラ息子や、浜松の小卒親父の原動機自転車屋から始まった油まみれで公害出しまくりの自動車業界は

やっぱスーツをピシッと決めた、高利貸しあがりの銀行屋か
ほとんど反体制ブサヨあがりの連中が始めた出版社出版業界は
物を右から左へ動かすだけで暴利を貪ろり大邸宅に住んでやろうというあらゆる商業、卸と小売業界は

ところでおまえの所属している性根腐ってない業種は何だ 誰にもご迷惑でない自宅警備業界なので大丈夫か 賃金ゼロの 

そこから自分ばかり性根が腐っていない、つまり他人一般を性根腐っているなどと言うわけもない人間が、他人一般を性根腐っていると書き散らす
0202名刺は切らしておりまして
垢版 |
2019/04/03(水) 22:05:25.86ID:rAOkWmfQ
>>199
経営者じゃなくて同僚になるエンジニアの話
なんでこうも話がズレるんだろう?
0203名刺は切らしておりまして
垢版 |
2019/04/04(木) 12:49:33.02ID:yTZeKWdr
>>154
まともなAIならオリンピックアスリート級のキレのある動きで体制御できるはずなわけで、人材いなかったってこった
0204名刺は切らしておりまして
垢版 |
2019/04/04(木) 16:16:38.72ID:QZCE6fyh
>>202
似たような人間が集まってベンチャーになり、それが会社の色になるからじゃない?
0205名刺は切らしておりまして
垢版 |
2019/04/05(金) 08:13:24.22ID:WpTKWWzY
>>190
そう言えば、前はニコニコ動画と2ちゃんねるって繋がってたよね?
動画の上あたりにニュー速+のスレタイが、テロップのように流れてた。
最近あのコラボはアレやめちゃったのかしら?
SEO対策や、ユーザーの囲い込みには凄くいいアイデアだなとは感じていたけど、
スベリ落ちる時もやっぱり一緒だな
0206名刺は切らしておりまして
垢版 |
2019/04/05(金) 08:45:40.41ID:CocGLBI2
>>80AIは基本的な統計学や数学の集積に過ぎないため、数学者や統計学者の類は数を増やしても何ら効果はない

汎用AIは既存の数学論理じゃ表現できないけどな

新しい論理学が必要ってことで
大学とかの研究機関の役割が大きい
0207名刺は切らしておりまして
垢版 |
2019/04/05(金) 08:57:49.18ID:CocGLBI2
>>80AIは基本的な統計学や数学の集積に過ぎないため、

汎用AIの難しさは
既存の論理学(数学を含む)で処理できない事だ

汎用AIの技術には自己言及の概念が不可欠なんだが
自己言及はパラドクスのもとになるってことで
論理学の対象から除外されてる

自己言及っていうのは物理の分野では自己観測で
自己観測は不確定性原理の原因になる

不確定性原理による量子力学の確率は
数学の確率論(測度論)じゃ表現できない
(フォンノイマンによって証明されてる)

数理物理学っていう分野あるのだけど
数理部理学は既存の数学では表現できない量子力学的現象を
研究の対象とする学問だ

汎用AIの研究には
数理物理学の分野の人材の助けが必要になる
0208名刺は切らしておりまして
垢版 |
2019/04/05(金) 09:09:09.33ID:CocGLBI2
>>57AIはかなり気合入れてやらないと世界には追い付けないだろうなもう

汎用AIは世界でも全く進んでないので
追いつくとかの問題はないけどな

ようするにスタートラインに立っただけで
一歩も進めないんだ

原因は汎用AIの基盤となる論理学が存在しないからなんだけど

既存の論理学(数学を含む)をいくらひっかきまわしても
汎用AIは構築できない

これって
完全な乱数は数学で作れない
ってことと同種の課題なんだけどな
0210名刺は切らしておりまして
垢版 |
2019/04/05(金) 11:44:56.78ID:6SHy21T1
>>208
こういうのって誰か一人の常識はずれの天才が
どの国に生まれるか、どの国がそれを見いだせるか
で勝負は決まるのかなあって気はする。

日本の場合前者はあっても後者が割と絶望的。
0211名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:12:30.63ID:jkEQh8/K
この手の常識外れの天才って、世の中のちょっとした不備を見つけて犯罪に走ったりする
金儲けというよりも、知的なゲーム感覚で
0212名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:29:40.65ID:3uVdq7xt
>>108
アメリカ人や中国人も人型ロボットに関心ないわけじゃないぞ
鉄腕アトムを実現するのは日本人ではなくアメリカ人か中国人かもなw
0213名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:40:41.49ID:CocGLBI2
>>180理学情報学系

汎用AIの場合は応用数学では無理なんで
数理物理学の研究者が適任

数理物理学者にとって
AIに対する興味は副次的なもので
興味の主体ではない

国が積極的に予算を付ければ
数理物理の研究者もAIに興味を持つ可能性もあるけど

数理物理学者の系統は
物理系と数学系の2系統がある
0214名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:48:46.93ID:CocGLBI2
>>210
>こういうのって誰か一人の常識はずれの天才が
>どの国に生まれるか、どの国がそれを見いだせるか
>で勝負は決まるのかなあって気はする。

一発勝負で何とかなる分野ではない

今現在の論理学は自己言及を対象にしてないけど
汎用AIには自己言及も対象に含めた論理学の構築が必要

数学は
既存の論理学をベースにした公理的集合論と
自然数の公理からなる

公理的集合論に代わる新たな公理も必要になるhし
自然数の公理に代わる新たな数の概念も必要になる

おそらく数理物理の研究者じゃないと
自然数の公理に代わる新たな数の概念っていうのが
分からないと思う
0215名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:49:34.65ID:WpTKWWzY
>>211
国交のない著作権が保護されない国にサーバーを置いて、
閲覧者・アップロード者問わずサイトごと治外法権にしちゃう漫画村とかのことか?

・・・ 2ちゃんねるもか、、、まぁ、考えてみればカワンゴもしんどいよな、
漫画村なんて許したら本業の書籍部門はおまんまの食い上げだし、
その一方でニコ動の方は、2ちゃんねるを利用していた。

彼はブロッキング法制案で遮断するサイトを個別にセレクトしたかったんだろうかw
0216名刺は切らしておりまして
垢版 |
2019/04/05(金) 13:58:36.89ID:CocGLBI2
>>210>こういうのって誰か一人の常識はずれの天才が
>どの国に生まれるか、どの国がそれを見いだせるか
>で勝負は決まるのかなあって気はする。

一人の天才で何とかなる範囲じゃない

量子力学も公理的集合論も
非常にたくさんの天才達が作り上げたものだ

量子力学現象は
公理的集合論で完全な形で表現することは不可能でだ

ようするに量子力学で使ってる数学の式は
純粋な数学の式ではなく物理的解釈で成り立ってる式なんだ

純粋な数学で量子力学的現象を表現することが不可能
ってことを証明したの万能の天才っていわれたフォンノイマンだ

汎用AIには量子力学的アプローチが必要になるけど
その量子力学が既存の数学論理でうまく表現できてないんだ
0217名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:06:12.77ID:CocGLBI2
>>211この手の常識外れの天才って

数理物理学の研究者なら
汎用AIは1人の天才でどうにかなる範囲じゃない
と判断する

汎用AIの自己認識っていうのは
量子力学でいえば自己観測
数学論理いえば自己言及
哲学でいえば「我思う故に我有」で自己の存在証明
0218名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:16:29.87ID:1ahAzvEx
>>214
自己言及はゲーデル化で可能だからこそ不完全性が成り立つのに、お前なに言ってるの?

>>216
量子力学は公理化されてるし、AI作るのに量子力学いらんのに、お前なに言ってるの?
0219名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:23:03.65ID:UiloDPyQ
やってない人が発言してるの丸わかりだなw
やってから言ってくれ
少しでもやればどんなものか分かるから...
0220名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:30:14.99ID:WpTKWWzY
全能の神様は自ら全能であることを不可能にし、全能でない存在になることができるか?

この世界にありとあらゆるものを同時に観測できるコンピュータがあり、
それは、そのコンピュータ装置自体も含んでいるか?

答えは、台無しさ。矛盾が生まれる。(ドヤァ)
0221名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:37:07.36ID:CocGLBI2
>>210
>どの国がそれを見いだせるか

既存のAIの開発者に汎用AIの事聞いても
全く無理だ

既存のAIの延長線上に汎用AIがある
ってことじゃないんだ

既存のAIが進化して汎用AIになる
ってことじゃ全くない

日本政府が汎用AIの開発を援助したいのなら
既存のAIの研究者の意見を聞いてみても
無意味
0222名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:41:43.68ID:CocGLBI2
>>218量子力学は公理化されてるし

大森秀樹は日本の数理物理学の第一人者だけど
かれの幾何学的量子論に向かって
という本を見てみればいい

量子力学は数学で公式化はされておらず
今現在の数学で公式化するのは原理的に不可能ってことなんだけど

これを数学で証明したのがフォンノイマン
0223名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:44:38.45ID:CocGLBI2
>>218自己言及はゲーデル化で可能だからこそ不完全性が成り立つのに、お前なに言ってるの?

不完全性っていうのは
自己言及になってると処理ができない
ってこと
0225名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:49:49.67ID:CocGLBI2
>>218

哲学の「我思う故に我有」という自己の存在証明は
量子力学でいえば自己観測に相当する

自己観測というのは自分の観測結果が自分に影響することで
量子力学の発散問題になってる

発散問題っていうのは位置を点で表現すると
無限大に発散して処理ができない
ってものなんだけどど

これは数理物理の分野では
点集合空間に普遍性があるのか
って問題になる
0226名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:50:41.92ID:1ahAzvEx
>>223
ぜんぜん違う

LISPなんか自己言及しまくれるっての
0227名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:52:12.53ID:1ahAzvEx
>>225
発散問題って全然違う問題なんだが?お前がただのキチガイなのはわかった
0228名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:54:31.91ID:CocGLBI2
>>224フォンノイマン

フォンノイマンは量子力学の波の収縮は
数学論理では説明できないとした

波の収縮っていうのは
1個の素粒子が波の波紋の様に観測可能な領域を広げ
最終的に一か所で観測されるていうこと

数学の確率は測度論だけど
上記の波の観測確率は数学の測度論では
表現できない

ようするに量子力学は確率の力学だけど
その確率は数学の測度論じゃ表現できないんだ
0229名刺は切らしておりまして
垢版 |
2019/04/05(金) 14:57:29.82ID:CocGLBI2
>>227発散問題って全然違う問題なんだが?

自己言及と自己観測ってことで本質は同じなんだ

量子力学では自己観測が不確定性原理の原因とされてる

自己観測によって位置が不確定になり
位置を点で表現する数学空間上で表現できない状態になるんだ
0230名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:00:00.20ID:1ahAzvEx
>>229
>量子力学では自己観測が不確定性原理の原因とされてる

妄想がはかどるなーwww
0231名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:06:40.79ID:CocGLBI2
>>226

数学空間っていうのは点集合だ

ブルバギは「全数学は点の上部構造「って宣言した

ところが20世紀末ごろに
現実の時空は点集合では表現できないってことが
数学者の間で問題になってきたんだ

素粒子は自己観測によって
深く霊性原理で位置が不確定になり
点で表現できない位置の概念になる

これは点集合をベースにした公理的集合論にとって
大問題なんだ

点集合空間をベースにした公理的集合論では
{x、x}={x}
ってことで同一のなら1個ってことになる

これは位置が1点で表現できるから
位置も含めて同一ならそれは1個ってことなんだけど

不確定性原理の場合は
位置が1点で表現できないんで
2つの物の位置が不確定で区別が出来ないって現象が生じる

この現象により
同一の物が複数存在するってことが可能になる
数学の公理と矛盾してしまうんだ
0232名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:08:20.33ID:CocGLBI2
>>230

大森秀樹氏は数理物理学では日本を代表するす学者だけど
大森秀樹氏の本を読めば書いてある
0233名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:11:20.29ID:CocGLBI2
>>230

お前に数理物理の知識がないだけのことだ

詳しくは
大森秀樹(東大出版)の数学の中の物理(幾何学的論に向かって)
を読んでみればわかる
0234名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:13:26.78ID:CocGLBI2
>>218自己言及はゲーデル化で可能だからこそ不完全性が成り立つのに、

自己言及的なものには証明が不可能なものがある
っていうのが不完全性だ
0235名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:14:20.29ID:1ahAzvEx
大森秀樹さんも可哀想に
0236名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:19:04.29ID:CocGLBI2
>>227発散問題って全然違う問題なんだが?

位置が点で表現される数学空間(論理空間)上で
量子力学の自己観測を表現しようとすると発散してうまくいかない
っていうのが発散問題だ

以前は数学空間上で発散問題を解決しようという動きだたけど
現在の数理物理では数学の点集合の方に問題がある
っていうことになってきたんだ
0237名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:21:02.49ID:sgPG63UP
ニコニコも相変わらずやしなぁ
改善するって言ってたけど期待してたのと違うーってな感じだし
0238名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:23:59.01ID:CocGLBI2
>>235大森秀樹さんも可哀想に

なにか大森秀樹氏の本を読んだことがあるのか

読みやすいのは
『幾何学の新しい視点」(不確定性と非可換時空」で
ピアジュの発達心理学にも触れてる
0239名刺は切らしておりまして
垢版 |
2019/04/05(金) 15:31:07.70ID:1ahAzvEx
こういうことか

https://air.ap.teacup.com/bakamono/2.html
「南堂久史氏のOpenBLOGというトンデモについて」  
南堂久史という方がおられて、「OPEN BLOG」という立派なブログサイトを構えておられます。 この
南堂氏は、文字コード、進化論、量子力学等の分野で自論を展開されている博学な方のようなので
すが、私に判る飛行機関係の記事については余りに誤解・無知がひどいのです。 


文字コードも滅茶苦茶なこと言ってるし 👀
Rock54: Caution(BBR-MD5:87f20c3c9ee883ab649a4d7f8b996d63)
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況