Top > Back > 学会発表 の検索結果 145 件中 61‐90 件目
| 行列分解と複素アダマール行列への応用 |
| [ 共同発表者名 ] 河野泰人，関川浩 |
| [ 学会・会議名 ] 電子情報通信学会 第21回量子情報技術時限研究会 |
| [ 発表日付 ] 2009年11月4日 |
| 安定化理論に基づくISCZ法の有効性について |
| [ 共同発表者名 ] 白柳潔，関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra―The Algorithms, Implementations and the Next Generation― (CA-ALIAS'09) |
| [ 発表日付 ] 2009年11月4日 |
| Reducing Exact Computations to Obtain Exact Results Based on Stabilization Techniques |
| [ 共同発表者名 ] Kiyoshi Shirayanagi, Hiroshi Sekigawa |
| [ 学会・会議名 ] The 3rd International Workshop on Symbolic-Numeric Computation (SNC2009) |
| [ 発表日付 ] 2009年8月3日 |
| Determining Divisibility between Polynomials with Inexact Coefficients |
| [ 共同発表者名 ] Hiroki Nakayama, Hiroshi Sekigawa |
| [ 学会・会議名 ] The 34th International Symposium on Symbolic and Algebraic Computation (ISSAC2009) |
| [ 発表日付 ] 2009年7月30日 |
| A New Method of Reducing Exact Computations to Obtain Exact Results |
| [ 共同発表者名 ] Kiyoshi Shirayanagi, Hiroshi Sekigawa |
| [ 学会・会議名 ] The 34th International Symposium on Symbolic and Algebraic Computation (ISSAC2009) |
| [ 発表日付 ] 2009年7月30日 |
| Computing the Nearest Polynomial with a Zero in a Given Domain by using Piecewise Rational Functions |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] International Workshop on Numerical Verification and its Applications 2009 (INVA 2009) |
| [ 発表日付 ] 2009年3月26日 |
| 係数に誤差を持つ多項式同士の整除性判定 |
| [ 共同発表者名 ] 中山裕貴，関川浩 |
| [ 学会・会議名 ] 情報処理学会 第122回アルゴリズム研究会 |
| [ 発表日付 ] 2009年1月30日 |
| Producing Quantum Circuits of the Extended Clifford Group using KAK Decomposition |
| [ 共同発表者名 ] Yasuhito Kawano, Hiroshi Sekigawa |
| [ 学会・会議名 ] Quantum Information Processing 2009 (QIP2009) |
| [ 発表日付 ] 2009年1月14日 |
| 係数に誤差を含む多項式同士の整除性判定 |
| [ 共同発表者名 ] 中山裕貴，関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra―Algorithms, Implementations and Applications (CA-ALIAS'08) |
| [ 発表日付 ] 2008年11月26日 |
| 安定化理論に基づくlog methodについて |
| [ 共同発表者名 ] 白柳潔，関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra―Algorithms, Implementations and Applications (CA-ALIAS'08) |
| [ 発表日付 ] 2008年11月26日 |
| Groebner Basis Computation by Interval Trace Lifting Based on Stabilization Techniques |
| [ 共同発表者名 ] Kiyoshi Shirayanagi, Hiroshi Sekigawa |
| [ 学会・会議名 ] Applications of Computer Algebra 2008 (ACA2008) |
| [ 発表日付 ] 2008年7月27日 |
| The Nearest Polynomial with a Zero in a Given Domain from a Geometrical Viewpoint |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] The 21st International Symposium on Symbolic and Algebraic Computation (ISSAC2008) |
| [ 発表日付 ] 2008年7月21日 |
| 与えられた実閉区間に重複零点を持つ最近実多項式 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 第17回 日本数式処理学会大会 |
| [ 発表日付 ] 2008年6月8日 |
| Synthesis of Quantum Circuits for d-level Systems by Means of KAK Decomposition |
| [ 共同発表者名 ] Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
| [ 学会・会議名 ] Quantum Information Processing 2008 (QIP2008) |
| [ 発表日付 ] 2007年12月18日 |
| The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] The 8th Asian Symposium on Computer Mathematics (ASCM2007) |
| [ 発表日付 ] 2007年12月16日 |
| 安定化理論に基づく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日 |
