「ウホッホ探検隊」まあまあ好評 goo.gl/LG2svk
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 01:54
スー・チー見損なった。何がノーベル賞だ。ミャンマーで大虐殺 隣国見解 news.yahoo.co.jp/pickup/6253616
— Yasmina (@Eri_Rakssharki) 2017年9月11日 - 09:35
イデール 〇
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 11:00
アデール 〇
セザール ×
イデアル類群かあ。
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 11:13
IBMが気象ビジネスに本気で参入したワケ:日経ビジネスオンライン business.nikkeibp.co.jp/atcl/opinion/1…
— aidiary (@sylvan5) 2017年9月11日 - 12:41
@integers_blog 使用されたマシンとマシン時間に興味深々です。
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 13:38
machine used : 49 hours of HP C200 ( PA8200 200Mhz )
こういった数値計算の手法から証明方法が見つかるということもあるのでしょうか。。。
いつも小説を読むように数学本を読んでしまうけど、本当は駄目なんだろうな。
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 14:53
私にはこれがなぜバツなのか全然わかりません。多分、IUTより難しい。IUT的には「ゆみさん」が「みんな」の中の要素で、宇宙Aにおけるゆみさんと宇宙Bにおけるみんなが等しいという式を書けば、10〜1となり、あとは壁越えの不定性から生… twitter.com/i/web/status/9…
— 加藤文元 (@FumiharuKato) 2017年9月11日 - 15:02
いやしかし、6+1+3=10をバツにして、7+3=10をマルにするというのは従来の数学では不可能なことですよ。となると、普通の数学でない、まったく新しい数学の枠組みが必要になります。私の知る限り、そういうのは望月さんのIUTしかないと思ってました。超数学おそるべしです。
— 加藤文元 (@FumiharuKato) 2017年9月11日 - 15:14
明日、姉貴が上京するので、ついでに「妹がグレブナー基底に興味を持ち始めたのだが。」を書泉グランデで買ってきてもらうように頼んでいるのだが、売れきれてないかどうか心配。
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 15:25
Haskellの演算子
— 曖昧Haskellerあいや (@public_ai000ya) 2017年9月9日 - 23:33
#こち亀クソコラグランプリ pic.twitter.com/5L6ecQ7Rfz
Amazing #light #novel on #Math in Japan, titled "My
— Springer Japan (@SpringerJapan) 2017年9月11日 - 16:12
younger sister started showing an interest in Gröbner basis"… twitter.com/i/web/status/9…
ホッジ予想は,21世紀の最大の難問の一つ。
— 大学の数学を独学しよう (@DaigakuSuugaku) 2017年9月11日 - 20:05
bit.ly/1UgptyQ
クレイ数学研究所が指定した「ミレニアム懸賞問題」7つの中に入っている。
その7つの中で,ホッジ予想は「代数幾何学」の分野に属する問題だ。
(とくにド・ラームコホモロジー)
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 21:54
満天の星空 goo.gl/uzuryU
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 22:09
明かり goo.gl/BWiP6e
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 22:23
@mister_big_ben キメちゃってください!Prince崇拝してます!
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 22:27
異常に眠い。寝落ちしそう。
— ナカナカピエロ (@NakanakaPierrot) 2017年9月11日 - 22:40