Top > Back > 学会発表 の検索結果 160 件中 91‐120 件目
安定化理論に基づくInterval Trace Liftingについて |
[ 共同発表者名 ] 白柳潔,関川浩 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra―Algorithms, Implementations and Applications (CA-ALIAS'07) |
[ 発表日付 ] 2007年11月7日 |
Synthesis of Quantum Circuits for d-level Systems |
[ 共同発表者名 ] Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa |
[ 学会・会議名 ] Asian Conference on Quantum Information Science 2007 (AQIS2007) |
[ 発表日付 ] 2007年9月3日 |
On Real Factors of Real Interval Polynomials |
[ 共同発表者名 ] Hiroshi Sekigawa |
[ 学会・会議名 ] The 20th International Symposium on Symbolic and Algebraic Computation (ISSAC2007) |
[ 発表日付 ] 2007年8月1日 |
Minimum Converging Precision of the QR-Factorization Algorithm for Real Polynomial GCD |
[ 共同発表者名 ] Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi |
[ 学会・会議名 ] The 20th International Symposium on Symbolic and Algebraic Computation (ISSAC2007) |
[ 発表日付 ] 2007年7月30日 |
The Nearest Polynomial with a Zero in a Given Domain |
[ 共同発表者名 ] Hiroshi Sekigawa |
[ 学会・会議名 ] The 2007 International Workshop on Symbolic-Numeric Computation (SNC2007) |
[ 発表日付 ] 2007年7月26日 |
A new Groebner Basis Conversion Method Based on the Stabilization Techniques, |
[ 共同発表者名 ] Kiyoshi Shirayanagi, Hiroshi Sekigawa |
[ 学会・会議名 ] Applications of Computer Algebra 2007 (ACA2007). |
[ 発表日付 ] 2007年7月21日 |
安定化理論に基づくグレブナ基底変換法 |
[ 共同発表者名 ] 白柳潔,関川浩 |
[ 学会・会議名 ] 第16回 日本数式処理学会大会 |
[ 発表日付 ] 2007年6月4日 |
A Linear-size Quantum Circuit for Computing the Jones Polynomial Approximation of the Plat Closure of a Braid |
[ 共同発表者名 ] Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa |
[ 学会・会議名 ] Quantum Information Processing 2007 (QIP2007) |
[ 発表日付 ] 2007年1月31日 |
安定化理論における台収束の応用について |
[ 共同発表者名 ] 白柳潔,関川浩 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra---Algorithms, Implementations and Applications (CA-ALIAS'06) |
[ 発表日付 ] 2006年12月18日 |
近似的な Jones 多項式を求める量子回路について |
[ 共同発表者名 ] 中島裕美,河野泰人,関川浩 |
[ 学会・会議名 ] 第15回 量子情報技術研究会資料 |
[ 発表日付 ] 2006年11月21日 |
Existence of the exact CNOT on a quantum computer with the exchange interaction |
[ 共同発表者名 ] Y. Kawano, K. Kimura, H. Sekigawa |
[ 学会・会議名 ] KIAS-RIMS joint workshop on Computer Algebra ---Efficient Computation of Groebner Bases and Mathematical Algorithms Based on It--- |
[ 発表日付 ] 2006年8月4日 |
Locating Real Multiple Zeros of a Real Interval Polynomial |
[ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
[ 学会・会議名 ] International Symposium on Symbolic and Algebraic Computation (ISSAC2006) |
[ 発表日付 ] 2006年7月11日 |
Deductive System for Human-like Proofs in Geometry |
[ 共同発表者名 ] K. Miyamoto, W. Yamamoto, H. Sekigawa, K. Shirayanagi |
[ 学会・会議名 ] 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006 (Calculemus'06) |
[ 発表日付 ] 2006年7月8日 |
実区間多項式の実重複零点の所在について |
[ 共同発表者名 ] 関川浩,白柳潔 |
[ 学会・会議名 ] 第15回日本数式処理学会大会 |
[ 発表日付 ] 2006年6月15日 |
A new algorithm for producing quantum circuits using KAK decompositions |
[ 共同発表者名 ] Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa |
[ 学会・会議名 ] 9th Workshop on Quantum Information Processing (QIP2006) |
[ 発表日付 ] 2006年1月18日 |
円に関する人間らしい初等幾何証明を生成するための推論方法 |
[ 共同発表者名 ] 山本航,宮本健司,関川浩,白柳潔 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra---Algorithms, Implementations and Applications (CA-ALIAS'05) |
[ 発表日付 ] 2005年12月21日 |
On the Location of Pseudozeros of a Complex Interval Polynomial |
[ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
[ 学会・会議名 ] 7th Asian Symposium on Computer Mathematics (ASCM2005) |
[ 発表日付 ] 2005年12月10日 |
IEEE754 浮動小数点時音響信号の可逆符号化 |
[ 共同発表者名 ] 原田登,守谷健弘,関川浩,白柳潔,鎌本優 |
[ 学会・会議名 ] 2005年音響学会秋季研究発表会 |
[ 発表日付 ] 2005年9月27日 |
An Algorithm for Decomposing Unitary Matrices using Cartan Decomposition |
[ 共同発表者名 ] Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa |
[ 学会・会議名 ] 11th International Conference on Applications of Computer Algebra (ACA'2005) |
[ 発表日付 ] 2005年8月3日 |
On the Location of Zeros of a Complex Interval Polynomial |
[ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
[ 学会・会議名 ] 11th International Conference on Applications of Computer Algebra (ACA'2005) |
[ 発表日付 ] 2005年8月1日 |
On the Location of Zeros of an Interval Polynomial |
[ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
[ 学会・会議名 ] International Workshop on Symbolic-Numeric Computation 2005 (SNC2005) |
[ 発表日付 ] 2005年7月20日 |
実区間多項式の零点の所在について |
[ 共同発表者名 ] 関川浩,白柳潔 |
[ 学会・会議名 ] 第14回日本数式処理学会大会 |
[ 発表日付 ] 2005年6月16日 |
Lossless Compression of IEEE Floating-point Audio using Approximate Common Factor Coding and Masked-LZ Compression |
[ 共同発表者名 ] N. Harada, T. Moriya, H. Sekigawa, K. Shiaryanagi |
[ 学会・会議名 ] Audio Engineering Society 118th Convention |
[ 発表日付 ] 2005年5月28日 |
An algorithm for generating quantum circuits using Khaneja-Glaser deocmposition |
[ 共同発表者名 ] H. Nakajima, Y. Kawano, H. Sekigawa |
[ 学会・会議名 ] 8th Workshp on Quantum Information Processing (QIP 2005) |
[ 発表日付 ] 2005年1月15日 |
人間らしい初等幾何証明における角の取り扱いについて |
[ 共同発表者名 ] 白柳潔,宮本健司,山本航,関川浩 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra---Algorithms, Implementations and Applications (CA-ALIAS'04) |
[ 発表日付 ] 2004年12月14日 |
スピンの交換だけを用いた量子コンピュータにおける厳密な CNOT の存在 |
[ 共同発表者名 ] 河野泰人,木村欣司,関川浩,野呂正行,白柳潔 |
[ 学会・会議名 ] 第13回日本数式処理学会大会 |
[ 発表日付 ] 2004年9月4日 |
Exact CNOT gate on an exchange-only quantum computer |
[ 共同発表者名 ] Y. Kawano, K. Kimura, H. Sekigawa, M. Noro, M. Kitagawa, M. Ozawa |
[ 学会・会議名 ] Quantum Information and Quantum Control Conference |
[ 発表日付 ] 2004年7月19日 |
Decoherence-free Subspace における量子ゲートについて |
[ 共同発表者名 ] 河野泰人,木村欣司,関川浩 |
[ 学会・会議名 ] 電子情報通信学会 コンピュテーション研究会 |
[ 発表日付 ] 2004年6月25日 |
Cartan 分解を利用した量子回路の生成 |
[ 共同発表者名 ] 村上裕美,河野泰人,関川浩 |
[ 学会・会議名 ] 電子情報通信学会 量子情報技術時限研究会 (QIT10) |
[ 発表日付 ] 2004年5月24日 |
アルゴリズム自動安定化システムの改良 |
[ 共同発表者名 ] 関川浩,白柳潔 |
[ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches for Algorithms on Computer Algebra" |
[ 発表日付 ] 2003年7月22日 |