類似の単語または同義語 selinger

sime    0.586666

spielman    0.569163

boudreau    0.557709

oded    0.553875

bhardwaj    0.552535

yowell    0.547556

lirica    0.547474

saurashtra    0.545980

grossmann    0.545855

उत    0.543878

類義語または同義語 selinger

Article Example
Gö 9 (航空機) Selinger, P E. "Segelflugzeuge Vom Wolf zum Discus". Motor Buch Verlag, Stuttgart 1989
量子プログラミング言語 ラムダ計算を基にした高階量子プログラミング言語(Higher-order quantum programming languages)が、van Tonder、SelingerとValiron、ArrighiとDowekによって提案されている。
量子プログラミング言語 2004年にはSelingerとValironが線形論理を基にしたtype systemを用いてな量子計算用のlambda calculusを定義した。
アリー・セリンジャー アリー・セリンジャー(Arie Selinger、1937年4月5日 - )は、ポーランド出身のユダヤ系バレーボール指導者である。イリノイ大学で博士号を取得。
量子プログラミング言語 QFCとQPLは互いに関連性の強い量子プログラミング言語であり、Peter Selingerによって定義された。QFCとQPLの違いは単に構文の違いによるものである。QFCはflow chart構文を用いているが、QPLはtextual構文を用いている。QFCとQPLは古典的な制御フローを用いているが、量子データと古典的データの双方を扱うことができる。Selingerはの分野においてQFCとQPLに表示的意味(denotational semantic)を与えている。
量子プログラミング言語 QMLはAltenkirchとGrattageによって開発されたHaskelによく似た量子プログラミング言語である。SelingerのQPLとは違い、QMLは量子情報を廃棄する(discarding)のではなく、primitive operationとして複製(duplication)をする。この文脈でいう「複製」とはformula_1をformula_2へ写す操作として理解され、クローニングと混同してはいけない。クローニングは不可能な操作である。