新しいものを表示
おさ さんがブースト

上手く検索できる人、検索したいことからのキーワード抽出が上手いイメージある。

3月中旬からbing検索に切り替えて、Personal blocklistが効かなくなったのに、特に不満を感じていないのは、まあそういうことなんだろうなと。

和食のさとのキャラにわっしょくんっていうのが居るんだけど、頭に被っている蓋に穴が書いていないのに、被った瞬間に耳が突き抜けるの、どういう仕組みになっているのか気になる。 sato-res.com/sato/wasyokun/
CMの最初にアニメーションがある sato-res.com/movie/

この前、和食のさとで蕎麦食べたくなって、天ざる定食を頼んだんだけど、なんか思っていた蕎麦じゃなくて、大盛りにしたのに物足りなかった。

MySQLでもINSERT文でRETURNING句を使いたい2020

散切り頭を叩いてみれば、仕様未確定の音がする。

頭の中で仕様が固まらなくて何も作業が進まない。

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

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

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

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

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

おさ さんがブースト

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

おさ さんがブースト

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

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

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

古いものを表示
:realtek:

思考の /dev/null