概要 型クラスとは型に関する性質を規定するための概念・仕組みである．型クラスを用いると，型に多相型の制約をつけることができる.つまり，ある型クラスが割り当てられた変数には，その型クラスの性質をもつ型によってのみ型付けができる． 型クラスは「ク…

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…

Agda で入出力を扱う場合，Agda の FFI（Foreign Function Interface）を通し，Haskellの入出力関数を用いておこなう．実際に，「Hello, World」プログラムをAgdaで作成してみた．ちなみに，入出力をおこなうには，コンパイルしておこなう必要がある．詳細は…

Transition systems \not= finite automata there are no accept states set of states and actions may be countably infinite may have infinite branches actions may be subject to synchronization (concurrency)

http://www.google.co.jp/url?sa=t&source=web&ct=res&cd=2&url=http%3A%2F%2Fwww-i2.informatik.rwth-aachen.de%2FTeaching%2FCourse%2FPMC%2F2005%2Fpmc_lec1.pdf&ei=kbXISujQHYTq6gPl_dHwBA&usg=AFQjCNG1H8ss7A-Xogei2hgLSW6ctlaaKg&sig2=GvrtKwAJMrutnJT…

cited from http://www.b-core.com/ZVdmB.html - We are frequently asked to compare the AbstractMachine Notation (AMN) of the B-Method with Z and VDM. We have chosen the following points of comparison:- Underlying Logic Z and AMN are based in…

Abstract state machine - WikipediaAbstract state machinesFrom Wikipedia, the free encyclopediaIn computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the…