Below are links to home pages of researchers working on programming language theory, design, implementation, and related areas. Disclaimer: this list is not exhaustive! Please let me know if you would like to be added to this list, or if you would like an existing entry modified or deleted. Back to the language research page Related Pages The SEL-HPC list of home pages of functional language resea
Course Information for Physics 219/Computer Science 219 Quantum Computation (Formerly Physics 229) John Preskill Go to the home page of Ph219/CS219 for 2019-20. Home pages from previous years: 2018 (fall term) 2018 (spring term) 2017 (winter and spring terms) 2015-16 (winter term) 2013-14 (fall and winter terms) 2011 (winter term) 2008-09 (three terms) 2006-07 (fall and winter terms) 2005-06 (fall
As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available quantum computers have less than 100 qubits, quantum computing hardware is widely expected to grow in terms of qubit count, quality, and connectivity. This review
解きたい組合せ最適化問題をイジング模型に表現したとしても、マシンによっては変数ノード間で結合が自由に作成できない場合があります。これはマシンがビット配置を非完全グラフで実装しているためです。ここでは非完全グラフ上のイジング模型において、どのようにして任意の変数ノード間で結合を作成するかについて説明します。 複数ノードによるチェイン # 例として、二次元正方格子上に変数ノードが配置されているグラフで実装されたマシンがあったとします。このマシンでは上下左右の結合のみが許されています。そのため、例えば三角格子上のイジング模型はそのままでは埋め込むことが出来ません。 この場合の対処法として、隣接した複数のノードを一つのノードとみなすという方法が使われます。 上図において正方格子へのマッピングの一例を図示します。左の三角形の頂点は正方格子上の対応する色の頂点にマッピングされています。左図中央の青いノ
View PDF Abstract: The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equivalent to the Turing machine, and continues to be of enormous benefit in the classical theory of computation. We propose that quantum computation, like its classical counterpart, may benefit from a ve
1 Quantum Lambda Calculus Peter Selinger Dalhousie University, Canada Benoı̂t Valiron INRIA and École Polytechnique, LIX, Palaiseau, France. Abstract We discuss the design of a typed lambda calculus for quantum compu- tation. After a brief discussion of the role of higher-order functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety inv
ポイント 量子コンピュータの内部で発生する量子的なエラーの影響の追跡は困難だと考えられていたが、正確かつ高速に評価する数値計算手法を新たに提案した。 複雑な重ね合わせ状態の中には、「見かけだけの」重ね合わせ状態があることを新たに発見した。これは量子コンピュータの高速化の原理の理解に一歩近づく成果である。 本手法により、量子コンピュータ実現のために基本素子に要求される性能を具体的に計算することが可能になり、量子コンピュータ開発の進展に寄与すると期待される。 量子コンピュータ注1)は、量子力学の重ね合わせの原理を活用して計算を行う技術で、素因数分解や量子化学計算などの問題を、現代のあらゆるコンピュータよりも高速に解けることが期待されているため、その開発が世界で盛んに進められています。実際の量子コンピュータは、わずかにエラーをもつ素子(量子ビット注2))を組み合わせて作られるので、それを訂正しな
Ross Duncan ● PrakashFest ● Oxford 2014 The non-logic of quantum computation OR: How I learned to live without propositions-as-types Ross Duncan Mathematically Structured Programming Group University of Strathclyde Ross Duncan ● PrakashFest ● Oxford 2014 2004 The 1st occasional Bellairs workshop on semantic techniques in quantum computing ” “ Ross Duncan ● PrakashFest ● Oxford 2014 Ross Duncan ● P
(Spring Term 2014) Physics Department, Carnegie Mellon University Department of Physics and Astronomy, University of Pittsburgh This course is offered by the Physics Department of Carnegie-Mellon University, with assistance from the Computer Science Department and the Department of Physics and Astronomy of the University of Pittsburgh. The level is appropriate for advanced undergraduates and begin
量子コンピューターとは、原子や分子、光など、ミクロな世界を記述する量子力学に基づいて動作するコンピューターのことであり、現在我々が使っているコンピューター(古典コンピューターと呼ばれます)をはるかに凌駕する計算能力を持つと期待されています。 量子計算の研究者たちが目指す究極のゴールのひとつは、大量の量子ビットからなるユニバーサル量子コンピューターを作ることです。ユニバーサル量子コンピューターというのは、任意の量子アルゴリズムを走らせることのできる汎用の量子コンピューターのことです。しかしながら、大量の量子ビットを自由自在に操る汎用の量子コンピューターを実験室でつくるのはまだまだ技術的に難しく、実現されていないのが現状です。 そこで、ユニバーサルでなくてもよいから、また、量子ビットの数もそれほど多くなくてもよいから、何か、現在もしくは近い将来の技術のみで実現できるような「弱い」量子コンピュー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く