Software

☆金言、格言、名言

「Ｃ言語のデバッグの基本はやはりprintfを使うことだと思います」
－－－岸哲夫、ＧＤＢの解説記事の冒頭において

「文法学者はデータを複数扱いさせたがる。いずれ彼らはその戦いには敗れるだろうと予言しておく」
－－－ジョン・ダービーシャー

「コンピュータ言語の学習は生涯続くものです。」
－－－Robert Simmons, Jr, HardCore Java, 邦題『Java魂』

「虫を取っています」
－－－グレース・マレー・ホッパー女史、仕事の進捗への問いに対して（ハーバードMarkIIがリレー故障で誤動作したことがあったが、その原因は本物の蛾であった。それ以後、プログラム障害を bug というようになったらしい）

「使用する技術の不適切な選択、設計上の誤り、プログラマのスキル不足、顧客による開発途中での仕様変更、アクシデントによるスタッフの欠員など、ありとあらゆることが遅れの理由となります」
－－－「ずっと受けたかったソフトウエアエンジニアリングの新人研修」

「そのようなプロジェクトでは、メンバが次第に疲弊して集中力や創造性を失い、それが原因となって新たなミスを生み、システムが一向に完成しないという、負のスパイラルに突入することがあります。そのような状態を、その過酷さから『デスマーチ』と呼びます。」
－－－「ずっと受けたかったソフトウエアエンジニアリングの新人研修」

「あくまでも成果を出すことがプロジェクトの目標であることを忘れてはいけません。」
－－－「ずっと受けたかったソフトウエアエンジニアリングの新人研修」、プロジェクトマネジメントについて

「より小さい範囲だけを読んで理解できるのが『よい』コードです」
－－－青木峰郎

「たくさん機能を付けたいからといって、それを一度に全部実装するプログラマはいません」
－－－青木峰郎

「ソースコードから～という意図が読み取れれば、そのプログラムを理解したと言えます」
－－－青木峰郎

「この際はっきり言いましょう。ことコンピュータに関して、整頓は無駄です。」
－－－青木峰郎

「抽象化はそのものの概念に精通していないと、難しい作業です」
－－－竹政昭利

「プログラムは思った通りではなく、書いた通りに動く」
－－－プログラマに伝わることわざ

「デバッグの神髄はバグの発見と特定にあるのです」
－－－まつもとゆきひろ

「動作が期待する動作（仕様）と異なるとき、それをバグと呼ぶことにします」
－－－Hiro Yoshioka

「テストとデバッグは全く目的が違うプロセスだということを最初に理解しておきましょう」
－－－Hiro Yoshioka

「プログラムは人間が作り上げたものである以上、作者の言動に注目するのは当然の帰結といえます。」
－－－うさぴょん

「そうかと思えばじっと考え込んだりと（周りから見れば何もしていないように見えますが。。。)」
－－－上原祥市、『Windowsダンプの極意』

「ダンプ解析とは、ソフトウエアの問題を調査するための唯一の方法です」
－－－上原祥市、『Windowsダンプの極意』

「純粋で冷たいロジックの追及の果てに現れるのは、やはり人なのです」
－－－上原祥市、『Windowsダンプの極意』

「20%の機能が仕事の80%を達成するのに必要です」
－－－Jared P. Lander

「しばらくコマンドラインを使ってみれば、人生はもっと安らかなものになるでしょう」
－－－Jared P. Lander

「平成１７年現在の日本では、工学部の平均的大学生でおよそ高校１年生程度の数学力、同じく経済学部の平均的大学生では、およそ中学２年生程度の数学力しかないのが現状でございます」
－－－中川義行

「最近、かって自分が作成した素因数分解プログラムと三目並べプログラムをもう一度調べてみたのだが、残念ながらそれらにコメントやドキュメントと言えるものは一切ないのだ」
－－－Donald E. Knuth

「われわらが観察しているのは自然そのものではなく、我々の探求に対して明らかにされた限りの自然である」
－－－Werner Heisenberg

「真のバカでも使えるものを設計しようとして人々がよくやるミスは、真のバカのバカさ加減を過小評価することだ」
－－－Douglas Adams

