埼 玉 大 学 工学部紀要

The mGoI framework provides token machine semantics of effectful computations, namely computations with algebraic effects, in which effectful λ-terms are translated to transducers..

In 2003, Agiza and Elsadany 7 studied the duopoly game model based on heterogeneous expectations, that is, one player applied naive expectation rule and the other used

An example of a database state in the lextensive category of finite sets, for the EA sketch of our school data specification is provided by any database which models the

A NOTE ON SUMS OF POWERS WHICH HAVE A FIXED NUMBER OF PRIME FACTORS.. RAFAEL JAKIMCZUK D EPARTMENT OF

A lemma of considerable generality is proved from which one can obtain inequali- ties of Popoviciu’s type involving norms in a Banach space and Gram determinants.. Key words

In particular, we show that the q-heat polynomials and the q-associated functions are closely related to the discrete q-Hermite I polynomials and the discrete q-Hermite II

We give some results in the following directions: to describe the exterior struc- ture of spacelike bands with infinite number of branches at the infinity of R n+1 1 ; to obtain

Equivalent conditions are obtained for weak convergence of iterates of positive contrac- tions in the L 1 -spaces for general von Neumann algebra and general JBW algebras, as well