日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering) 

Associate Professor 
HIROKAZU MURAO 

Career
東京大学大型計算機センター  助手  1984/04-1999/03 
東京大学情報基盤センター  助手  1999/04-2000/03 
電気通信大学  講師  2000/04-2010/03 

Academic background
The University of Tokyo  Faculty of Science  物理学科  1979/03  Graduated 
The University of Tokyo  Graduate School, Division of Science  情報科学専攻  Master's program  1981/03  Completed 
The University of Tokyo  Graduate School, Division of Science  情報科学専攻  Doctoral program  1984/03  Program completed without degree 

Academic degrees
Doctor(Science)  The University of Tokyo  1992/09 

Classes responsible within the university
2017  コンピュータリテラシー  Spring semester  Undergraduate, daytime  Other 
2017  アルゴリズム論第一  Spring semester  Undergraduate, daytime  Subject in specialty 
2017  アルゴリズムとデータ構造論  Spring semester  Undergraduate, daytime  Subject in specialty 
2017  アルゴリズム論第一  Fall semester  Undergraduate, daytime  Subject in specialty 
2017  アルゴリズム特論  Fall semester  Graduate, IE  Master's and doctoral programs 
View details...

Classes responsible in other universities
2001  普遍教育「情報処理」  千葉大学 
2002  普遍教育「情報処理」  千葉大学 
2003  普遍教育「情報処理」  千葉大学 
2004  普遍教育「情報処理」  千葉大学 
2004  言語情報工学・アルゴリズムとデータ構造  東京外国語大学 
View details...

Current research areas
Theory of informatics 
Software 

Current research subjects
Computer Algebra and Supercomputing  computer algebra supercomputer parallel processing 
並列処理の応用  マルチコア、GPU  2009-Present  マルチコアCPUやGPUにおける並列処理技術の、準数値処理等の数値起算以外への応用の方法と分野を開拓する 
Application of Automated Reasoning  Proof-assistant system mechanical reasoning  2000-Present 

Published books
Book  応用数理ハンドブック  朝倉書店  2013 
Book, translated  よくわかる計算機物理 コンピュータ・シミュレーションと計算機代数入門  金田康正(監訳者)、伊藤伸泰、佐藤三久、村尾裕一  シュプリンガー・フェアラーク東京  1990 
View details...

Published papers
Paper  Yes  Design and Implementation of a WEB-browser tool BrEdiMa for Mathematical Expressions  Y.Nakano, H.Murao, D.Morimitsu  Communications of JSSAC  1/ 1, 75-91  2012/04 
Paper  Yes  ωビット消去による拡張GCD問題の解法 -逆元計算の一高速化手法-  村尾裕一  日本応用数理学会論文誌  12/ 4, 281-292  2002/12 
Paper  No  Integrated Parallel Processing and Computer Algebra  H.Murao  http : // www. msri. org / publications / video / contents. html  1998 
Paper  Yes  Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation (共著)  H.Murao, T.Fujise  Journal of Symbolic Computation  21/ 4-6, 377-396  1996  0747-7171  10.1006/jsco.1996.0020 
Paper  Yes  On Factorizing Symbolic U-resultant-Application of ddet operator-(共著)  H.Murao, H.Kobayashi, T.Fujise  Journal of Symbolic Computation  15/ 2, 123-142  1993 
View details...

Research presentations
Oral presentation for an academic conference  Parallel processing of implicit function rendering on Web browser  電子情報通信学会画像工学研究会・信学技法  115/ 494  No  桑原国仁、村尾裕一  2016/02/29 
Oral presentation for an academic conference  ifplotでの3次元描画の拡張  RIMS Workshop: Computer Algebra and Related Topics  1907  No  兵頭礼子,近藤祐史,村尾裕一,齋藤友克  2013/12/25 
Oral presentation for an academic conference  数式を省略して表示する方法の提案と検討  京都大学数理解析研究所講究録,研究集会「数学ソフトウェアと教育」  1780  No  村尾裕一,近藤祐史,兵頭礼子,齋藤友克  2012 
Oral presentation for an academic conference  3変数の陰関数描画について  京都大学数理解析研究所,RIMS研究集会「数式処理 -- その研究と目指すもの」  (準備中)  No  近藤祐史,兵頭礼子,村尾裕一,齋藤友克  2012/12 
Oral presentation for an academic conference  有理区間数とGPU並列処理による陰関数描画について  京都大学数理解析研究所講究録,研究集会: Computer Algebra – Design of Algorithms, Implementations and Applications(2010年12月)  1815  No  近藤祐史,兵頭礼子,村尾裕一,齋藤友克  2012/10 
View details...

Past records of joint or funded research
大規模並列代数計算に関する研究  1997-1999  Commissioned research  Research commissioned by a company 
View details...

Memberships of academic societies
日本数式処理学会 
日本応用数理学会  2002-2002 
情報処理学会 
View details...

Committee or council involvement
情報処理学会  論文誌査読委員 
日本数式処理学会  代表会員  2013/04-Present 
日本数式処理学会  大会・分科会等研究会担当理事、代表会員  2008/04-2011/03 
日本数式処理学会  理事,代表会員  2004/04-2011/03 
日本数式処理学会  広報委員長  2004/04-2008/03 
View details...