「実際のところ、データを無視するというのが、精神の安定を保つ上で最も安易に最もよく行われているやり方だ」
－－－William James

Compared to what we ought to be, we are only half awake. We are making use of only a small part of our mental and physical resources.
－－－William James

「技術的な理由から、これらの弾頭は上下逆に格納する必要がある。つまり、下面が上、上面が下だ。上下を迷わないように各弾頭の下面に直に『上』と記すことになっている」
－－－英国海軍規則

「小さなシステムを拡大して作った大きなシステムは、元の小さなシステムと同じようには振る舞わない」
－－－John Gall

「自然の法則は神の数学的思考にほかならない」
－－－Euclid

「ドキュメントはセックスに似ている。よいときはすごくよいし、よくないときもないよりはましだ」
－－－Dick Brandon

「医者は失敗を墓に埋めることができるが、建築家は蔦を植えるようにアドバイスすることしかできない」
－－－Frank Lloyd Wright

「道具をくれ。道具さえあれば、見事にやってのけてみせよう」
－－－Winston Churchill

「技術を成功へと導くためには、ＰＲよりも現実を優先させねばならない。自然をあざむくことはできないからだ」
－－－Richard Phillips Feynman

「ソースコードだけ見ていればいいのなら、人生はずっと楽になるのだが」
－－－Dave Olson

「世界は、物事を実行しようとする人々と、名声を受けようとする人々とに分かれる。できれば、前者に属するよう努力するとよい。そのほうが競争はずっと少ない」
－－－Dwight Morrow

「答えは存在しない。クロスリファレンスだけが存在する」
－－－ワイナーの図書館の法則(「マーフィーの法則」)

「注意：このソフトウエアは世界を救うものではない」
－－－Jim Crafton

「やり方？やり方なんてあるわけないだろう。何かを生み出そうとしてるんだぞ」
－－－Thomas Edison

「具体的な方法が存在するとは、チューリング機械にできることだと見なそう」
－－－チャーチ

「あるプログラムが有限時間内に停止するかどうかを判定する具体的方法は存在しない」
－－－アラン・チューリング

「プログラムのテストは、バグの存在を示すことはできるが、不在を証明することはできない」
－－－エドガー・ダイクストラ

「プログラムを書いたことのないシステムエンジニアが威張っているような会社は早晩亡びる。」
－－－竹内郁雄

「コードを削ることで機能を追加しなさい」
－－－ジョン・ベントリー

「デザイナーが自分は完璧に達成したんだと分かるのは、付け加えるものが何もない時ではなく、取り去るべきものが何もない時である」
－－－サン＝テグジュペリ

「簡単なものから複雑なものになるのではなく、複雑なものの後に簡単になる。」
－－－アラン・パリス

「過度にパッケージを細かく分割するのはJavaコードにおいてよくみられるアンチパターンの一つです。」
－－－エリオット・ラスティ・ハロルド

「未熟な段階での最適化は、プログラミングにおける諸悪の根源」
－－－Donald Knuth

「こういった規則は役に立ちます。～中略～　ただ、それが経験則にすぎないことを忘れてしまうと、かえって仇になることがあります。忘れてしまうと、『行っているすべてのこと』は正しいけれど、それにもかかわらず大事な点が欠落してしまうような、そんな設計に終わってしまう可能性があります。」
－－－Michael Feathers

「プログラムが持つ構造すべてのもののうち、最もバグになる傾向が高いのは、入れ子になった条件文である。」
－－－？

「次世代プロセッサを購入すればプログラムはもっと速くなる、という考えに私たちは慣れ親しんで育ってきましたが、その時代はもう過ぎ去ったのです。次世代チップはより多くのＣＰＵを持ちますが、その個々のＣＰＵの速度は前年のモデルより速くはありません。ですから、自分のプログラムをもっと高速に実行したければ、並列プログラムの書き方を学ばなければなりません。」
－－－Herb Sutter and James Larus

