エイトクイーン問題をAlloyで解いてみる - 檜山正幸のキマイラ飼育記 (はてなBlog)
「自然数の区間をAlloyで書いてみる」より： ある目的から、自然数の区間 {0, 1, 2, ..., n} の性質の一部を抽象した構造が欲しくなりました。 「ある目的」とは、エイトクイーン問題を解くことです。 Wikipedia: エイト・クイーン エイトクイーンは、「ある条件を満たすパターンを検索して列挙する」タイプの問題のなかでも典型的なモノです。Alloyにやらせるにはウッテツケの例題でしょう。 内容： エイトクイーン問題を解いた結果 問題の分析と定式化 Eightの定義 エイトクイーン問題の定義 解の検索 結果のエクスポートと加工 結果の表示 Alloyサーバーが欲しい エイトクイーン問題を解いた結果 次は、Alloyアナライザーが見つけてきたエイトクイーン問題の解のひとつです。 縦・横・斜め、どの方向の直線上にも、2つのクイーン（「Q」と書いてある）がいないような配置になって
livedoor Techブログ : なんでもありのWebアプリケーション高速化バトル、#isucon 開催のお知らせ
こんにちは、ライブドア技術部会の櫛井です。 Webサービスの高速化に取り組んでいる全てのエンジニアに存分にその腕をふるってもらうべく、ライブドアがサーバ100台を準備してイベントを行います。いい感じにスピードアップコンテスト、略して ISU Contest (Iikanjini Speed Up Contest) #isucon です！レギュレーション事前公開、細かいルール無用のチームバトル。腕に覚えのあるエンジニアにはぜひ参加していただきたい！ なお、参加者募集の開始は7月28〜29日頃を予定しています。Ustream等による中継はございませんので、ぜひ直接ご参加ください！ レギュレーション概要 レギュレーション詳細は後日、参加募集の際に全て発表します。現状は概要のみでご容赦ください。また詳細が変更される場合があります。(参加応募開始時に公開するものからは変更されません。) ライブドアが
linuxで httpd が使ってるメモリ総量を調べる話 - kazuhoのメモ置き場
Perl等のLLでウェブアプリケーションサーバを書いていると、普通はマルチプロセスモデル (apache なら prefork とか) で運用することになると思う。で、それらがどれだけメモリを使っているか、っていうのはチューニングにおいて重要になってきたりする (んじゃないかと思う) けど、そもそもメモリの総使用量をどうやって測定するのか。 20:20追記: PSSを使ってワンライナーで測定するのが簡単 (コメント欄参照)。kosakiさんありがとうございます。 $ sudo perl -le 'for my $p (@ARGV) { open my $fh, "< /proc/$p/smaps" or die $!; map { /^Pss:\s*(\d+)/i and $s += $1 } <$fh> } print $s' `pgrep plackup` 914325以下は初回投稿時
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ソフトウェア信頼性の基礎 －モデリングアプローチ－: 山田茂: 本
