端的に説明するなら「正しく型付けされた項はおかしくなることがない」ことを学ぶための壮大な本。型に関する圧倒的な知識を持ち、説明がうまく、根気づよい人にのみ記すことができた英語の良書が、型システムを愛する訳者と監訳者、および(書中に名前が出てくる方も含む)豪華なレビュアの情熱によって翻訳された記念すべき書籍。税抜きで6,800円と高いが、それ以上の価値がある本である。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26メディア: 単行本（ソフトカバー） クリック: 68回この商品を含むブログ (11件) を見る 動的言語のプログラマと静的型付き言語のプログラマの間で、型についての議論が定期的に沸き上がる。今後、
― ひろゆきのネット炎上観察記 ― 【公序良俗に反するから？アップルが2ちゃん排除へ】 2chブラウザアプリ『GraffitiPot』の開発者が、アップルから「iOS向け2ちゃんねる専用ブラウザをAppStoreから排除する方向である」との連絡を受けたことが話題となった。理由は、「ポルノ画像や誹謗中傷が多いhttp://2ch.netを閲覧するブラウザである」とのこと。ネット上では「ツイッターと何が違うの？」など、アップルへ疑問を呈すコメントも ◆公開禁止は至極当然ですけど、今のiモードと同じになるかと この原稿を書いているのは、’13年の3月なのですが、最近では生まれて初めて持った携帯電話がスマートフォン(※1)だったという高校生が出てきているそうです。つまり、昔の携帯電話のように、数字のボタンがついているとか、赤の受話器のマークが電話を切るボタンである、とかってのは、若い人たちの間で
Mozillaの研究部門が2012年、「Rust」という新しいプログラミング言語の開発に注力することを決定した際、Mozillaが掲げる目標は控えめに言っても無謀であるように思われた。 しかし、Rustと、「GitHub」上にある次世代ブラウザエンジン「Servo」のテストベッドは今や、サムスンがその成功に向けてエンジニアリングノウハウを提供するほどのものになったようだ。両社が米国時間4月3日にこのことを発表した。また、Rustのバージョン0.6も公開された。 Rustは、C++に代わって、今日のヘテロジニアスマルチコアのハードウェアにより適切に対応でき、かつ、より安全なプログラミング言語を開発する試みだ。Mozilla ResearchのRustとServoに関するFAQによると、Rustでは、「あらゆる種類のメモリ管理エラー」に起因するクラッシュやセキュリティ脆弱性がなくなる予定だとい
DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中
Arashiyama, or “Storm Mountain”, is one of Japan’s designated Historic Sites and can be found on the western edge of Kyoto. The district features Shinto shrines, natural parks, and a stunning walk that winds through its bamboo forest. Take some time to explore even more of Arashiyama’s beauty through photos from others who have visited. Photos from * tathei *, Shibazo, Marser, Kevin Tadge / Laura
1 ：以下、名無しにかわりましてVIPがお送りします：13/03/18 17:35 ID:jvbRhf/w0 すいませんじゃなくて 理由を聞いてるんだけど？ 9 ：以下、名無しにかわりましてVIPがお送りします：13/03/18 17:36 ID:jvbRhf/w0 ここは学校じゃないんだよ いつまで学生気分なの？ 続きを読む
【翻訳】あなたの知らないGit Tips
Mislav Marohnićさんの "A few git tips you didn't know about" を翻訳しました。 元記事はこちら： http://mislav.uniqpath.com/2010/07/git-tips/ （翻訳の公開は本人より許諾済みです） 翻訳の間違い等があれば遠慮なくご指摘ください。 あなたの知らないGit Tips注意：いくつかのコマンドやオプションは Git の version 1.7.2 以降が必要です。 OS Xでは、 Homebrew で簡単にアップグレードできます： brew install git git log でブランチとタグも見る$ git log --oneline --decorate 7466000 (HEAD, mislav/master, mislav) fix test that fails if current d
アップルが準備中と噂される「廉価版iPhone」のデザインを予想したコンセプト画像が掲載されていました。［source: Business Insider ］ これまでに流れた噂や憶測によると、アップルは価格を抑えたiPhoneの別モデルを開発中で、筐体には樹脂(プラスチック)が採用されるとされています。 プラスチックときくと安っぽいイメージがつきまといますが、このコンセプト画像は「これならありかも」と思わせる魅力が感じられます。 筐体は半透明のプラスチックを使い、さながら1998年に発売された「iMac G3」のiPhone版といった印象です。 下はiMac G3のトレードマークとなった「ボンダイブルー」バージョン。 「iMac G3」は、アップルに戻ったスティーブ・ジョブズ氏が中心となって開発が進められ、そのデザイン性と低価格によって爆発的なヒットを記録。 瀕死の状態にあったアップルの
グーグルは、これまでChrome/Chromiumのレンダリングエンジンとして採用してきたWebKitをフォークし、新しいレンダリングエンジンの「Blink」をオープンソースで開発すると今朝表明しました。 グーグルのDeveloper Relations Japan Blogに投稿された「Chromium プロジェクトの新しいレンダリングエンジン Blink のご紹介」で、なぜWebKitからフォークしてBlinkの開発を始めるのか、その理由が記されています。 Chromium は 他の WebKit ベースブラウザーと違い、マルチプロセス アーキテクチャを採用しているため、WebKit プロジェクトと Chromium プロジェクトはここ数年複雑化の一途を辿ってきました。これにより、全体的なイノベーションの速度が低下してきたことは否めません。そこで本日、WebKit ベースの新しいオープ
Mozilla and Samsung Collaborate on Next Generation Web Browser Engine Mozilla’s mission is about advancing the Web as a platform for all. At Mozilla Research, we’re supporting this mission by experimenting with what’s next when it comes to the core technology powering the Web browser. We need to be prepared to take advantage of tomorrow’s faster, multi-core, heterogeneous computing architectures.
最近はネットの通販も普及して、住所を書く機会がますます増えている。しかし、あたらしい店で通販を申し込むたびに、リアルな住所を書かなければならないというのは、個人情報保護の観点からいうと、あまりうまい方法ではない。 先日DNSについて少し書いたが、もし住所にもDNSのようなものがあれば、これをもっとうまい仕組みにできそうに思う。通販などの申し込み時には、リアルな住所を書くのではなく、「エイリアス住所」みたいなものを書く、という仕組みだ。 「エイリアス住所」は、例えば宅配業者のサービスとして考えられる。通販などを利用するユーザは、あらかじめこの宅配業者の申し込み画面で、自分の住所を書いた上で、「エイリアス住所」を取得しておく。取得したエイリアス住所を、例えば「abcde12345」としよう。 これで、もし自分が利用する通販サイトが「エイリアス住所」に対応していれば、申し込み時にリアルな住所を書
The best of CES 2025Presenting our 12 finalists, plus the winner of our best in show award.
新しい技術領域を学びたい人に、“隣の領域”の勉強を勧める理由【連載:五十嵐悠紀】 2013/04/03公開 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻 非数値処理アルゴリズム研究室(NPAL) 五十嵐 悠紀 2004年度下期、2005年度下期とIPA未踏ソフトに採択された、『天才プログラマー/スーパークリエータ』。筑波大学 システム情報工学研究科 コンピュータサイエンス専攻 非数値処理アルゴリズム研究室（NPAL）に在籍し、CG/UIの研究・開発に従事する。プライベートでは二児の母でもある 4月になりましたね。新生活が始まった方もそうでない方も4月は何だか元気がみなぎっている時期。新しいことを始めようと考えている方も多いのではないでしょうか。 最近、「ユーザーインターフェース（以下、UI）を勉強したいのですが、何から始めたらいいですか？」といった相談をよく受けるよう
（１）これまでの経緯 漫画「黒子のバスケ」に関しては、昨年秋以降、上智大学において作者への脅迫状とともに硫化水素を発生させうる液体物が仕掛けられる事件が発生したほか、関連するイベントの中止等を要求する脅迫状が、当社をはじめとする全国各地の会場、イベント主催者、近隣施設等に相次いで送付されてきたところです。 こうした一連の事案が、同一人物によるものと必ずしも断定できるものではありませんが、上智大学において実際に犯行がなされていること、全国各地の同人誌イベントが中止を余儀なくされていることなどから、当社としても、過去のインターネットへの書込み事案等とは一線を画す、極めて深刻な事案であると受け止めてまいりました。 その上で、当社としましては、来場されるお客様の安全・安心を最大限に確保することが求められる大規模集客施設の管理者として、警察当局からの指導等も踏まえながら、事案が収束するまでの間、「黒
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
