種別[hbm] セクションJRF の公開ブックマーク 日時2011年06月20日 03:06:28 元URLhttp://en.wikipedia.org/wiki/%CE%A0-calculus タグ[コンピュータ科学] [プログラミング哲学] [論理学] π-calculus - Wikipedia, the free encyclopedia