AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
「悪い方が良い」原則と僕の体験談｜Rui Ueyama
ソフトウェアの世界には「悪い方が良い」原則という有名なエッセイがある。キレイにレイヤ分けされた一貫性のある良いデザインよりも、一見手抜きの悪いデザインのほうが実は良いときもあるという話だ。この逆説的なデザイン原則を僕は身をもって体験したことがある。それについてちょっと書いてみようと思う。 僕はlldというリンカの現行バージョンのオリジナル作者だ。リンカというのはコンパイラと組み合わせて使うもので、実行ファイルやDLLを作るのに使用される。lldはプロダクトとしてはかなり成功していて、標準のシステムリンカとして採用しているOSがいくつかあったり、GoogleやFacebookなど皆が知っているような大規模サイトの中で広く使われていたりする。 現在のlldは2世代目で、第1世代のlldは僕がプロジェクトに参加する前から存在していたのだけど、数年前にそれを捨てて一から書き直すということになった。
ドメインとデータ、サブジェクトとオブジェクト、および、事実は常に事実であり、真実は常に仮説である、という話 - たなかこういちの開発ノート
先日参加の「PHPメンターズセミナー」には相当に触発されました。本記事はその勢いのままに書いたエントリーとなります。 ※下記記事もご参照ください。 →《PHPメンターズセミナーに参加してきました》 〜・〜 突然ですが、下図は、視点Aから見ると対象物は四角に見えて、視点Bから見ると三角に、視点Cから見ると円に見えるという様子を表したものです。一つの同一の対象物なのに視点によって見え方が異なる、という現象を説明するのによく使われるようです。 図１：四角、三角、円の三面図 例えば、渡辺幸三氏が下記記事にて、ご自身の「三要素分析法」を説明するのに用いています。『一つの開発対象システムだが、「データモデル」、「機能モデル」、「業務モデル」の三つの異なる視点、観点がある。各観点での設計をそれぞれ行って擦り合わせることで、対象システムの実体が浮かび上がる。』、、、このような趣旨の説明をされています。 I
Rubyist Magazine - スはスペックのス 【第 1 回】 RSpec の概要と、RSpec on Rails (モデル編)
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0062 号 バックナンバー Rubyist Magazine 0062 号 Kaigi on Rails 特集号 RubyKaigi Takeout 2020 特集号 Rubyist Magazine 0061 号 Rubyist Magazine 0060 号 RubyKaigi 2019 直前特集号 Rubyist Magazine 0059 号 Rubyist Magazine 0058 号 RubyKai
MVCは死んだ。MOVEするときがきた - きしだのHatena
Conrad Irwinさんの「MVC is dead, it's time to MOVE on.」を訳してみました。 MVC is dead, it's time to MOVE on. この訳文も原文のライセンスを引き継いでCC-BY-3.0ライセンスで利用可能とします。 追記13:58 すでに訳してた方がいました。MVCの時代は終わった。MOVEを使い始めましょう。 - ふじこのプログラミング奮闘記 MVCは死んだ。MOVEするときがきた MVCはすばらしいアイデアだ。モデルを持ち、モデルは内部に少しの状態をもつ。ビューは内部に少しのUIをもつ。そして、コントローラは内部に少しの・・・ 何を持つ？ 私は確かにこのことに気づいた最初の人物ではない。しかし示されたようなMVCの問題のために、あなたは最後には過剰なコードをコントローラに詰め込むことになる。なぜなら、他にどこに入れていいか
pukiwiki、はてなトップページの妙な恐怖感
尾野（しっぽ） @tail_y 先週のことだけど、会社にいる女の人がtwitterクライアントを入れるという話になった時にググってこのページを見せたのだけど、後々、このサイトが「怖かった」という話を聞いた。普通のpukiwikiページ。 http://bit.ly/HdaHR 2010-03-08 11:49:50 нσυѕαι тσяυ／縫采 徹 @firty_housai 何があった…RT @tail_y: 先週のことだけど、会社にいる女の人がtwitterクライアントを入れるという話になった時にググってこのページを見せたのだけど、後々、このサイトが「怖かった」という話を聞いた。普通のpukiwikiページ。 http://bit.ly/HdaHR 2010-03-08 11:50:38
我的春秋: パンくずリストのマークアップ
ちょっと前に パンくずリスト（Topic Path）を作成する際に使えそうなサンプル8種（CSS HappyLife）というエントリーが盛況でしたが、今日はパンくずナビゲーションの論理構造面を補強する意味も込めて、(X)HTML マークアップの例を、サイト構造やサイトの目的に応じて、いくつか挙げてみました。CSS の話まで入れると長くなるので、今回は（も？）(X)HTML マークアップに話を絞ります。CSS については、特にセレクタまわりが結構 変わってしまいますが、ひとまず、HirasaWa さんのエントリーなどを参照してください。（気が向いたら、別エントリーを立てますけど、実際に書くかどうかは未定。） 階層型構造（tree structure） ［2006-02-11 追記］ 石川一靖さんより、「セマンティクスを重視するならa要素にrel/rev属性を加えてリンクの関係性を明示するのが
sta la sta - カッコいいロゴをデザインするためのノウハウ集
Before & After | Email article: 0363 Design a logo of letters 魅力的なサービスや企業には魅力的なロゴがつきもの。例えばflickrなんかは一目でそれと分かるインパクトの強いロゴデザインを採用している。 あなたもただ英字を並べる以上のカッコいいロゴをデザインしたいのなら、こちらのサイトで配布しているドキュメントが参考になると思う。 この『How to design a logo of letters』というドキュメントでは、英字ロゴを作る際にどういう並べ方をするとカッコ良くなるかを実例を挙げて説明してくれている。 どれもこれもちょっとした工夫なのだけど、その工夫があるのと無いのとでは、見る人に結構違う印象を与えると思う。ぜひとも全部覚えておきたい。 これから新規にサービスや製品をリリースすることを考え中の方は、ロゴを考える前にぜひ
ブログちゃんねる:使えない営業やにわか知識の制作者が良い案を駄目にする
営業：「校正持ってきたよ〜」 デザ：「なんですか？ この追加の文字素材原稿は．．．。」 営業：「だって、ここの白場がもったいないって担当者がいうから．．．。」 デザ：「で、そのまま持って帰ってきたの？」 営業：「そうだけど。なにか？」 でざ：「あのさ、これってポスターだよね。ちらしじゃないよねぇ。 ここの白場があるから、このボディに目がいくって説明したよねぇ。」 営業：「うるさい、指示通りにすれ！」 デザ：「しかも、この追加原稿入れるとポスターにしちゃ、すげぇ小さい級数になるけどいいの？ しかも、『このイラスト使ってください』って指示、 雑誌のイラストのコピーが追加に入ってるんだけど、許可取れてるの？」 営業：「許可って？ なにの？ 難しいこと言ってないでチャッチャッと修正してよ」 デザ：「・・・ダメだこりゃ」 （デザ：直接クラの担当者に確認の電話--追加・修正の理由を聞く）） デザ：「お
L'eclat des jours(2006-10-06)
_ C#ジェネリックの確認 別に確認するまでもないが、.NETのGenericsがシンタックスシュガーではないことを確認してみた（追記：つい<T>をそのまま書いてブラウザーに食われていたので修正）。 public static void Main() { List<int> lg = new List<int>(); lg.Add(4); System.Collections.ArrayList lo = new System.Collections.ArrayList(); lo.Add(4); System.Console.WriteLine(lg[0] + (int)lo[0]); } 単なるシンタックスシュガーであれば、lgとloに対して生成されるILは同一になる。しかし、実際には異なる。 IL_0001: newobj instance void class [mscorlib]
svnseeds’ ghoti! - 日本語で上手な文章を書くには：10の「べからず」
やや唐突ですが僕の友人のユダヤ系アメリカ人から面白いメモをもらったので、本人了解のもと転載します（名前は一応仮名にしておきます）。原文は英語ですが適当に訳してみました。事実誤認など突っ込みどころ満載なんですがあまりに面白いのでそのままにしてあります。 僕から見ると皮肉が利きすぎているように思うのですけど、本人はいたって大真面目のようです（笑）。どっかに載せるつもりなんだろうか。止めといた方がいいと思うけどなあ。わはは。 日本語で上手な文章を書くには アイザック・シュワルツ（仮名） 私たちには日本の公立学校に通う小学6年生の娘がいる。彼女は小学生になる前から日本で暮らしているため日本語には不自由していないのだが、毎年の夏休みの課題でどうしても良い評価をもらえないものがある。読書感想文だ。 日本の小学校には課題図書というものがあり、全国の小学生たちはみな同じ本を読んでそれについて感想文を書くこ
ブログマーケティング勉強会議の締め切りについて - IDEA*IDEA ～ 百式管理人のライフハックブログ ～
ドットインストール代表のライフハックブログ
写真の色からブログのカラースキームを生成 - pic2color - sta la sta
http://pic2color.com/ これはかなり革新的かつユニークなサービスだと思う。 ブログのデザイン変更では、レイアウトの設計はもちろん重要だけど、さらにはブログの配色を考えることも大切な一要素だ。 全体を寒色で統一しようとか、アクセントにどの色を使おうとか、可能性は無限大だからこそ、バランスの取れた格好のいいカラースキームを考えることは結構難しいと思う。 そこで、ブログのカラースキームを写真の配色具合から生成してみようというのがこのpic2colorというサービス。 どういう具合に写真からブログのカラースキームが決定されるかは、ぜひこちらのデモをお試し頂きたい。 選択した風景写真の色合いそっくりにブログのカラースキームが変更される様が分かると思う。 pic2colorはまだテスト段階ということで、実際どのようにカラースキームが生成されて提供されるかは不明だけど、一般公開された
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
[ruby-dev:42387] Re: [Ruby 1.9-Feature#3946][Open] Array#packのqQ指定子に機種依存サイズフラグ!を追加
サービス終了のお知らせ
» 25 Code Snippets for Web Designers (Part1)
中間色を生成してくれる·Color Blender MOONGIFT
http://news.moongift.jp/i-2859.html
Amazon.co.jp：エモーショナル・デザイン―微笑を誘うモノたちのために: 本
i d e a * i d e a - 使える2.0系カラーパレット
