0.999... - Wikipedia
実数として "0.999…" と"1"は等しくなることを示すことができる（ただし、0.9999など途中で終了する小数は1と等しいと言えない）。この証明は、実数論の展開・背景にある仮定・歴史的文脈・対象となる聞き手などに応じて、多様な数学的厳密性に基づいた定式化がある[注釈 1]。 循環する無限小数一般に言えることだが、0.999… の末尾の … は省略記号であり、続く桁も 9 であることを示す。省略記号の前の 9 の個数はいくつでもよく、0.99999… のように書いてもよい。あるいは循環節を明確にするために 0.9、0.9、0.(9) などと表記される。 一般に、ある数を無限小数で表すことも有限小数で表すこともできる。本稿で示されるように 0.999… と 1 は等価性であるから、例えば 8.32 は 8.31999… と書いても同じ数を表す。十進数を例に採ったが、数が一意に表示されない
「アート・オブ・プロジェクトマネジメント」読書感想文（その6）
■仕様書など書く必要がないと信じているプログラマ 第7章「優れた仕様書の記述」は、こんな一文から始まる―― 「私は昔、仕様書など書く必要がないと信じているプログラマと議論したことがあります」―― 議論の顛末は予想通り。おそらく、このblogを読んでいる全員がこの話をしたことがあるに違いない。各人がどういう結論を持っていようとも、本章から新たな気づきが得られるはずだ。 なぜなら、「優れた仕様書とは何か?」について徹底的に考え・実践してきたことが記されているから。目の前の仕事にとって仕様書が必須/邪魔の話をしているのではなく、もっと本質的なことが書いてある。コードから仕様書を生成するツールとか、仕様書を書く上でのテクニック集といったものは、無い。根っこの部分「そもそもプロジェクトにおける仕様書の目的は?」とか「仕様書によってできること/できないことは何か?」について非常に明解に応えている。 で
「アート・オブ・プロジェクトマネジメント」読書感想文（その5）
■優れたPMは質問の達人 筆者は「優れた質問は優れたアイディアを惹きつける」という。では、優れた質問とは何か? ここでは5章で紹介される、アイディアを生み出す方法から、「質問」に焦点を絞って考察する。 焦点合わせの質問 創造的な質問 修辞的な質問 まず「焦点合わせの質問」から。プロジェクトのどんなフェーズであろうとも、質問者が誰であろうとも、最もパワフルな質問がある。わたし自身、ミーティングで必ずする質問。自問も含めると、一日に何回、この質問をすることやら。その「質問」は、反転表示で以下に記す。ドラッグの前に、ちょっと考えてみて欲しい↓ 解決しようとしているのは、どのような問題なのだろうか? 仕様書の記法について議論しているときも、不具合の正体を見極めようとしているときも、「問題の本質を定義しなおす」行為は、ホウレンソウ並に基本動作となっている。ものすごく重要なので、わたしの手帳の第一ペー
「アート・オブ・プロジェクトマネジメント」読書感想文（その4）
いまamazonを見たら在庫切れでやんの、ちょっと意地悪な気分になる。 本書のどのページにもヒントがある。PMな人も、リーダーな人も、ファシリテーターな人も、名前が違うだけで目的はいっしょ。読めば、あちこちに「それ知ってる・ジョーシキ」もしくは「言われて気づいた目からウロコ」のいずれかが埋まっていることだろう。 ■シンプルにすると、本質が見える これをスゴい本だと感心だけでなく、かなり気に入っている。なぜなら、著者の考え方がものすごくシンプルだから。ひょっとすると、"rule#1 : Be Simple!"という標語が壁に大書きされているのかも、と思うぐらい。 どれぐらいシンプルに考えているか、次の例で確かめてほしい。 スケジュールを極限まで簡素化してみると、どのようなプロジェクトでも、その実施期間は、設計、実装、テスティングという3つの工程に分類できます（p.30） 極限までシンプルにし
学生のためのベンチャー指南---A Student's Guide to Startups
学生のためのベンチャー指南---A Student's Guide to Startups Paul Graham Copyright 2006 by Paul Graham. これは、Paul Graham：A Student's Guide to Startups を、原著者の許可を得て翻訳・公開するものです。 <版権表示> 本和訳テキストの複製、変更、再配布は、この版権表示を残す限り、自由に行って結構です。 (「この版権表示」には上の文も含まれます。すなわち、再配布を禁止してはいけません)。 Copyright 2006 by Paul Graham 原文: http://www.paulgraham.com/mit.html 日本語訳：Shiro Kawai (shiro ＠ acm.org) <版権表示終り> Paul Graham氏のエッセイをまとめた『ハッカーと画家』の 邦訳
「アート・オブ・プロジェクトマネジメント」読書感想文（その3）
■何のための開発プロセスか? ソフトウェア開発のプロジェクトマネジメントの話になると、まちがいなく開発プロセスの話になる。そして、（わたしを含めて）みんな好きなんだよなー、今のプロジェクトに適用されていない開発プロセスの話をするのが。曰く、RADのメリット、XPの罠、FDDの将来性… 云々、隣の芝生はナントカというが、少なくとも今よりはマシという希望を味わいたいらしい。 しかし、本書は個々のプロセス論に拘泥しない。「○○を知りたかったら、△△の書籍・サイトを見るべし」で済ませている（←またその参照先が秀逸なのよ）。著者自身、さまざまな開発プロセスを修得→実践に適用してきた結果、誰もが知っているこの結論に達したからだろう→「銀の弾丸なんて無い」。高価な本に載っていたとか、有名なグルが誉めていたから、という理由だけで、うまく機能しない手続きに盲従しても、最悪の結果しか生み出さないという。わたし
「アート・オブ・プロジェクトマネジメント」読書感想文（その2）
これは、いわゆるHow to本ではない。プログラミングやテストと同様に、「こんなときは」→「こうする」なんて一問一答形式で答えられるような代物ではない。著者が、マイクロソフトInternet Explorerの開発プロジェクトで直面した問題と、それにどう取り組んできたかが書いてある。まさに宝の山。 ■PMにとっての最重要ツール プロジェクトは常に一度きりのもので、過去に類似プロジェクトはあっても、同じものは無い。やるたびに変化する不思議のダンジョンのようなものに、どのように取り組んでいけばよいのか ―― 誰もがブチあたるこの難題に対し、著者はとてもシンプルな方法で考える。同様に、本書を著す際に、この方法を適用している。つまり、 1. 「重要な話題」に、焦点をあてる 2. 「重要な順」に、実行する この方法・順番で本書は構成されている。重要な話題から順を追って説明されている。なんだあたりまえ
わたしが知らないスゴ本は、きっとあなたが読んでいる: 「アート・オブ・プロジェクトマネジメント」読書感想文（その1）
最近、マネジメント系の仕事ばかり振られるようになったので、予習のつもりで一読 したが、これはスゴい。読んでる途中から振り返り読みを繰り返し、再読も再々読もしなければならないことに気づいた。本書で紹介されるアート（技芸）は、How to モノと大きく異なり、根っこから考え→実践に適用し→フィードバックが必要なものばかり。 あ、最初に結論を述べておくと、これは今年のNo.1スゴ本なり。ふり返ると「No.1スゴ本」の称号をいくつかの書籍につけてきたが、本書は間違いなくNo.1だと言い切れる。読み手の経験に応じ、必ず得るものがある。概要はamazon紹介文をどうぞ（太字はわたし）。 「ものごとを成し遂げるためには何を行う（あるいは行わない）べきか」という実用的な視点からプロジェクトを捉えて、ものごとを成し遂げるための考え方やヒントを、スケジュール、ビジョン、要求定義、仕様書、意思決定、コミュニケー
奥修: 環境危機をあおってはいけない -コメント
<寄稿・書評論文> ビョルン・ロンボルグ著 『環境危機をあおってはいけない』 The skeptical environmentalistに関する幾つかのコメント 奥 修*1 http://www.nextftp.com/musaokuo/skeptical.htm （2004年4月16日HTML版・2004年12月2日PDF化に際して一部加筆・2005年1月27日最終稿） *1 環境管理技術研究部門 地球環境評価研究グループ 客員研究員 〒 305-8569 つくば市小野川16-1 産業技術総合研究所 つくば西事業所 平成17年2月 平成16年度 大気圏・水圏における粒子状物質の挙動に関する報告書（AIST 04-J00026） 独立行政法人 産業技術総合研究所 環境管理技術研究部門 地球環境評価研究グループ 別刷 ビョルン・ロンボルグ著 『環境危機をあおってはいけない』 The ske
「TCP/IPに係る既知の脆弱性に関する調査報告書」を公開：IPA 独立行政法人 情報処理推進機構
コンピュータをはじめとしたインターネットに接続する電子機器には、インターネットの標準的な通信手順を実現するためのTCP/IPソフトウェアが組み込まれています。近年では、一般のユーザが利用する情報家電や携帯端末などの電子機器にも使われるようになり、TCP/IPソフトウェアは広く利用されています。 これらのTCP/IPソフトウェアは、これまで多くのセキュリティ上の脆弱性が公表されてきました。脆弱性情報が公表されると、それに対応した対策情報も公表され、機器ごとに脆弱性対策が実装されてきました。これらの脆弱性は、内容を理解するためには高度な技術力を必要としますが、詳細な情報をとりまとめた資料がなく、このため、新たに開発されるソフトウェアにおいて、既に公表されている脆弱性対策が実装されていない場合が数多く見受けられます。 今回の調査報告書は、このような課題に対し、既に公表されているTCP/IPに係る
TSU-GCC 製作記
前のページ 次のページ 目次 TSU-GCC 製作記 住井 英二郎 (sumii@is.s.u-tokyo.ac.jp)1997 年 4 月 5 日 1. はじめに 2. 96 年 10 月 3. 96 年 11 月 4. 96 年 12 月 5. 97 年 1 月 6. 97 年 2 月 6.1 第 1 週 6.2 第 2 週 6.3 第 3 週 6.4 第 4 週 7. 97 年 3 月 7.1 第 1 週 7.2 第 2 週 7.3 第 3 週 7.4 第 4 週 8. 97 年 4 月 8.1 第 1 週 9. おわりに 前のページ 次のページ 目次
檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
プログラマのための述語論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
たまにやっている「プログラマのための××○○」モノでがんす。これは一回読み切り。 表題どおり、述語論理の入り口を説明する目的があります。それと、ラムダ式もクロージャも高階の型／関数もないようなプログラミング言語（具体例にはJavaを使いますが）で、述語論理のような形式体系をどの程度表現できるかを試してみるのが、もうひとつの目的。それで、「やっぱりJavaみたいな言語はダメだ」と思うか、「けっこう、なんとかなるもんだ」と思うか、… さー、どちらでしょう。 [追記]変なJavaのコードでワケワカになってしまうときは、「述語論理はJavaScripを使うべきだった」のJavaScriptコードを参照してください（面倒で、すみません）。[/追記] ※長いよ。印刷の時はサイドバー消えます。 内容： 最初に命題論理を一瞥＜いちべつ＞ 述語とは 述語の論理計算 これが述語論理のキモ：限量子 限量子のプロ
開発者のための正しいCSRF対策
著者: 金床 <anvil@jumperz.net> http://www.jumperz.net/ ■はじめに ウェブアプリケーション開発者の立場から見たCSRF対策について、さまざまな情報が入り乱れている。筆者が2006年3月の時点において国内のウェブサ イトやコンピュータ書籍・雑誌などでCSRF対策について書かれている記事を調べた結果、おどろくべきことに、そのほとんどが誤りを含んでいたり、現実的 には使用できない方法を紹介したりしていた。そこで本稿ではウェブアプリケーション開発者にとっての本当に正しいCSRF対策についてまとめることとす る。また、採用すべきでないCSRF対策とその理由も合わせて紹介する。 ■あらゆる機能がターゲットとなりうる ウェブアプリケーションの持つ全ての機能がCSRF攻撃の対象となりうる。まずこのことを認識しておく必要がある。 Amaz
わたしが知らないスゴ本は、きっとあなたが読んでいる: プロジェクト・マネジメント・プロフェッショナル資格試験対策
プロジェクトマネジメントプロフェッショナル(以下PMP)試験対策シリーズの入口です。「PMPって何?」ご興味のある方はこちらへどうぞ。 ここでは、 1.PMP試験対策で私が学んだことをまとめます 2.底本は以下の二冊です ・プロジェクトマネジメント知識体系ガイド(PMBOK2000) ・PMP Exam Prep 上記2冊は、既に古くなっています。現在はPMBOK3版およびそれに対応したRita本（PMP Exam Prepが出ています。詳細は画像のリンク先を参照してください。 【ご注意】 *誤訳、誤読による不備があろうかと。そのときは間違ってるぞｺﾞﾙｱ! ( ゜Д゜)とお叱りくださいまし *これは、自分の勉強のためにまとめる記事です。時にはPMBOKそのものにツッコミも入れるので、信じる信じないは自己責任でお願いします *ネタ元ページは、次のように示します ・PMBOK2000 の10
まつもとゆきひろのプログラミング言語論（1）
リスト2 動的型の言語で書いたソースコード<BR>Rubyで記述した。ソースコードで変数の型を宣言していないが，実行時にきちんと型整合性をチェックする。数値と文字列を加算しようとすると，エラーが出る。 プログラムを実行して初めて決まる事項が多い「動的言語」。柔軟性が高い，簡潔な表現が可能など複数の利点を持っている。さらに性能の問題などの欠点がコンピューティング環境の変化で目立たなくなってきた。速く柔軟な開発が求められる中で動的言語の存在感は増すばかりである。（本誌） LAMP（Linux，Apache，MySQL，Perl/ Python/PHP）という言葉（表1[拡大表示]）が注目されています。オープンソース・ソフトウェアを利用したソリューション構築を意味する造語ですが，プログラミング言語の代表として挙げられているのはどれも動的言語です。 以前は，企業システムをPerlやPHPのようなイ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ȫ書リスト: Fog Creek Softwareマム- The Joel on Software Translation Project
Technical documentation
Technical documentation
IBM Developer
