新しいものを表示

無観客競馬で、馬が「これ本番なんですか?」ってキョロキョロしてる話好き。

BOINCでABC問題を解くABC@homeは終了しています。20,405クレジットしか処理しなかった。

一分野できるぐらいの理論でてくるとか、証明されたらガラッと何かが変わったりかるんだろうか。

論文に反論の論文が届いたら、また反論の論文という形になるのかな。めっちゃ時間かかりそう。

「破綻がない」と「正しくない」の区別、システムが「ちゃんと動いてるっぽいけど、正常系しかチェックしてない」みたいな状態か。

おさ さんがブースト

査読が通って掲載されて、その後に最終版を検討して書かれた反論が届くようになるので、「正しさが認められた」(誰によって?)とまでは言えないと思う

おさ さんがブースト

@[email protected] 矛盾なさそうだし正しそうに見える、後で間違ってるときもあるけどその時は正しいと考えられていたと言える

査読の受理って、証明を認めたのとは違うのか。

なんか昨日ぐらいから、Twitterのツイート詳細画面のリンクを開くと、肝心のツイートが見えなくて、下にスクロールしたリプライ一覧が出てくるのめっちゃ不便。

これを機に宅配ボックスの導入をですね>大家

ガン探知犬が居るらしいので、特定の病巣で発生するにおいがあれば検出できるのでは。それが可能かどうかを今から研究するんだろうけど。

すさまじいな。
>加えて、1000ページを超える望月教授の過去の論文に精通しないとIUT論文を読み解くことは難しく

おさ さんがブースト

査読だけじゃなくて望月教授の宇宙際タイヒミュラー理論の理解のために国際会議が開催されましたからね。

おさ さんがブースト

未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年 mainichi.jp/articles/20200403/

おさ さんがブースト

まーーたほっこりグルメ漫画か?
と読み始めたら違った。

おさ さんがブースト

ウワサの持ち帰り専用吉野家
専用……?

つまり、陶器のどんぶりが一切ないらしい。

古いものを表示
:realtek:

思考の /dev/null