検索結果
ナビゲーションに移動
検索に移動
- [[Category:並行計算]] …3キロバイト (55 語) - 2023年1月1日 (日) 11:59
- [[Category:並行計算]] …3キロバイト (36 語) - 2023年1月1日 (日) 12:00
- *[[並行計算]] …4キロバイト (139 語) - 2025年2月23日 (日) 14:18
- なお、逐次型プログラミングの意味論として最弱事前条件は広く認知されているが、これが唯一の述語変換子ではない。例えば、[[レスリー・ランポート]]は[[並行計算|並行プログラミング]]のための述語変換子として ''win'' と ''sin'' を提唱した。 …4キロバイト (167 語) - 2019年11月21日 (木) 03:29
- [[ペトリネット]]や[[アクターモデル]]といった他の[[並行計算]]モデルとの違いは、通信路を使った通信を行う点である。通信路を含めたのは、それによってある種の代数学的手法が可能になるためであり、それによってプロセス [[Category:並行計算]] …16キロバイト (502 語) - 2024年7月13日 (土) 15:22
- …性は''チャーチ・ロッサー性''と呼ばれる特性と等価である。合流性を持つシステムは書き換え規則の適用順序によらない一貫性を持ち、[[遅延評価]]、[[並行計算|並行評価]]、[[部分評価]]などの柔軟な評価方法が可能になる。 …9キロバイト (462 語) - 2023年8月7日 (月) 07:30
- [[Category:並行計算|れとものとにつくすけしゆりんく]] …10キロバイト (351 語) - 2022年8月27日 (土) 02:45
- [[並行計算|並行プログラミング]]において操作（または操作の集合）は、呼び出しイベントと応答イベント（コールバック）の順序付きリストで構成されており、応答イベント …18キロバイト (362 語) - 2025年1月23日 (木) 11:14
- 関連する概念に'''[[並行計算]]'''（へいこうけいさん）があるが、並行計算は一つのタスクの計算を並列化することにとどまらず、複数の相互作用しうるタスクを、[[プロセス]]や[[ス [[Category:並行計算]] …61キロバイト (1,644 語) - 2025年3月3日 (月) 03:24
- …照透過]]である。）このため、ラムダ計算を用いて種々の非決定的[[評価戦略]]をモデル化することができる。[[並列コンピューティング|並列性]]や[[並行計算|並行性]]をモデル化するためのより強力な手法として、[[Communicating Sequential Processes|CSP]]、[[CCS] …35キロバイト (1,496 語) - 2024年11月1日 (金) 22:44
- 以上解説した表示的合成的意味論は汎用的であり、[[関数型言語]]、[[命令型言語]]、[[並行計算|並行型言語]]、[[論理プログラミング|論理型言語]]などに適用可能である。 …30キロバイト (2,313 語) - 2025年2月5日 (水) 14:07