Agate –an Agda-to-Haskell compiler (2008)
Yoshiki Kinoshita, Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita
Abstract. We report some features of Agate, a compiler for the dependently typed functional language of Agda proof-assistant. Agate is developed to be an experimental platform for practice of...
Liquidity Motives of Holding Money under Investment Risk : A Dynamic Analysis (2003)
Nishimura, Kiyohiko G., Ozaki, Hiroyuki
Jones and Ostroy (1984) argue that money,as an asset of the least transaction cost, offers exibility to its holder, which other assets cannot provide. We extend the idea of Jones and Ostroy into a...
A Simple Axiomatization of Iterated Choquet Objectives (2003)
Nishimura, Kiyohiko G., Ozaki, Hiroyuki
A set of axioms which characterizes a preference representable by the iterated Choquet expected utility is presented. This objective function is attractive since it possesses a feature of dynamical...
An Axiomatic Approach to ε-contamination (2002)
Nishimura, Kiyohiko G., Ozaki, Hiroyuki
Suppose that an economic agent is (1－ε)×100% certain that uncertainty she faces is characterized by a particular probability measure, but that she has a fear that, with ε×100% chance, her...
Irreversible Investment and Knichtian Uncertainty (2002)
Nishimura, Kiyohiko G., Ozaki, Hiroyuki
When firms decide about irreversible investment, they may not have perfect confidence about their perceived probability measure describing future uncertainty. They may think other probability...
Economics of Self-Feeding Fear (2002)
Nishimura, Kiyohiko G., Ozaki, Hiroyuki
A model of self-feeding fear is presented. Suppose that an economic agent is (1-ε)×100% certain that uncertainty she faces is characterized by a particular probability measure, but that she has a...
Search under the Knightian Uncertainty (2001)
Nishimura, Kiyohiko G, Ozaki, Hiroyuki
Suppose that "uncertainty" about labor market conditions has increased. Does this change induce an unemployed worker to search longer, or shorter? This paper shows that the answer is drastically...
A Note on Learning under the Knightian Uncertainty (2001)
Nishimura, Kiyohiko G, Ozaki, Hiroyuki
In contrast to the traditional model of uncertainty, where the uncertainty is characterized by a single distribution function that a decision maker faces, the Knightian-uncertainty approach...
Search and Knightian uncertainty (2001)
Kiyohiko G. Nishimura, Hiroyuki Ozaki
Suppose that “uncertainty ” about labor market conditions has increased. Does this change induce an unemployed worker to search longer, or shorter? This paper shows that the answer is drastically...