in silico - Wikipediain silico（イン・シリコ）は、in vivo や in vitro などから派生して作られた用語で、「シリコン内で」というニュアンスであるが、実際の意味は「コンピュータを用いて」というものである。分子生物学などの実験や測定は通常、ウェッ…

Bisimulation - Wikipedia BisimulationIn theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other an…