x + 0.25 - 0.25 = xが成り立たないxとは何か｜Rui Ueyama
スタンフォードのコンピュータサイエンスの授業で、ときどきこれは良問と思う問題がテストで出ることがある。僕の印象に残っているのは「xをfloatとするとき、x + 0.25 - 0.25 = xが成り立たないxを求めよ」というものだ。浮動小数点数を理解していないと、両辺が同じにならないケースがあるほうが不自然に思えるだろうから、この問題は浮動小数点数の奇妙さを結構うまく突いていると思う。この問題を元に浮動小数点数についてちょっと説明してみよう。 まずコンピュータ上での数について少し考えてみよう。コンピュータにおける数と、数学の整数や実数は、よく考えてみると全然違う。コンピュータは有限の記憶領域しか持っていないので、無数にある数を表すことが根本的にできない。つまりコンピュータ上の数は「本物の数になるべく似せた別の何か」だ。現実的には、例えば32ビットの数なら2^32パターンしか表せないので、そ
計算量はコンピュータ性能論の「入り口」にすぎない--専門家が語る、IT屋に知っておいてほしい基礎知識
情報処理における全国のエキスパートが一堂に会したリクルート主催の「春の情報処理祭」。HPC（High Performance Computing）研究分野の専門家である、京都大学の中島浩教授は、HPCの役割や速さの秘密について説明するとともに、HPCがビジネス全体にもたらす影響を語ります。コンピュータの性能を生かすために知っておくべき、HPCの基礎知識とは？（春の情報処理祭in京都より） ハイパフォーマンスコンピューティング(HPC)とは 中島浩氏：（BGM「Let It Be」を流しながら登場）さすがにビートルズの「Let It Be」ぐらいは知っているかな。皆さんが生まれるずいぶん前の歌ですけれども。 『アナ雪（アナと雪の女王）』というのがあって、あっちは「Let It Go」なんですね。こっちは「Let It Be」で、何が違うのか。英語のニュアンスはほとんど同じなんですけれども「L
自作CPU向けCコンパイラをつくってOS動かした話 (CPU実験まとめ) - kw-udonの日記
僕の学科では伝統的に3年の後期に半年かけてCPU実験というものをおこなう。 班で自作のアーキテクチャを設計・実装し、FPGA基板上でMinCaml(OCamlのサブセット)でかかれた課題用レイトレーシングプログラムが動けば単位がもらえるというものである。 レイトレ完動後には、その高速化にはげむもよし、余興としてゲームをつくるもよしで、自作CPU上で色々あそんだりする。 今年は有志で班を結成し、自作CPU上でxv6というOSを動かした。 僕はその班にCコンパイラ係として参加したので、そのことについてかく。 あと、OS移植班全体の成果についても触れる。 わりと長くなってしまったので、結局なにができたんだっていう人は、とりあえず先にこっちに飛んでほしい。 動機 期間は4ヶ月程度、配布されたFPGA基板のうえで動かしたいという制約のもとで移植するOSはxv6を選択した。 このOSはシンプルであるが
弱LisperがMITでSICP(シクピー)を受講した結果 - Qiita
SICPとは何か Structure and Interpretation of Computer Programsという古めかしい表紙の本をご存知でしょうか? これはもともと、マサチューセッツ工科大学(Massachusetts Institute of Technologies; MIT)の電気工学および計算機科学(Electrical Engineering & Computer Science; EECS)系の学部の授業の一本目として提供されていた同名の授業から発生した教科書です。教科書は無料公開されています。 HTML版 http://mitpress.mit.edu/sicp/full-text/book/book.html Kindle版 https://github.com/jonathanpatt/sicp-kindle PDF版 https://github.com/s
このコンピュータ書がすごい！2015のランキングと参加レポート（長文）（動画追記あり）
2015年1月10日にジュンク堂池袋店で開催された「このコンピュータ書がすごい！2015新春座談会 －2014年に出たコンピュータ書ならこれを読め！－」に行ってきましたのでレポートをつらつらと書いていきますね。 最初に言っておきますが、怖ろしい文量というか、紹介書籍量なので時間のあるときにでもゆっくり読んでもらうことをお薦めします。 このイベントは、日本Rubyの会代表でありプレゼンの高橋メソッドでお馴染みの高橋征義さんのマシンガントークでコンピュータ関連書籍をひたすら紹介するというもの。19時30分にスタートして、終了したのは21時45分。ジュンク堂の担当者さんが「時間、超ヤバイ！！」という泣きカンペを出すぐらい、濃密なイベントでした。 【追記】技術評論社さんの公式チャネルに動画が上がってました。 2014年すごいコンピュータ書総合ランキング 1位 リーダブルコード 2位 インフラ／ネッ
図書館員のコンピュータ基礎講座
サイトを閉鎖しました。 トップページに掲載していたとおり、このサイトは、図書館員のためにICTに関する知識・知恵を掲載するという趣旨で提供してきました。 私は元々ICTの知識がなかったため、業務上の必要により調べた内容などを自分用のメモとして作成しPC内に蓄積していました。そして、しばらくして、それを新人職員研修にも用いるようになり、さらにWebに掲載するようになったという経緯でこのサイトを開始しました。 図書館業務に必要なICTに関する情報は多様かつ膨大です。必要が出てから勉強を開始していては間に合わないことも多くありました。また、ICTを初心者に分かりやすく簡潔に解説している書籍やサイトも多くありませんでした。そのため、必要になった時に取っ掛かりとして利用できる初心者に分かりやすいサイトとなることを目指して更新を重ねてきました。 しかし、ICTの刷新や改訂の頻度は高く、その内容を正しく
第25回 Rackとは何か（3）ミドルウェアのすすめ | gihyo.jp
前回、前々回の記事では、Rackの生まれた背景、Rackとは何か、実際にRackアプリケーションを作る際に使えるものをご紹介しましたが、もう一つまだ説明していない重要な要素がRackにはあります。今回は、そのミドルウェアという仕組みについてご紹介します。 ミドルウェアとは ミドルウェアとは何かを一言で言うと、「別なアプリケーションをラップして、リクエストやレスポンスを加工したり、処理を切り換えたりするRackアプリケーション」です。 この仕組みがあることで一体何ができるのでしょうか。Webアプリケーションを作っていると、リクエストやレスポンスをアプリケーションに行く前やアプリケーションの処理の後に加工したくなることはよくあります。例えば、条件に応じてURLの書き換えをしたり、エンコーディングの変換をしたり、Cookieの処理をしたり…といったことが日常茶飯事です。こういう処理を、サーバと
Google Hacks 第3版
ベストセラー書『Google Hacks』の改訂第3版。Googleブログ検索、Googleマップ、Googleホームページ、Google Analytics、Google Readerなどにも対応しました。新たに利用できるようなった特別構文についての解説を追加し、旧版で紹介したGmailやGoogleデスクトップの利用、携帯端末やGooleアドワーズの活用方法なども現状に合わせ細部に渡って改訂しました。進化したGoogleをさらに使いこなすためのテクニックが満載です。 監訳者まえがき 本書に寄せて クレジット まえがき 1章 Web検索 Google Web検索の基本 フルワードワイルドカード 特別構文 特別構文の演算子の組み合わせ 検索オプション クイックリンク 言語ツール 検索結果の分析 表示設定 GoogleのURLを理解する 1. Googleディレクトリ 2. Googleトレ
CとGNU開発ツールによる組み込みシステムプログラミング 第2版
組み込みシステムは、DVDプレイヤー、携帯電話、自動車、医療機器、さらに人工衛星に至るまで、あらゆる電子機器に使われていますが、それぞれ固有のハードウェアをターゲットにするため、その開発には幅広い分野の知識が必要です。本書は、C言語の基礎的な知識を持っている読者を対象に、組み込みシステム開発に必要不可欠な内容（ハードウェアの基礎、構築手順、デバッグ、割り込み、最適化など）を、豊富なサンプルコードを使って解説します。第1版（『C/C++による組み込みシステムプログラミング』）からは、C言語とGNU開発ツールを使った解説への変更、組み込みLinuxシステムとeCosに関する記述の追加などの改訂が行われました。 まえがき 訳者まえがき はじめに 1章 はじめに 1.1 組み込みシステムとは何か? 1.1.1 歴史と将来 1.1.2 リアルタイムシステム 1.2 目的の多様性 1.2.1 共通のシ
bkブログ
bkブログ プログラミングやバッドノウハウについてのブログ 2004-2011年に書いていたブログのアーカイブです。 机の上のもののワイヤレス化 - Microsoft Arc Keyboard の導入 iPodは何を変えたのか? 人が問題にぶち当たったときには、どうするか? ソフトウエアの肥大化について、の続き ソフトウェアの肥大化について ある程度の年齢を迎えたプログラマが抱える悩み Unicode の雪だるま 設定ファイルの整理 - Emacs 編 設定ファイルの整理 - zsh 編 パターン、Wiki、XP ～時を超えた創造の原則 マッキントッシュ物語 - 僕らを変えたコンピュータ GNU diff の地味だけど便利な機能 C++ の string と vector の reserve() の挙動 暗号化 - プライバシーを救った反乱者たち Best Software Writin
ゲーム感覚でプログラミングを学べる小型PCキット「Kano」を使ってみました - GIGAZINE
Raspberry Piを使って簡単に組み立てられる小型PC「Kano」は、独自のOS「Kano OS」を採用し、プログラミングを「Minecraft」などのゲームを通して学習できる学習キットで、Kickstarterで1億円以上の資金を集めることに成功した大人気プロダクトです。そのKanoがGIGAZINE編集部に到着したので早速組み立てて「ゲーム感覚プログラミング」を試してみました。 Kano - Make a Computer http://www.kano.me/ ◆開封 Kanoのパッケージは明るいオレンジ色。 このかわいいキャラは「Kano」君。 裏面もこんな感じのイラスト。 箱をスライドさせるとやはりかわいいイラストが描かれたダンボール箱が出てきました。 裏面まで凝ったデザイン。 ダンボール箱を開けるとKanoのキット一式が登場。 中身を全部並べるとこんな感じ。 これがKan
Ruby嫌いがアンダースタンディングコンピュテーションを読んで - ぐるぐる～
アンダースタンディング コンピュテーション―単純な機械から不可能なプログラムまで 作者: Tom Stuart,笹田耕一(監訳),笹井崇司出版社/メーカー: オライリージャパン発売日: 2014/09/18メディア: 大型本この商品を含むブログ (2件) を見る 一番最初にはっきりさせておきますが、Rubyは嫌いな言語です。 が、この本はRubyが嫌いな自分でもいい本だと言える*1本でした。 自分が対象読者に入っているかどうかは実際に読んでみるまで微妙かな、と思っていましたが、とても楽しめました。 以下、書評です。 Rubyという選択 説明用のコードとして本書はRubyを使っていますが、 これに関してはその理由が1章にあります。 私はその明瞭さと柔軟さに魅かれてRubyを選びました また、続けて 本書にはRuby独自の機能に依存しているところはありません。 そのため、もしあなたにとってわか
Making Software
ウォーターフォールモデルは間違いだったのか？コピーペーストは悪なのか？バグの総数は予測できるか？正確に見積もるためには？パーティションは不要か？大勢でのコードレビューは無駄なのか？ペアプログラミングの効用は？プログラマの生産性は測れるか？――ソフトウェア開発における数々の疑問に、バリー・ベーム、スティーブ・マコネルをはじめとする著名なソフトウェア工学研究者、アーキテクトたちが答える珠玉のエッセイ集。納期遅延、コスト超過、品質低下といった負の連鎖を断ち切り、プロジェクトを成功に導くためのヒントがここにあります。 目次 「アーキテクティング：いつ、どれだけ？」を巡って（推薦のことばに代えて） 訳者まえがき まえがき 第Ⅰ部エビデンスの探究と利用に関する一般的原理 1章 有力なエビデンスを求めて（ティム・メンジース、フォレスト・シュール） はじめに エビデンスを巡る現状 信ずるべき変化 コンテキ
アンダースタンディング コンピュテーション
本書は計算理論をRubyでわかりやすく紹介する書籍です。コンピュータサイエンスの主要なテーマである「計算とは何か」という問いに対して、難しい数学の知識を利用をせず、Rubyを使って実際にプログラムを作りながら解説します。さらに、なぜこれらのアイデアが大切なのか、そしてそのアイデアは我々の日常的なプログラミングにどう関係していくのかを解き明かしていきます。日本語版ではまつもとゆきひろさんによる「日本語版まえがき」を収録。プログラミングの根底にある理論を学ぶことで、より広く深くプログラミングを考えたいプログラマ必携の一冊です。 監訳者によるサポートページ 目次 日本語版まえがき はじめに 1章 Rubyひとめぐり 1.1 対話型 Rubyシェル 1.2 値 1.2.1 基本データ 1.2.2 データ構造 1.2.3 Proc 1.3 制御フロー 1.4 オブジェクトとメソッド 1.5 クラスと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 改訂新版 コンピュータの名著・古典100冊: 石田晴久, 青山幹雄, 安達淳, 塩田紳二, 山田伸一郎: 本
CODE コードから見たコンピュータのからくり: 本
Amazon.co.jp: コンピュータはなぜ動くのか～知っておきたいハードウエア＆ソフトウエアの基礎知識～: 久雄,矢沢, 日経ソフトウエア: 本
Amazon.co.jp: ふつうのコンパイラをつくろう: 青木峰郎: 本
Amazon.co.jp: 計算機プログラムの構造と解釈 第2版: ジェラルドジェイサスマン (著), 和田英一 (翻訳): 本
マンガで分かるプログラミング用語辞典一覧
