ソフトウェアにとって大事なこと： 正しさが判断できること - 檜山正幸のキマイラ飼育記 (はてなBlog)
良いソフトウェアとは何か？ という基準は人によって違うでしょう。機能が豊富、使いやすい、値段が安い、などの条件がありますよね。僕の関心と価値観から言うと、「正しさが判断できる」ことを重視します。良いソフトウェアの基準というよりは、むしろ、「これを満たさないとダメだよ」という基準なのですが、クリアするのは容易ではありません。 内容： 正しさが判断できるとは 挙動の予測可能性 事前状況の制御可能性 事後状況の観測可能性 まとめ 正しさが判断できるとは 正しいソフトウェアを作りたいと切望するのですが、そうはいってもソフトウェアは人間が作るもの、人間は間違うのでなかなか正しいソフトウェアは作れません。それは致し方ないことだと思っています。つまり、ソフトウェアはたいてい正しくないのです。できるだけ正しくしようという努力が続くだけです。しかし、もし正しさが判断できないなら、「より正しくしよう」という目
asahi.com（朝日新聞社）：療養費支給額「３兆円」 都広域連合がケタ違いのミス - 社会
印刷 東京都の区市町村で構成する都後期高齢者医療広域連合は、療養費の通知書１万８７９通について、実際の支給額より数十億倍も高い額が誤記された書面を送付した、と１６日に発表した。実際の支給額は１３５１円なのに、ゼロが１０個余分に付いて数字も変わり、「３５１００００００００００」、つまり３兆５１００億円と誤記された例もあったという。 同広域連合企画調整課によると、誤記が見つかったのは後期高齢者医療制度にもとづく高額療養費の４月分の支給決定通知書。１５日に発送した５万４００９通のうち、大田区の一部と足立、葛飾、江戸川各区の対象者全員に送る分で誤りがあった。誤記された人にも実際は正しい額が支給されているという。 同広域連合によると、通知書を作る際、職員がパソコン操作を誤った。支給額欄には１３桁の数字を入れることになっているが、１３５１円を支給する場合も千の位の「１」の前にゼロを９個入力しなけ
恋する赤の女王 - 蝉コロン
科学ちょっとタイトルの表現が婉曲的すぎた。病原体と宿主との終わらない進化の軍拡競争は、赤の女王仮説として知られているのだけれども、それにはやっぱりセックスが大事だよということを実験的に示した仕事。赤の女王仮説実験は昨年にも報告があって (http://www.nature.com/nature/journal/v464/n7286/full/nature08798.html)、細菌とそれに感染するファージで何かやってた。今回のはもちょっと高等な生き物で、共進化に有性生殖の意義をからめています。 走り続けなければ生き残れないwikipedia:赤の女王仮説「赤の女王」とはルイス・キャロルの小説『鏡の国のアリス』に登場する人物で、彼女が作中で発した「その場にとどまるためには、全力で走り続けなければならない（It takes all the running you can do, to keep
ロバストネスとゲーム性 - レジデント初期研修用資料
自然災害や悪意を持った第三者による攻撃、「うっかりした」、あるいは「運が悪い」職員によるヒューマンエラーは、すべてシステムを攻撃する外乱であると言える。外乱に対する安定性、ロバスト性の高いシステムを設計する際には、システムを「ゲームとして遊んで楽しい」ものにする必要がある。 「壊れない機械」を目標に設計を行うと、外乱に対する安定性は、むしろ損なわれてしまう可能性がある。壊れないことが求められたシステムは、しばしば「壊れることが許されない」システムへと変貌する。このことは結果として、外乱に対する安定を致命的に悪くしてしまう。 状況のコントロールとゲーム 「ルールからプレイヤが最適解を求めようとする」という関係が成立する時、それはゲームだと言える」 。 ゲームにおいて、ルールは一連の制約として設計される。システムをゲームとして設計することで、システムは外乱に対してルールを提示することができる。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
