Weblio 辞書 > 英和辞典・和英辞典 > コンピューター用語 > π-calculusの意味・解説

意味

例文 (3件)

π-calculusとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

コンピューター用語辞典での「π-calculus」の意味

pi(π)-calculus

π計算

モバイルプロセス計算の代表的な計算モデル。CCSの発展形。

用例

The pi-calculus is a model of concurrent computation based upon the notion of naming.
π計算は名前付けの概念に基づく並行計算モデルの一つである。

参照

calculi for mobile processes(モバイルプロセス計算)
CCS<calculus of communicating systems>(CCS)

出典元索引用語索引ランキング

「π-calculus」の部分一致の例文検索結果

該当件数 : 3件

例文

To provide a processor designed to directly execute a machine code based on an asynchronous π calculus.例文帳に追加

非同期π計算に基づいたマシンコードを直接実行するように設計されたプロセッサを提供すること。 - 特許庁

The pi-calculus is a model of concurrent computation based upon the notion of naming.発音を聞く例文帳に追加

π計算は名前付けの概念に基づく並行計算モデルの一つである。 - コンピューター用語辞典

例文

The processor may be an element of a multi-processor system that aims to provide a scalable, loosely-coupled architecture for executing programs based on the π calculus.例文帳に追加

このようなプロセッサは、π計算に基づくプログラムを実行するためのスケーラブルで疎結合されたアーキテクチャを提供することを目的とする、マルチプロセッサシステムの要素とすることができる。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

ウィキペディア英語版での「π-calculus」の意味

π-calculus

出典:『Wikipedia』 (2011/04/03 13:52 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the π-calculus is to be able to describe concurrent computations whose configuration may change during the computation.

出典元索引用語索引ランキング

「π-calculus」の意味に関連した用語

Join-calculus 百科事典

π計算 コンピューター用語

pi-calculus コンピューター用語

Lambda cube 百科事典

Mathematical constant 百科事典

Pict (programming language) 百科事典

Proof that 22/7 exceeds π 百科事典

Process calculus 百科事典

occam-π 百科事典

意味

例文 (3件)

英和辞書の「π-calculus」の用語索引

π-calculusのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。


	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
Wikipedia	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、Wikipediaのπ-calculus (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

π-calculusとは 意味・読み方・使い方