情報更新

last update 03/29 17:18

ツイート検索

 

@genkuroki
サイトメニュー
Twilogユーザー検索

Twilog

 

Stats Twitter歴
5,100日(2010/04/13より)
ツイート数
315,689(61.8件/日)

ツイートの並び順 :

表示するツイート :

2017年11月08日(水)27 tweetssource

11月8日

@mkotha

mkotha@mkotha

arxiv.org/abs/1610.07978 Haskellを真の依存型言語にする計画の説明。主な変更点は二つ。(1)∀と似ているが、同じ値が実行時にも渡ってきてパターンマッチできるΠ量化子の導入(singletonが必要なくなる)。(2)型の中で任意のHaskell式を使える(同じアルゴリズムを型族で実装しなおす必要がなくなる)

Retweeted by 黒木玄 Gen Kuroki

retweeted at 22:01:33

11月8日

@genkuroki

黒木玄 Gen Kuroki@genkuroki

フェイクニュースとファクトチェック: 事実を正せば意見も正せるか (2017年11月2日) econ101.jp/%e3%83%95%e3%8 @econ101jpより
【総合すると,我々の研究結果からは,いったん有権者が結論を得た後では,フェイクファクトを訂正してももはや政治的意見を変化させることはできないといえる.】

Retweeted by 黒木玄 Gen Kuroki

retweeted at 17:45:24

11月8日

@ohtani_shun

ohtani.shun@ohtani_shun

佐藤超関数に基づく数値計算、一番古い先行研究の森正武の論文は、日評の『古都がはぐくむ現代数学(内村直之)』に図が掲載されてた気がする。森の『数値解析(共立)』にも同じ趣旨の記述がある。論文が書かれた直後だったからか、そっちには佐藤のさの字も出てないけど、そういうことだったのね。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 13:16:14

11月8日

@ohtani_shun

ohtani.shun@ohtani_shun

佐藤超函数論に基づく数値積分だって。 www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro
こんなこと思いつきもしなかった。特異点を持つ積分を、佐藤超関数(といいつつ単に複素関数)を経由して複素数値積分に持ち込むことで特異点を避けられるので従来手法より誤差が抑えられるんだって。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 12:43:01

11月8日

@junsaito0529

斉藤 淳 『アメリカの大学生が学んでいる本物の教養』 (SB新書) 発売中💙💛@junsaito0529

だけど、政党をいたずらに分裂させた上に、聞こえてくるのは年寄り向けの景気悪化させるような政策ばかり。安倍一強を恨む前に、政策のマーケッティング真面目にやれよ、と言いたい。戸別訪問して、子育て世代の声を真面目に聞けと言いたいですな。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 12:35:54

11月8日

@aono_show

あおの@aono_show

僕も自民党内を見れば、税調を含め「消費税増税、大企業優先主義」であることを知っているので、自ら支持するつもりはないですが。ほかの野党はマクロ経済政策にあまりに疎すぎ、税金を上げて何かをやろうという財務省のいいなりになる姿勢が明らかなので、どうにも困っています。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 12:33:29

 

非公開

retweeted at xx:xx:xx

11月8日

@genkuroki

黒木玄 Gen Kuroki@genkuroki

#数楽 シュワルツの超函数論のような普通の数学に慣れている人なら、ひと目で「ベイズ推定法は収束しやすくなっているだろうな」と感じるはず。なぜならばベイズ推定法は事前分布という名のテスト函数φ(w)に対する∫f_n(w)φ(w)dw型の積分のn→∞での様子を扱うからです。続く

Retweeted by 黒木玄 Gen Kuroki

retweeted at 09:26:11

11月8日

@NATROM

名取宏(なとろむ)@NATROM

昔から近藤誠氏は反ワクチン的な主張をしているが、そういえばワクチンのみを論点とした本はたぶん初めて。何人かがご指摘しているが、反標準的がん治療では売れなくなってきたのかもしれない。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 09:20:51

11月8日

@NATROM

名取宏(なとろむ)@NATROM

20年前の抗がん剤治療は、副作用対策は不十分、効果も微妙。「抗がん剤は効かない」なんて嘘もばれにくい。現在は抗がん剤治療が進歩して、がんの種類によっては年単位の生存期間延長も可能である。統計上の数字だけでなく患者の実感としても近藤誠氏の主張がデタラメであるとわかるようになってきた。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 09:19:20

11月8日

@genkuroki

黒木玄 Gen Kuroki@genkuroki

フェイクニュースとファクトチェック: 事実を正せば意見も正せるか (2017年11月2日) econ101.jp/%e3%83%95%e3%8 @econ101jpより
【総合すると,我々の研究結果からは,いったん有権者が結論を得た後では,フェイクファクトを訂正してももはや政治的意見を変化させることはできないといえる.】

posted at 08:51:51

11月8日

@ShinyaMatsuura

松浦晋也@ShinyaMatsuura

どう考えてもくだらん書類作成をこなすことを、社会人として機能している証明と考える人がいるんだな↓RT あんなもん、やらんですむならやらんに越したことはない。「いやなことでもやるのが社会人の証明」ではないよ。「いやなことをしないですむ社会を作る」のが社会人の責務。

Retweeted by 黒木玄 Gen Kuroki

retweeted at 08:08:27

11月8日

@kamosawa

鴨澤眞夫@kamosawa

研究に集中してくれればそれで十分なんですよ。書類なんか書かないでいい。「社会人として合格」な人は足し算でしか利かない仕事をしてるようなもんで、今後は全部AIに代替されます。必要なのは掛け算で利いてくる新分野。これには大量の研究者がピラミッドの底辺のように必要なんです。 twitter.com/manavee_milk/s

Retweeted by 黒木玄 Gen Kuroki

retweeted at 08:08:25

 

非公開

retweeted at xx:xx:xx

11月8日

@SHIii_sama

しーちゃん@SHIii_sama

小2の算数で習う「計算の工夫」っていう単元が控え目にいっても糞。
50ー6を求めるのにこんなに分解しないとだめ?
この単元のときに親族の結婚式で欠席だったのは幸いか。
「どう工夫したかを書け」という出題者の意図がわからずテストで軒並みマイナスされてたけど、まあいい。
#超算数 pic.twitter.com/KZfYWsiVaf

Retweeted by 黒木玄 Gen Kuroki

retweeted at 00:19:00

このページの先頭へ

×