「インターネットを使えば通信線でつながったハッカー達は世界じゅうどこからでも仕事ができる、などと言われているけど、そんな吹聴をしている奴等はカリフォルニアのごく狭い場所にあつまっている」
－－－Rishab Ghosh

「この１０年で、生物学は発達して情報科学になりました」
－－－Lincoln Stein

「当時はFortranやAlgolが加速度的に流行しつつある時代で、この新しい考え方に基づくシステムはその流行の陰にかくれてはいたが、それでも消滅することなしに確実に世界中に流布していった。～中略～狂信的ともいえる愛好者を持つことができたからであるといわれている。この一風かわったシステムといわれていたものが本書で述べるLispである.」
－－－中西正和、Lisp入門 1981年刊 近代科学社

「あなたがた各人が、コプロセッサがいくつ売れるか予想して数字を書き、それ以上１個売れるごとに１ドルを私にくれるなら、私は給料をもらわなくても結構です。」
－－－ジョン・パーマー、インテル８０８７の責任者。コプロセッサに市場は無いとみるマーケティング部門に対し。

「それは低俗さが勝利しなかったひとつの例である」
－－－ウイリアム・カーン、IEEE754の開発について

「膨大な数値データを眺めて、幅広く応用できる新しい解決策を引き出すことに大きな満足を覚える」
－－－ロバート・ピクスビー、CPLEXの開発者

「Woz was the first person I met who knew more about electronics than I did」
－－－Steven Jobs, １４歳で初めてスティーブ・ヴォズニャックと会ったときの回想

「There’s no reason we can’t build machines that think.」
－－－John, McCarthy

「シンプレックス法の途方もない威力は、たえず私を驚かせている」
－－－ダンツィグ、シンプレックス法発明者

「浮動小数点区間演算は厳密である」
－－－ファーガソン

「高次元の問題は、いわゆる”次元ののろい”のために、膨大な計算量を必要とし、いかに高速の計算機を使っても、解決に長時間を要するものが多い」
－－－伏見正則

---

☆OS、実行環境（未リンク）

☆開発ツール、開発環境（未リンク）

☆言語プロセッサ（未リンク）

☆ソフトウエアエンジニアリング（未リンク）

☆その他のツール（未リンク）

---

☆GPLなど

http://www.gnu.org/philosophy/license-list.ja.html

http://www.gnu.org/gnu/linux-and-gnu.ja.html

http://members.at.infoseek.co.jp/sakura_editor/comment-rule.html

☆参考文献

Binary Hacks, 高林他、オライリージャパン　2006/11/8

Linux 伊藤幸夫 2002/5/1 ナツメ社

Maxima入門ノート 1.2.1 中川義行 2005

プログラミング・テクニック 多治見寿和 アスキー 2003/12/2

http://cosmo.phys.hirosaki-u.ac.jp/wiki.cgi/maxima?page=%B9%E2%B9%BB%A4%CE%BF%F4%B3%D8

Java魂 R. Simmons Jr., 佐藤他監訳 2004/10/22 オライリージャパン

これならわかるOracle超入門教室 [第2版] 2007/7/30 アシスト教育センター 翔泳社

はじめてのSQLプログラミング 玉川純 2002/9/10 秀和システム

http://www.atmarkit.co.jp/fdotnet/tools/nunit2/nunit2_01.html

ずっと受けたかったソフトウエアエンジニアリングの新人研修 2009/4/9 大森他 翔泳社

ふつうのLinuxプログラミング 2005/8/4 青木峰郎 ソフトバンククリエイティブ

はじめて学ぶUML 2003/01/15 竹政昭利 ナツメ社

ソースコードリーディングから学ぶJavaの設計と実装 2006/12/25 佐藤匡剛 技術評論社

増補改訂版 Java言語で学ぶデザインパターン入門 マルチスレッド編 2006/3/31 結城浩 ソフトバンク・クリエイティブ

Debug Hacks 2009/4/22 吉岡他 オライリー・ジャパン

はじめてのVirtualBox 2012/7/25 清水美樹 工学社

Ubuntu上級活用マニュアル 2011/3/5 阿久津良和 技術評論社

例解UNIXプログラミング教室 2007/10/10 冨永、権藤、ピアソン・エデュケーション

