17/01/18 12:34:01.26 yvTjU/vt.net
現在の人工知能と称するものは半世紀以上も前に、理論はできていた。
しかしそれを実現するハードウエアがお粗末だった。
この50年の驚異的なハードの進歩(CPUの速度、巨大メモリ、巨大システム)に
よるものである。
この処理能力を最大限利用したのが機械学習であり、いわゆる人工知能ではない。
数学からみれば、4色問題がれいになるがむかしにくらべてかなり楽な「可能性)証明になっているはずであるが
その内容は数学的である。
数学にきたいするのは、理論的ナ基礎づけと、独創的な推論能力理論を解明してほしい。
力ごなしは、ばかな?工学者にまかせとけっ
301:132人目の素数さん
17/01/18 12:53:01.44 yI++Bkig.net
個人的には数学というより対象のモデル化のほうが大事
モデル化から理論を詰めてよく分かんない方向に行くのは困る。よほどよい結果が出ない限りは流行んないよ。
(他スレでのグレブナー基底の話がよい例)
第一原理にとは言わないまでも紐付けが十分考察された対象モデル化を望む
(これは物理屋の仕事か?)
302:132人目の素数さん
17/01/18 13:55:47.17 GbuNyq9x.net
おまえの個人事情なんか知るか馬鹿死ね
303:132人目の素数さん
17/01/18 17:24:56.04 yI++Bkig.net
じゃあ結果出せよ
304:132人目の素数さん
17/01/18 17:28:41.78 yI++Bkig.net
どうせこめんどくさいもの作っても誰も真似しない。
インパクトある結果があるなら別だが
305:132人目の素数さん
17/01/18 17:43:08.85 fE+1noYj.net
>>292
お前は何が出来るの?
306:132人目の素数さん
17/01/18 18:51:39.68 yI++Bkig.net
ちなみに>>292と>>293は全くの別人ね
307:132人目の素数さん
17/01/18 23:59:26.40 yvTjU/vt.net
291は計算機やさん
292はモデルづくりやさん
>>297
あんたは何ができるの?
308:132人目の素数さん
17/01/19 05:25:38.87 iE7efPUD.net
>>299
組織に属してるが内容は差し支えるから書けない
少なくとも自分を棚に上げて批判はしない
309:132人目の素数さん
17/01/19 11:53:48.71 OPs8+iDF.net
フィリピンの海と空
フィリピンに行った話
URLリンク(neko-hirune.com)
310:132人目の素数さん
17/01/19 12:20:25.13 X7p1eW38.net
匿名希
311:望「少なくとも自分を棚に上げて批判はしない」
312:132人目の素数さん
17/01/19 12:30:14.65 UoXY1Hqr.net
どうでもいいことに熱心だな
313:132人目の素数さん
17/01/19 12:56:20.20 waaNH2o0.net
つまりは291はちゃんとやってると言いたいと思われる。
ちなみに292も同じ意見。
尚、292はエンジニアなんだが、291もエンジニアさん?
314:132人目の素数さん
17/01/19 23:56:05.54 tAwLQy2m.net
個人を批判しているわけではなくて、研究の方向などを論じているのだから
いいんじゃない。
おれのまわり(一応組織なんだが)にも >>300のようなことを言って議論を抑えるヒトがいる。
もっともそのひとが一番他を批判しているのだが(上げる棚がないのかも)。 まあ、予算競争などが絡むことも多い。
315:132人目の素数さん
17/01/20 00:23:24.77 yG/nxid7.net
いまどき2chで本音語る人が果たしてどれだけいますかねー
中の人が客寄せで自演してるようにみえちゃいますねー
316:132人目の素数さん
17/01/20 01:12:52.15 TrcyI9go.net
気分転換だとおもいます。
317:132人目の素数さん
17/01/20 05:37:10.57 n3LX1aFk.net
理論(仮説)と実証の両方が必要
どっちが先行するかは時代の流れ次第
318:132人目の素数さん
17/01/20 07:41:46.37 MmjtdGv+.net
仮説だけじゃな~。
偶々上手くいくことがあるし。
下の話がよい例
昔の常識:朝食抜きはダイエットによくない
今の常識:朝食抜きはダイエットによい
319:132人目の素数さん
17/01/30 15:37:38.86 f5ym1WlW.net
AIで騒いでいる企業は、数年後 どうなっているだらうか?
反映しているか それとも没落しているか
それが問題だ
320:132人目の素数さん
17/02/01 15:46:29.90 +dnyVriY.net
科研費については、社会の役にたったという研究が少しはある。
だがほとんどは無駄だと思う。
などと考えて、いい方法を思いついた。
役に立たなかった科研費を申請した教員を、ネットで叩くんだよ。
叩かれるとわかれば、無駄な申請をする馬鹿教員が減って、
少しは役に立つ研究に金がまわるだろう。
バカを叩くには2chは最適だからな。
ふふふ。
321:132人目の素数さん
17/02/01 18:06:27.67 C6GKRTJc.net
>>311
10年後に役に立つかもしれないし
100年後に役に立つかもしれないし
322:yamato
17/02/01 18:25:16.62 LXxc5tYw.net
だったら かねもらって使ったほうが勝ちだよね
323:132人目の素数さん
17/02/01 19:54:20.06 Cqcg2sIu.net
>>311
役に立つ、立たないって、誰がどういう基準で判断するの?
324:132人目の素数さん
17/02/01 21:37:58.36 +dnyVriY.net
役に立たないと思ったら叩けばいいだけ。
2chにルールなんてねーから。
科研費というのは税金だから、
いくら叩いても、個人攻撃でなければ訴えられる心配はない。
325:132人目の素数さん
17/02/02 10:54:26.48 efxBGIMn.net
>>315 屑だねえ
326:132人目の素数さん
17/02/03 14:18:52.26 JdpCxpGX.net
AIで柔道なんかやれば面白いだろうな
相手の力を利用するタイミング、位相差、瞬時パワー、体勢いよそう、
瞬時の判断
まああ 数学者はムリだなあ
327:132人目の素数さん
17/02/03 16:14:09.64 1YIE2CO2.net
役に立たないどころか害になるだろ
最強AIができたとして、とにかく人類をどんなことしてでも死滅させろ
とプログラムしたら本当になっちゃうかもしれんのだぜ。
俺みたいなあほだけが言ってんじゃない。
ホーキングとかも言ってることだ。
328:132人目の素数さん
17/02/03 17:01:14.26 JdpCxpGX.net
もう韓国では最強兵士を開発しているよ
上には上があるから、心配しなくていいよ。
329:131
17/02/03 19:31:18.91 GwUL36pr.net
>>308
普通に考えたら実践が先で理論が後だよね。でも、次が実践だから、結局ニワトリタマゴの如くになるが。
330:131
17/02/03 19:34:08.61 GwUL36pr.net
>>266
問題ないよ。
あとはよく考えてみな。
331:131
17/02/03 19:36:43.03 GwUL36pr.net
>>318
なっちゃうどころか、ロボット3原則みたいなのを守らせれる保証すらないからね。人間が特別だと学習させたいのは、人間のエゴだよね。
332:131
17/02/03 19:39:32.58 GwUL36pr.net
>>266
必然性があるか?
必然性があると思えばあるし、
必然性がないと思えばない。
「ロジスティックを使ってみましたが」程度の前提が必要だよね。
333:132人目の素数さん
17/02/04 02:32:58.61 0Cw21lju.net
解析的にも都合がいいからな
334:132人目の素数さん
17/02/10 22:31:47.11 iekiUNF4.net
糞の役にもたたない科研費もらって
自慢しているクズが沢山いるね!
むちゃくちゃ叩いてやろうっと!
叩きまくって、大学教員になれないようにしてやる。
クズが教員になっちゃいけないからね!
特に機械学習とか人工知能とかの、
馬鹿らしい分野は叩きまくってやる!
さて、どいつから叩くかな?
335:132人目の素数さん
17/02/10 23:49:02.29 CHMkihR0.net
χよりはじめよ
336:132人目の素数さん
17/02/11 22:33:30.33 Frh1QIAf.net
「先従隗始」
(十八史略)
(大意)
〔掃除・洗濯は〕まづ下位の者から始めよ、ということ。
・反対語
「率先垂範」
炊飯は〔上位の者が〕率先してせよ、ということ。
337:132人目の素数さん
17/02/16 09:24:57.50 8NOvnpzP.net
URLリンク(youtu.be)
338:132人目の素数さん
17/02/19 19:28:27.97 59fZvWkD.net
sm30667994
339:132人目の素数さん
17/02/20 14:05:28.59 wpU8gyj/.net
数学的にきちんと書かれた機械学習の本を教えてください
340:132人目の素数さん
17/02/20 21:19:25.19 ASdXu5eQ.net
>330
EoSL(統計的学習の基礎)の原著『The Elements of Statistical Learning』など
10冊以上の機械学習本が無料で読めるから好きなのをどうぞ。
オンラインで無料で読める統計書22冊
URLリンク(id.fnshr.info)
オンラインで無料で読める統計書プラス32冊
URLリンク(id.fnshr.info)
341:¥ ◆2VB8wsVUoo
17/02/22 02:00:35.76 vPMeQnxx.net
¥
342:¥ ◆2VB8wsVUoo
17/02/22 02:00:54.16 vPMeQnxx.net
¥
343:¥ ◆2VB8wsVUoo
17/02/22 02:01:12.82 vPMeQnxx.net
¥
344:¥ ◆2VB8wsVUoo
17/02/22 02:01:30.85 vPMeQnxx.net
¥
345:¥ ◆2VB8wsVUoo
17/02/22 02:01:50.88 vPMeQnxx.net
¥
346:¥ ◆2VB8wsVUoo
17/02/22 02:02:09.56 vPMeQnxx.net
¥
347:¥ ◆2VB8wsVUoo
17/02/22 02:02:29.16 vPMeQnxx.net
¥
348:¥ ◆2VB8wsVUoo
17/02/22 02:02:46.07 vPMeQnxx.net
¥
349:¥ ◆2VB8wsVUoo
17/02/22 02:03:05.32 vPMeQnxx.net
¥
350:¥ ◆2VB8wsVUoo
17/02/22 02:03:25.08 vPMeQnxx.net
¥
351:132人目の素数さん
17/05/02 11:24:09.03 TAvHhYY+.net
Introduction to Machine Learning With Python: A Guide for Data Scientists
Andreas C. Mueller
URLリンク(www.amazon.co.jp)
↑この本ってどうですか?
352:132人目の素数さん
17/05/03 21:00:46.02 DRS6UgeT.net
いらね
ゼロから作るで十分
353:132人目の素数さん
17/05/07 15:19:23.34 pBSWPm0m.net
Hands-On Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems
by Aurelien Geron
URLリンク(www.amazon.com)
↑この本ってどうですか?
354:¥
17/05/10 02:23:59.30 myH6DrbU.net
¥
355:¥
17/05/10 02:24:22.95 myH6DrbU.net
¥
356:¥
17/05/10 02:24:44.76 myH6DrbU.net
¥
357:¥
17/05/10 02:25:04.20 myH6DrbU.net
¥
358:¥
17/05/10 02:25:24.48 myH6DrbU.net
¥
359:¥
17/05/10 02:25:46.39 myH6DrbU.net
¥
360:¥
17/05/10 02:26:05.37 myH6DrbU.net
¥
361:¥
17/05/10 02:26:23.30 myH6DrbU.net
¥
362:¥
17/05/10 02:26:51.58 myH6DrbU.net
¥
363:¥
17/05/10 02:27:12.21 myH6DrbU.net
¥
364:132人目の素数さん
17/05/20 10:05:19.19 gciK7f5F.net
税金から科研費でてるんだから少しはまともな研究しろ!
呑み会とナンパばっかしてんじゃねーよクズ!
365:132人目の素数さん
17/05/21 23:02:23.81 fKD4sGYy.net
データから機械学習の結果を作る人たちと、
その結果を生かした組み込みCPUをを作る人に分かれるんだろうね。
366:¥
17/05/22 23:39:41.02 Y/McWxol.net
¥
367:¥
17/05/22 23:40:02.00 Y/McWxol.net
¥
368:¥
17/05/22 23:40:25.39 Y/McWxol.net
¥
369:¥
17/05/22 23:40:49.59 Y/McWxol.net
¥
370:¥
17/05/22 23:41:12.49 Y/McWxol.net
¥
371:¥
17/05/22 23:41:37.62 Y/McWxol.net
¥
372:¥
17/05/22 23:42:01.54 Y/McWxol.net
¥
373:¥
17/05/22 23:42:26.38 Y/McWxol.net
¥
374:¥
17/05/22 23:42:49.44 Y/McWxol.net
¥
375:¥
17/05/22 23:43:12.69 Y/McWxol.net
¥
376:132人目の素数さん
17/06/23 14:03:21.03 coLSsP3I.net
てst
377:¥
17/06/23 14:46:21.29 4O8RcLYZ.net
¥
378:132人目の素数さん
17/09/09 11:54:04.81 N6b4VEIQ.net
証明して cos(α+β)cos(α-β) = cos^2(α) - sin^2(β) = cos^2(β) - sin^2(α)
379:¥
17/10/24 09:09:16.64 n4VIAFJn.net
¥
380:¥
17/10/24 09:09:39.07 n4VIAFJn.net
¥
381:¥
17/10/24 09:10:01.52 n4VIAFJn.net
¥
382:¥
17/10/24 09:10:20.75 n4VIAFJn.net
¥
383:¥
17/10/24 09:10:41.19 n4VIAFJn.net
¥
384:¥
17/10/24 09:11:02.59 n4VIAFJn.net
¥
385:¥
17/10/24 09:11:28.68 n4VIAFJn.net
¥
386:¥
17/10/24 09:11:50.31 n4VIAFJn.net
¥
387:¥
17/10/24 09:12:09.94 n4VIAFJn.net
¥
388:¥
17/10/24 09:12:28.74 n4VIAFJn.net
¥
389:132人目の素数さん
17/10/26 22:58:11.13 rs5wsEA7.net
すいません教えてください
機械学習させるためには入力を数値にしなければならないと思うのですが、例えば素材や色など数値で表せない情報から結果を予測して欲しい場合は適当に色を数値に変換したらよいのでしょうか?
なかなか例に記号があるデータから解析しているもので方法を書いているサイトが見つかりません
すいませんが知っている方お願いします
390:132人目の素数さん
17/10/27 09:52:52.10 dt8M3mZa.net
One hot encoding
で検索したらいいと思う
391:132人目の素数さん
17/10/27 10:07:56.38 PZdCLVG3.net
>>381
ありがとうございます
一歩進みました
新規の色が発生した場合などどうなるか不安ですが調べてみます
392:132人目の素数さん
17/10/27 21:23:53.76 tvpnTB9E.net
例えば新色がでても対応したい、だとして、色事に目的変数の代表値に置き換えれば列数は不変で対応可能
ダミー変数化とどっちがいいかはデータとか手法依存だと思う
393:132人目の素数さん
17/10/27 21:40:34.18 PZdCLVG3.net
>>383
なるほど
何度もありがとうございます
394:132人目の素数さん
17/10/28 19:15:13.42 yL8vvd3S.net
‪【チャレンジャー求む!天才、光吉の日本一難解な人工知能動画Part1】
生田よしかつ 菅原道仁 光吉俊二 メラニー
URLリンク(youtu.be)
395:¥
17/10/28 23:10:43.96 uzh5RSYp.net
¥
396:¥
17/10/28 23:11:06.38 uzh5RSYp.net
¥
397:¥
17/10/28 23:11:23.50 uzh5RSYp.net
¥
398:¥
17/10/28 23:11:38.45 uzh5RSYp.net
¥
399:¥
17/10/28 23:11:55.13 uzh5RSYp.net
¥
400:¥
17/10/28 23:12:13.35 uzh5RSYp.net
¥
401:¥
17/10/28 23:12:30.68 uzh5RSYp.net
¥
402:¥
17/10/28 23:12:45.79 uzh5RSYp.net
¥
403:¥
17/10/28 23:13:02.30 uzh5RSYp.net
¥
404:¥
17/10/28 23:13:20.66 uzh5RSYp.net
¥
405:132人目の素数さん
17/10/30 23:24:44.57 HNynrBDd.net
機械学習というか東大入学ロボで有名な人が最近子供の数学
406:認識か何かについて提言みたいなこと言ったみたいだけどどんなことかな
407:132人目の素数さん
17/10/31 00:39:01.01 dqBz84cb.net
にゃーん
408:¥
17/10/31 10:52:47.57 yRKxpE8Y.net
¥
409:¥
17/10/31 10:53:10.15 yRKxpE8Y.net
¥
410:¥
17/10/31 10:53:25.34 yRKxpE8Y.net
¥
411:¥
17/10/31 10:53:41.76 yRKxpE8Y.net
¥
412:¥
17/10/31 10:53:57.65 yRKxpE8Y.net
¥
413:¥
17/10/31 10:54:13.97 yRKxpE8Y.net
¥
414:¥
17/10/31 10:54:31.03 yRKxpE8Y.net
¥
415:¥
17/10/31 10:54:47.72 yRKxpE8Y.net
¥
416:¥
17/10/31 10:55:02.81 yRKxpE8Y.net
¥
417:¥
17/10/31 10:55:19.55 yRKxpE8Y.net
¥
418:132人目の素数さん
17/11/05 14:35:02.50 wxejpJSW.net
googleが赤池情報量のあかいけになっとる。
419:¥
17/11/06 19:51:14.91 StBgmS4d.net
¥
420:¥
17/11/06 19:51:32.61 StBgmS4d.net
¥
421:¥
17/11/06 19:51:49.93 StBgmS4d.net
¥
422:¥
17/11/06 19:52:06.53 StBgmS4d.net
¥
423:¥
17/11/06 19:52:23.11 StBgmS4d.net
¥
424:¥
17/11/06 19:52:39.82 StBgmS4d.net
¥
425:¥
17/11/06 19:52:58.69 StBgmS4d.net
¥
426:¥
17/11/06 19:53:16.41 StBgmS4d.net
¥
427:¥
17/11/06 19:53:34.88 StBgmS4d.net
¥
428:¥
17/11/06 19:53:52.11 StBgmS4d.net
¥
429:132人目の素数さん
17/11/10 12:26:12.31 iSqYc34F.net
数学で言うところのAIの役割は自動証明または検証だろうな
あらゆる公理、定義、定理をデータベース化して自動証明する
学部のテストくらいならいけるだろう
そしたら採点者も模範解答者もいらなくなって経費削減につながる
430:132人目の素数さん
17/11/10 14:38:51.33 Tr50szoc.net
検証はすでに人間が匙を投げた複雑な証明を形式化し直して複数の検証システムで確認し直すこともされていて、十分実用的。形式化する段階がクソ面倒くさく時間がかかるけど。
形式化する作業が自動化できたらいいな。
自動証明のためにはとにかくこのような形式化された証明を大量に集めないと。
431:132人目の素数さん
17/11/12 19:27:52.99 XKR0tWzQ.net
URLリンク(youtu.be)
432:¥
17/11/12 20:34:48.34 AbMINYSr.net
¥
433:¥
17/11/12 20:35:09.62 AbMINYSr.net
¥
434:¥
17/11/12 20:35:28.31 AbMINYSr.net
¥
435:¥
17/11/12 20:35:45.41 AbMINYSr.net
¥
436:¥
17/11/12 20:36:00.64 AbMINYSr.net
¥
437:¥
17/11/12 20:36:16.43 AbMINYSr.net
¥
438:¥
17/11/12 20:36:31.64 AbMINYSr.net
¥
439:¥
17/11/12 20:36:47.40 AbMINYSr.net
¥
440:¥
17/11/12 20:37:04.37 AbMINYSr.net
¥
441:¥
17/11/12 20:37:22.42 AbMINYSr.net
¥
442:132人目の素数さん
18/04/21 19:05:16.96 8pteEP8Z.net
機械学習に関する数学を習得するために、最も合理的なルートを考えようぜ
微分積分 → 手ごろな参考書で、ラグランジュ未定乗数法と重積分まで学習
線形代数 → 正定値、半正定値を理解できるところまで学習
ベクトル解析 → 初学者のうちは、ナブラとか分かってるだけでいいんじゃね?
統計学 → 機械学習の数学は楽勝wwwと言われるなかで、一番きつい分野。最小二乗法までは必須だけど、そこから先は…
こんな感じかな
443:132人目の素数さん
18/04/22 20:30:22.92 c2B7FBsj.net
老舗出版社の中途採用。
●データサイエンティスト
データサイエンティストとしてビッグデータの解析・分析のご経験がある方を募集します。
給与1500万~5000万円(経験により優遇)
●人工知能(AI)エンジニア
AIのプログラムのご経験がある方を募集します。プログラムの経験がなくてもAIに関する研究のご経験がある方も歓迎します。
給与1500万~5000万円(経験により優遇)
●ブロックチェーン開発エンジニア
ブロックッチェーン、フィンテックのプラグラムのご経験がある方を募集します。
プログラムの経験がなくてもブロックッチェーン、フィンテックに関する研究のご経験がある方も歓迎します。
給与1500万~5000万円(経験により優遇)
URLリンク(www.j-n.co.jp)
444:132人目の素数さん
18/04/22 23:30:30.14 D4jOiAsE.net
給与1500万~5000万円とかマジか。
その仕事ってエリートじゃなきゃできない?
445:¥
18/04/24 16:11:16.59 PEVpi1uJ.net
¥
446:¥
18/04/24 16:11:37.90 PEVpi1uJ.net
¥
447:¥
18/04/24 16:12:02.08 PEVpi1uJ.net
¥
448:¥
18/04/24 16:12:24.81 PEVpi1uJ.net
¥
449:¥
18/04/24 16:12:46.73 PEVpi1uJ.net
¥
450:¥
18/04/24 16:13:04.10 PEVpi1uJ.net
¥
451:¥
18/04/24 16:13:18.27 PEVpi1uJ.net
¥
452:¥
18/04/24 16:13:42.01 PEVpi1uJ.net
¥
453:¥
18/04/24 16:14:03.40 PEVpi1uJ.net
¥
454:¥
18/04/24 16:14:28.42 PEVpi1uJ.net
¥
455:132人目の素数さん
18/04/24 17:29:22.56 QkuGL+2v.net
>>434
エリートでなくてもできるけど
スキル
456:要件が一般的な数学科のカリキュラムとはかけ離れてる 独学で参考書を8冊ぐらいこなさないと、そっち方面へは飛べない
457:132人目の素数さん
18/04/24 18:27:38.42 vkZZRqxG.net
>>445
プログラム技術板で聞いたら、東大レベルって言ってたけど。
458:IQの低い人へ
18/04/24 21:14:52.19 Al3UDiV2.net
URLリンク(jump.5ch.net)
459:132人目の素数さん
18/04/24 23:20:16.49 X7POMbuv.net
>>446
回答者の意図か分からんけど
はじパタ本を読んで、pythonとSQLを独習すれば
簡単にAI業界に入れるよ
大学レベルの微分積分+線形代数+統計学+パターン認識
+プログラミング言語4つぐらい+データベース・クラウドの知識を独習しないといけない
しかもこれだけ頑張ってもセンスがないと知識だけでは頭打ち
才能があれば給料うなぎ上りだけど、たぶん入った後にひたすら勉強し続けないといけない世界な上に、いつまでこのAIブームが続くか分からん
460:132人目の素数さん
18/04/24 23:54:28.59 nX+QNrBg.net
ガラケー時代はイスラエルに外注してた
461:¥
18/04/27 11:37:29.58 HEiX2WEB.net
¥
462:¥
18/04/27 11:37:47.20 HEiX2WEB.net
¥
463:¥
18/04/27 11:38:07.72 HEiX2WEB.net
¥
464:¥
18/04/27 11:38:30.44 HEiX2WEB.net
¥
465:¥
18/04/27 11:38:52.62 HEiX2WEB.net
¥
466:¥
18/04/27 11:39:14.21 HEiX2WEB.net
¥
467:¥
18/04/27 11:39:39.49 HEiX2WEB.net
¥
468:¥
18/04/27 11:40:00.36 HEiX2WEB.net
¥
469:¥
18/04/27 11:40:23.82 HEiX2WEB.net
¥
470:¥
18/04/27 11:40:45.00 HEiX2WEB.net
¥
471:132人目の素数さん
18/04/27 12:52:14.83 CT/34jx7.net
何なの?
この執拗な荒らし?
472:¥
18/04/30 04:26:30.14 y1TqbRSE.net
¥
473:¥
18/04/30 04:26:54.13 y1TqbRSE.net
¥
474:¥
18/04/30 04:27:17.92 y1TqbRSE.net
¥
475:¥
18/04/30 04:27:39.75 y1TqbRSE.net
¥
476:¥
18/04/30 04:28:06.08 y1TqbRSE.net
¥
477:¥
18/04/30 04:28:31.10 y1TqbRSE.net
¥
478:¥
18/04/30 04:28:54.48 y1TqbRSE.net
¥
479:¥
18/04/30 04:29:13.97 y1TqbRSE.net
¥
480:¥
18/04/30 04:29:40.57 y1TqbRSE.net
¥
481:¥
18/04/30 04:30:06.03 y1TqbRSE.net
¥
482:132人目の素数さん
18/04/30 09:43:13.72 UfJIv5Qf.net
何なの?
この執拗な荒らし?
483:132人目の素数さん
18/04/30 12:35:44.24 GN2GPqGL.net
惨めな奴さ
484:132人目の素数さん
18/05/10 18:49:44.20 Lg5PYOW3.net
たぶんdat落ち対策で誰かが大昔に作ったbotが
必要なくなった今でも健気に稼働し続けてるだけだ
485:132人目の素数さん
18/06/12 11:37:30.84 voj2EBRX.net
dat落ち対策なら連投しなくてもいいのにな
486:132人目の素数さん
18/06/14 09:27:34.70 mxBGyFKT.net
共同ツール 1
URLリンク(seleck.cc)
URLリンク(trello.com)
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能 elegant
URLリンク(www.kikakulabo.com)
trelloのオープンソースあり
共同ツール 2
URLリンク(www.google.com)
共同ツール 3
URLリンク(slack.com)
URLリンク(www.dropbox.com)
URLリンク(bitbucket.org)
URLリンク(ja.atlassian.com)
URLリンク(www.sketchapp.com)
URLリンク(photoshopvip.net)
URLリンク(goodpatch.com)
Trello Chrome拡張機能プラグイン集
URLリンク(chrome.google.com)
Slackプラグイン集
URLリンク(slack.com)
Sketchプラグイン集
URLリンク(sketchapp.com)
URLリンク(supernova.studio)
487:132人目の素数さん
18/06/14 09:58:25.46 xeM69+QK.net
>>474
2chのサーバ落ちてることがあるから念のためなんだろ
488:132人目の素数さん
18/06/14 12:58:00.95 cJE7jgYS.net
どちらにしても惨めな奴さ
489:132人目の素数さん
18/07/02 11:55:49.55 Rity3YCE.net
機械学習に向けて高校数学をやり直しています
とりあえず統計検定2級を目標にしようと思いますが、間違っていますでしょうか?
490:武闘派閥
18/07/05 16:26:39.79 +qHM4lts.net
>>1
何ごてお前らはこのまま、
【人工知能長者に喰いもんにされる道】
を《《《自らchoice》》》》すんのかな?
"""俺様が、
【【世界の最高税率を統一する方法!w】】解明してやった↓↓"""のに
マジ方法↓
マジで【小説掲示板】(下記↓URL)で《《《絶賛》》》された(←※『マジ』だからな?)俺様の↓↓↓↓↓
『『『『戦争をなくして【世界を豊かに】w までwする《《《超現実的》》》』』』な方法wwwww↓↓↓↓↓↓↓
本当に簡単な話し。こういう事。
人類社会のルールは現在、現実的に“弱肉強食”である。
ならば、(人類は、)それを、「分数の計算」の様な要領で(、いわば、「横流し」的に)己が理想とする、
(要は、↓)
"平等・公平・公正”的なルール(仮)に
↓↓↓↓↓
【(ルール)変更】してしまえばいいの。w
(『お前らの為』だぞ?w(←※【【戦争でも起きてさっさと死てえぜ!(w)と思ってるヤツら以外】】なw))
↑↑↑↑↑↑↑↑↑(は、)
道理にかない、強者も弱者も損をしない(←※実際は【超、得】するw↓)から(それらが
(つまり、(それを)【余裕】)で納得する事で)それが(【余裕】で)成立し、世界から「威力」を廃するから《《《《戦争もなくなる》》》》
んだよwwwww
ちなみに【超、得】するのは、(この理論は、それ(ルール変更)から行くと、)「世界の最高税率を統一する事で全世界が豊かに!」なるからだよwwww俺様は【マジ超天才】だからwwwwwwwwwww
↓↓↓↓↓↓↓↓↓↓
URLリンク(www.kakiko.info)
(※↑「 小説カキコ掲示板 長文 戦争をなくす方法 希代世界一位 」
【検索】でも出るが↑これで開くと順番どおり表示される(※順番どおりに見ないと(俺様の理論は【マジ超一流】だが『『威力』』が半減する)(←※「ストーリーがあるから」))
491:132人目の素数さん
18/07/07 11:34:57.25 L9L72yKC.net
>>478
多分間違ってない
492:132人目の素数さん
18/07/07 22:34:29.15 9k4iz5ZG.net
【人工知能 関連スレ】
(強いAI)技術的特異点/シンギュラリティ127
スレリンク(future板)
人工知能作ろうよ★2 @情報学板
スレリンク(informatics板)
493:132人目の素数さん
18/07/09 06:17:47.28 lFu+/laK.net
>>478
高校の復習から大学教養程度までの範囲を網羅した教科書をやるのがいいでしょうね。
494:132人目の素数さん
18/08/20 13:08:25.19 1rJ5Lz6g.net
courseraでMLの勉強をしているのですが、
θ'X のベクトルと行列の積のoctave実装が、
X * θ で行なっています。'は転置です。
θ' * X だとサイズエラーになってしまいます。
何故逆にするのか、積を逆にするとダメな記憶だったのですが、どなたか教えて頂けないでしょうか。
495:132人目の素数さん
2018/09/
496:27(木) 16:31:21.96 ID:RuOixHgx.net
497:あぼーん
あぼーん
あぼーん
498:132人目の素数さん
19/02/09 19:04:53.32 nUMcwbwe.net
◇プログラム板関連スレ
[RPA]PC自動化技術総合スレ[効率化]
スレリンク(tech板)
【統計分析】機械学習・データマイニング22
スレリンク(tech板)
499:132人目の素数さん
19/04/07 09:43:44.08 vEqUlseq.net
>>11
>その他に必要な数学はありますか?
汎用AIなら非可換代数の概念
直接非可換代数が必要ってこではないけど
非可換代数には観測者って概念が隠れてる
ってことを意識する必要があるって意味で
500:132人目の素数さん
19/04/07 09:47:05.15 vEqUlseq.net
>>14優秀な学生は
> 情報科学>数学
それは間違ってる
トップレベルは
数学でも物理でも基礎的な部分に子供のころから引かれてるし
将来の夢は基礎的部分を自分が探究できる事
501:132人目の素数さん
19/04/07 10:06:07.23 vEqUlseq.net
>>20ファインマンというノーベル賞受賞物理学者もはじめは数学科に進学したけど、
>物理学科に変更している。
汎用AIに必要なのは数理物理学なので
ファインマンタイプは向いてるかも
502:132人目の素数さん
19/04/07 10:11:36.04 vEqUlseq.net
>>47確率統計
汎用AIの場合は量子統計だけど
残念はことに本は1冊もないから
ネットで調べるしか方法はない
503:132人目の素数さん
19/04/07 10:16:21.80 vEqUlseq.net
>>106数学は応用数学はともかく純粋数学は昔は日本のレベルは高かったし、今も
>それなりに高
汎用AIの開発に必要なのは純粋数学だ
問題は純粋数学の数学者が汎用AIに興味を持つかどうかだ
504:132人目の素数さん
19/04/07 10:20:26.94 vEqUlseq.net
>>56線形代数
今は量子力学は線形代数の表記はほとんど使わない
ようするに
線形代数を使うと量子力学的現象の概念が分かりにくなるし
使い勝手も悪い
505:132人目の素数さん
19/04/07 10:26:46.82 vEqUlseq.net
>>104―C言語によるシミュレーション―
回路設計で使うソフトは
べりログとはHDMLとか
パラレル言語だ
(cとかはシリアル言語)
Aiはパラレル言語の方が向いてるかも
506:132人目の素数さん
19/04/07 10:32:41.11 vEqUlseq.net
>>132数学は『概念の世界』だから
概念の世界っていうのは
抽象化が可能っていうことが前提なだけど
これじゃ汎用AIの開発はできない
抽象化が可能で
ハードからソフトを切り離せるっていうのはAIまでで
汎用AIはソフトとハードを切り離せな
要するに物の意味を無いものとして抽象化する形式的体系では
汎用AIは表現できないってこと
507:132人目の素数さん
19/04/07 10:36:32.33 vEqUlseq.net
>>172AIが感情を持つ事で
脳の障害で感情を持たない人間もいる
汎用AIは感情を持たない人間の方に
似てる
508:132人目の素数さん
19/04/07 10:40:59.64 vEqUlseq.net
>>221人工知能は東大にうかるか?
> 今は無理だね。
>なんだかインチキだよ
今のAIは原理的に言葉を理解できない
汎用AIになって初めて原理的に言葉を理解できるんで
東大受験突破は汎用AIから可能
509:132人目の素数さん
19/04/07 10:48:56.81 vEqUlseq.net
>>285ランダムでは効率が悪いから
ランダムは原理的に現在の数学では作り出せない
量子力学的現象はランダムがベースだけど
これは自己観測によっておこる現象�
510:セ 素粒子は他の素粒子の観測されるけど 自分を自分で観測するっていう自己観測もしてる 不確定性原理の原因は自己観測で これにより素粒子の物理量は不確定になり 観測される確率がランダムになる
511:132人目の素数さん
19/04/07 10:54:40.21 vEqUlseq.net
>>285それ数学はある程度可能じゃないかな
数学っていうのは常真式の証明だから
AIで可能
だけど量子力学や汎用AIは常真式では表現できないんで
AIじゃ無理
512:132人目の素数さん
19/04/07 11:01:26.93 vEqUlseq.net
>>292数学にきたいするのは、理論的ナ基礎づけと、独創的な推論能力理論を解明してほしい
汎用AIを現在の数学で表現するのは不可のだけど
汎用AIは自己言及によって自我を確立するけ
自己言及はパラドクスの元として数学がベースにしてる論理学で
対象外にされてる
513:132人目の素数さん
19/04/07 11:06:40.23 vEqUlseq.net
>>293個人的には数学というより対象のモデル化のほうが大事
数学のモデル化の前提条件が抽象化だけど
抽象化は出来るものと出来ないものがある
例えば電子の統計だけど
椅子とコップを置き換えても確率統計は変わらない
だけど
椅子と電子を置き換えると確率統計は変わる
ようするるに椅子を電子で置き換えても普遍
っていう抽象化は出来ないんだ
514:132人目の素数さん
19/04/07 11:10:29.84 y34XkH3e.net
おいコンピュータ屋ふざけんな
なにが数学は常真式だ馬鹿野郎
そんな言葉は知らねえよ
たしかにコンピュータは偽の命題をエラーにすると思う
しかし偽の仮定から導出された真または偽の命題は何れにしても真という
性質は変えられない
恒真命題ならわかるがなんなんだ
ぼったくり野郎
有害極まりない
515:132人目の素数さん
19/04/07 11:12:13.35 y34XkH3e.net
お前らがちょうど定義だとか関数と読んでいるのも
全部偽の命題の仮定にすぎない
それを常真などと言いやがって
まじで消えろ
516:132人目の素数さん
19/04/07 11:20:32.44 y34XkH3e.net
偽の命題の意味はわかるか?
関数は知覚できないよな?
もう少し丁寧に言えば
関数の変換はできるが
関数の任意の元すべてを認識することはできないよな?
そういう意味で偽の命題だと言っている
これはイプシロンデルタ論法も同様である
このような基礎の無理解では到底無理だよ
もちろん偽の仮定をよいことに『イプシロンデルタ論法完全攻略』
などというとんでも本まで氾濫している
さすが大阪大学だ
お前ら魂売ってんだからさっさと数学から手を引け
気持ちが悪い
517:132人目の素数さん
19/04/07 11:45:48.07 vEqUlseq.net
>>503関数の任意の元すべてを認識することはできないよな?
>そういう意味で偽の命題だと言っている
>これはイプシロンデルタ論法も同様である
無限小の領域だけど
これって点と隣の点が区別できない範囲なんだけど
イプシロンデルタ論法は20世紀末以降に数学者の間でも問題になってる
ほんとにこれで無限を表現出来てるのか
って感じで
数学空間を点集合で表現する限りは
この問題がつきまとう
518:132人目の素数さん
19/04/07 11:48:14.74 y34XkH3e.net
>>504
お前は無定義語をコンピュータ上でなんと定義する?
たとえば点は無定義語だけど
何かしらの言語を入力するだろ
それが偽の命題だと言っている
無限小の話なんてどうでもよい
519:132人目の素数さん
19/04/07 11:48:44.69 vEqUlseq.net
>>503
>関数の任意の元すべてを認識することはできないよな?
>そういう意味で偽の命題だと言っている
>これはイプシロンデルタ論法も同様である
排中律が成立しないって立場にたてば
無限を扱う事は偽の命題になるけど
520:132人目の素数さん
19/04/07 11:52:11.98 y34XkH3e.net
>>506
だから何だ
日本語として成立していない
まさか伝説のkingみたいに釣ってるだけか?
521:132人目の素数さん
19/04/07 11:56:51.44 vEqUlseq.net
>>505
>お前は無定義語をコンピュータ上でなんと定義する?
>たとえば点は無定義語だけど
言葉というのは
最終的に無定義か循環定義
数学の場合は無定義を最終段階に置いて
存在から意味を取り除いて
存在と存在の間の相対的な関係を形式的体系とした
要するにコップw椅子に変えても
形式的体系は普遍ってことで
これが抽象化
お宅が言ってるのは
元を変えれば構造が変化する場合もあるってことで
意味のないものするっていう抽象化が出来ない事例のことを言ってる
お宅がそれを意識して言ってるのか?
522:132人目の素数さん
19/04/07 12:02:00.27 vEqUlseq.net
>>507
言葉というのは最終的に無定義か循環定義なんで
言葉だけで言葉の意味を理解することは出来な
言葉を理解するには体験が必要で
体験をする為のハードが必要になる
ようするに言葉を理解する汎用AIは
ハードとソフトが一体ってことだ
523:132人目の素数さん
19/04/07 12:08:42.24 vEqUlseq.net
>>501
>なにが数学は常真式だ馬鹿野郎
>そんな言葉は知らねえよ
変換間違えだった
常真式命題 →恒真命題
数学は
恒真命題を変換していき証明するもの
524:132人目の素数さん
19/04/07 12:11:24.82 y34XkH3e.net
>>508
>言葉というのは
>最終的に無定義か循環定義
だろ?
そんなものは到底数学になりえない
それなのに何故かコンピュータ屋が数学に侵食しようとしている
>数学の場合は無定義を最終段階に置いて
>存在から意味を取り除いて
>存在と存在の間の相対的な関係を形式的体系とした
それは準同型写像のことを指しているのか?
でもそれは逆像で無定義語を定義するという
特殊なカーネルの性質を使ったにすぎない
数学は形式のみではなく数(関数)を対象にしている
>元を変えれば構造が変化する場合もあるってことで
>意味のないものするっていう抽象化が出来ない事例のことを言ってる
それでは任意の元も固定して考えるという立場を採る竹ノ内脩に従うということだな
おれもそう考えたことはあるが任意の元はやはり常に動いていると解釈する
ことの方が妥当である
数(関数)は常に変動する
固定された自然な元というのはない
もし完全な静止状態の数があるのならそれは絶対零度のような状況だろう
そして定数という日本語からの間違えで
固定された数というのは人間が関与しなければ存在しない
と考える
525:132人目の素数さん
19/04/07 12:13:48.40 vEqUlseq.net
>>505たとえば点は無定義語だけど
>何かしらの言語を入力するだろ
>それが偽の命題だと言っている
>無限小の話なんてどうでもよい
数学では集合の元は点で表現される
ようするに
全数学は点の上部構造
ってことだ
(by ブリバキ)
意味のない無定義語の点を集合の元としえるのが
現代数学の公理的集合論だ
526:132人目の素数さん
19/04/07 12:15:26.90 vEqUlseq.net
>>511それは準同型写像のことを指しているのか?
形式主義のことを言ってる
527:132人目の素数さん
19/04/07 12:16:46.89 y34XkH3e.net
>>510
偽の命題は仮定した以上どうにも変形できないが
都合だけで証明できると思うなよ
別につくってもいいけどゴミにしかならん
もしそんなんでカネ貰ってんなら本当にきたねえなって思うだけだよ
528:132人目の素数さん
19/04/07 12:20:13.04 vEqUlseq.net
>>511数学は形式のみではなく数(関数)を対象にしている
関数っていうのは
点を元とする数号の写像だけど
この元の点が無定義語なんだ
要するに
点を椅子に置き換えてもコップに置き換えても
形式的体系は変わらないっていうのが形式主義の抽象化
公理的集合論でいえば
集合の元を置き換えても公理的体系は普遍
ってことだ
529:132人目の素数さん
19/04/07 12:22:46.84 vEqUlseq.net
>>514
数学の証明は
恒真命題の証明だ
530:132人目の素数さん
19/04/07 12:26:51.84 y34XkH3e.net
>>515
いや数と関数は同一視されるので
その主張だと無定義関数というのさえ作り出されることになる
これは写像の形式だけを保存した像による自然変換により
ホモロジー代数がすべて自明になることを意味する
任意の元は動かなければならない
つまり関数は一価かもしれないし多価かもしれない
この場合写像の一意性は担保できず
これを統一的に解釈するにはここでもまた偽の命題が必要になり
こんなものは数学ではない
531:132人目の素数さん
19/04/07 12:28:17.85 vEqUlseq.net
>>505点は無定義語だけど
現代数学は公理的集合論と自然数の公理から成り立ってる
公理的集合論の元は点で表現され
その点は無定義語だ
ようするに
点は意味のないものとされ
点集合の相対的関係のみが
形式的体系としての意味を持つんだ
集合の元の点をコップにかえても椅子に変えても
形式的体系は普遍っていうのが形式主義だ
532:132人目の素数さん
19/04/07 12:29:48.86 y34XkH3e.net
>>516
だからなんだ
真理表をみて
真の命題を仮定した場合にのみ
後件命題が偽であれば排除されるからなんだ
何の証明にもなっていない
533:132人目の素数さん
19/04/07 12:32:20.43 vEqUlseq.net
>>517いや数と関数は同一視されるので
関数っていうのは
集合と集合の間の写像で
点は集合の元だ
数というのは公理的集合論とは独立していて
自然数の公理による
数を数えるということは
自然集の数号と点集合の元の一対一対応だ
534:132人目の素数さん
19/04/07 12:36:01.28 vEqUlseq.net
>>517つまり関数は一価かもしれないし多価かもしれない
多価の関数は通常の数学では扱わない
535:132人目の素数さん
19/04/07 12:39:22.30 vEqUlseq.net
>>517
多価の関数っていうの数理物理の分野の
野心的挑戦だけどものにはなってない
536:132人目の素数さん
19/04/07 12:41:42.42 y34XkH3e.net
>>520
多項式環から多項式環への準同型写像を考える
このとき定値多項式を数と看做す
というのが現在の数学です
座標で考えるとか自然数と点を一対一で対応させるというのは
まあわかるけどそれだけだと無内容です
537:132人目の素数さん
19/04/07 12:45:07.70 vEqUlseq.net
>>517いや数と関数は同一視されるので
数学とうのは
「自然数の公理」と「集合の論理(公理的)集合論」だ
関数というのは集合と集合の間の写像だ
数を数えるということは
自然の集合と数える対象の元を持つ集合との
一対一対応(写像)
集合の元は点で無定義語だ
点を椅子に置き換えても
関数に置き換えたも
形式的体系に変化はない
(公理的集合論も自然数の公理も普遍)
538:132人目の素数さん
19/04/07 13:10:22.43 y34XkH3e.net
>>524
かつて俺も新妻弘の代数学を読んでいたので
そういう風に思っていたことはありました
新妻先生が情報学科に属していた理由もはっきりとわかりました
たしかにコンピュータ科学を支える応用数学はあります
竹ノ内脩は任意の元を選んだら固定されることを主張していました
これも情報科学のためだということがよくわかりました
でも僕は自由ですからそういう数学はやりません
任意の元は突然何かに置き換えられたり消滅したりせず
常に動いているものだと認識しているからです
道のりは長いと思いますがいつか会えるといいですね
539:132人目の素数さん
19/04/07 17:17:22.10 vEqUlseq.net
>>525竹ノ内脩は任意の元を選んだら固定されることを主張していまし
命題論理から述語論理に拡張したってことを言ってるの?
540:132人目の素数さん
19/04/07 17:38:22.05 vEqUlseq.net
>>310AIで騒いでいる企業は、数年後 どうなっているだらうか?
汎用AiがAIの延長線上にあると考えてる企業は挫折する
541:132人目の素数さん
19/04/07 18:43:06.08 KZ38Fv5Q.net
計算機屋さんだって性質のいいハッシュ関数や(疑似)乱数関数が存在するの暗黙裡に仮定してアルゴリズム設計してるくせにね。
542:132人目の素数さん
19/04/07 20:49:23.17 y34XkH3e.net
>>526
そんな短文で質問をしないでください
意味がよくわかりません
拡張とかそういう構成主義的な発想ではなく
ある集合の元から任意の選択をすれば元を固定した
と解釈する立場です
たとえば
値域{a,b,c}∀a,b,cについてaを選ぶというのはaという形式を保持することです
aの中身は写像f(a)=aで固定されています
543:132人目の素数さん
19/04/07 21:07:12.68 vEqUlseq.net
>>529
>aの中身は写像f(a)=aで固定されています
これって y=f(y) なの?
数学じゃありえない形だけど
544:132人目の素数さん
19/04/07 21:22:05.75 Kvbghgb/.net
こんなクソみたいなスレがなんて数学板にあんねん
厨房もスレ乱立たいがいにせえや
情報学板にでも立てとけカス
545:132人目の素数さん
19/04/07 21:40:56.47 y34XkH3e.net
なんか間違えました
値域から任意の元を選ぶとき
写像というのは全射が仮定され
f(b)=a
を言います
このときもしaが固定されているとすればf(a)=aは成り立ちません
しかしaがすべて動けばf(b)=bがいえる(a≠b)
このときのf(b)=bのbは存在命題です
これが方程式を立てられる根拠になります
なんでも偽の命題で概念の根拠を与えることは危険だと思っています
546:132人目の素数さん
19/04/07 21:41:40.72 y34XkH3e.net
>>532
途中送信です
(a≠bは除く)
547:132人目の素数さん
19/04/07 21:47:21.26 y34XkH3e.net
ここからわかることはまず関数が存在しなければ
方程式は立てられないという
548:ことです
549:132人目の素数さん
19/04/07 21:49:09.19 y34XkH3e.net
しかし関数をどう規定するのかは
己で定義したとしか言えないのかも知れません
まだよくわかりません
550:132人目の素数さん
19/04/07 22:16:25.58 y34XkH3e.net
aがすべて動く(真) ⇒ f(b)=b
全射の仮定よりb=aは存在し
aを全体に動かせば写像の存在f(b)=aよりf(b)=bと固定できる
そうすると値域{a,b,c}から任意の元aを選ぶというのは
aを動かし続けてかつbを固定するという意味になる
551:132人目の素数さん
19/04/07 22:18:58.87 y34XkH3e.net
ただしa≠bの場合はこの限りでない
は考えすぎで不要でしたw
552:132人目の素数さん
19/04/07 23:14:36.71 y34XkH3e.net
>>536
これ没です
任意の元を選んだら固定されるということと
それはできないということを
写像で説明するというのを試みたのですが
そんなに簡単ではありませんでした
方程式の形にこだわっているせいなんですけど
ちょっと無理そうです
単に写像f:X→Y f(x)=y ∀x,∃y
で考えれば任意にXの元を選ぶと
写像の一意性よりひとつYの元に対応する
という一言でおわることでしたw
やはり任意の元は選ばれたら固定しなければならないという
考え方も有力だと思います
う~ん元をすべて動かすとか走らせるという意味を
もう少し考えてみたいです
553:132人目の素数さん
19/04/07 23:22:59.60 sR4Kk0nH.net
このスレ必要?スレ主がtwitterで黒木玄とバトれば十分な気がするが
554:132人目の素数さん
19/04/07 23:28:37.98 y34XkH3e.net
>>539
数学がバトルだとか中世ローマ帝国かよw
まあ言い争わずにただ知りたいという集まりには参加したいけど
こういう頑固な問題だと思想の問題になってきて
表だとバトルになる可能性は十分にある
それだから5ちゃんくらいでちょうどよいと思う
555:132人目の素数さん
19/04/08 22:45:18.95 mc6ooYUn.net
まあブログでやれと思わんでもないが、このスレをあんたのチラシの裏と考えるのも妥当だと思う。
556:132人目の素数さん
19/04/08 22:58:47.02 Aw8mFIf0.net
>>541
ありがとう
また何か思ったことがあったらここに書くようにします
ブログも書いてるんですけど
数学のことを話せる人には出会えなかったので
5ちゃんねるにきてみたんです
557:132人目の素数さん
19/04/08 23:45:29.49 Aw8mFIf0.net
さっき「虚数は存在するか」というスレに書いたことの続きです
いつだったか高校数学で全称と存在の論理記号を
使ってみたりしたことがあります
また物理基礎のニュートンの運動方程式
F=ma (F:力,m:質量,a:加速度)
についても同様の記号で表したことがありました
さて物理基礎ではグラフのx軸になぜ時間軸を
採るのかなどの説明は一切ありませんがここで
ニュートンが素晴らしいと言われる由縁の一つに
運動の観測者は時間の全体を把握している存在(神.絶対者,)の視点で
方程式を立てたことにあると思われます
それゆえに時間軸の元は全称記号で表されます(これをx軸(一次元)におきます)
また運動方程式においては加速度を全称記号で表します
それは加速度は時間との関係で生じるものだからです
質量は固定するので存在記号で表すことにします
また力Fは写像の値域と考えられますのでこれも存在記号で書きます
そうすると
F=ma (∀a,∃m,F) ①
です
ここで力ではなく加速度を求めたい場合には式変形をして
a=F/m ②
と書きます
今度は写像の値域が加速度ですので加速度は存在記号で書きます
また力は①ですべて求められたと考えられるので全称記号で書きます
ただしこの全称には範囲があって①の量に依存します
つまり同一の全称記号であっても場合によって量が異なるということです
もちろん①における全称記号も全時間と�
558:「う意味の全称よりも小さいものです 質量はこの場合も固定です 質量というのはおそらく化学など細かいことの問題になってしまいそうですが 水素を基準に構成されているのでいかなる場合でも固定します したがって②は a=F/m (∀F,∃a,m) ③ このように同じ式でも変形によって取り扱う元の範囲が変わってしまいます つまり予め文字で全称命題と存在命題を公理とする実体を表すことには 無理があるのではないかと思います たとえば運動方程式を群の公理で書くなどです そして同一の式の中で扱う全称命題も属性が異なるものがあり 全称から特称 特称から全称 という変化もあります
559:132人目の素数さん
19/04/08 23:53:41.62 Aw8mFIf0.net
この単純な3つの元をもつ一次方程式でさえ変形(変換)により
命題が変わってしまうのにあらゆる命題の真偽判定と論理記号化は
大変困難ではないかと思われます
もう一度文字式と数学の文章とを
きちんと対応させて考える必要があるのではないかと思います
定義の公理化によって現在の
数学の文章が何もかもたとえば虚数のような感じを受けるからです
そもそもは定義とはある実体の証明の中で生じた概念に名前を付けたもの
だったはずです
定義から導出されるものなどありえません
僕もずっと定義の公理化された世界で学んできましたから
剰余類におけるウェルディファインドなど定義の証明すら
不思議にも思いませんでした
もしそれが定義という言葉の意味の変遷だというのならば
それはもう数学がいわゆる理系の科学ではなく
人文科学になったことの顕れではないでしょうか
560:132人目の素数さん
19/04/09 07:15:16.92 VS7Gsyuh.net
>>543
>さっき「虚数は存在するか」というスレに書いたことの続きです
量子力学のスピン幾何では4元数として虚数を使う
スピン幾何は
数学ではクリフォード代数で表現される
561:132人目の素数さん
19/04/09 22:58:39.65 lAkeqWt1.net
かつてある集合の全体はコンピュータの範囲なのだと思うと
可能無限的にしかものを考えられないと考えた時期があったが
数学における無限集合は実無限だというイデアにより
数の実在を担保する理論を学びそして創りたいと思った
それなのでイデアから派生したと思われるイデアルのみを考えたい
562:132人目の素数さん
19/04/10 01:40:01.68 Cv/X/RuO.net
俺よか数学出来ない癖に威張るな
563:132人目の素数さん
19/04/10 23:27:43.21 R+7wZ4iJ.net
https:/twitter.com/Kabuto_siren
ヒトモドキニホンザルゴキブリこの世から死滅しろ
(deleted an unsolicited ad)
564:132人目の素数さん
19/04/10 23:45:58.78 69TfMprr.net
ここ数日数学のことばかり考えてたのですが
文字と数との抽象と論理の利用について
再度考え直す必要があると思いイデアル論の前に
数学の国語化を目指したいと思います
ものを文字でどれくらい表象できるのか
論理学でどれくらい国語を表現できるのか
かつてそのような課題を大森荘蔵や野矢茂樹は考えたのだと思います
僕も本当にそう思いました
ですからものをとにかく論理的な文章で記述し
どれくらいそれらを文字式における文字に
置き換えることができるのかを
ひたすら検証したいと思います
ものの抽象は記号論理学などが散々研究してきたと思いますので
そうではなく具象の中から人間が用いることができる
文字式と論理の発見をしたいです
ただの歴史マニアになる可能性がありますが
それでもやっていこうと思います
565:132人目の素数さん
19/04/10 23:54:52.08 69TfMprr.net
野矢茂樹の『論理学』の後ろの方に
群の定義(公理と言う場合が多い)が載っていたことが思い出されます
数学をどう記述するべきかみんな悩んできたのだろうと思うと感慨深いです
566:132人目の素数さん
19/04/12 20:01:46.38 68ZweDdO.net
定義は単なる名前付けで常に定義により置き換えが可能
公理はその公理系設定では常に成立する命題として与える命題群
群の公理は公理であり定義とは少なくとも数理論理学では言わない
567:132人目の素数さん
19/04/13 03:04:28.38 Vwe6PC1I.net
>>549
コイルに交流電圧をかけるとコイルに流れる電流の位相が電圧より90度遅れることを数式を使わずに説明してください。
568:132人目の素数さん
19/04/13 03:27:47.49 NjzLFe8V.net
>>433
シリコンバレーのコピペっぽいネタかと思ったら、
マジかよ
569:132人目の素数さん
19/04/13 03:40:22.73 O/AnBGb6.net
>>552
それは図形の円を日本語で書けと言うに等しく
等号をただの日本語の等しい程度にしか扱ったことのない人間の考えです
またユークリッド空間における図形とはすべて三角関数による近似に過ぎません
いま三角関数を日本語で表すことは初等幾何の方法によりますが
関数概念を日本語で表すにはやはり全称命題が必要になります
そうするとたとえば三角形A,B,Cというものは任意の点A,B,Cと書かなければならず
これに意味を持たせるにはどうすればよいのかを悩んでいるというのが
>>549の意味になるかと思います
さて電流の実際たとえば電子の動きと電流の流れは逆向きだという現状では
日本語のみで電流の説明をすることも難しいでしょう
僕は物理の実験をしたことがありませんから
なぜ電子の動きと電流の向きが異なるのか理解しかねますので
物理のことを考えたこともありません
さらに僕は明らかに論理や数学の話をしているのに対して
物理現象の説明を求めるというのはお門違いです
物理に興味はありません
もっと言えば現実に観測できた事実の辻褄合わせ程度に用いられている
数式の世界に全く興味がありません
一体何を質問したかったのでしょうか?
570:132人目の素数さん
19/04/13 04:08:12.55 O/AnBGb6.net
まあ点についてその開集合や閉集合という説明の前提が
ある集合のある部分集合の全体という意味で
この集合は任意なのかそうでないのかよくわからず
全称命題について点の問題を全く説明できません
そこで対象の問題にしましたがここでも
射の存在は仮定されています
そうすると合同変換などの変換(実際には関数)は仮定したという説明であり
つまり関数は仮定したものであって具体的な元の中身を
実際に応用することはできません
もっと具体的な群の話だと剰余類群の点も与えられた条件のみでは
説明不能で被覆概念と論理で説明しようとしたところ北大の大学院では
通用しませんでした
ただし筑波大学では剰余類の点について説明可能とする説を唱える方がいます
日本語で説明しようと思いましたが一応数学をやってきたので
僕が理解できた範囲の現状はこんな感じです
571:132人目の素数さん
19/04/13 04:21:45.66 O/AnBGb6.net
商で表される集合の点について
少し希望があるのはガロア群ですが
ジョセフ・ロットマン著関口次郎訳『ガロア理論』において
多項式環の和と積の入れ方にも流儀があるので
僕は成田正雄説をとりたいですが
今は停止しています
572:132人目の素数さん
19/04/13 04:36:01.56 O/AnBGb6.net
多項式環というのがあらゆる図形を描ける土台になりうるかどうか
それは多項式環における演算の解釈と
その任意の定数多項式が点を表せるかどうか
現状すべて仮説です
数学も仮説の世界なのだと知れば
どんな仮説を提供できるのかにかかってくると思います
数学も発明の世界になったようです
573:132人目の素数さん
19/04/13 04:45:04.26 O/AnBGb6.net
まあそんなことを言いながらも真理の世界だとも思ったりしますが
法哲学ではもう来栖三郎によりフィクション説がいわれていますので
もし数学が実証主義的な発明にすぎないとな
574:ると たかが人間が決めた法則(世界劇場論)だということがわかり これはいかにもドイツ的であります もしこのままユスティニアヌス法典における解釈論の 世界にいってしまうのであれば かつて高木貞治がドイツに留学したことにも意味があったと言えるし ドイツ流の憲法を制定したことに意味があったとも言えるかも知れません さて時代はどう動くのでしょうか 楽しみでもあります
575:132人目の素数さん
19/04/13 12:55:10.22 O/AnBGb6.net
それから剰余類(群)の点なんて書いてしまいましたが
一般にこれを生成元と呼びます
これはプラトニズムの顕れであり
つまり群論において剰余類群(幾何的対象)なしでは
数の実在性を担保できないという意味です
すなわち剰余類群とは
事物の生成と消滅について表現したものだと解釈しています
そういう意味が数学に通じないことも残念に思っています
もちろん剰余類の一般である同値類における同値関係の問題があり
やはり幾何的対象のない状態での定義(公理)からすべてを導出する
という方法は採れないように思います
ですが卵が先か鶏が先か問題もあって
抽象から具象
具象から抽象
という行為すら見直さなければならないでしょう
果たしてこれは人間に可能なのかということも考えてしまいますが
カントール以来の実無限説を捨て可能無限的に公理体系を定めた昨今
日本語の「定めた」という意味と「定義した」が混同されてもおり
幾何的対象もないにもかかわらずものを定義したという日本語で氾濫しています
またうまく「定義された」という日本語もあり
これはうまく「定められた」にしなければなりません
では「定めた」と「定義した」にどれくらい違いがあるのかというと
定義とは本来証明したいまたはするべきものの存在が先にあり(幾何的対象)
その中から生まれた概念に名前を付けたという発明です
そしてこの二つをセットにして定理の発見と言います
しかし現在主流の証明方法では~と定義したのでこう証明できると説明されます
これが数学における卵と鶏の問題です
卵が先だった時代の定義と
鶏が先の現在の定義の間には意味の断絶がありますので
現在言われている定義というのはすべて「こう定めた」という日本語に
言い換える必要がありそれを意味する単語は適当に発明するしかありません
576:132人目の素数さん
19/04/14 12:56:32.40 UqFD84Hd.net
とりあえずID:O/AnBGb6はスレ違いなので出ていってほしい
577:132人目の素数さん
19/04/14 12:59:22.91 UqFD84Hd.net
いきなりガロアが出て来てワロタ
何か自分で新しいものを提案しないのだろうか?
578:132人目の素数さん
19/05/17 05:07:41.84 w44V8Dft.net
Gilbert Strangさんの新しい講義が公開されましたね。
他の数学者も見習ってほしいですね。
MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning, Spring 2018
URLリンク(www.youtube.com)
579:132人目の素数さん
19/06/01 06:16:46.18 a3UMqeDZ.net
人工知能って何がすごいのか?わかりやすい解説。Deep Learning、neural networkのすごさ。
URLリンク(www.youtube.com)
580:132人目の素数さん
19/06/01 09:40:05.81 a3UMqeDZ.net
1014:深層学習フレームワークChainerの導入と化合物活性予測への応用
URLリンク(www.youtube.com)
581:132人目の素数さん
19/06/19 04:27:34.91 kk4BDuTC.net
【出資】松本卓朗 人工知能詐欺【注意】
URLリンク(rio2016.2ch.sc)
582:403/
583:132人目の素数さん
19/06/29 16:36:43.52 DHiuKlHq.net
人工知能・機械学習のスレッド@数学板
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
URLリンク(pbs.twimg.com)
URLリンク(twitter.com)
(deleted an unsolicited ad)
584:132人目の素数さん
19/06/29 20:23:39.73 VbZjFNND.net
一回だけでなく3回以上連続で取ることが大事
585:132人目の素数さん
19/07/03 19:44:57.07 dqLWAG/2.net
4500
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
URLリンク(pbs.twimg.com)
URLリンク(twitter.com)
(deleted an unsolicited ad)
586:132人目の素数さん
19/08/15 16:19:24.19 Sm+I4sAw.net
藤林丈司
587:132人目の素数さん
19/09/01 22:50:56.09 V29m3PI8u
>>560 荒氏にマジレス乙。Twitter も人工知能の荒氏ばっかでウザい。
588:長木よしあきの告発(葛飾区青戸6-23-20)
21/02/05 08:57:17.07 WSArCHeX.net
491色川高志「井口千明の金属バット集団殴打撲殺を熱望します」2018/10/18(木) 18:33:15.90ID:78662J73
龍神連合五代目総長・井口千明(葛飾区青戸6-23-19)の挑発
井口千明「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合四代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6-23-21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6-23-20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6-26-6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 ℡03ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6-23-19)の
五十路後半強制脱糞
URLリンク(img.erogazou-pinkline.com)
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出!腸内洗浄状態です。
URLリンク(101.dtiblog.com)
浣腸器と異なりどくどくと直腸内に注入され清水婆婆は激しくあえぎます
589:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています