Up 3.5.0　イントロ  

　ここでは，われわれが示した理論の定式化の妥当性を，いくつかの具体的な理論に対して試してみる。