Top > Back > 学会発表 の検索結果 145 件中 91‐120 件目
| 円に関する人間らしい初等幾何証明を生成するための推論方法 |
| [ 共同発表者名 ] 山本航，宮本健司，関川浩，白柳潔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 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日 |
| 初等幾何証明をもちいた帰納的作図体系について |
| [ 共同発表者名 ] 宮本健司，関川浩，白柳潔 |
| [ 学会・会議名 ] 第11回 Risa コンソーシアム研究集会 |
| [ 発表日付 ] 2003年3月20日 |
| 区間数係数多項式の零点について |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches for Algorithms on Computer Algebra" |
| [ 発表日付 ] 2003年3月6日 |
| 初等幾何における読みやすい証明の生成手法について |
| [ 共同発表者名 ] 宮本健司，関川浩，白柳潔，町田文彦 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 Computer Algebra---Algorithms, Implementations and Applications (CA-ALIAS'02) |
| [ 発表日付 ] 2002年12月10日 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 2000年3月22日 |
| 有理演算による実対称行列の三重対角化 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1999年11月26日 |
| A Remark on the Polynomial Determining Superstable Points in the Mandelbrot Set |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 第4回 非線形解析とその応用−数式処理による研究− |
| [ 発表日付 ] 1999年9月18日 |
| Stabilizing Algebraic Algorithms: Theory and System |
| [ 共同発表者名 ] 白柳潔，関川浩 |
| [ 学会・会議名 ] 第4回 非線形解析とその応用−数式処理による研究− |
| [ 発表日付 ] 1999年9月17日 |
| Mahler measure を用いた代数的数のゼロ判定−p進近似の場合− |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches on Algorithms for Computer Algebra" |
| [ 発表日付 ] 1999年7月28日 |
| A System of Automatic Algorithm Stablization |
| [ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| [ 学会・会議名 ] 1999 IMACS Conference on Applications of Computer Algebra (IMACS-ACA'99) |
| [ 発表日付 ] 1999年6月25日 |
| An Interval Arithmetic with Algebraic Complexity to Determine the Signs of Algebraic Expressions |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] 4th International Symposium on Effective Methods in Algebraic Geometry (MEGA'96) |
| [ 発表日付 ] 1999年6月6日 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 第8回日本数式処理学会大会 |
| [ 発表日付 ] 1999年5月21日 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1999年3月16日 |
| 数式処理から見た行列の数値計算アルゴリズム |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1998年11月18日 |
| p進数係数代数方程式の近似根の誤差評価について |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches on Algorithms for Computer Algebra" |
| [ 発表日付 ] 1998年7月28日 |
| アルゴリズム自動安定化システムの構築に向けて |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 第7回 日本数式処理学会大会 |
| [ 発表日付 ] 1998年6月13日 |