実践デバッグ技法 2009/6/5 Matloff & Salzman 相川訳 O’REILLYジャパン

http://www.wakayama-u.ac.jp/~chen/cmake/cmake.html

http://hp.vector.co.jp/authors/VA025040/ctags/example.html

http://thinkit.co.jp/article/40/1/2.html

Binary Hacks, 高林他、オライリージャパン　2006/11/8

http://math.shinshu-u.ac.jp/~takase/max/maxima.pdf

Linux カーネル解析入門 平田豊 2006/1/20 工学社

http://www.math.s.chiba-u.ac.jp/~matsu/lisp/emacs-lisp-intro-jp.html#SEC_Top

やさしくわかるExcel関数・マクロ 西沢夢路 ソフトバンクパブリシング 2004/2/25

データを「見える化」するExcelピボットテーブル大事典 2007/4/2 寺田祐司 シーアンドアール研究所

Windowsダンプの極意 上原祥市 2008/11/28 アスキーメディアワークス

Excelで学ぶ統計解析　2003/4/9 涌井良幸、涌井貞美　ナツメ社

６０分でサクサク使えるパソコン「超」裏技ノート 2010/01/05 コスモピアパソコンスクール 青春出版社

http://www.atmarkit.co.jp/ait/articles/1005/14/news105.html

http://www.geocities.jp/m_hiroi/tcl_tk_doc/tcltk104.html

入門tcl/tk 久野靖 アスキー出版局

http://www.atmarkit.co.jp/fdotnet/ajaxjs/ajaxjs04/ajaxjs04_01.html

今すぐ始めるJavaScript 松尾他 インプレス 1997/1/1

Perl 青柳龍也 1997/3/3 工学図書

ActiveTcl 8.4.13.0 User Guide

ActivePerl User Guide

Rubyで作る奇妙なプログラミング言語 原悠 2008/12/25 毎日コミュニケーションズ

詳解 HTML&CSS&JavaScript辞典 2001/12/25 大藤、半場　秀和システム

http://d.hatena.ne.jp/perlcodesample/20091121/1246679588
http://www.ibm.com/developerworks/jp/xml/library/x-xmlperl1.html

10日でおぼえるPython入門教室 2009/5/28 穂刈他 翔泳社

Pythonチュートリアル 第２版 2010/2/23 Rossum著 鴨澤訳 オライリー・ジャパン

http://www.aoki.ecei.tohoku.ac.jp/~ito/python_windows.html

みんなのＲ 2015/6/22 Jared P. Lander 高柳、牧山、蓑田訳 マイナビ

楽しいＲ 2015/2/9 豊澤栄治 翔泳社

http://www.ice.gunma-ct.ac.jp/~kimsyn/verilog/FreeSim/iverilog/iverilog.html

http://www.stack.nl/~dimitri/doxygen/docblocks.html

GDBを使った実践的デバッグ手法 2007/12/1 CQ出版

Binary Hacks, 高林他、オライリージャパン　2006/11/8

http://www.notwork.org/~gotoken/mag/softwaredesign/

http://www.techscore.com/tech/ApacheJakarta/Log4J/1.html

APIで学ぶWindows徹底理解 日経ソフトウエア編集 日経BP社 2004/5/25

http://networkprogramming.blog18.fc2.com/blog-entry-61.html

http://www.max.hi-ho.ne.jp/shizuka/maxima/Maxima-i.html

Common Lisp入門 1986/7/18 湯浅、萩谷 岩波書店

http://phys.hirosaki-u.ac.jp/wiki.cgi/maxima

http://www.bekkoame.ne.jp/~ponpoko/Math/maxima/maxima_1.html

http://maxima.sourceforge.jp/maxima_5.html

http://www.bekkoame.ne.jp/~ponpoko/Math/maxima/maxima_9.html

これからはじめるVisual C# 2008, 木暮著, 秀和システム, 2008/5/1

http://ufcpp．NET/study/csharp/oo_dispose.html

C#クックブック　J Hilyard, S Teilbet, 鈴木訳 オライリージャパン, 2008/8/25

