フォーマルメソッド(形式仕様記述、Formal Methods)の教科書: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/07/29/5254538 高品質高信頼ソフトウェア開発の特別セミナー http://iiyu.asablo.jp/blog/2010/07/29/5254545 VDM++によるオブジェクト指向システムの高品質設計と検証 で書いた続き。 フ
まつもとゆきひろ氏のインタビュー: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 丹野さんから。 --- ここから --- 件名：まつもとゆきひろ氏のインタビュー 中村様、いつも面白い記事楽しみにしております。 ご存知かもしれませんが、 Rubyで有名な、まつもとゆきひろ氏（株・ネットワーク応用通信研究所）のイ ンタビューが何と、「にちぎん」という日本銀行広報誌に出ており
スクリプトエンジン、Virtual Machines(仮想マシン、VM)、ガベージコレクション(GC): ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 以下、いずれも未購入、未読。 http://www.amazon.co.jp/exec/obidos/ASIN/4797347627/showshotcorne-22/ スクリプトエンジン プログラミング (大型本) 坂本 千尋 (著) この本、アマゾンから、メールが来ていた気がするけど、はっ
中田育男著「コンパイラの基盤技術と実践」その２: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2008/07/08/3615983 中田育男著「コンパイラの基盤技術と実践」の続き。 だいぶ前に買って、ざっと見ました。 これ、フツーのコンパイラ本とは全然違いますね。 フツーのコンパイラ本は、言語理論や字句解析、構文解析などフロントエン
ガベージコレクション(GC): ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2008/09/04/3741480 ピンボールのリトルウイングの藤田さんと飲んだ＼(^O^)／ で書いてなかった、藤田さんと飲んだときに出た話題その２(その３まである)。 藤田さんが作った新Schemeのイプシロンで、並列ガベージコレクシ
CTM/CTMCP/ガウディ本で気になった訳語その２: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2007/11/14/1908371 CTM/CTMCP/ガウディ本で気になった訳語 の第２弾。 CTMの日本語版 http://www.amazon.co.jp/exec/obidos/ASIN/4798113468/showshotco
古典的バイナリサーチアルゴリズムにバグ: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- bajaさんから。 --- ここから --- こんにちは、bajaといいます。 ちょっと面白い記事を見かけましたのでお知らせします。 古典的Binary Searchのアルゴリズムにバグがあったという話がGoogleReserch の記事に載っていました。 実際SunのJDKのインプリも間違っ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
