スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2005-02-01
著者
-
木村 欣司
京都大学大学院情報学研究科:日本学術振興機構
-
野呂 正行
神戸大学理学部
-
関川 浩
日本電信電話株式会社 NTTコミュニケーション科学基礎研究所
-
野呂 正行
神戸大学理学研究科
-
関川 浩
NTTコミュニケーション科学基礎研究所
-
野呂 正行
株式会社富士通研究所hpc研究センター
-
野呂 正行
富士通国際研究所
-
野呂 正行
(株)富士通研究所セキュアコンピューティング研究部
-
白柳 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
野呂 正行
神戸大学 理学部
-
木村 欣司
九州大学 数理学研究院
-
河野 泰人
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
河野 泰人
Nttコミュニケーション科学基礎研究所
-
河野 泰人
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
野呂 正行
株式会社富士通研究所情報社会科学研究所
-
白柳 潔
東海大学理学部
関連論文
- 数式処理と数値計算の融合
- 周回積分に基づく非線形固有値問題の解法 (数値解析における理論・手法・応用)
- 係数に誤差を持つ多項式同士の整除性判定
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Prime Decomposition of Radical Ideals and Algebraic Factorization of Polynomials
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- 多項式環上の素イデアル分解について(数式処理における理論とその応用の研究)
- 係数に誤差を含む多項式同士の整除性判定 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 固有多項式の次数と最小多項式の次数が異なっている行列に対する直接法またはクリロフ部分空間法による固有多項式の計算とそれぞれの方法の問題点の紹介
- 有限体上のLU分解の高速化とそれに付随するアルゴリズムの高速化
- 関孝和没後300年に向けた判別式計算の中間報告 : 補間法のさらなる改良と他のあらゆる算法に対する優位性の検証
- [第15回日本数式処理学会]奨励賞論文 多項式スペクトル分解に付随するグレブナ基底のchange of orderingについて
- グレブナ基底を用いない連立代数方程式の非線形固有値問題への変換法と非線形固有値問題の解法について
- 固有分解と特異値分解用ライブラリの性能評価のためのテスト行列に関する考察(数値計算1)
- IMACS-ACA'99の参加報告
- IMACS-ACA'96
- 5.量子回路の自動設計手法(量子コンピュータと量子計算)
- 多項式乗算の様々なアルゴリズムの比較 (数式処理における理論と応用の研究)
- Fast Remainder Calculation in Polynomial Multiplication
- 2.方程式を解く (数式処理の最近の研究動向)
- Replicable function の Risa/Asir による計算(数式処理における理論と応用の研究)
- 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- Challenge to solve simultaneous nonlinear algebraic equations in the history of Japanese mathematics (超函数と線型微分方程式2006 数学史とアルゴリズム--RIMS研究集会報告集)
- 局所$b$関数に付随するstratificationアルゴリズムの実装および応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナーwalkアルゴリズムの実装と効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Dynamic Evaluation を用いたDiscrete Comprehensive Grobner Bases の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 斉次化とinter-reduction によるグレブナー基底計算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 代数体上のイデアルのグレブナー基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 離散戸田方程式を用いた大規模疎行列の連立一次方程式, 行列式, 固有多項式の計算法(応用可積分系, 平成17年研究部会連合発表会)
- 連立代数方程式の消去の理論と実際 (数学史の研究)
- Dynamic Evaluation の実装について
- 整数を要素とする大規模疎行列の固有方程式を高速に求める方法
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- KNOPPIX/Math を使ってみる
- はじめに
- Risa/Asirの新グレブナー基底計算パッケージについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底計算のためのweight生成アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- プログラマー=体力+腕力?
- Painleve-VI方程式の有理解と代数函数解について
- 有限体上の多変数多項式の因数分解について(その2) (Computer Algebra : Algorithms, Implementations and Applications)
- 安定化理論に基づくlog methodについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- PARTHENONにおける最新の論理合成機能
- 多項式行列の行列式の補間による計算(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)I
- 固有値 / 特異値計算ライブラリの性能評価のための数式処理のアルゴリズム(計算科学の基盤技術とその発展)
- 多項式行列の行列式の補間による計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Interpolation solves open questions in discrete integrable system (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- Decoherence-free subspaceにおける量子ゲートについて
- 並列計算機AP1000への数式処理システム Risa/Asir の実装とグレブナ基底の並列計算
- ISO/IEC MPEG-4 Audio Lossless Coding (ALS)におけるIEEE754浮動小数点信号の可逆符号化(国際標準に向けたテレコム技術とその効用論文)
- 数学ソフトの開発
- 代数幾何,代数解析に使えるソフトウェア (特集 数学を発展させるコンピュータソフト)
- 整数行列の固有多項式計算における密行列と疎行列の両方に対応した実装の方法と LinBox との比較
- OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)
- OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
- Open asir入門
- Risa/Asir (特集 いろいろな数式処理システム)
- Risa/AsirにおけるWeyl Algebra上のグレブナ基底計算およびその応用 (数式処理における理論と応用の研究)
- フリ-の数学ソフトあれこれ (特集/計算の現在)
- 最適化された行列積を用いた固有多項式の計算法について
- 係数に誤差のある連立代数方程式の可解性について (第19回日本数式処理学会大会報告)
- 与えられた実閉区間に重複零点を持つ最近実多項式
- 安定化理論に基づくグレブナ基底変換法
- 研究と開発
- 安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- とびらの言葉
- 実区間多項式の実重複零点の所在について
- 区間多項式の零点の所在について(数値計算,数理計画法)
- 11th International Conference on Applications of Computer Algebra(ACA' 2005)
- 実区間多項式の零点の所在について
- 近似計算を用いた代数的数のゼロ判定法
- 前提条件
- 新しい科学技術計算方式--数値計算と数式処理の融合 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (大規模で高速な処理のために)
- 有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)
- アルゴリズム自動安定化プロトタイプシステム
- 数式処理から見た行列の数値計算アルゴリズム (数式処理における理論と応用の研究)
- アルゴリズム自動安定化システムの構築に向けて
- 浮動小数点計算を用いた代数的数の符号判定(数式処理における理論と応用の研究)
- $\mathit{p}$進近似を利用した代数的数の取り扱い(数式処理における理論と応用の研究)
- 区間演算と Mahler の measure を用いた代数的数のゼロ判定
- ゼ口書換えに基づいた区間法とSturmのアルゴリズムへの応用
- 拡張された Mahler の measure による代数的数のゼロ判定(数式処理における理論と応用の研究)
- 近似計算による代数的数の符号判定について(数式処理における理論とその応用の研究)
- Implementation of the $F_4$ algorithm in Asir (Algorithms for D-modules)
- グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)
- 浮動小数点数のLU分解と有限体上のLU分解の性能比について
- グレブナー基底計算ソフトの開発秘話 (特集 グレブナー基底の新天地)
- 大会特別講演 数式処理の理論概説 (第20回日本数式処理学会大会報告)
- 斉重多項式であることを利用した判別式計算の高速化
- 安定化理論に基づくISCZ法の有効性について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数式処理の理論概説
- グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)