白柳 潔 | 東海大学理学部
スポンサーリンク
概要
関連著者
-
関川 浩
NTTコミュニケーション科学基礎研究所
-
白柳 潔
東海大学理学部
-
関川 浩
日本電信電話株式会社 NTTコミュニケーション科学基礎研究所
-
白柳 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
白柳 潔
NTTコミュニケーション科学基礎研究所
-
宮本 健司
法政大学工学部
-
白柳 潔
東海大学 理学部
-
守谷 健弘
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
木村 欣司
京都大学大学院情報学研究科:日本学術振興機構
-
野呂 正行
神戸大学理学部
-
守谷 健弘
NTTコミュニケーション科学基礎研究所
-
野呂 正行
神戸大学理学研究科
-
野呂 正行
株式会社富士通研究所hpc研究センター
-
野呂 正行
富士通国際研究所
-
野呂 正行
(株)富士通研究所セキュアコンピューティング研究部
-
山本 航
法政大学工学部
-
原田 登
NTTコミュニケーション科学基礎研究所
-
鎌本 優
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
原田 登
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
大矢 孝次
法政大学工学部
-
町田 文彦
法政大学工学部
-
野呂 正行
神戸大学 理学部
-
木村 欣司
九州大学 数理学研究院
-
河野 泰人
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
河野 泰人
Nttコミュニケーション科学基礎研究所
-
河野 泰人
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
野呂 正行
株式会社富士通研究所情報社会科学研究所
-
関川 浩
東海大学 理学部
-
白柳 潔
東邦大学理学部
-
関川 浩
東海大学理学部
著作論文
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- 安定化理論に基づくlog methodについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ISO/IEC MPEG-4 Audio Lossless Coding (ALS)におけるIEEE754浮動小数点信号の可逆符号化(国際標準に向けたテレコム技術とその効用論文)
- 安定化理論に基づくグレブナ基底変換法
- 安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 実区間多項式の実重複零点の所在について
- 区間多項式の零点の所在について(数値計算,数理計画法)
- 11th International Conference on Applications of Computer Algebra(ACA' 2005)
- 実区間多項式の零点の所在について
- 新しい科学技術計算方式--数値計算と数式処理の融合 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (大規模で高速な処理のために)
- アルゴリズム自動安定化プロトタイプシステム
- アルゴリズム自動安定化システムの構築に向けて
- ゼ口書換えに基づいた区間法とSturmのアルゴリズムへの応用
- 係数に誤差のある連立代数方程式の可解性について
- 安定化理論に基づくISCZ法の有効性について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 安定化理論に基づくISCZ 法の凸包構成への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)