『アンダースタンディング コンピュテーション』に続いて、『型システム入門―プログラミング言語と型の理論』を読む。 型システムの定義 システムが仕様通りに動作するかどうかを保証する形式手法と呼ばれるものにはいろいろあるけど、利用が難しい。もっと簡単に使えるような軽量形式手法として普及しており、確立されてもいるのが型システムである。 型システムとは、プログラムの書く部分を、それが計算する値の種類に沿って分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、計算量的に扱いやすい構文的な手法である。 (本書 p.1より) 型システム(型理論)には、論理学・数学におけるいろんな理論からの流れもあるけど、本書では、上記の定義にある通り、プログラムの動作に関する推論のためのツールという側面にフォーカスしてみていく。また、型システムを、プログラミングにおける項を値の性質によって分類し
2014-09-27 京都スマイルツウシンについて お知らせ 京都スマイルツウシンについて 京都スマイルツウシンは、2014年7月26日に京都市動物園で「サルのお勉強のお話」の熱弁が交わされている中、産声を上げました。 サルのお勉強のお話 http://www5.city.kyoto.jp/zoo/event/20140602-11262.html 目的といたしましては自分のような京都住民が読みたいと思った地域誌がWeb上で見当たらなかったのでそれなら自分でやるかという突発的な思いつきで運営をしている所存です。 インターネットらしく、あまり固くならないようにゆるく運営しておりますのでご不快な点があるかもしれませんがご了承のほどよろしくお願いいたします。 Facebookページ Twitter 非公認ゆるきゃら「神通力子」 京都スマイルツウシンは非公認ゆるきゃらの「神通力子」が書いていると
This feature is well established and works across many devices and browser versions. It’s been available across browsers since July 2015. Learn moreSee full compatibilityReport feedback 一般的に言うと、関数とは外部 (再帰の場合は内部) から 呼び出す ことのできる「サブプログラム」です。プログラムそのもののように、関数は関数本体 (function body) と呼ばれる連続した文で構成されます。値を関数に渡すことができ、関数は値を返すことができます。 JavaScript において、関数は第一級オブジェクトです。すなわち、関数はオブジェクトであり、他のあらゆるオブジェクトと同じように操作したり渡したりす
インテルは9月26日、同社の最新モバイル向けCPU「Atom Z3700」シリーズについての発表会を実施した。 グラフィックパフォーマンスが従来比1.2倍、普及価格帯に注力 Cステッピングとして提供されている最新のAtom Z3700シリーズ「BayTrail Refresh（開発コード）」は、最大で従来比3倍の性能アップと、同一性能において約1／5の消費電力の実現をうたう。同社クライアント事業開発部 事業開発マネージャーの山中徹氏は、「あらゆるタブレットの価格帯をカバーできる製品」であると自信を見せる。 BayTrail Refreshの大きな特徴の1つは、従来比約1.2倍のグラフィックパフォーマンスの向上だ。CステッピングのZ3745と従来品であるBステッピングのZ3740を「GFXBench 3.0」により比較した結果、スコアに約1.2倍の差がついたとしている。これについて山中氏は「
この連載では、一眼レフ初心者である私が自宅の猫をモデルに猫の撮り方をご紹介します。初心者ならではの、苦労ポイントややってしまった初歩的な間違いなども混ぜ合わせながらの連載となります。今日のテーマは「猫撮影のための使用カメラとレンズ一覧」です。 持っているカメラその1 3年ほど前に、Sony α NEX-5を購入しました。今はもう天国に引っ越していますが、先代の猫を撮影したいという思いからミラーレスの一眼レフをゲット。 軽くて扱いやすいので、あちこち移動しまくる子猫相手の撮影にはもってこいでした。 カメラピアスとかもつけると可愛い カメラ1：Sony α NEX-5で使用しているレンズ 使用レンズは下記の通りです。 広角：SONY E 16mm F2.8 SEL16F28 標準ズームレンズ：SONY E 18-55mm F3.5-5.6 OSS SEL1855 マクロ：Sony E 30
2014-09-27 やはり続けます。すみません 昨夜は抗鬱剤を約４倍ほど飲んでいました。 普段40錠くらいなので、160錠くらいですね。 心療内科の薬だけでは足りなくて、個人輸入、個人輸入だけでは足りなくて別な心療内科の薬を処方してもらったりしています。あんまり正常な状態ではないかもしれません。すみません。 色々なことに行き詰まって、リセット願望が発動したくなりました。包丁で手首を切ると痛いのはわかっていたので、身近なはてなブログをリセットしようと思った次第です。離婚相手と彼女が出て行くまで毎日暮らすって苦しくって。離婚したらしたで、胃がんの妻を放り出した自分への罪悪感は消えることがないので。 こういうリセット願望は今後も起きてくると思います。そういう時はどうか心配されるのではなく無視されるか、罵声を浴びせてください。その方が居心地が良いです。 すみません、やはりブログの方、続けさせて頂
以下のSamsungの決算をみて、衰退期に入るスマートフォン市場でOS/エコシステムを抱えない企業の憂鬱について考えた。 サムスン電子、7－9月業績はさらに悪化か - 朝鮮日報オンライン 詳しくは上の記事を読んで欲しいが、Samsungのは営業利益が四半期ごとに1兆－2兆ウォンのペースで減少している。以下の図がわかりやすい。 Samsungのスマートフォン自体のシェアはそれほど顕著に低下していないのだが、営業利益はピークの半分以下になっている。これは、プロダクトの衰退期によくみる現象で各社の差別要素がなくなっている中で、生産能力自体はピークに併せて作られているので、値段を落とさないと競争力が維持できず、結果的に利益が減少するという状況だ。 利益の70％以上を占めるスマートフォン事業の市場変化には、あのSamsungでは対応が難しく、また、Xiomiなどのはるかに安価なスマートフォンを提供す
イラク、シリアを中心に活動するイスラム過激派「イスラム国」は、スマホアプリ「死体時計」を公開した。イスラム国は欧米のジャーナリストを処刑する様子を動画サイトを通じて公開するなど、インターネットを利用したプロパガンダを強めており、今回の「死体時計」もその戦略の一環とみられる。 アンドロイド向け時計アプリ「死体時計」は２５日、イスラム国公式ウェブサイトからリリースされた。 美人女性が手書きのボードで現在時刻を知らせるアプリ「美人時計」から着想を得たものとみられるが、「死体時計」では美人の代わりに拘束されたジャーナリストに持たせたボードが現在時刻を表示する。表示するタイミングによっては、処刑後の死体が映ることもあるため、時間確認には注意が必要だ。 イスラム国のプレスリリースでは「現在はまだ数名の画像しか用意できていないが、最終的には毎分違った人物が楽しめるよう、これからも積極的にアップデートして
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
