タグ

contractに関するkiyo_hikoのブックマーク (32)

  • とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis

    「より堅牢で正確性の高いソフトウェアを作りたいぜ!」と願う.NETデベロッパーお待ちかねの、 契約による設計(DbC)をサポートするCode Contractsが.NET Framework4より利用できるようになります。 C#をベースとして契約による設計をサポートする「Spec#」を利用するという方法もありますが、 学習負担を軽減するためにと、マイクロソフトは言語を意識しなくても開発者が利用できるように、 Code Contractsとして.NET Frameworkで契約をサポートしてくれました。 これは、オブジェクト指向および、オブジェクト指向プログラミングが大好きな.NET開発者にとって、とても良い知らせです。 わたしも待ち望んでいたうちのひとりです。ありがとうマイクロソフト!!という気持ちでいっぱいです。 VisualStudio2010が4月12日(米国)にローンチされることが

    とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis
    kiyo_hiko
    kiyo_hiko 2013/10/08
    「人が犯しうるミスを予め想定して設計することで、利用者に対して優しい製品となっています。性悪説を前提とすることで、良い結果が生まれています」
  • 【NHK受信料】 「契約書を交わしていなくても裁判所の判決をもって放送受信契約が成立する」…横浜地方裁判所 : 痛いニュース(ノ∀`)

    NHK受信料】 「契約書を交わしていなくても裁判所の判決をもって放送受信契約が成立する」…横浜地方裁判所 1 名前:わいせつ部隊所属φ ★:2013/06/27(木) 18:20:55.12 ID:???0 未契約でも受信契約成立と判断 NHKが受信契約に応じていただけない神奈川県の世帯に対して、契約の締結と受信料の支払いを求めた裁判で、横浜地方裁判所相模原支部は「契約書を交わしていなくても裁判所の判決をもって受信契約が成立する」という初めての判断を示し、受信料の支払いを命じる判決を言い渡しました。 この裁判はテレビの受信機を設置していながら繰り返しお願いしても受信契約に応じていただけない 神奈川県の世帯に対し、NHKが契約の締結と受信料の支払いを求めたものです。 27日の判決で横浜地方裁判所相模原支部は「放送法は受信設備を設置したものから一律に受信料 を徴収することを認めている。契約書

    【NHK受信料】 「契約書を交わしていなくても裁判所の判決をもって放送受信契約が成立する」…横浜地方裁判所 : 痛いニュース(ノ∀`)
    kiyo_hiko
    kiyo_hiko 2013/06/27
    受信機買うときに契約取りゃいいんでないの。
  • 「共働き希望」の男性とは結婚したくない

    私は、専業主婦希望ではない。 今の仕事は面白いし、自分に向いていると思う。 正社員で、30歳にして年収500万という待遇は恵まれているほうだと思うし、手離す気はない。 しかし、結婚して出産すれば、いくら手離す気はない、と言っても、手離さなければいけなくなる可能性がある。 うちの会社は、一応産休・育休の実績はある。しかし、それはあくまで「妊娠9ヶ月まで働き、産休とって、翌年の3月まで育休を取ってから復職」というラッキーな(そう、これはあくまでラッキーな状況なのだ)人の場合である。 昨年、妊娠初期に切迫流産で長期入院になってしまった先輩は、遠まわしに退職を迫られ、結局やめてしまった。 一度やめてしまえば、小さい子持ちの女性にとって、たとえパートでも復職は非常に難しい。まず雇ってくれる会社がないし、あったとしても今度は預ける保育園がなかったりするからだ。 そして、もしも産まれた子どもが病弱だった

    「共働き希望」の男性とは結婚したくない
    kiyo_hiko
    kiyo_hiko 2013/05/13
    うんうん。
  • システム化範囲がぶれていれば失敗する ― @IT自分戦略研究所

    プロジェクトの失敗例で多いのは プロジェクトの失敗で、一番多いのはシステム化範囲(スコープ)がいつのまにか大きく膨らんでしまい、納期も遅れ、コストも膨らんでしまうケースである。 このようなプロジェクトは昔から後を絶たないのであるが、その対策が十分に取れているとは思えない。今回は、このシステム化範囲がぶれる問題を考えていきたい。 なぜ、システム化範囲はぶれるのか システム化範囲がぶれる理由はいろいろあるが、その代表的なものを挙げてみる。 (1)「xxシステム一式」という契約書は意味があるのか そもそもシステム化範囲は明確になっているのであろうか。最近私が関与した会社で、ベンダから送られてきた契約書を見せてもらったが、そこに記載された委託内容は「生産管理システム一式」という文言が1行書かれているだけであった(図1。この契約書は、一体どういう意味を持っているのであろう。確かに金額や一般的な責任は

    システム化範囲がぶれていれば失敗する ― @IT自分戦略研究所
  • nakano_neko, 画像の右側が外注さんに頼んだソースコード。左側が僕が書きなおしたソースコード。...

    画像の右側が外注さんに頼んだソースコード。左側が僕が書きなおしたソースコード。 仕事をお願いしたのに、自分で修正するのって当にバカバカしい。 そういうプログラムにお金を払うって当にバカバカしくて涙がでてくる。 facebookに書いた文章なんだけど、ちょっと加筆して、tumblrに公開してみる。 外注さんを探す時の参考にしてもらえれば幸い。 作業が重なると自分のトコだけで捌けなくなる時が時々あるので、外注さんを増やす努力をしてる。 んで、先日・・・ ネット上で「プログラム組みます」的なセールスをしていた個人に仕事をお願いした。 ただ、最初から雲行きが怪しかった… 屋号を名乗るだけで個人名は開示しない、 こちらの名前は間違えたまま、指摘しても謝罪も無し・・・ ちょっと怪しい臭いはしたんだけど、技術には自信があるようなので簡単な仕事をお願いすることに。 まず、お見積りをお願いする。 お見積

    kiyo_hiko
    kiyo_hiko 2012/10/15
    右スカスカ…。
  • 痛いニュース(ノ∀`) : "SS席12000円" KARAら出演のK-POPライブ中止→主催者「韓国事務所に払ったので、購入者に返金できません」 - ライブドアブログ

    "SS席12000円" KARAら出演のK-POPライブ中止→主催者「韓国事務所に払ったので、購入者に返金できません」 1 :☆ばぐた☆ ◆JSGFLSFOXQ @☆ば ぐ 太☆ Mkつーφ ★ :2012/06/22(金) 10:19:15.93 ID:???0 チケット売れず韓流ライブ中止、主催会社破産で購入者へ返金なし。 6月30日、7月1日に開催を予定していた、韓流スターが集うライブイベント「K-POP IN豊岡・神鍋高原」が、急遽中止となることがわかった。主催会社のアンフィニジャパンが公式サイトで経緯を説明すると共に、7月中旬にも自己破産の申立をすると発表。しかし、チケット代金は「ほぼ全てを韓国プロダクションへの前金の支払及び開催準備費用に費消」と釈明し、チケット購入者への返金対応もしないと明言していることから、「詐欺なのではないか」「計画倒産か」といった声も挙がっている。

    kiyo_hiko
    kiyo_hiko 2012/06/23
    金ガメてドロンとか、数年前に2年分の料金25千円ぐらいガメられて2ヶ月で倒産した家賃保証のリプラス (社長:姜裕文) 思い出しちまった 詐欺師は死ね
  • フレイムヘイズ - Wikipedia

    フレイムヘイズは、高橋弥七郎のライトノベル作品『灼眼のシャナ』及びそれを原作とする同名の漫画・アニメ・コンピュータゲームに登場する架空の異能者の総称である。この項目ではその概要と、『灼眼のシャナ』に登場するフレイムヘイズ達について記載する。 強い力を持つ“紅世の徒”である“紅世の王”と契約し異能を得た元人間と、その『器』の中で休眠する“王”の、二人で一人を指す総称(ただし作中では、『器』である元人間のみを示す用例も見られる)。呼び名の由来は、契約の際に人間が幻視するこの世と“紅世”の狭間の光景「炎の揺らぎ(flame haze)」からきている。 その姓は、(特にヨーロッパ出身者に)音楽家由来のものが多い。 “紅世の徒”がこの世において“存在の力”を浪費すると、世界に歪みが生じる(灼眼のシャナ#“存在の力”に関する概念参照)。これに気付いた一部の“紅世の王”達は、この歪みが累積するとこの世と

  • 【小町】 「私の婚活の条件、そんなに高望みですか?」…40歳女性の投稿が話題に : 痛いニュース(ノ∀`)

    【小町】 「私の婚活の条件、そんなに高望みですか?」…40歳女性の投稿が話題に 1 名前: ウンブリエル(新疆ウイグル自治区):2012/05/13(日) 11:18:51.39 ID:IxpQM8rt0 40歳婚活で私が出した条件は、そんなに高望みですか? 40歳 女性 派遣社員をしています。ネットの婚活サイト、パーティなど、あまりお金がかからず気軽に利用できる方法で10年ほど婚活しています。昔から良く相談していた、仲の良い友人Aに言われた内容にモヤモヤしています。 私は実家に住んでおり、年収は280万円(税込み・大きめの地方都市です)です。身長163センチ細身体型で、色白、肌も年齢のわりに綺麗な方で、可愛らしい顔立ちで若く見えると良く言われます。友人や職場の人からも、 32〜35才位に見えると良く言われます。 【友人に話した私の希望する条件】 ・年齢40〜46才位 ・年収 最低600

    【小町】 「私の婚活の条件、そんなに高望みですか?」…40歳女性の投稿が話題に : 痛いニュース(ノ∀`)
    kiyo_hiko
    kiyo_hiko 2012/05/15
    結婚に求める条件がまずお金か。おっかねー
  • 東浩紀社長「俺が会社に来ないことを自主的に察してくれない社員は甘え」

    東浩紀 Hiroki Azuma @hazuma たとえば、ぼくがいまになってMLいっさい返信せずツイッターも閉じたとして、「東さんの回復をお祈りします」とかいいながら日々日常業務だけをこなしていきそうな感じがいまの社員には漂っている。しかしそれでいいのか? 東浩紀 Hiroki Azuma @hazuma そんな社員は現時点では要らないです。。RT @analogotoko: サラリーマンって、そんなものでは? RT @hazuma たとえば、ぼくがいまになってMLいっさい返信せずツイッターも閉じたとして、「東さんの回復をお祈りします」とかいいながら日々日常業務だけをこなしていき

    東浩紀社長「俺が会社に来ないことを自主的に察してくれない社員は甘え」
    kiyo_hiko
    kiyo_hiko 2012/05/09
    社長が出社しない日は自主性を発揮して行動せねばならぬ旨、労働条件に盛り込んでみては
  • BLOGOS サービス終了のお知らせ

    平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ

    BLOGOS サービス終了のお知らせ
    kiyo_hiko
    kiyo_hiko 2012/04/30
    「コンビニでバイト。寝坊でバイトを10分ほど遅れたときに、罰として、おでんを5千円分ほど店長に買わされた」…すげえ。私刑だ 労働契約もヘッタクレもないな
  • Part4 Eiffelに学ぶ「正しいオブジェクト指向」

    ソフトウェア開発コンサルタント。(有)デザイナーズデン代表取締役。要求記述やシステムモデリング,既存システムのリエンジニアリング,リファクタリング,フレームワーク設計,テスト,構成管理,文書化,プロジェクト管理などに関するコンサルティング,教育,開発,著述,翻訳等を手がける。対象ドメインはエンタープライズ・システムから,組み込み機器まで多岐に渡る。最近の関心事は信頼性の高い仕様記述手段の普及と実践。 オブジェクト指向言語といえば,現在ではC++Javaを思い浮かべる人が多いでしょう。こうした言語で正しいオブジェクト指向プログラミングを行うには,よく考えてクラスの設計を行う必要があります。ただ,正しい設計を行う能力は一朝一夕には身に付きません。こうした訓練に適した言語はないのでしょうか。あります。それがEiffelです。Eiffelは,正しいクラス設計をプログラマに強制します。 Eiffe

    Part4 Eiffelに学ぶ「正しいオブジェクト指向」
  • http://mbp-tokyo.com/win-pat/column/8581/