https://arxiv.org/abs/1610.07978 Haskellを真の依存型言語にする計画の説明。主な変更点は二つ。(1)∀と似ているが、同じ値が実行時にも渡ってきてパターンマッチできるΠ量化子の導入(singletonが必要なくなる)。(2)型の中で任意のHaskell式を使える(同じアルゴリズムを型族で実装しなおす必要がなくなる)
Retweeted by 黒木玄 Gen Kuroki
retweeted at 22:01:33
Stats | Twitter歴 5,100日(2010/04/13より) |
ツイート数 315,689(61.8件/日) |
表示するツイート :
https://arxiv.org/abs/1610.07978 Haskellを真の依存型言語にする計画の説明。主な変更点は二つ。(1)∀と似ているが、同じ値が実行時にも渡ってきてパターンマッチできるΠ量化子の導入(singletonが必要なくなる)。(2)型の中で任意のHaskell式を使える(同じアルゴリズムを型族で実装しなおす必要がなくなる)
Retweeted by 黒木玄 Gen Kuroki
retweeted at 22:01:33
寒いから生姜紅茶を飲む
posted at 21:34:08
フェイクニュースとファクトチェック: 事実を正せば意見も正せるか (2017年11月2日) http://econ101.jp/%e3%83%95%e3%82%a7%e3%82%a4%e3%82%af%e3%83%8b%e3%83%a5%e3%83%bc%e3%82%b9%e3%81%a8%e3%83%95%e3%82%a1%e3%82%af%e3%83%88%e3%83%81%e3%82%a7%e3%83%83%e3%82%af-%e4%ba%8b%e5%ae%9f%e3%82%92%e6%ad%a3/… @econ101jpより
【総合すると,我々の研究結果からは,いったん有権者が結論を得た後では,フェイクファクトを訂正してももはや政治的意見を変化させることはできないといえる.】
Retweeted by 黒木玄 Gen Kuroki
retweeted at 17:45:24
佐藤超関数に基づく数値計算、一番古い先行研究の森正武の論文は、日評の『古都がはぐくむ現代数学(内村直之)』に図が掲載されてた気がする。森の『数値解析(共立)』にも同じ趣旨の記述がある。論文が書かれた直後だったからか、そっちには佐藤のさの字も出てないけど、そういうことだったのね。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 13:16:14
東京都市大、吉野先生による「佐藤超関数による Shannon –染谷の標本化定理の拡張と Ramanujan の積分公式」。導入解説の佐藤超関数の部分がとてもよくまとまっていて便利。http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1869-05.pdf…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 13:12:47
佐藤超関数を数値積分の誤差評価に使う,森正武先生のご研究もありますよね.「数値積分の誤差評価」数学 Vol. 27 (1975) No. 3 P 201-210.
http://doi.org/10.11429/sugaku1947.27.201…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 13:10:40
佐藤超函数論に基づく数値積分だって。 http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2037-09.pdf…
こんなこと思いつきもしなかった。特異点を持つ積分を、佐藤超関数(といいつつ単に複素関数)を経由して複素数値積分に持ち込むことで特異点を避けられるので従来手法より誤差が抑えられるんだって。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 12:43:01
斉藤 淳 『アメリカの大学生が学んでいる本物の教養』 (SB新書) 発売中💙💛@junsaito0529
だけど、政党をいたずらに分裂させた上に、聞こえてくるのは年寄り向けの景気悪化させるような政策ばかり。安倍一強を恨む前に、政策のマーケッティング真面目にやれよ、と言いたい。戸別訪問して、子育て世代の声を真面目に聞けと言いたいですな。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 12:35:54
坑道掘削装置の稼働展示‼︎
近くを歩いてた隊員さん2人が
『あれ動いてるの初めて見た』
『大サービスだね』って会話してるのが聞こえてきたからかなりレアなのねwww https://pic.twitter.com/Y8lBpKmDWT
Retweeted by 黒木玄 Gen Kuroki
retweeted at 12:34:28
僕も自民党内を見れば、税調を含め「消費税増税、大企業優先主義」であることを知っているので、自ら支持するつもりはないですが。ほかの野党はマクロ経済政策にあまりに疎すぎ、税金を上げて何かをやろうという財務省のいいなりになる姿勢が明らかなので、どうにも困っています。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 12:33:29
Ishida the Brain Damaged@tbs_i
偽科学とかもそうで、「信じちゃった人」はもう変えられないんだよね。なので初動や予防が大切。
なので福島原発の事故の際、初動を妨害しまくった一部のSTS関係者は批判されている。 https://twitter.com/genkuroki/status/928047374483693568…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 12:30:07
非公開
retweeted at xx:xx:xx
#数楽 シュワルツの超函数論のような普通の数学に慣れている人なら、ひと目で「ベイズ推定法は収束しやすくなっているだろうな」と感じるはず。なぜならばベイズ推定法は事前分布という名のテスト函数φ(w)に対する∫f_n(w)φ(w)dw型の積分のn→∞での様子を扱うからです。続く
Retweeted by 黒木玄 Gen Kuroki
retweeted at 09:26:11
#数楽 http://watanabe-www.math.dis.titech.ac.jp/users/swatanab/ds2009dec.pdf… 【超関数の位相は関数空間の位相としては最も緩いものであり、ベイズ推測は超関数の位相で学習することを意味している。事前分布は超関数を考えるための相手となる基礎関数に相当する。】事前分布はテストファンクションに対応。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 09:26:08
昔から近藤誠氏は反ワクチン的な主張をしているが、そういえばワクチンのみを論点とした本はたぶん初めて。何人かがご指摘しているが、反標準的がん治療では売れなくなってきたのかもしれない。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 09:20:51
20年前の抗がん剤治療は、副作用対策は不十分、効果も微妙。「抗がん剤は効かない」なんて嘘もばれにくい。現在は抗がん剤治療が進歩して、がんの種類によっては年単位の生存期間延長も可能である。統計上の数字だけでなく患者の実感としても近藤誠氏の主張がデタラメであるとわかるようになってきた。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 09:19:20
世論調査回答の予測ファクターとして支持政党が圧倒的に大きいという、部族忠誠心な状態が続く米国
http://seesaawiki.jp/transact/d/%c3%cf%b5%e5%b2%b9%c3%c8%b2%bd%a4%cb%a4%c4%a4%a4%a4%c6%cc%b1%bc%e7%a1%a6%b6%a6%cf%c2%c5%de%bb%d9%bb%fd%bc%d4%a4%ce%c0%a4%cf%c0%bf%e4%b0%dc…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 09:16:23
たいへん興味深い研究結果。 / “フェイクニュースとファクトチェック: 事実を正せば意見も正せるか (2017年11月2日) — 経済学101” http://htn.to/yzc1kMXJ
Retweeted by 黒木玄 Gen Kuroki
retweeted at 08:51:56
フェイクニュースとファクトチェック: 事実を正せば意見も正せるか (2017年11月2日) http://econ101.jp/%e3%83%95%e3%82%a7%e3%82%a4%e3%82%af%e3%83%8b%e3%83%a5%e3%83%bc%e3%82%b9%e3%81%a8%e3%83%95%e3%82%a1%e3%82%af%e3%83%88%e3%83%81%e3%82%a7%e3%83%83%e3%82%af-%e4%ba%8b%e5%ae%9f%e3%82%92%e6%ad%a3/… @econ101jpより
【総合すると,我々の研究結果からは,いったん有権者が結論を得た後では,フェイクファクトを訂正してももはや政治的意見を変化させることはできないといえる.】
posted at 08:51:51
S (ツイートはスレッド全体をご確認ください)@esumii
@ksknac @camloeba あれ、まさにcallccの型が(例えばHaskellでもモナドを無視:-)すれば)((a -> b) -> a) -> aなんですが、そういう話ではなく?
Retweeted by 黒木玄 Gen Kuroki
retweeted at 08:45:06
どう考えてもくだらん書類作成をこなすことを、社会人として機能している証明と考える人がいるんだな↓RT あんなもん、やらんですむならやらんに越したことはない。「いやなことでもやるのが社会人の証明」ではないよ。「いやなことをしないですむ社会を作る」のが社会人の責務。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 08:08:27
研究に集中してくれればそれで十分なんですよ。書類なんか書かないでいい。「社会人として合格」な人は足し算でしか利かない仕事をしてるようなもんで、今後は全部AIに代替されます。必要なのは掛け算で利いてくる新分野。これには大量の研究者がピラミッドの底辺のように必要なんです。 https://twitter.com/manavee_milk/status/927844799952060416…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 08:08:25
Simply amazing what @SimonDanisch can do with generic programming and specialization in #julialang https://twitter.com/SimonDanisch/status/927545631069147136…
Retweeted by 黒木玄 Gen Kuroki
retweeted at 00:52:59
I finally finished my blog post about writing fast and generic GPU code for #NVIDIA #AMD #INTEL in #JuliaLang
https://medium.com/@sdanisch/writing-extendable-and-hardware-agnostic-gpu-libraries-b21c145a8dad… https://pic.twitter.com/RtihdVA9xI
Retweeted by 黒木玄 Gen Kuroki
retweeted at 00:52:43
非公開
retweeted at xx:xx:xx
小2の算数で習う「計算の工夫」っていう単元が控え目にいっても糞。
50ー6を求めるのにこんなに分解しないとだめ?
この単元のときに親族の結婚式で欠席だったのは幸いか。
「どう工夫したかを書け」という出題者の意図がわからずテストで軒並みマイナスされてたけど、まあいい。
#超算数 https://pic.twitter.com/KZfYWsiVaf
Retweeted by 黒木玄 Gen Kuroki
retweeted at 00:19:00
@a_saitoh @genkuroki 部活は余暇活動のはずなのに、勉学に影響を与えては本末転倒ですね。
Retweeted by 黒木玄 Gen Kuroki
retweeted at 00:09:20