体系からの脱出 : 証明論による解析
スポンサーリンク
概要
著者
関連論文
- 神経経済学は経済学に貢献するか? : 時間選好のfMRI実験を例に(脳機能イメージングの拡がり)
- ネットワーク外部性をともなう市場における情報非対称性と購買行動(参加型シミュレーション,マルチエージェントの理論と応用)
- 1B1-2 ネットワーク外部性を伴う市場における新製品導入の意思決定に関する研究(1B1 OS:共創・価値創成)
- 社会的インタラクション分析のための被験者実験を用いたマルチエージェント手法の提案(「社会的インタラクションにおける知」及び一般)
- ネットワーク型囚人のジレンマにおける協調行動の創発に関する研究
- ネットワーク型囚人のジレンマを用いた協調行動の創発に関する研究
- 「計算の哲学ー計算概念の原理的再構築」研究報告 (平成16年度共同研究プロジェクト研究成果報告)
- リサイクルシステムにおける行動主体の意思決定と制度設計 : 使用済み製品の回収市場における分析(市場モデル, ソフトウェアエージェントとその応用論文)
- 1404 耐久消費財のリサイクルシステムにおける行動主体の意思決定 : リサイクル製品の普及に関する分析(OS1 ソフト人工物I)
- 1401 ネットワーク外部性を伴う製品市場における不完全情報下での意思決定(OS1 ソフト人工物I)
- 市場はどのような組織か (特集 方法としての実験)
- 耐久消費財のリサイクルシステムにおける行動主体に関する研究(ソフト人工物II)
- 経済学における実験 : オープン・リサーチ・センターの最初の2年間の研究を振りかえって(動的システムの情報論2,研究会報告)
- マーケットマイクロストラクチャー理論による家電リサイクル法に基づいた市場モデルへの理論的アプローチ
- 体系からの脱出 : 証明論による解析
- システムから脱出する能力
- セルオートマトンを用いた市場競争の創発
- 経済的環境と工学的設計の共進化モデル
- 人口社会:複雑系の経済学のひとつの研究計画 (特集 複雑系を考える)
- 情報化社会と新しい競争原理--The Winner-Take-All Society--求められる新規参入者支援の制度
- Classical and Constructive Propositional Subsystems of NDK
- NDKにおける自然な証明についての考察(証明論における順序数)
- 不連続関数の極限計算可能性 : 意義と問題点
- 現実的微積分法
- 連続体上の計算可能性 : 極限計算の諸理論の相互関係 (平成15年度共同研究プロジェクト研究成果報告)
- 複雑系としての経済
- Computability problems of piecewise continuous functions (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)
- 「実験経済学と神経経済学の基盤整備と教育研究の国際化」研究経過と成果報告
- Limit computation of some discontinuous functions (数学解析の計算機上での理論的展開とその遂行可能性 研究集会報告集)
- 解析学における計算可能性構造
- 「実験経済学と神経経済学の基盤整備と教育研究の国際化」2年目の活動と成果
- 「数理論理学-20世紀から21世紀へ-」に寄せて
- 不連続関数の極限計算可能性 : 意義と問題点
- How to understand the computability aspects of step functions (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 証明論の思い出 -無矛盾性証明を中心に-
- 計算可能性と論理体系(言語と論理)
- 科学教育の基礎としての論理
- 現実的構成的微積分法の形式的体系について
- アジア論理会議 : ALC
- Computability in Analysis(Workshop on Stochastic Numerics)
- 「実験経済学と実験哲学の総合」1 年目の活動と成果