Top > Back > 学術論文・プロシーディングス・著作 の検索結果 112 件中 91‐112 件目
| 実区間多項式の零点の所在について |
| [ 全著者名 ] 関川浩，白柳潔 |
| [ 掲載誌名 ] 数式処理 |
| [ 掲載年月 ] 2005年 12月 |
| [ 著作区分 ] その他著作 |
| 人間らしい初等幾何証明における角の取り扱いについて |
| [ 全著者名 ] 白柳潔，宮本健司，山本航，関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 2005年 11月 |
| [ 著作区分 ] その他著作 |
| IEEE754 浮動小数点時音響信号の可逆符号化 |
| [ 全著者名 ] 原田登，守谷健弘，関川浩，白柳潔，鎌本優 |
| [ 掲載誌名 ] 2005年音響学会秋季研究発表会講演論文集 |
| [ 掲載年月 ] 2005年 9月 |
| [ 著作区分 ] その他著作 |
| スピンの交換だけを用いた量子コンピュータにおける厳密な CNOT の存在 |
| [ 全著者名 ] 河野泰人，木村欣司，関川浩，野呂正行，白柳潔 |
| [ 掲載誌名 ] 数式処理 |
| [ 掲載年月 ] 2005年 6月 |
| [ 著作区分 ] その他著作 |
| 近似計算を用いた代数的数のゼロ判定法 |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 応用数理 |
| [ 掲載年月 ] 2004年 12月 |
| [ 著作区分 ] その他著作 |
| 初等幾何の自動証明における効率的な補助線の発見法について |
| [ 全著者名 ] 宮本健司，大矢孝次，関川浩，白柳潔 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 2004年 10月 |
| [ 著作区分 ] その他著作 |
| Decoherence-free Subspace における量子ゲートについて |
| [ 全著者名 ] 河野泰人，木村欣司，関川浩 |
| [ 掲載誌名 ] 電子情報通信学会技術研究報告 |
| [ 掲載年月 ] 2004年 6月 |
| [ 著作区分 ] その他著作 |
| Cartan 分解を利用した量子回路の生成 |
| [ 全著者名 ] 村上裕美，河野泰人，関川浩 |
| [ 掲載誌名 ] 第10回 量子情報技術研究会資料 |
| [ 掲載年月 ] 2004年 5月 |
| [ 著作区分 ] その他著作 |
| 初等幾何における読みやすい証明の生成手法について |
| [ 全著者名 ] 宮本健司，関川浩，白柳潔，町田文彦 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 2003年 7月 |
| [ 著作区分 ] その他著作 |
| 新しい科学技術計算方式―数値計算と数式処理の融合 |
| [ 全著者名 ] 白柳潔，関川浩 |
| [ 掲載誌名 ] NTT R&D |
| [ 掲載年月 ] 2002年 10月 |
| [ 著作区分 ] その他著作 |
| 有理演算による実対称行列の三重対角化 |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 2000年 4月 |
| [ 著作区分 ] その他著作 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 全著者名 ] 関川浩，白柳潔 |
| [ 掲載誌名 ] 数式処理 |
| [ 掲載年月 ] 1999年 11月 |
| [ 著作区分 ] その他著作 |
| 数式処理から見た行列の数値計算アルゴリズム |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1999年 3月 |
| [ 著作区分 ] その他著作 |
| アルゴリズム自動安定化システムの構築に向けて |
| [ 全著者名 ] 関川浩，白柳潔 |
| [ 掲載誌名 ] 数式処理 |
| [ 掲載年月 ] 1998年 12月 |
| [ 著作区分 ] その他著作 |
| 浮動小数点計算を用いた代数的数の符号判定 |
| [ 全著者名 ] 日吉久礎，関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1998年 4月 |
| [ 著作区分 ] その他著作 |
| p進近似を利用した代数的数の取り扱い |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1998年 4月 |
| [ 著作区分 ] その他著作 |
| 区間演算と Mahler の measure を用いた代数的数のゼロ判定 |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 数式処理 |
| [ 掲載年月 ] 1997年 10月 |
| [ 著作区分 ] その他著作 |
| 拡張された Mahler の measure による代数的数のゼロ判定 |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1997年 4月 |
| [ 著作区分 ] その他著作 |
| 近似計算による代数的数の符号判定について |
| [ 全著者名 ] 関川浩 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1996年 3月 |
| [ 著作区分 ] その他著作 |
| Diophantine 近似グレブナ基底の計算 |
| [ 全著者名 ] 関川浩，白柳潔 |
| [ 掲載誌名 ] 京都大学数理解析研究所講究録 |
| [ 掲載年月 ] 1995年 8月 |
| [ 著作区分 ] その他著作 |
| データ転送路へのセレクタ割付手法について |
| [ 全著者名 ] 関川浩，小栗清，中村行宏 |
| [ 掲載誌名 ] 情報処理学会第43回全国大会講演論文集 |
| [ 掲載年月 ] 1991年 10月 |
| [ 著作区分 ] その他著作 |
| データ転送路の自動合成 |
| [ 全著者名 ] 関川浩，名古屋彰，小栗清，中村行宏 |
| [ 掲載誌名 ] 情報処理学会第41回全国大会講演論文集 |
| [ 掲載年月 ] 1990年 9月 |
| [ 著作区分 ] その他著作 |
