Finnish Kvanttietokoneiden aikajana Cited by user Fisuaq on 27 Apr 2024 Tämä on kvanttitietokoneiden aikajana. Sivulla esitellään kvanttitietokoneiden ja kvanttilaskennan kehitystä ja virstanpylväitä.
English List of important publications in theoretical computer science Cited by user DavidGries on 05 Nov 2022 This is a list of important publications in theoretical computer science, organized by field.
English Unbounded nondeterminism Cited by user ArghaNoah on 10 Mar 2022 In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become…
Japanese 表示的意味論 Cited by user Wint7 on 28 Dec 2021 表示的意味論の起源は、1960年代のクリストファー・ストレイチーやデイナ・スコットの研究である。ストレイチーやスコットが開発した本来の表示的意味論は、プログラムの表示(意味)を入力を出力にマッピングする関数に変換するものである。後にこれはプログラムの表示(意味)を定義するには非力であることが証明され、例えば再帰定義関数・データ構造を表現でき…