下へ
> 2018/08/31 (金) 00:17:16 ◆ ▼ ◇ [misao]> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> それって四食定理ぐらいじゃないの(;´Д`)
さすがにPCじゃ無理かな(;´Д`)
史上最大の答え。数学の証明問題、解が200TBに達する | ギズモード・ジャパン
https://www.gizmodo.jp/2016/06/200tb.html
参考:2018/08/31(金)00時13分33秒
> 2018/08/31 (金) 00:15:15 ◆ ▼ ◇ [misao]> > それって四食定理ぐらいじゃないの(;´Д`)
> 食い過ぎだな(;´Д`)三食で十分だろ
最近は3食時間開けながら食うと血糖値スパイクで体に悪いので
間食挟んで5食に小分けした方がいいとか(;´Д`)
参考:2018/08/31(金)00時14分05秒
> 2018/08/31 (金) 00:14:05 ◆ ▼ ◇ [misao]> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> それって四食定理ぐらいじゃないの(;´Д`)
食い過ぎだな(;´Д`)三食で十分だろ
参考:2018/08/31(金)00時13分33秒
> 2018/08/31 (金) 00:13:33 ◆ ▼ ◇ [misao]> > 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
> 数学の証明も最近はコンピュータの力技らしいね
> 数学も終わりだ(;´Д`)
それって四食定理ぐらいじゃないの(;´Д`)
参考:2018/08/31(金)00時03分37秒
> 2018/08/31 (金) 00:11:41 ◆ ▼ ◇ [misao]> > 人間いらないってなるのがミエミエなので(;´Д`)やめよう
> 人間を排除した社会を運用する意義ってなんだろう(;´Д`)
そんな社会にぽつんと放り出された俺ひとり!(;´Д`)とかやれる
参考:2018/08/31(金)00時09分27秒
> 2018/08/31 (金) 00:11:31 ◆ ▼ ◇ [misao]> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> 力技のかけ方というか(;´Д`)力技まで持って行けたら褒めても良いんじゃない?
無限を扱うような領域だと力技じゃどうにもならんしな(;´Д`)
参考:2018/08/31(金)00時06分05秒
> 2018/08/31 (金) 00:10:31 ◆ ▼ ◇ [misao]> > 人間いらないってなるのがミエミエなので(;´Д`)やめよう
> 人間を排除した社会を運用する意義ってなんだろう(;´Д`)
コンピューターが自律管理するジャパリパークができあがるんだ(;´Д`)
参考:2018/08/31(金)00時09分27秒
> 2018/08/31 (金) 00:09:27 ◆ ▼ ◇ [misao]> > 政治も選挙やるよりコンピュータに統治させた方がいいんじゃね?(;´Д`)
> 人間いらないってなるのがミエミエなので(;´Д`)やめよう
人間を排除した社会を運用する意義ってなんだろう(;´Д`)
参考:2018/08/31(金)00時07分06秒
> 2018/08/31 (金) 00:09:08 ◆ ▼ ◇ [misao]> > 勝つことが目的じゃないだろ?(;´Д`)楽しめればそれで良い
> そんなのは嘘だってりゅうおうのお仕事が(;´Д`)
まぁね(;´Д`)ハムに負けてゴロゴロしたりするし
参考:2018/08/31(金)00時05分26秒
> 2018/08/31 (金) 00:08:22 ◆ ▼ ◇ [misao]> > PC同士で戦わせればいいじゃん(;´Д`)
> プロ棋士10人が相談しながら戦えばいいんじゃないか(;´Д`)
実際羽生とソフトはもう角一枚差があるしな(;´Д`)勝負にならん
参考:2018/08/31(金)00時06分14秒
> 2018/08/31 (金) 00:08:13 ◆ ▼ ◇ [misao]> > プロ棋士10人が相談しながら戦えばいいんじゃないか(;´Д`)
> 船頭多くして(;´Д`)
尻隠さず(;´Д`)
参考:2018/08/31(金)00時06分41秒
> 2018/08/31 (金) 00:08:04 ◆ ▼ ◇ [misao]> 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
自動車に勝てる陸上ランナーは居ないけど競技としては成立し続けてるので
意外と平気だと思う
参考:2018/08/31(金)00時01分28秒
> 2018/08/31 (金) 00:07:41 ◆ ▼ ◇ [misao]> > 勝つことが目的じゃないだろ?(;´Д`)楽しめればそれで良い
> そんなのは嘘だってりゅうおうのお仕事が(;´Д`)
あれ途中まで読んでたけど姉弟子が三段に上がって
将来に絶望してる辺りで重苦しくて読むのやめたわ(;´Д`)しんどい
参考:2018/08/31(金)00時05分26秒
> 2018/08/31 (金) 00:07:06 ◆ ▼ ◇ [misao]> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> 政治も選挙やるよりコンピュータに統治させた方がいいんじゃね?(;´Д`)
人間いらないってなるのがミエミエなので(;´Д`)やめよう
参考:2018/08/31(金)00時04分38秒
> 2018/08/31 (金) 00:06:41 ◆ ▼ ◇ [misao]> > PC同士で戦わせればいいじゃん(;´Д`)
> プロ棋士10人が相談しながら戦えばいいんじゃないか(;´Д`)
船頭多くして(;´Д`)
参考:2018/08/31(金)00時06分14秒
> 2018/08/31 (金) 00:06:37 ◆ ▼ ◇ [misao]> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> 力技のかけ方というか(;´Д`)力技まで持って行けたら褒めても良いんじゃない?
総当たりをいかに早く実行するかって点じゃビットコインのマイニング機みたいなもんだよな(;´Д`)
参考:2018/08/31(金)00時06分05秒
> 2018/08/31 (金) 00:06:14 ◆ ▼ ◇ [misao]> > 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
> PC同士で戦わせればいいじゃん(;´Д`)
プロ棋士10人が相談しながら戦えばいいんじゃないか(;´Д`)
参考:2018/08/31(金)00時02分35秒
> 2018/08/31 (金) 00:06:05 ◆ ▼ ◇ [misao]> > 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
> 数学の証明も最近はコンピュータの力技らしいね
> 数学も終わりだ(;´Д`)
力技のかけ方というか(;´Д`)力技まで持って行けたら褒めても良いんじゃない?
参考:2018/08/31(金)00時03分37秒
> 2018/08/31 (金) 00:05:26 ◆ ▼ ◇ [misao]> > eスポーツもテーブルゲームも極限まで強化したコンピュータにはかなわないって点をどうするかが課題だよな(;´Д`)
> > 人間にコンピュータ積んで戦わせるか
> 勝つことが目的じゃないだろ?(;´Д`)楽しめればそれで良い
そんなのは嘘だってりゅうおうのお仕事が(;´Д`)
参考:2018/08/31(金)00時03分47秒
> 2018/08/31 (金) 00:04:38 ◆ ▼ ◇ [misao]> > 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
> 数学の証明も最近はコンピュータの力技らしいね
> 数学も終わりだ(;´Д`)
政治も選挙やるよりコンピュータに統治させた方がいいんじゃね?(;´Д`)
参考:2018/08/31(金)00時03分37秒
> 2018/08/31 (金) 00:04:23 ◆ ▼ ◇ [misao]> 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
7六歩
参考:2018/08/31(金)00時01分28秒
> 2018/08/31 (金) 00:03:47 ◆ ▼ ◇ [misao]> > 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
> eスポーツもテーブルゲームも極限まで強化したコンピュータにはかなわないって点をどうするかが課題だよな(;´Д`)
> 人間にコンピュータ積んで戦わせるか
勝つことが目的じゃないだろ?(;´Д`)楽しめればそれで良い
参考:2018/08/31(金)00時02分34秒
> 2018/08/31 (金) 00:03:37 ◆ ▼ ◇ [misao]> 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
数学の証明も最近はコンピュータの力技らしいね
数学も終わりだ(;´Д`)
参考:2018/08/31(金)00時01分28秒
> 2018/08/31 (金) 00:02:35 ◆ ▼ ◇ [misao]> 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
PC同士で戦わせればいいじゃん(;´Д`)
参考:2018/08/31(金)00時01分28秒
> 2018/08/31 (金) 00:02:34 ◆ ▼ ◇ [misao]> 個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
eスポーツもテーブルゲームも極限まで強化したコンピュータにはかなわないって点をどうするかが課題だよな(;´Д`)
人間にコンピュータ積んで戦わせるか
参考:2018/08/31(金)00時01分28秒
2018/08/31 (金) 00:01:28 ◆ ▼ ◇ [misao]個人所有のPCに負けちゃうようなプロしかいない将棋って未来無いと思う
上へ