Join calculusThe Join-calculus is a process calculus invented by Fournet and Gonthier, as an 'extended subset' of the asynchronous Pi-calculus, making the latter - offering a practically attractive basis for modelling concurrent and distri…

チューリング完全 出典: フリー百科事典『ウィキペディア（Wikipedia）』 移動: メニュー, 検索計算理論で、あるプログラミング言語がチューリング機械と同じ計算能力をもつとき、その言語はチューリング完全（チューリングかんぜん、Turing-complete）ある…