A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.
I always believe that to be the best, you have to smell like the best, dress like the best, act like the best. When you throw your trash in the garbage can, it has to be better than anybody else who ever threw trash in the garbage can. — Lil Wayne The best at drawing pictures of myselfI’ve been meaning to write something about the CSS at Medium for a while because I’m not completely ashamed of it…
うわぁ、この質問受けてからもう二週間以上たってる。実に良い質問なので上手く答えたいと思っていて時間がたってしまいました。念のため言っておくと、私は圏論とか層とかは全く知らないので、ここで書いたもののうちどの程度がそれらで実現できるのかはわかりません。ただ、これらが実行できたとしても、やっぱりここに書いたような議論は「集合論らしい」ものではあると思います。私見では、現代集合論にとって一番重要なのは、ローカルな現象は十分に大きな正則基数κをとるとH(κ)上で把握することが出来て、するとH(κ)は集合なのでレーヴェンハイム・スコーレムの定理によって、濃度の小さい初等部分モデルMがとれることです。もう今の論文はそれを使うものばっかりです。これは実に集合論的な議論だと思っています。例えば、もっとも重要な強制法概念の性質の一つであるpropernessなどはこれを用いた定義がもっともよく使われています
デング熱報道で隠したかったものとは? この記事にたどり着いた方は、まず初めに下の記事から読むか あるいは平行して読むことをお勧めします。 まだデング熱だと騒いでいるのか!バカバカしい http://ameblo.jp/usinawaretatoki/entry-11921328997.html なぜ今回のデング熱報道がヤラセや捏造だとか勘ぐられるのかと いうと、下の国立感染症研究所のグラフを見ればわかります。 http://www.fastpic.jp/images.php?file=8254362838.png http://www0.nih.go.jp/vir1/NVL/dengue.htm 緊急注釈・国立感染症研究所のホームページがなぜか書き換え られています。 おかしいと思っていたら河野太郎氏のブログに国立感染症研究 所の経理の杜撰さが書かれてあり非常に怪しくなったそうです。 つま
Haskell has a diverse range of use commercially, from aerospace and defense, to finance, to web startups, hardware design firms and a lawnmower manufacturer. This page collects resources on the industrial use of Haskell. The main user conference for industrial Haskell use is CUFP - the Commercial Users of Functional Programming Workshop. The Industrial Haskell Group supports commercial users. Ther
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く