村尾裕一

ムラオヒロカズ | HIROKAZU MURAO

所属機関・部署：
職名：准教授

研究分野 (2件)：ソフトウェア , 情報学基礎論

研究キーワード (1件)：計算機科学:数式処理および準数値アルゴリズム。これらを主たる対象とした高性能計算の応用(並列処理)。自動証明や証明支援システムの応用。これらに関するソフトウェアの開発。WEB技術のこれらへの応用

論文 (20件)：

Hiroki Hayakawa, Naoaki Ishida, Hirokazu Murao. GPU-acceleration of optimal permutation-puzzle solving. ACM International Conference Proceeding Series. 2015. 10. 61-69
Y.Nakano, H.Murao, D.Morimitsu. Design and Implementation of a WEB-browser tool BrEdiMa for Mathematical Expressions. Communications of JSSAC. 2012. 1. 1. 75-91
Y.Nakano, H.Murao. BrEdiMa: Yet Another Web-browser Tool for Mathematical Expressions. Mathematical User-Interface Workshop 2006.. http://www.activemath.org/~paul/MathUI06/proceedings. 2006. (online)
Hirokazu Murao. Experiment of multithreading symbolic and algebraic computations with OpenMP. MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS. 2006. 4151. 426-437
H.Kobayashi, H.Suzuki, H.Murao. Rings and Modules in Isabelle/HOL. Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. 2003. 124-129

MISC (4件)：

書籍 (2件)：

講演・口頭発表等 (62件)：

学歴 (3件)：

学位 (1件)：

委員歴 (5件)：

所属学会 (3件)：

情報処理学会 , 日本応用数理学会 , 日本数式処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

村尾 裕一