Prologと表計算による意思決定モデリング&シミュレーション
updated: 23 Jul 2013
English
もくじ
トップページ
PrologとAI
経済・経営
社会的選択・ゲーム理論
認知・心理・言語
論文など
本ページの内容は個人が作成するもです。実用性や正確性は保証されていません。 もし誤りなどがございましたら、おそれいりますが作者までご指摘・ご指導いただければ幸いです。
PrologプログラムはSWI-Prologのversion 5.6.64, (5.0.9, 1.9.0)を使って います。また表計算とあるのはExcel (2003、2002)です。
経済・経営
オークション・市場
封印入札:ヴィックレーのオークション、シュービックのオークション、競争入札
●
(表計算) 2人の場合の最適反応を近似
ファーストプライスオークション(FPA):1番目に高い言い値だった人が勝ち、その言い値で支払う。競争入札など。
セカンドプライスオークション(SPA):1番目に高い値を付けた人が勝ち、2番目に高かった人の言い値で支払う。
シュービックのオークション:1ドル(札)オークション。1番高い値の人が勝ち、2番目の人も、言い値を払わされる。
ワルラス均衡をオークションで計算する:
(price.pl. Prolog, 30 Aug 2005 revised 10 Sep )
(source code) 。
Gul and Stacchetti(1999, 2000)による一般化。イングリッシュオークションは、 その最小ワルラス均衡価格を計算する。
(More)
ワルラス均衡をオークションで計算する2:共同作業者の効果
price.plの拡張版(price01.pl. Prolog, 25 Sep 2005 )
(source code)
Ma(2001)による共同作業者の(負)効用のモデリング
寡占市場モデル
●
(表計算 2005.12.16-22.) 複占の場合。クールノーの均衡とシュタッケルベルクの均衡は、それぞれナッシュ均衡および 部分ゲーム完全均衡の先駆。ベルトランの均衡は価格競争の場合のナッシュ均衡。 ホテリングの均衡は立地決定のあとの価格競争をモデル化。
マクロ経済学---景気循環
●
(表計算)
乗数過程と加速度原理の組合せた基本モデルは 例えば、福岡正夫「ゼミナール経済学入門」日本経済新聞社)などを参照。
IO分析:産業連関表とレオンティエフ逆行列
●
(表計算) 公開されている産業連関表をベースに理論計算を再現しました。
メカニズムデザインと経営管理・会計学モデル
ナッシュ遂行理論(インプリメンテーション)(Sep 2002--Jan 2003; 改訂、Mar & Oct-Nov 2005)
(more)
需要顕示メカニズム(表計算)
●
(表計算)
自発的情報開示
(worksheet, Nov 2004 )
MilgromやVerricchiaのモデルをWagenhoferが要約したもの。 「検証可能性」を仮定して、部分的に真実を吐かせる.Milgrom(1986)で人気の出たアイディア.
経営階層の最適化モデル(worksheet)
●
(2003/10/2)。Qian(1994)のDPモデリング。
基本的なエージェンシー理論 とモラルハザード問題(プリンシパル=エージェント・モデル)
●
(表計算 agency.xls, 2007.11.10)
契約のモデルとホールドアップ問題:交渉と再交渉
●
(表計算 contract.xls, 2007.11.29)
その他(
補遺
)
オペレーションズリサーチ/経営科学の基礎
確率モデル、統計手法
正規分布: (1)パチンコ台のような
●
(表計算) (2)乱数発生。
●
(表計算)
VBAマクロ(ボックス=ミューラー法)は、次の文献を参考にしました。
飯島・大浜・伊藤・武藤、『意思決定のための経営情報シミュレーション』、同文館.
ベイズの定理:3ドアクイズ(3囚人問題)
(worksheet)
(19 Dec 2007).
分散分析と実験計画
(worksheet)
x−σ管理
(worksheet)
回帰分析:野球の打撃成績。
(worksheet)
野球のマルコフモデル:打順を考慮したOERA 表計算(524MB,zip)
(worksheet)
参考:木下栄蔵,マネジメントサイエンス入門,近代科学社.
ビジネスシミュレーション
待ち行列
(worksheet)
(Dec 2006)
在庫管理ゲーム
(worksheet)
ビールゲーム(サプライチェーン)
(worksheet)
(2 Nov 2003)
最適化・数理計画
シンプレックス法
(worksheet)
DEA:経営効率性分析
。
(worksheet)
(Jul 2007)
Kurash-Kuhn-Tucker 条件
●
。 非線形問題の最適化と鞍点の図解(4 Oct 2003)
線形相補性問題
●
。 (Spreadsheet, Jun 2004)
Handbook of Game Theory III, Chapter 45 に出ている von Stengelらによるシーケンスフォームの例題
その他(
補遺
)
AI: 機械学習
文字認識(ホップフィールドネットワーク)
(worksheet)
ニューラルネット
(worksheet)
(表計算1.5MB -> ZIP 300KB)
VBAマクロ
ラベル貼りマクロ(VBA)
●
パレート図の例題に使ったもの。
●
cf., Micorsoftのサイトのマクロ http://support.microsoft.com/kb/213750/ja
改訂ラベル貼りマクロ(VBA)
●
複数のグラフ、複数の系列に対応してみました。
初等数学
ピタゴラスの定理
(Movie)