http://ufcpp．NET/study/csharp/

http://www.stackasterisk.jp/tech/dotNet/csharp07_02.jsp

http://dobon．NET/vb/dotnet/bigineer/

http://www.atmarkit.co.jp/fdotnet/dotnettips/449doublebufed/doublebufed.html

http://homepage3.nifty.com/midori_no_bike/CS/form.html

http://www.atmarkit.co.jp/fdotnet/dotnettips/458picboxdraw/picboxdraw.html

http://ufcpp．NET/study/csharp/sp_xmldoc.html

http://www.atmarkit.co.jp/fdotnet/teamdev/teamdev02/teamdev02_01.html

http://www.atmarkit.co.jp/fdotnet/special/generics01/generics01_01.html

http://www.atmarkit.co.jp/fdotnet/csharp_abc/csharp_abc_009/csharp_abc03.html

http://sgry.jp/pgarticles/assert_test.html

http://www.atmarkit.co.jp/fdotnet/csharp_abc2/csabc2_011/cs2_011_02.html

http://www.atmarkit.co.jp/fdotnet/onepoint/onepoint03/onepoint03_03.html

http://www.atmarkit.co.jp/fdotnet/mthread/mthread03/mthread03_01.html

http://www.atmarkit.co.jp/fdotnet/csharp_abc2/csabc2_014/cs2_014_01.html

http://msdn.microsoft.com/ja-jp/library/bb397906.aspx

http://ufcpp．NET/study/csharp/sp3_stdquery.html#orderby

http://homepage3.nifty.com/midori_no_bike/CS/graphics.html

http://www.atmarkit.co.jp/fdotnet/csharptips/010string/010string.html

http://ufcpp．NET/study/csharp/sp3_extension.html#abst

http://www.atmarkit.co.jp/fdotnet/csharp_abc2/csabc2_012/cs2_012_02.html

http://www.atmarkit.co.jp/fdotnet/dotnettips/429dictionary/dictionary.html

http://msdn.microsoft.com/ja-jp/library/cc825640.aspx

http://msdn.microsoft.com/ja-jp/library/ms228602%28v=vs.90%29.aspx

独習Java 第3版　ジョセフ・オニール著、トップスタジオ訳、SHOEISHA

http://www.unicode.org/

新ANSI C言語辞典 平林雅英著、技術評論社

コードリーディング　Diomidis Spinellis、トップスタジオ訳、毎日コミュニケーションズ

増補改定版 Java言語で学ぶデザインパターン入門 マルチスレッド編 結城浩著、ソフトバンク 2006/3/31

Elementary functions: algorithms and implementation, Jean-Michel Muller. – 2nd ed., 2006, Birkhauser
http://www.dspguru.com/info/faqs/cordic.htm

ビューティフルコード B.Kernighan他 Andy Oram, Greg Wilson編 久野禎子、久野靖訳 オライリー・ジャパン 2008/4/22

http://www9.plala.or.jp/sgwr-t/c/sec11-2.html

ケプラー予想 ジョージ・Ｇ・スピーロ 青木訳 新潮社 2005/4/30

Portraits of Success, Carolyn Caddes, Tioga publishing, 1986

岩波講座 応用数学11 確率的方法とシミュレーション 伏見正則著 岩波書店 1994/3/24

Dr, JamsaのC++超入門

やさしいC++ 第4版 2012/9/10 高橋麻奈 ソフトバンク クリエイティブ

http://cvwww.ee.ous.ac.jp/vc10prog.html#1

Cプログラムの中身がわかる本 2008/2/19 日向俊二　＆　ポチ 翔泳社

http://homepage2.nifty.com/well/Header.html

http://www.s-cradle.com/developer/sophiaframework/tutorial/Cpp/virtual.html

新版 明解C++中級編 2014/3/31 柴田望洋 SBクリエイティブ

http://codezine.jp/article/detail/1892?p=2

LLVM/Clang実践活用ハンドブック 2014/7/7 出村成和 ソシム

http://ppp-lab.sakura.ne.jp/ProgrammingPlacePlus/cpp/library/002.html