協力ゲームと非協力ゲームの区別はジョン・ナッシュが1951年に発表した「非協力ゲーム[33]」という論文の中で初めて定義された[34][35][36]。ナッシュの定義によれば、協力ゲームにおいてプレイヤー間のコミュニケーションが可能でありその結果生じた合意が拘束力を持つのに対して、非協力ゲームにおいてはプレイヤーがコミュニケーションをとることが出来ず合意は拘束力を持たない[34]。このように当初はプレイヤー間のコミュニケーションと拘束力のある合意（英: enforceable agreement）の有無によって協力ゲームと非協力ゲームとが区別されていたが、非協力ゲームの研究が進展するにつれてこのような区別は不十分なものとなった。すなわち、1970年代に非協力ゲームを「展開形ゲーム」で表現する理論が発達したことによって、非協力ゲームにおけるプレイヤー間のコミュニケーションが情報集合として記述

mermaid.jsとは JavaScriptのチャート作成ライブラリです。他にも似たようなのは色々ありますが、これ一本でフローチャート、シーケンス、ガントに対応してるので、個人的にお気に入り。 http://knsv.github.io/mermaid/ サイトの各チャートのページ見ると書き方と何ができるかはわかるので、ご覧あれ。 僕の使い方 JSのライブラリを自分でインポートして何かすることはほとんど無くて(後述の理由からガントだけJSで使ってるけど)、基本的には以下の2つの方法で使ってる。 Haroopad フリーでクロスプラットフォーム(OS X, Win, Linux)なMarkdownエディタ。 v0.13からmermaid.jsがインテグされているので、何もしなくてもそのまま使える。 mermaid.jsのグラフの書き方は、コード表記で、言語をmermaidにしてあげるだけ。

@hatsanhatさんたちと飲んでいて、在庫の話が出た。 @hatsanhatさんたちの話をログとして書いて、考えたことをラフなメモ書き。 間違っていたら後で直す。 【参考】 第39回IT勉強宴会の感想～花束を作る花屋の業務モデルをT字形ERと三要素分析法で比較する: プログラマの思索 渡辺式データモデリングの復習: プログラマの思索 【1】在庫はエンティティなのか？ モデル初心者は在庫をエンティティとして作りたがる。 すると、複雑なモデルになりがち。 在庫は商品の状態、またはサマリ。 在庫は、入出庫テーブルからタイムバケットごとに算出される数量。 在庫をエンティティにすると、在庫からのトレーサビリティが難しい。 在庫が分かるだけでは意味がなく、その在庫はどこにどんな商品があるのか、という情報までさかのぼらなければならない。 そうすれば、在庫を削減して業務を効率化することもできる。 【2

2015年3月期　人材紹介、派遣事業は堅調 3月決算の上場会社の決算開示ラッシュですね。人材派遣、人材紹介ともにマーケットは堅調であり、昨年矢野経済は人材紹介の市場規模が1500億弱に到達することを予想しています。 ジーニアスでも2015年3月期の決算が無事に完了し、税務申告を準備していますが、今年は例年以上に税金をたくさん払うことになり頭が痛いです。時々同業の皆さまとお話しすると、売上高や営業利益の過去最高を更新されている会社も多く、皆様にとっても昨年度は大変良い一年になったのではないかと思います。 ちなみに、上場会社（売上高/営業利益）では、リクルート人材事業（メディア＋派遣）が9779億円（3027億円＋6752億円）/1187億円（780億円＋407億円）、テンプホールディングスが4010.5億円/234.7億円、JACリクルートメントが92.7億円/26.6億円、メイテックが82