コンパイルは(テストではなく)証明である - あどけない話
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- Edsger W. Dijkstra 静的型付き言語では、コンパイル時に型が検査される。この型検査に関連して型推論という機能を持つ言語がある。型推論は、大きく分けて2つの意味で使われているようだ。 命令型言語の多くに見られる型推論：型検査の過程で、省略された型を補うこと 関数型言語の多くに見られる型推論：未知の型を変数として方程式を立て、方程式を解いて未知の型を求めること。型推論自体が型検査の役割を果たす この記事では、後者の型推論を話題にする。 静的型付き関数型言語の利点として、よく「コンパイルはテストである」という説明がなされる。プログラムは式で
ゆーすけべー日記
サキとは彼女の自宅近く、湘南台駅前のスーパーマーケットで待ち合わせをした。彼女は自転車で後から追いつくと言い、僕は大きなコインパーキングへ車を停めた。煙草を一本吸ってからスーパーマーケットへ向かうと、ひっきりなしに主婦的な女性かおばあちゃんが入り口を出たり入ったりしていた。時刻は午後5時になる。時計から目を上げると、待たせちゃったわねと大して悪びれてない様子でサキが手ぶらでやってきた。 お礼に料理を作るとはいえ、サキの家には食材が十分足りていないらしく、こうしてスーパーマーケットに寄ることになった。サキは野菜コーナーから精肉コーナーまで、まるで優秀なカーナビに導かれるように無駄なく点検していった。欲しい食材があると、2秒間程度それらを凝視し、一度手に取ったじゃがいもやら豚肉やらを迷うことなく僕が持っているカゴに放り込んだ。最後にアルコール飲料が冷やされている棚の前へ行くと、私が飲むからとチ
サーバエンジニアが「開発力」を持つ意味 - Gosuke Miyashita
初出: Software Design 2009年4月号（2009年3月18日発売） 宮下 剛輔 サーバエンジニアの定義 本特集では、サーバエンジニアが開発力を持つことにより、どのような力を得ることができるのか、日々の業務にどのように役立てることができるのか、具体例とともに紹介します。 本題に入る前にまずはここでのサーバエンジニアの定義を明確にし、特集全体のコンセプトについて説明します。 クライアント/サーバ型のシステムを考える場合、サーバ側は大まかに以下のようなレイヤーに区分できます。 アプリケーションレイヤー ミドルウェアレイヤー OSレイヤー ネットワークレイヤー これらのレイヤーのうち、ミドルウェアレイヤーとOSレイヤーを主担当とするエンジニアを、本特集記事でのサーバエンジニアと定義し、対象読者と想定します。その中でも特に、オープンソースソフトウェア（OSS）をメインで扱うエンジニ
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
プロシージャ - Wikipedia
この項目では、コンピュータプログラムにおける用語について説明しています。その他の用法については「手続き」をご覧ください。 プロシージャ（英: procedure）とは、コンピュータプログラミングにおいて複数の処理をひとつの単位にまとめておき、呼び出し可能にしたものをいう。日本語では手続きとするのが定訳である。一連の処理を意味を持ったひとまとまりにすることで、再利用性が高まり、プログラム中に繰り返して現れる処理を1ヶ所で記述でき、プログラムの保守、管理を容易にする。 繰り返し利用されることから、ルーチン（routine）ともいう。呼び出し関係は通常階層構造をなし、その最上位にある、プログラム全体のエントリーポイントを含むルーチンをメインルーチン（メインプログラム）、呼び出されるものをサブルーチン（サブプログラム）という。また、プログラミング言語によっては関数（function）と呼ばれること
詳細設計（プログラム設計）とは何か - システム開発のノウハウ -
詳細設計を行うことで、プログラミングに必要な仕様を 明確化することになります。必要な情報を漏れなく記載し、 仕様バグをできるだけ取り除くことが必要です。 詳細設計では、内部設計で設計したシステムの各機能をより詳細化し、実際にどのような処理を行ってプログラムを動作させるかを決めていく。プログラマは詳細設計書を元にプログラムを実装していくため、プログラマに分かりやすい表記で設計していくことが求められる。
Javaの道：JavaBeans（１．はじめてのJavaBeans）
JavaBeansの概要 JavaBeansとは、ある機能を一つにまとめたクラスです。再利用可能なプログラムを可能にするために、Javaの仕様で規定されています。ある機能を一つにまとめているため、そのJavaBeansを様々なプログラムから利用することができます。 Webアプリケーションでは、JavaBeansは主にデータ操作に使用します。データ管理のプログラムをJavaBeansで定義し、Servlet・JSPからJavaBeansを通してデータ操作を行います。JavaBeansで管理されているデータのことをプロパティといいます。 WebアプリケーションでのJavaBeansの役割についてはJavaの道：基本事項(開発モデルMVC2)を参照してください。 JavaBeansの作成 JavaBeansを作成する上での一般的な考慮事項を説明します（すべてのJavaBeansに当てはまるわけで
Webデザインやプログラミングなどの勉強に良さそうな国内のブログ記事やWebサイトいろいろ
いよいよ2011年がスタートしました。 今年も去年同様、勉強することが 沢山あります。まだモチベーションが そこそこあるうちに勉強になりそうな 国内の記事をリンク集にしました。 迷ったときに見てみようかなと思い ます。 より最適な方法というのはあると思いますが、まずは扉を叩かない事には何が悪いかも分かりません。ということで、内容に拘らず、否の意見をスルーしてここに色々まとめさせて頂きました。 勉強したい気持ちはあるけど出来ない理由は「何を始めればいいのか分からない」という方も、何が出来るのか、どういった勉強法で出来るようになるかが分かればやる気が起きるかも知れません。 5分で分るシリーズ以前も流行ったんですね。Web関連以外も含めてここにまとめられています。 5分で分かる PHP を知らない人が PHP の便利さを学べる記事を書いたよ5分でわかる Ruby を知らない人が Ruby の便利
初心者の作ったプログラムにありがちなこと：アルファルファモザイク
デフォルトの名無しさん :2008/03/09(日) 01:30:08 ポインタ変数を宣言しただけで、そこにメモリの平原が広がっていると妄想する。 6 デフォルトの名無しさん :2008/03/09(日) 01:37:15 変数の型が何バイトかわかっていない。 7 デフォルトの名無しさん :2008/03/09(日) 01:38:43 タブインデックスが設定されてないとか、ウインドウは可変になってるのにコントロールの配置は固定になってるとか、 OK、キャンセル系のボタンでフォームを閉じる時には後始末の処理をやってるけど、×を押されると対応してないとか。 8 デフォルトの名無しさん :2008/03/09(日) 01:48:52 メニューバーがなく、OKボタンで終了する。 9 デフォルトの名無しさん :2008/03/09(日) 02:03:21 C#なのにクラスがない
http://freeek.jp/blog/video/1777/
See related links to what you are looking for.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
: _
“遠隔操作ウイルス”事件、専門家らは実行ファイルの扱いでギャップ痛感？ 
ドットインストール - 3分動画でマスターする初心者向けプログラミング学習サイト
http://www.cpa-lab.com/tech/0143
いい感じなUIのPHPの投票プログラムのダウンロード＆チュートリアル:phpspot開発日誌
404 Error - File Not Found
YouTube - GrandVJ+QuartzをiPhoneで動かす