なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
Rubyを使って「なぜ関数プログラミングは重要か」を読み解く（改定）─ 前編 ─ 但し後編の予定なし
２年ほど前に書いた記事を電子書籍化して「M’ELBORNE BOOKS」で販売するために全体的な見直しを行なって入稿する段になって、これにはベースとなっている他者の論文があって言ってみればこの記事はそのマッシュアップになっているんだけれども、その著者の許可もなくその表現が全く別物だとしてもその主張のあらすじが残っている限りにおいてこれを販売することが果たしていいことなのかという思考に遅ればせながら陥り、それが仮に法的に問題ないとしてもなんだか一表現者の行為としての妥当性を幾分欠いているという結論に至って販売を思い留まった。かと言って折角書き直したものをこのままお蔵にするのもなんだか寂しいなあという気分も一方であり、まあ原作者の意に反したものでもないだろうからブログの記事なら許してくれるよねもう２年前にも書いちゃってるしという勝手な解釈の下、ここにその記事を公開しましたのでお時間の許すRub
無料すぎて助かった！WEB制作が「はかどる」素材まとめ
作成：2013/01/21 更新：2014/11/01 Web制作 > 無料素材のブックマークが無限に増えてきた そうだ！整理しよう 今回は一つ一つ紹介せず、すでに「素敵にまとめてあるサイト」をまとめました。まとめ系４８サイトのまとめです。 フォント、素材からレスポンシブ対応した初心者でもOKのWordPressテーマまで、全て無料です。 エンジニア速報は Twitter の@commteで配信しています。 もくじ １．日本語フリーフォント ２．海外のおしゃれなフリーフォント ３．国内の写真素材 ４．アイコン ５．ユニークな素材 ６．ベクター ７．Photoshop補助 ８．ワイヤーフレーム ９．レスポンシブなWordpressテーマ １０．スマホ用ページ テンプレート １．日本語フリーフォント 重複するのもありますが、以下のサイトでほとんどの無料系フリーフォントが揃うと思います。 201
エミール・ポスト - Wikipedia
エミール・レオン・ポスト（英: Emil Leon Post、1897年2月11日 - 1954年4月21日）は、アメリカ合衆国の数学者、論理学者。 経歴[編集] ユダヤ系ポーランド人の家庭に生まれ、幼いころにアメリカ合衆国に移住。コロンビア大学で数学の博士号を取得すると、ポストドクターとしてプリンストン大学へ。プリンストンでは Principia Mathematica の不完全性の発見に非常に近いところまでいった（1931年にクルト・ゲーデルが証明）。その後、ニューヨークで高校の数学教師となる。1936年、ニューヨークのシティカレッジの数学科で職を得て、亡くなるまで務めた。 コロンビア大学での博士論文で、ポストは他の様々なことと同時に Principia Mathematica の命題計算が完全であること（Principia の公理と置換規則とモーダスポネンスを与えられたとき、全ての恒
宇宙マイクロ波背景放射 - Wikipedia
宇宙マイクロ波背景放射（うちゅうマイクロははいけいほうしゃ、cosmic microwave background ; CMB）は、天球上の全方向からほぼ等方的に観測されるマイクロ波である。そのスペクトルは2.725Kの黒体放射に極めてよく一致している。 単に宇宙背景放射 (cosmic background radiation; CBR)、マイクロ波背景放射 (microwave background radiation; MBR) 等とも言う。黒体放射温度から3K背景放射、3K放射とも言う。宇宙マイクロ波背景輻射、宇宙背景輻射などとも言う（輻射は放射の同義語）。 CMBの放射は、ビッグバン理論について現在までに得られている最も確かな証拠と考えられる。CMBが1960年代中頃に発見されたことで、定常宇宙論をはじめとするビッグバン理論と対立する説への興味は失われていった。 標準的な宇宙論に
WMAPコールドスポット - Wikipedia
WMAPの観測データから作成されたエリダヌス座付近の宇宙マイクロ波背景放射(CMB)の温度分布のイメージマップ (円内の青色の部分が周囲より異常に温度が低いエリア) コールドスポットの存在は、欧州宇宙機関 (ESA)の宇宙背景放射観測衛星である プランク衛星による2013年の観測でも、同様の有意さで再確認されている(中央付近の濃い青が優勢な領域)。Celestia 3D描画ソフトにより作成されたイメージ WMAPコールドスポット（英: WMAP Cold Spot）または CMBコールドスポット（英: CMB Cold Spot）は、マイクロ波で観測した場合に宇宙マイクロ波背景放射 (CMB； cosmic microwave background radiation)の推定される特徴と比較して異常に冷たく大きな宇宙の一領域である。アメリカ合衆国の宇宙探査体、WMAP（Wilkinson
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MathPhys
Black Hole Complementarity and the Harlow-Hayden Conjecture