タグ

モデルに関するgorimaru7のブックマーク (5)

  • 混合ガウス モデルを使用したクラスタリング - MATLAB & Simulink - MathWorks 日本

    混合ガウス モデルを使用したクラスタリングこのトピックでは、Statistics and Machine Learning Toolbox™ の関数 cluster を使用した混合ガウス モデル (GMM) によるクラスタリングについて紹介し、fitgmdist を使用して GMM モデルを当てはめるときにオプション パラメーターを指定する効果を示す例を提供します。 混合ガウス モデルによるデータのクラスタリング方法多くの場合、データのクラスタリングには混合ガウス モデル (GMM) が使用されます。GMM を使用して、"ハード" クラスタリングまたは "ソフト" クラスタリングをクエリ データに対して実行できます。 "ハード" クラスタリングを実行するために、GMM は与えられたデータにおいて、成分の事後確率が最大になる多変量正規成分にクエリ データ点を割り当てます。つまり、近似させた

  • MacBookAir欲しい日記改めSpinを使ったモデル検査入門 - nyanp::blog

    明けましておめでとうございます.今日はMacBookが欲しいので日語の情報がちょっと少ないので,修論関係で触っているモデル検査ツール,Spinについて軽くまとめてみます. モデル検査とは 厳密さに欠ける言い回しでアレですが,「間違いなく正しく動くソフトウェア」が欲しいときにどうするか.テストはバグの早期検出に有効ですが,テストで得られるのは 「テストで検査した範囲においてソフトウェアが仕様を満たす」 という結論であって,当然 「すべての範囲においてソフトウェアが仕様を満たす」 ことではありません.たとえば人工衛星みたいなクリティカルな組み込み分野だと,「そのコードで『人工衛星の角速度が発散しない』ことを証明できるのかねキミ?衛星はメンテナンスできないってこと位分かってるよね?」とか言われた日には,テストケースを書いた我が脳味噌の完璧さに全てを賭けるか,泣きながら宇宙服の調達を開始するかの

    MacBookAir欲しい日記改めSpinを使ったモデル検査入門 - nyanp::blog
    gorimaru7
    gorimaru7 2013/10/22
    モデル検査とは 厳密さに欠ける言い回しでアレですが,「間違いなく正しく動くソフトウェア」が欲しいときにどうするか.テストはバグの早期検出に有効ですが,テストで得られるのは 「テストで検査した範囲において
  • 人月 - ギークに憧れて

    2013-07-23 人月 入社する前からずっと人月について考えてる。 10年くらいずっと人月disられてるのに何でなくならないのか疑問だったけど、詰まるところは発注側(顧客)がソフトウェアを定量化して評価できないから労働対価という形で契約を結ばざるを得ないんだと思う。受託開発は顧客がコミットしてくれないと絶対良いものにはならないし、現状そういう姿勢を持ってるのはネット系のスタートアップが多いからソニックガーデンとか永和の価値想像契約とかが成立するんだろう。 でも大企業とかは悲惨で、特に金融とかはディフェンシブかつ丸投げでヤバいと思う。でもそういうリスクの保険屋みたいな感じで大手SIerえてるのも確かだと思う。そういう意味ではNTTデータとANAが成果報酬契約を結んだニュースは面白いなーと。 でも上記の様なモデルは昔は良かったんだけど昨今は通用しなくて、人月単価はどんどん下がって

    gorimaru7
    gorimaru7 2013/07/26
    このエントリには「一度作ったら継続的改善をしない」という前提がある。初期投資は大きいが、運用して継続的改善をしていくことにも価値を定義し、そのヒトに投資するという考え方もあるんじゃないかな?
  • CIM | DMTF

    DMTF’s Common Information Model (CIM) is developed and maintained by the CIM Forum. It provides a common definition of management information for systems, networks, applications and services, and allows for vendor extensions. The CIM standard includes a Specification and a Schema, as well as a Metamodel: CIM Management SchemaThe CIM Schema provides the actual model descriptions. Management schemas

  • kuranukiの日記 - ディフェンシブな開発 〜 SIビジネスの致命的欠陥

    Rubyをはじめとするスクリプト言語ではなく、なぜJavaを選ぶのか。 そして、XPをはじめとするアジャイル開発ではなく、なぜウォーターフォールを選ぶのか。 そこには、言語の良し悪しや、開発プロセスの考え方などが理由の中心にあるわけではなくて、SIerというビジネスの仕事の仕方(ビジネスモデル)に起因している。 RubyやXPは、考え方や技術としてはとても良くて、生産性もあがるし、何よりもソフトウェアをクリエイティブに作り上げることができ、利用者にとっても使い勝手がよく、スポンサー(経営者)にとっても経営戦略に沿ったものが手に入り、開発者にとっては何よりも仕事に対してやりがいを感じることができる。すばらしい!・・・・が。。。 しかし、だからといって、誰でもRubyやXPを使って開発をするべきか、というとそうではない。もし、質を理解しない誰かが、「やってみたいのだが・・・」と相談に来たら、

    kuranukiの日記 - ディフェンシブな開発 〜 SIビジネスの致命的欠陥
  • 1