メイヤー流の契約のあいだの強弱関係 - 檜山正幸のキマイラ飼育記 (はてなBlog)
メイヤー（Bertrand Meyer）の意味の契約とは、関数や手続きを機能の提供者（業者）、機能を利用する側を顧客とみなしての責務に関する約束事です。契約のあいだには、より強い（きびしい）契約、より弱い（ゆるい）契約という順序関係があります。この強弱の関係は、直感的に明らかなように見えても、誤解されがちな難しい概念です。 内容： メイヤー流の契約とは 契約が守られること＝妥当性 契約条件を集合で表現しておく 入出力に関する契約条件と責務 契約条件に関する推論 契約条件の強弱に関する注意 メイヤー流の契約とは 契約はソフトウェアの仕様記述の一部なので、曖昧性があっては困ります。契約は自然言語ではなくて論理式で書かれます。しかしとりあえず、インフォーマルな説明を先にすると； 機能の提供者が主語（私）となる契約の内容は次のようになります。 私が作業をする前に、コレコレの条件が満たされることを要
メイヤー流の契約となんでもケーキ屋さん - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の記事の補足。 メイヤー流の契約とは、ホーアの表明の変種に過ぎません。しかし、それを提供者（業者）と顧客のあいだの約束事という比喩を使った点がメイヤー先生の秀逸なアイデアです。そもそもメイヤー先生は比喩が大好きで、ときに牧場の牛だのカタマラン・ヨットだのと無理筋になってしまうこともあるのです。 今日は僕もメイヤー先生にならって、提供者にとって契約がきびしくなることについて、かなり強引な例え話をしてみます。 入力は持ち込みの素材、出力はケーキ すこし前に野菜を使ったケーキが話題になりましたが、柿沢安耶さんのお店はウチの近くです。例え話として、いろんな素材からケーキを作ってしまう架空のお菓子屋さんを考えます。 お客さんが何かしら素材を持ってくると、それからケーキを作ってしまう、というサービスがあるとしましょう。このサービスの要点をメイヤー流の契約で書けば、fがケーキを作る作業だとして re
金色ランボルギーニで浮上 名古屋の路上暴行死、自称会社役員逮捕 - MSN産経ニュース
名古屋市の繁華街「錦三」の路上で男性を暴行し死亡させたとして、中署は１１日、傷害致死の疑いで、同市千種区吹上、自称会社役員、水谷将典容疑者（３１）を逮捕した。 中署によると、水谷容疑者はイタリアの高級スポーツカー「ランボルギーニ」を運転して現場から逃走。中署は車体が金色と特殊だったことから同車種の持ち主をたどるなどして水谷容疑者を割り出した。 逮捕容疑は１０日午前７時ごろ、同市中区錦の路上で、同区大須、職業不詳、保坂昇さん（５５）に殴る蹴るの暴行のほか、立て看板でたたいたり、自転車を投げつけたりして傷害を負わせ、死亡させたとしている。 中署によると、保坂さんの死因は心臓挫傷とみられる。水谷容疑者は「間違いない」と容疑を認め、「直前まで酒を飲んでいた。保坂さんとは面識はない」と供述している。
草薙素子とはどんな人間だったのか─原作素子とSAC素子の差異 : 戦争だ、90年代に戻してやる
本稿はシリーズ「攻殻SAC解説＋考察＋dis」の第1回です。攻殻SACのファンには不愉快な表現が多々散りばめられているのでご注意ください。あとネタバレも満載ですのでよろしく。 まぁ褒める点の少ないアニメなんて星の数ほどあります。僕だって嫌いな作品ひとつひとつをを全力でdisるほど暇ではありません。ということで、放映以来数年間SACのことを忘れて生きてきたのですが、ここに来て事情が変わりました。
Some love for JavaScript applications
During our last hack week, Aakanksha Sarda and I set out to build a library that helps JavaScript developers use the Dropbox API. My main goal was to take “static” Web applications to the next level. However, the JavaScript library can be useful for any application that runs a significant part of its logic in the browser, as well as for node.js server-side code. If you prefer getting your hands di
Dropbox - Developers - Online backup, file sync, and sharing made easy.
DropboxStore, share, and access files across devices
オフラインWebアプリを実現するDropboxの新API「Datastore API」。Dropboxは実質的にBaaS市場へ参入した
オフラインWebアプリを実現するDropboxの新API「Datastore API」。Dropboxは実質的にBaaS市場へ参入した Webアプリケーションをオフラインの状態でも利用できるようにするには、オフラインのときに保存したデータを、ネットワークと接続したときにサーバと同期してくれるAPIが必要です。 しかし、データ同期のプログラムを作るのは非常に面倒です。データの差分だけを取り出して同期するアルゴリズムをどうするか、同期の途中でネットワークが切れたらどうするのか、同期待ちのデータが複数のデバイスに分散されていたら、どれを同期後に上書きするのか、などを解決しなければなりません。 Dropboxが発表した新API「Datastore API」は、オフラインに対応し、データを自動的に同期してくれる機能を備えています。オフラインWebアプリケーション普及のための道具が揃いつつあるのです。
Dropbox、「Dropbox Platform」構想と「3つの新機能」を発表！ | AppBank
AppBank の主任です。 Dropbox は、自社が主催している開発者向けイベント DBX で「Dropbox Platform」という構想を発表しました。 これに先駆け、サービス開始時の2007年には2人で開発を行っていた Dropbox が、今日では1億7,500万人が利用しており、「あると嬉しいサービス」から「生活必需品レベルのサービス」になったことを発表しています。 「Dropbox Platform」構想は、Dropbox の強みであるアプリ・サービス・デバイス間での同期・連携機能を強化し、Dropbox をデータ保存・同期のプラットフォームにすることを目指す取り組みです。 （Dropbox Platform のロゴ） （画像引用元：The Dropbox Blog » Blog Archive » Live from DBX） これに関連して、3つの新機能が公開されました。
ソチ目指す安藤美姫、最大の敵は「ジャッジの心証」 （日刊ゲンダイ） - Yahoo!ニュース
４月に女児を出産した安藤美姫（２５）が、この日（８日）は福岡市内で開催された東日本大震災の復興支援慈善アイスショーに出演。 あくまでもソチ五輪を目指す予定だというが、そう簡単にことが運ぶとは思えない。 「スケート連盟の中には今回のことでカンカンになっている人が少なくないですからね」 とは関係者。というのも、スケート連盟は昨年１０月のグランプリ（ＧＰ）シリーズの出場枠を与えたものの、安藤側がこれをドタキャン。この出場枠は安藤のこれまでの実績を評価した“温情”だった。 この時の安藤は１１年の世界選手権後に、長くコーチを務めていたニコライ・モロゾフ氏との契約を解消。新コーチが見つからない状態で、結局、「このままでは満足する演技ができない」と説明していただけに、一部には同情論もあった。 だが、今回の一件でドタキャンの理由が妊娠だったことが判明してしまったわけだ。スケート連盟が頭にくるのも
性が無くても多様性をつくれる細菌 - 大蝉超獣ゼミストラー
2013-07-11 性が無くても多様性をつくれる細菌 研究 細菌 生殖 次の蝉コロンネタかな。RT @PLOS: 'No sex please, we're bacteria': A new type of reproduction @PLOSBiology http://t.co/p8phuAVQw2 via @NBCNewsScience— Kazuharu Arakawa (@gaou_ak) 2013, 7月 10 とのツイートをお見かけしまして、いやーいくら僕でも下ねた連続はマズイっすよー（前回参照）マジマズイっすよーと思ったのですが、読んでみると存外真面目な話でした。いやいつだって真面目ですけどね、いつだって。リンクされてた記事：'No sex please, we're bacteria': A new type of reproduction - NBC News.com
社民党の福島みずほ党首が萌え化してFacebookに降臨
社民党の福島みずほ党首をアニメ調にした萌えイラストが、党の公式Facebookページで公開された。 イラストでは福島党首の横に、「比例区は社民党」「社民党はダンス規制撤廃！ 児ポ法与党案に反対！」というメッセージが書かれている。画像には「自民党の憲法改正草案は、『公益および公の秩序』の名の下に、表現の自由を規制できるとしています。一方、社民党は現憲法における「表現の自由」を求め、 クラブシーンにおける風営法ダンス規制撤廃！そして、児ポ法与党案に反対していきます！」というコメントも添えられている。 公式Facebookページの投稿 こちらはリアルの福島党首（公式サイト） ネット選挙運動が解禁された今回の参院選では、自民党がアプリを出したり、共産党がゆるキャラを使ったサイトを開設するなど、各党が工夫を凝らしている。 advertisement 関連記事 「無慈悲な質問」飛ぶも盛り上がりは控えめ
朝日新聞デジタル：ｉＰｈｏｎｅで電池残量表示 電動バイクが年末発売へ - 経済・マネー
ハンドルの中央部にｉＰｈｏｎｅを納めるケースがある＝テラモーターズ提供テラモーターズの新型電動バイク＝東京都江東区 電動バイクなどを手がけるベンチャー企業のテラモーターズ（東京都渋谷区）は、米アップルのスマートフォン「ｉＰｈｏｎｅ（アイフォーン）」をメーターのそばにつなぎ、電池の残量などを表示できる電動バイク「Ａ４０００ｉ」を年末に売り出す。１０日、発表した。リチウムイオン電池を使い、約４時間半のフル充電で約６５ｋｍ走行できる。税込み４５万円。家庭用の電源で充電でき、災害時などには蓄電池としても使える。ベトナムで２千台を限定生産し、排ガス対策が課題となっている東南アジアなどにも売り込む。スマホと連動しないモデルも来春発売する。 関連記事スマホで電源オン、７月から パナソニックのエアコン6/7スマホでトイレを自分好みに リクシルが対応便座を開発4/14レコメンドシステムによる自動選択最新ト
“仕事中マイ音楽”半数は不快、周囲の同僚が快く思わない理由は？
USENは7月10日、「仕事中に個人で音楽を聴くことに関する調査」の結果を発表した。 この調査は20〜59歳の会社員、派遣社員、公務員、契約社員を対象に、各世代100人×4世代、計400人から回答を得たもの。まず、「仕事中に、ヘッドホンや卓上スピーカー等で自分だけの音楽を聴くことがありますか？」と質問したところ、「仕事中にマイ音楽を聴く」は21.5％、「仕事中は音楽を聴かない」は78.5％だった。 次に、「仕事中に自分だけの音楽を聴く理由」について、複数回答で質問。その結果、「集中したいから」（68.6％）がダントツで、以下、「音楽が聴きたいから」（26.7％）、「周りから声を掛けられたくないから」（20.9％）、「周りの雑音が気になるから」（18.6％）、「気分転換したいから」（18.6％）、「一人になりたいから」（15.1％）、「テンションを上げたいから」（11.6％）と続いた。 さら
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Loading...
Tumblr
マンション:一室切り分け「脱法ハウス」…高収益をうたう－ 毎日ｊｐ(毎日新聞)