はてなアンテナ
lequeのアンテナ
id:leque

DVD

グループ一覧
1/30ページ

キーボードのお店 ★★★ ShopU
●10/18 05:09
Generated Wed, 17 Oct 2018 20:09:02 GMT by squid.hatena.ne.jp (squid/3.5.23)

RSSMix: Recent Entries
●10/18 01:21
2018/10/17 10:29:46 UTCReddit - LISP ja: WebAssembly のベンチマークとバイトコードと Lisp
2018/10/17 10:26:05 UTCReddit - LISP ja: Clojureで書いたプログラムを速く起動する。

Draft Scheme Requests for Implementation
●10/18 00:49
162: Comparators sublibrary, by John CowanDraft: 2018/10/15Keywords: ComparisonSee also SRFI 128: Comparators (reduced).

Bluish Coder
●10/17 23:01
2018-10-16
Generalized Algebraic Data Types in ATS
The ATS programming language supports defining Generalized Algebraic Data Types (GADTS). They allow defining datatypes where the constructors for the datatype are explicitly defined by the programmer. This has a number of uses and I’ll go through some examples in this post. GADTs are sometimes referred to as Guarded Recursive Datatypes.
Some usefu

fixedpoint.jp
●10/17 05:04
2018/10/14
A lower bound of the Bhatia-Davis inequality
Having shown the Bhatia-Davis inequality in our previous post, we find that the Wikipedia article also mentions a curious lower bound on the variance ¥(¥sigma^2¥) of a bounded random variable: ¥[(M-¥mu)(¥mu-m) - ¥frac{(M-m)^3}{6} ¥leq ¥sigma^2.¥] Alas, it is incorrect.
A clear counterexample is the uniform random variable on ¥([0, ¥frac{1}{2}

6.次5>

0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
ヘルプ/お知らせ

ログイン
無料ユーザー登録
はてなトップ

(c) Hatena