村尾 裕一
ムラオ ヒロカズ (MURAO HIROKAZU)
更新日: 2022/08/23
基本情報
- 所属
- 電気通信大学 大学院情報理工学研究科、情報理工学域情報・ネットワーク工学専攻、Ⅰ類 (情報系) 准教授
- 学位
-
博士(理学)(東京大学)
- 研究者番号
- 60174265
- J-GLOBAL ID
- 200901003723839766
- researchmap会員ID
- 1000011393
研究キーワード
1研究分野
2学歴
3-
1981年4月 - 1984年3月
-
1979年4月 - 1981年3月
-
1974年4月 - 1979年3月
委員歴
5-
2013年4月
-
2008年4月 - 2011年3月
-
2004年4月 - 2011年3月
-
2004年4月 - 2008年3月
論文
20-
ACM International Conference Proceeding Series 10 61-69 2015年7月10日 査読有り
-
Communications of JSSAC 1(1) 75-91 2012年4月 査読有り
-
Mathematical User-Interface Workshop 2006.. http://www.activemath.org/~paul/MathUI06/proceedings/ (online) 2006年8月 査読有り
-
MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS 4151 426-437 2006年 査読有り
-
Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 124-129 2003年 査読有り
-
日本応用数理学会論文誌 12(4) 281-292 2002年12月 査読有り
-
CADE-18 Workshop RADM, 2nd Workshop on the Role of Automated Deduction in Mathematics 11-24 2002年7月 査読有り
-
ISSAC'99: 1999 International Symposium on Symbolic and Algebraic Computation, Poster session abstracts (Eds. E.Zima and M.O.Rayes) 33 2000年 査読有り
-
米国MSRI研究所のvideo archive 1998年
-
Proceedings of the Second International Symposium on Parallel Symbolic Computation : PASCO'97 24-30 1997年 査読有り
-
Proceedings of ISSAC'96 (International Symposium on Symbolic and Algebraic Computation) 18-25 1996年7月 査読有り
-
Journal of Symbolic Computation 21(4-6) 377-396 1996年 査読有り
-
Proceedings of PASCO'94 : First International Symposium on Parallel Symbolic Computation 304-315 1994年 査読有り
-
Journal of Symbolic Computation 15(2) 123-142 1993年2月 査読有り
-
Journal of Information Processing 15(2) 195-201 1992年 査読有り
-
Proc. International Symposium on Supercomputing 145-154 1991年11月 査読有り
-
SUPERCOMPUTER 8(3) 36-48 1991年5月 査読有り
-
ACM Transactions on Mathematical Software 8(3) 277-289 1982年 査読有り
-
Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation 155-159 1981年8月 査読有り
-
Journal of Information Processing 3(2) 87-92 1980年 査読有り
MISC
4-
数式処理 18(2) 80-89 2012年5月
-
情報処理 39(2) 116-121 1998年 査読有り
-
数式処理 5(1) 2-17 1996年 査読有り
-
情報処理 27(4) 371-378 1986年 査読有り
書籍等出版物
2-
朝倉書店 2013年
-
シュプリンガー・フェアラーク東京 1990年
講演・口頭発表等
62-
電子情報通信学会画像工学研究会・信学技法 2016年2月29日 電子情報通信学会
-
京都大学数理解析研究所,研究集会「数式処理とその周辺の研究」 2013年12月25日
-
Risa/Asir Conference 2013 2013年3月16日
-
Risa/Asir Conference 2013 2013年3月16日
-
GPU Technology Conference 2013 2013年3月 NVIDIA Corporation
-
Risa/Asir Conference 2013 2013年3月
-
Risa/Asir Conference 2013 2013年3月
-
京都大学数理解析研究所,RIMS研究集会「数式処理 -- その研究と目指すもの」 2012年12月
-
京都大学数理解析研究所講究録,研究集会: Computer Algebra – Design of Algorithms, Implementations and Applications(2010年12月) 2012年10月
-
7th International Workshop on Parallel Matrix Algorithms and Applications (PMAA 2012) 2012年6月 Book of Abstracts, 7th International Conference on Parallel Matrix Algorithms and Applications
-
日本数式処理学会,第4回基礎理論分科会&システム分科会合同研究会/学会誌「数式処理」 2012年1月
-
HPCS202, 2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム 2012年1月 情報処理学会 ハイパフォーマンスコンピューティング研究会
-
HPCS202, 2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム 2012年1月 情報処理学会 ハイパフォーマンスコンピューティング研究会
-
京都大学数理解析研究所講究録,研究集会「数学ソフトウェアと教育」 2012年
-
京都大学数理解析研究所講究録,研究集会「数式処理―その研究と目指すもの.Computer Algebra -- Design of Algorithms, Implementations and the Next Generation」 2011年12月
-
第20回日本数式処理学会大会 2011年9月 日本数式処理学会
-
Risa/Asir Conference 2011+第3回六甲博多計算代数会議 2011年3月
-
2010年度 特異値・固有値合同ワークショップ 2010年11月
-
第2回データ工学と情報マネジメントに関するフォーラム DEIM2010 2010年3月 電子情報通信学会データ工学研究専門委員会、 日本データベース学会、 情報処理学会データベースシステム研究会
-
情報処理学会「ハイパフォーマンスコンピューティング(HPC)」,HPC研究会 2010年2月