屋並 仁史 | 株式会社富士通研究所
スポンサーリンク
概要
関連著者
-
屋並 仁史
株式会社富士通研究所
-
穴井 宏和
株式会社富士通研究所
-
屋並 仁史
(株)富士通研究所
-
穴井 宏和
富士通情報研究所
-
屋並 仁史
(株) 富士通研究所
-
穴井 宏和
(株)富士通研究所
-
穴井 宏和
(株)富士通研究所 Itコア研究所
-
屋並 仁史
(株)富士通研究所 Crest Jst
-
岩根 秀直
株式会社富士通研究所
-
岩根 秀直
(株)富士通研究所
-
岩根 秀直
OpenXM開発グループ
-
洪 明勲
(株)富士通ソフトウェアテクノロジー
-
原 辰次
東京大学
-
原 辰次
東京大学 情報理工学系研究科
-
下山 武司
株式会社富士通研究所
-
兵頭 礼子
株式会社アルファオメガ
-
兵頭 礼子
(株)アルファオメガ
-
佐藤 裕一
株式会社富士通研究所
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
横山 和弘
富士通研究所
-
横山 和弘
立教大学理学部数学科
-
武仲 正彦
株式会社富士通研究所セキュアコンピューティング研究部
-
下山 武司
富士通研究所
-
屋並 仁史
富士通研究所
-
武仲 正彦
富士通研究所
-
伊藤 孝一
富士通研究所
-
矢嶋 純
富士通研究所
-
鳥居 直哉
富士通研究所
-
田中 秀麿
東京理科大学 理工学部電気工学科
-
伊藤 孝一
(株)富士通研究所:富士通株式会社
-
矢嶋 純
株式会社富士通研究所
-
鳥居 直哉
(株)富士通研究所ソフトウェア&ソリューション研究所セキュアコンピューティング研究部
-
伊藤 孝一
株式会社富士通研究所
-
橋間 正芳
(株) 富士通研究所
-
佐藤 裕一
(株)富士通研究所
-
佐藤 裕一
富士通研
-
橋間 正芳
株式会社富士通研究所
-
橋間 正芳
(株)富士通研究所自律システム研究部
-
金児 純司
(株)富士通研究所
-
坂部 啓
株式会社アルファオメガ
-
下山 武司
富土通研究所
-
原 辰次
東工大
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
-
横山 和弘
富士通研究所国際情報社会科学研究所
-
原 辰次
東京大学大学院
著作論文
- 数式処理を用いた制御系設計支援ツールの開発
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式QE/CADの実装 (第18回日本数式処理学会大会報告)
- 共通鍵ブロック暗号SC2000
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 数式処理を用いた設計技術 (特集 研究開発最前線)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
- SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Linear QE Algorithms and their Implementation on Maple (Computer Algebra : Algorithms, Implementations and Applications)
- SC2000の差分/線形特性探索 (II)
- 数値数式QE/CADの実装
- 可視化の技術と現代幾何学,若山正人編,岩波書店,2010年