MURAO Hirokazu 村尾裕一

Researcher Number	60174265
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2016: 電気通信大学, 大学院情報理工学研究科, 准教授 2014 – 2015: 電気通信大学, 情報理工学(系)研究科, 准教授 2012: 電気通信大学, 情報理工学(系)研究科, 准教授 2010 – 2012: 電気通信大学, 大学院・情報理工学研究科, 准教授 2002 – 2007: 電気通信大学, 電気通信学部, 講師 2004: UEC, Faculty of Electro-Communications, Associate professor 1993 – 1996: 東京大学, 大型計算機センター, 助手
Review Section/Research Field	Principal Investigator 計算機科学 / Fundamental theory of informatics / High performance computing Except Principal Investigator Foreign language education / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 数式処理 / computer algebra / 代数方程式系 / 陰関数描画 / 多項式補間 / 並列処理 / OpenMP / BLAS / asymptotically fast algorithm / polynomial factorization … More / polynomial interpolation / 多項式因数分解 / 中国剰余定理 / 準数値アルゴリズム / マルチコア / Web-interface / memory management and GC / program library / multi-thread parallel processing / マルチスレッド / 基本行列演算 / 行列基本演算 / OpenMp / 多項式演算 / 計算機代数 / 数式入力のWEBインターフェース / 区関数 / Open MP / 数式入力のWEBインタフェース / メモリ管理 / 標準ライブラリ / マルチスレッド並列処理 / SIMD operation / vector operation / modular arithmetic / representation of math formula / Strassen-Winograd algorithm / 有限体上の計算 / Wiedemannのアルゴリズム / XMLデータベース / 有限体の演算 / 基本線形演算 / Dynamic Evaluation / Asir / Risa / 代数的数の計算 / 行列乗算 / 高速アルゴリズム / ベクトル命令・SIMD命令 / モジュラー演算 / 数式のデータ表現 / Strassen-Winogradアルゴリズム / 漸近的拘束アルゴリズム / multipoint polynomial evaluation / algebraic equation system / integer GCD / parallel processing / 並列アルゴリズム / 整数GCD計算 / 並列処理(タスク並列) / 多項式の多点評価 / 漸近的高速算法 / 整数GCD / interprocess communication / Grobner basis / system of algebraic equations / Chinese remainder algorithm / supercomputer / グレーブナー基底 / 分散処理 / ベクトル処理・並列処理 / プロセス間通信 / グレーブナ-基底 / スーパーコンピュータ / 高精度計算 / 最短経路探索 / ＧＰＧＰＵ / 多倍長整数 / 高性能計算 / WebGL / マルチコア並列処理 / GPGPU / 高精度整数計算 / 並列処理う / RNS表現 / 区間数 / GPU / RNS / 情報数理 … More Except Principal Investigator database / the Internet / in-class reading / Extensive Reading / データベース / IT化 / 多読授業 / 多読 / Vertex operator algebra / Polynomial system solving / Ideal decomposition / polynomial factorization / Hypergeometric function / Algebraic analysis / Groebner Basis / Computer algebra / 最少多項式 / 極小素因子 / 準素分解 / 多項式イデアル / グレブナー基底 / 多項式因数分解 / b関数 / VOA / グレブナーfan / グレブナー fan / 超幾何関数 / 極小素因子計算 / 計算代数解析 / 計算代数 / 数学ソフトウェア Less

Research on data-parallel integer processing with high-precision and high-performancePrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazu
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  High performance computing
- Research Institution
  The University of Electro-Communications
Research on multi-core oriented parallel algorithms and implementation techniques for seminumerical processingPrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazu
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Electro-Communications
Design of standard program library for computer algebra, and research on its efficient implementation and its applicationsPrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Electro-Communications
Development and Promulgation of Extensive Reading in the English Classroom
- Principal Investigator
  
  SAKAI Kunihide
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foreign language education
- Research Institution
  The University of Electro-Communications
Development of high performance computer algebra software
- Principal Investigator
  
  NORO Masayuki
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KOBE UNIVERSITY
Research for practical use of fast algorithms for computer algebra and software developmentPrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazu
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Electro-Communications
Research on Vector and Parallel Processing of Computer Algebra Algorithms and Distributed and Cooperative ProcessingPrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazu
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Computer Algebra and SupercomputingPrincipal Investigator
- Principal Investigator
  
  MURAO Hirokazu
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo

[Journal Article] 3変数陰関数描画の実装について2017
- Author(s)
  近藤祐史, 大墨礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 23 Pages: 20-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] 行列式演算における演算速度と速度要因に関する考察2017
- Author(s)
  北村竜之介，大墨礼子, 近藤祐史, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 23 Pages: 10-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Webブラウザ上での陰関数グラフの描画法と並列処理による高速化2016
- Author(s)
  桑原国仁，村尾裕一
- Journal Title
  
  信学技報
  
  Volume: 114 Pages: 139-144
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] ハードウェアの特性を考慮した有限体の実装法について2016
- Author(s)
  木村欣司，村尾裕一
- Journal Title
  
  数式処理
  
  Volume: 22 Pages: 80-83
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] 行列演算の高速化要因に関する一考察2016
- Author(s)
  北村竜之介，大墨礼子，近藤祐史，村尾裕一，齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 22 Pages: 75-79
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Practice of Drawing Graphs of Implicit Functions of Three Variables2016
- Author(s)
  N.Hyoto, Y.Kondoh, H.Murao, T.Saito and T.Takahashi
- Journal Title
  
  Communications of JSSAC
  
  Volume: 2 Pages: 33-42
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Asirにおける陰関数描画ifplotの改良2015
- Author(s)
  近藤祐史，兵頭礼子，村尾裕一，齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 21 Pages: 76-79
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] 中国剰余定理による高速化のための浮動小数点数の符号bitの利用について2015
- Author(s)
  木村欣司，村尾裕一
- Journal Title
  
  数式処理
  
  Volume: 21 Pages: 68-71
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Asirでの３変数描画について2015
- Author(s)
  近藤祐史，大墨礼子，村尾裕一，齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1976 Pages: 17-26
- Open Access
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] GPU-acceleration of optimal permutation-puzzle solving2015
- Author(s)
  H.Hayakawa, N.Ishida and H.Murao
- Journal Title
  
  Proc. PASCO'15
  
  Volume: PASCO'15 Pages: 61-69
- DOI
  10.1145/2790282.2790289
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] 中国剰余定理による高速化のための浮動小数点数の符号bitの利用について2015
- Author(s)
  木村欣司、村尾裕一
- Journal Title
  
  数式処理
  
  Volume: 22
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] ifplotでの3次元描画の拡張2014
- Author(s)
  兵頭礼子、近藤祐史、村尾裕一、齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1907 Pages: 166-173
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Risa/Asirでの行列演算高速化の試み2014
- Author(s)
  兵頭礼子、北村竜之介、近藤祐史、村尾裕一、齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1927 Pages: 122-127
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] ifplotの改良2014
- Author(s)
  兵頭礼子、近藤祐史、村尾裕一、齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 20
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] Risa/Asirでの行列演算高速化の試み2014
- Author(s)
  北村竜之介、兵頭礼子、近藤祐史、村尾裕一、齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 21 Pages: 17-23
- Data Source
  KAKENHI-PROJECT-26330144
[Journal Article] 3変数陰関数描画について2013
- Author(s)
  近藤祐史,兵頭礼子,村尾裕一,齋藤友克
- Journal Title
  
  数式処理,第4回基礎理論・システム合同分科会報告
  
  Pages: 53-54
- NAID
  10031169529
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] ３変数の陰関数描画について2012
- Author(s)
  近藤祐史，兵頭礼子，村尾裕一，齋藤友克
- Journal Title
  
  数式処理
  
  Volume: 18巻2号
- NAID
  10030966482
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 有理区間数とGPU並列処理による陰関数描画について2012
- Author(s)
  近藤祐史，兵頭礼子，村尾裕一，齋藤友克
- Journal Title
  
  京都大学数理解析所講究録
  
  Volume: 1815 Pages: 163-167
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] Risa/Asirの行列演算と改良について2012
- Author(s)
  兵頭礼子,近藤祐史,村尾裕一,齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: No.1785 Pages: 162-166
- URL
  http://hdl.handle.net/2433/172729
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 数式を省略して表示する方法の提案と検討2012
- Author(s)
  村尾裕一,近藤祐史,兵頭礼子,齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: No.1780 Pages: 232-242
- URL
  http://hdl.handle.net/2433/171815
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 有理区間数とGPU並列による陰関数描画について2012
- Author(s)
  近藤祐史,兵頭礼子,村尾裕一,齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: No.1815 Pages: 163-167
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 3変数の陰関数描画について2012
- Author(s)
  近藤祐史,兵頭礼子,村尾裕一,齋藤友克
- Journal Title
  
  数式処理.大会報告
  
  Volume: 第18巻,2号 Pages: 68-71
- NAID
  10030966482
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] Design and Implementation of a WEB-browser Tool BrEdiMa for Mathematical Expressions2012
- Author(s)
  Y.Nakano, H.Murao and D.Morimitsu
- Journal Title
  
  Communications of JSSAC
  
  Volume: Vol.1, No.1 Pages: 75-91
- URL
  http://www.jssac.org/Editor/CJssac/V01/V01_105.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] Design and Implementation of a WEB-browser Tool Br EdiMa for Mathematical Expressions2011
- Author(s)
  Y.Nakano, H.Murao, D.Morimitsu
- Journal Title
  
  Communications of JSSAC
  
  Volume: 1(掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] GPU 並列処理による陰関数描画について2011
- Author(s)
  近藤祐史,兵頭礼子,村尾裕一,齋藤友克
- Journal Title
  
  数式処理.第3回システム分科会研究会報告
  
  Volume: 第18巻,1号 Pages: 35-39
- NAID
  10030345058
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 有理区間数とGPU並列処理について2011
- Author(s)
  村尾裕一,鈴木省吾,近藤祐史,齋藤友克
- Journal Title
  
  数式処理.大会報告
  
  Volume: 第17巻,2号 Pages: 28-31
- NAID
  10029572371
- Data Source
  KAKENHI-PROJECT-22500011
[Journal Article] 陰関数描画と区間演算の効率化について2008
- Author(s)
  村尾裕一, 近藤祐史, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録(出版確定)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Risa/Asirの ifplotの改良と並列化の試み2007
- Author(s)
  近藤祐史, 齋藤友克, 村尾裕一
- Journal Title
  
  京都大学数理解析研究所講究録 1568
  
  Pages: 185-191
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Risa/Asirのifplotの改良と並列化の試み2007
- Author(s)
  近藤祐史, 齊藤友克, 村尾裕一
- Journal Title
  
  京都大学数理解析研究所講究録 1568
  
  Pages: 185-191
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] 数式の零点描画の高速化2007
- Author(s)
  近藤祐史, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理 14
  
  Pages: 27-31
- NAID
  10020156473
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] 数式の零点描画の高速化2007
- Author(s)
  近藤祐史, 齊藤友克, 村尾裕一
- Journal Title
  
  数式処理 14
  
  Pages: 27-31
- NAID
  10020156473
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] unrefereed articles in Japanese, treating the implementation of fast matrix multiplications, and efficient plot methods for implicit functions2007
- Author(s)
  N., Hyodo, H., Murao, T., Saito
- Journal Title
  
  Journal of Japan Society for Symbolic and Algebraic Computation 12, 14
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] 数式処理(システム)におけるマルチスレッド化の試み2006
- Author(s)
  村尾裕一, 兵頭礼子, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1514
  
  Pages: 211-217
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] BrEdiMa : Yet Another Web-browser Tool for Mathematical Expressions2006
- Author(s)
  Y.Nakano, H.Murao
- Journal Title
  
  ONLINE : Mathematical User-Interface Workshop 2006
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP2006
- Author(s)
  H.Murao
- Journal Title
  
  Proc. ICMS 2006 LNCS 4151
  
  Pages: 426-437
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] BrEdiMa:Ybt Another Web-browser tool for mathematical expressions2006
- Author(s)
  Y. Nakano, H. Murao
- Journal Title
  
  オンライン http://www.activemath.org/~paul/MathUI06/proceedings/
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Experiment of multithreading symbolic and algebraic computations with OpenMP2006
- Author(s)
  H. Murao
- Journal Title
  
  Proc. ICMS 2006 LNCS4151
  
  Pages: 426-437
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Matrix Multilication Made Fast-Practical View of Fast Matrix Operation for Computer Algebra System2005
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  数式処理 11・3-4
  
  Pages: 3-19
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] 行列積アルゴリズムに強く依存した行列のデータ構造の実装2005
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤知克
- Journal Title
  
  数式処理(大会報告) 12・2
  
  Pages: 51-54
- NAID
  10016952967
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Implementation of Matrix Operations in Risa/Asir II.(in Japanese).2005
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  J.JSSAC. Vol.11, No.2(in press)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Matrix multiplication made fast-practical view of fast matrix operations for computer algebra2005
- Author(s)
  N. Hyodo, H. Murao, T. Saito
- Journal Title
  
  数式処理 11
  
  Pages: 3-18
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Risa/AsirのMatrix演算の実装について2005
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理 11(発行準備中)
- NAID
  40007193761
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Matrix multiplications made fast-practical view of fast matrix operations For computer algebra2005
- Author(s)
  N., Hyodo, H., Murao, T., Saito
- Journal Title
  
  Journal of Japan Society for Symbolic and Algebraic Computation 11
  
  Pages: 3-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Matrix Multiplication Made Fast … Practical View of Fast Matrix Operation for Computer Algebra System2005
- Author(s)
  Hyodo, N., Murao, H., Saito, T.
- Journal Title
  
  数式処理 Vol.11, No.3-4
  
  Pages: 3-19
- NAID
  40007176793
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Matrix Multiplication Made Fast-Practical View Of Fast Matrix Operation For Computer Algebra.2005
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  J.JSSAC. Vol.11, No.3-4
  
  Pages: 3-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 行列積アルゴリズムに強く依存した行列のデータ構造の実装2005
- Author(s)
  兵頭玲子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理 12
  
  Pages: 51-54
- NAID
  10016952967
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Implementation of Matrix Operations in Risa/Asir.(in Japanese).2005
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  Koukyuroku "Computer Algebra-Design of Algorithms, Implementations and Applications, 2009"(Kyoto University) (in press)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Matrix Multiplication Made Fast - Practical View of Fast Matrix Operation for Computer Algebra2005
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  数式処理 11
  
  Pages: 3-18
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Risa/Asirの行列演算の実装(II)2005
- Author(s)
  村尾裕一, 兵頭礼子, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1456
  
  Pages: 144-150
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Journal Article] Risa/Asirの行列の実装II2005
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 (出版準備中)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Risa/Asirの行列の実装について2005
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理(大会報告) Vol.11, No.2(出版準備中)
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] MBLAS : Modular Basic Linear Algebra Subprograms, Design and Speedup Techniques.2004
- Author(s)
  Y.Kawame, H.Murao
- Journal Title
  
  ISSAC 2004 : International Symposium on Symbolic and Algebraic Computation, Collection of Poster Abstracts.
  
  Pages: 30-32
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 数式処理のための基本線形演算プログラム集MBLASの開発2004
- Author(s)
  村尾裕一, 川目泰弘
- Journal Title
  
  SACSIS2004-先進的計算基盤システムシンポジウム
  
  Pages: 139-140
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] MBLAS : Modular Basic Linear Algebra Subprograms, Design and Speedup Techniques2004
- Author(s)
  y.Kawame, H.Murao
- Journal Title
  
  ISSAC2004: International Symposium on Symbolic and Algebraic Computation, Collection of Poster Abstracts
  
  Pages: 30-32
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 数式処理のための基本線形演算プログラム集MBLASの開発2004
- Author(s)
  村尾裕一, 川目泰弘
- Journal Title
  
  SACSIS2004-先進的計算基盤システムシムポジウムポスター
  
  Pages: 139-140
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] MBLAS : Modular Basic Linear Algebra Subprograms, Design and Speedup Techniques2004
- Author(s)
  Kawame, Y., Murao, H.
- Journal Title
  
  ISSAC 2004 : International Symposium on Symbolic and Algebraic Computation Collection of Poster Abstra
  
  Pages: 30-32
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 自動証明を効果的に行うための手法2004
- Author(s)
  大嶋真治, 村尾裕一
- Journal Title
  
  京都大学数理解析研究所講究録 1395
  
  Pages: 259-266
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] On Implementation of Matrix Operations and Basic Linear Algebra Operations.(in Japanese).2004
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  Koukyuroku 1395 "Computer Algebra-Design of Algorithms, Implementations and Applications, 2003"(Kyoto University)
  
  Pages: 218-223
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 行列計算と基本線形演算の実装法について2004
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1395
  
  Pages: 218-223
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 行列演算と基本線形演算の実装法について2004
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1395
  
  Pages: 218-223
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Rings and Modules in Isabelle/HOL.2003
- Author(s)
  H.Kobayashi, H.Suzuki, H.Murao
- Journal Title
  
  Calculemus 2003-11th Symposium on the Integration of Symolic Computation and Mechanized Reasoning
  
  Pages: 124-129
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Risa/Asirのmatrix演算の検討2003
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理 9
  
  Pages: 10-11
- NAID
  10011062752
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 多項式表現と行列演算の改良2003
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1335
  
  Pages: 28-32
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] On Efficient Implementation of Matrix Operations for Computer Algebra.(in Japanese)2003
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  J.JSSAC. Vol.10, No.2
  
  Pages: 18-19
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] A Relation between a Group and a Ring2003
- Author(s)
  小林英恒, 鈴木秀男, 村尾裕一
- Journal Title
  
  京都大学数理解析研究所講究録 1335
  
  Pages: 13-19
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Rings and Modules in Isabelle/HOL2003
- Author(s)
  H.Kobayashi, H.Suzuki, H.Murao
- Journal Title
  
  Calculemus 2003 - 11^<th> Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  
  Pages: 124-129
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Polynomial Representation and Improved Matrix Operations.(in Japanese).2003
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  Koukyuroku 1335 "Computer Algebra-Algorithms, Implementations and Applications, 2002"(Kyoto University)
  
  Pages: 28-32
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 数式処理のための行列演算の効率的な実装法について2003
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  数式処理 10
  
  Pages: 18-19
- NAID
  10011741678
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 代数の自動証明を目的とした分散システム2003
- Author(s)
  舩戸正和, 仁木直人, 鈴木秀男, 小林英恒, 村尾裕一, 小野陽子
- Journal Title
  
  情報科学技術フォーラムFIT2003
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Investigation of Matrix Operations in Risa/Asir.(in Japanese).2003
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  J.JSSAC. Vol.9, No.3
  
  Pages: 10-11
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] A Relation between a Group and a Ring.2003
- Author(s)
  H.Kobayashi, H.Suzuki, H.Murao
- Journal Title
  
  Koukyuroku 1335 "Computer Algebra-Algorithms, Implementations and Applications, 2002"(Kyoto University)
  
  Pages: 13-19
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Risa/Asirのmatrix演算の新しい実装について2002
- Author(s)
  兵頭礼子, 村尾裕一, 齋藤友克
- Journal Title
  
  京都大学数理解析研究所講究録 1295
  
  Pages: 213-219
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] New implementation of matrix operations in Risa/Asir.(in Japanese)2002
- Author(s)
  N.Hyodo, H.Murao, T.Saito
- Journal Title
  
  Koukyuroku 1295 "Computer Algebra-Algorithms, Implementations and Applications, 2001"(Kyoto University)
  
  Pages: 213-219
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Algorithm for extended GCD problem by w-bit elimination.(in Japanese).2002
- Author(s)
  H.Murao
- Journal Title
  
  Trans.JSIAM Vol.12, No.4
  
  Pages: 281-292
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Notes on Formalizing Induction on the Number of Sets2002
- Author(s)
  Chem, L., H.Kobayashi, H.Murao, H.Suzuki
- Journal Title
  
  Second Workshop on the Role of Automated Deduction in Mathematics (in conjunction with CADE-18)
  
  Pages: 11-23
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] wビット消去による拡張GCD問題の解法-逆元計算の一高速化手法-2002
- Author(s)
  村尾裕一
- Journal Title
  
  応用数理学会論文誌 12
  
  Pages: 281-292
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Notes on Formalizing Induction on the Number of Sets.2002
- Author(s)
  Chen, L., H.Kobayashi, H.Murao, H.Suzuki
- Journal Title
  
  Second Workshop on the Role of Automated Deduction in Mathematics(In conjuntion with CADE-18(Eds. : S.Colton and V.Sorge)
  
  Pages: 11-23
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Risa/Asirの行列演算の実装II
- Author(s)
  兵頭礼子, 齋藤友克, 村尾裕一
- Journal Title
  
  京都大学数理解析研究所講究録 (準備中)
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Development of MBLAS, Basic Linear Algebra Subprograms for Computer Algebra.(in Japanese. poster).
- Author(s)
  H.Murao, Y.Kawame
- Journal Title
  
  SACSIS 2004
  
  Pages: 139-140
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] 行列計算と基本線形演算の実装について
- Author(s)
  村尾裕一, 川目泰広, 兵頭礼子, 齋藤友克
- Journal Title
  
  (口頭発表)
- Data Source
  KAKENHI-PROJECT-14580365
[Journal Article] Distributed System Aimed at Automatic Reasoning in Algebra.(in Japanese)
- Author(s)
  M.Funato, N.Niki, H.Suzuki, H.Kobayashi, H.Murao, Y.Ono
- Journal Title
  
  FIT2003 G-018
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580365
[Presentation] 陰関数描画における描画関数の改良2017
- Author(s)
  近藤祐史、大墨礼子、村尾裕一、齋藤友克
- Organizer
  日本数式処理学会合同分科会
- Place of Presentation
  京都大学産連本部東京日本橋サテライトオフィス（東京都中央区）
- Year and Date
  2017-01-21
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] GF(2) 上の疎な連立線形方程式に対する Block-Wiedemann アルゴリズムの GPU 実装実験2017
- Author(s)
  薮雅文、村尾裕一
- Organizer
  日本数式処理学会合同分科会
- Place of Presentation
  京都大学産連本部東京日本橋サテライトオフィス（東京都中央区）
- Year and Date
  2017-01-21
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] GF(2)上の疎な線形方程式に対する block WiedemannアルゴリズムのGPUを用いた実装と評価2017
- Author(s)
  薮雅文、村尾裕一、木村欣司
- Organizer
  Risa/Asir Conference 2017
- Place of Presentation
  金沢大学（石川県金沢市）
- Year and Date
  2017-03-28
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] WebGLを用いたブラウザ上での陰関数描画2016
- Author(s)
  村尾裕一, 桑原国仁, 大墨礼子, 近藤祐史, 齋藤友克
- Organizer
  Risa/Asir Conference
- Place of Presentation
  金沢大学
- Year and Date
  2016-03-28
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 高次多項式の判別式計算と固有多項式計算によるIntel Xeon Phi KNLの性能評価2016
- Author(s)
  木村欣司、村尾裕一
- Organizer
  RIMS研究集会「数式処理とその周辺分野の研究」
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2016-12-07
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] Asir における陰関数描画について2016
- Author(s)
  近藤祐史，大墨礼子，村尾裕一，齋藤友克
- Organizer
  日本数式処理学会合同分科会
- Place of Presentation
  名古屋大学
- Year and Date
  2016-01-23
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 代数方程式系の求解への挑戦を振り返って：学会黎明期の頃2015
- Author(s)
  村尾裕一，森継修一
- Organizer
  日本数式処理学会特別研究会
- Place of Presentation
  東北大学百周年記念会館
- Year and Date
  2015-10-17
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 3変数陰関数描画の実装について2015
- Author(s)
  近藤祐史，大墨礼子，村尾裕一，齋藤友克
- Organizer
  日本数式処理学会特別研究会
- Place of Presentation
  東北大学百周年記念会館
- Year and Date
  2015-10-17
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 3変数陰関数描画に関する考察2015
- Author(s)
  近藤祐史，大墨礼子，村尾裕一，齋藤友克
- Organizer
  RIMS研究集会「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2015-12-02
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] ハードウェアの特性を考慮した有限体の実装法について2015
- Author(s)
  木村欣司，村尾裕一
- Organizer
  日本数式処理学会第２４回大会
- Place of Presentation
  筑波大学筑波キャンパス春日エリア
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 行列式演算における演算速度と速度要因に関する考察2015
- Author(s)
  北村竜之介，大墨礼子，近藤祐史，村尾裕一，齋藤友克
- Organizer
  日本数式処理学会特別研究会
- Place of Presentation
  東北大学百周年記念会館
- Year and Date
  2015-10-17
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] 行列演算の高速化要因に関する一考察2015
- Author(s)
  北村竜之介，大墨礼子，近藤祐史，村尾裕一，齋藤友克
- Organizer
  日本数式処理学会第２４回大会
- Place of Presentation
  筑波大学筑波キャンパス春日エリア
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] Optimal Rubik's Cube Solver on GPU2013
- Author(s)
  H.Hayakawa and H.Murao
- Organizer
  GTC2013(GPU Technology Conference 2013)
- Place of Presentation
  San Jose McEnery Convention Center. CA, USA
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 分割統治法による整数 GCD の高速アルゴリズムの実装へ向けて2013
- Author(s)
  村尾裕一
- Organizer
  Risa/Asir Conference 2013
- Place of Presentation
  神戸大学瀧川記念学術交流会館
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Rubik　cubeの最少手数解の探索の GPUを用いた高速化2013
- Author(s)
  早川広記，村尾裕一
- Organizer
  Risa/Asir Conference 2013
- Place of Presentation
  神戸大学瀧川記念学術交流会館
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Optimal Rubik's Cube Solver on GPU2013
- Author(s)
  H.Hayakawa and H.Murao
- Organizer
  GPU Technology Conference 2013
- Place of Presentation
  San Jose McEnery Convention Center, CA, USA
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 分割統治法による整数GCDの高速アルゴリズムの実現に向けて2013
- Author(s)
  村尾裕一
- Organizer
  Risa/Asir Conference 2013
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Rubik cubeの最少手数解の探索のGPUを用いた高速化2013
- Author(s)
  早川広記,村尾裕一
- Organizer
  Risa/Asir Conference 2013
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPUを用いた疎な多項式補間の高速処理法2012
- Author(s)
  宮下宏樹,村尾裕一
- Organizer
  2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム
- Place of Presentation
  名古屋大学.ポスターP3-3
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPUを用いた疎な多項式補間の高速処理法2012
- Author(s)
  宮下宏樹, 村尾裕一
- Organizer
  HPCS2012 2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム.ポスターP3-3
- Place of Presentation
  名古屋大学
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 3変数陰関数描画について2012
- Author(s)
  近藤祐史, 兵頭礼子, 村尾裕一, 齊藤友克
- Organizer
  日本数式処理学会第4回基礎理論分科会&合同分科会合同研究会
- Place of Presentation
  仙台青葉カルチャーセンター
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Exact linear-system solving via GPU-accelerated iterative method over finite-fields2012
- Author(s)
  H.Murao and H.Hagiwara
- Organizer
  7th International Workshop on Parallel Matrix Algorithms and Applications (PMAA2012)
- Place of Presentation
  Birkbeck University of London, UK
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 3変数の陰関数描画について2012
- Author(s)
  近藤祐史,兵頭礼子,村尾裕一,齋藤友克
- Organizer
  研究集会「数式処理-その研究と目指すもの-」
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 数式処理へのGPUの応用と有効性2012
- Author(s)
  萩原尚, 宮下宏樹, 村尾裕一
- Organizer
  Risa/Asir Conference 2012
- Place of Presentation
  神戸大学理学部
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] ３変数の陰関数描画について2012
- Author(s)
  近藤祐史，兵頭礼子，村尾裕一，齋藤友克
- Organizer
  RIMS研究集会「数式処理－その研究と目指すものー」
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPUを用いた有限体上の線形方程式の解法の高速化2012
- Author(s)
  萩原尚,村尾裕一
- Organizer
  2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム
- Place of Presentation
  名古屋大学.ポスターP3-2
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPUを用いた有限体上の線形方程式の解法の高速化2012
- Author(s)
  萩原尚, 村尾裕一
- Organizer
  HPCS2012 2012年ハイパフォーマンスコンピューティングと計算科学シンポジウム.ポスターP3-2
- Place of Presentation
  名古屋大学
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 数式処理へのGPUの応用と有効性2012
- Author(s)
  萩原尚,宮下宏樹,村尾裕一
- Organizer
  Risa/Asir Conference 2012
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Exact Linear-system Solving via GPU-Accelerated Iterative Method over Finite-fields2012
- Author(s)
  H.Murao and H.Hagiwara
- Organizer
  PMAA2012: 7th International Workshop on Parallel Matrix Algorithms and Applications
- Place of Presentation
  BirkbeckUniversity of London. UK
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPU並列処理による陰関数描画について2011
- Author(s)
  近藤祐史, 兵頭礼子, 村尾裕一, 齋藤友克
- Organizer
  第3回日本数式処理学会システム分科会研究会
- Place of Presentation
  福岡大学
- Year and Date
  2011-01-22
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 多変数代数方程式の零点位置の判定アルゴリズム2011
- Author(s)
  兵頭礼子, 近藤祐史, 村尾裕一, 齋藤友克
- Organizer
  第3回日本数式処理学会理論分科会研究会
- Place of Presentation
  新潟大学駅南キャンパス「ときめいと」
- Year and Date
  2011-02-17
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 多変数代数方程式の零点位置の判定アルゴリズム2011
- Author(s)
  兵頭礼子,近藤祐史,村尾裕一,齋藤友克
- Organizer
  日本数式処理学会,第3回理論分科会研究会
- Place of Presentation
  新潟大学
- Year and Date
  2011-02-17
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 数式を省略して表示する方法の提案と検討2011
- Author(s)
  村尾裕一, 近藤祐史, 兵頭礼子, 齊藤友克
- Organizer
  研究集会:数学ソフトウェアと教育.講究録1780, PP.232-242(2012)
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 準数値処理のGPU並列処理の試行実験2011
- Author(s)
  村尾裕一, 宮下宏樹, 萩原尚
- Organizer
  Risa/Asir Conference 2011+第3回六甲博多計算代数会議
- Place of Presentation
  神戸大学瀧川記念学術交流会館
- Year and Date
  2011-03-23
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 準数値処理のGPU並列処理の試行実験2011
- Author(s)
  村尾裕一,宮下宏樹,萩原尚
- Organizer
  Risa/Asir Conference 2011
- Place of Presentation
  神戸大学
- Year and Date
  2011-03-23
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 3変数の陰関数描画について2011
- Author(s)
  近藤祐史, 兵頭礼子, 村尾裕一, 齊藤友克
- Organizer
  第20回日本数式処理学会大会.学会誌「数式処理」
- Place of Presentation
  神戸大学理学部(Vol.18, No.2に掲載予定)
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 数式処理システム概説2011
- Author(s)
  村尾裕一
- Organizer
  第20回日本数式処理学会大会.学会誌「数式処理」
- Place of Presentation
  神戸大学理学部(特別講演)(Vol.18, No.2に掲載予定)
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Risa/Asirの行列演算と改良について2011
- Author(s)
  兵頭礼子, 近藤祐史, 村尾裕一, 齊藤友克
- Organizer
  研究集会:数式処理-その研究と目指すもの.Computer Algebr-Design of Algorithms, Implementations and the Next Generation
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPU の準数値演算と文字列処理への応用2010
- Author(s)
  村尾裕一ほか
- Organizer
  2010年度特異値・固有値合同ワークショップ
- Place of Presentation
  筑波大学
- Year and Date
  2010-11-27
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] GPUの準数値演算と文字列処理への応用2010
- Author(s)
  村尾裕一, ほか
- Organizer
  2010年度特異値・固有値合同ワークショップ
- Place of Presentation
  筑波大学
- Year and Date
  2010-11-27
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 有理区間数とGPU並列処理について2010
- Author(s)
  村尾裕一, 近藤祐史, 齋藤友克
- Organizer
  第19回日本数式処理学会大会
- Place of Presentation
  名古屋大学ベンチャービジネスラボラトリ
- Year and Date
  2010-06-11
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] 有理区間数とGPU並列処理による陰関数描画たついて2010
- Author(s)
  近藤祐史, 兵頭礼子, 村尾裕一, 齋藤友克
- Organizer
  研究集会 : Computer Algebra-Design of Algorithms,Implementations and Apphcatiolls
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2010-12-03
- Data Source
  KAKENHI-PROJECT-22500011
[Presentation] Web上での数式入力システムBrEdlMa -現状と課題-2007
- Author(s)
  中野泰人, 村尾裕一
- Organizer
  京都大学数理解析研究所研究集会「数式処理と教育」
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] 数式処理におけるデュアルコア並列処理2006
- Author(s)
  村尾裕一
- Organizer
  日本数式処理学会第15回大会
- Place of Presentation
  東京理科大学(神楽坂)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] Yet Another Web-browser Tool for Mathematical Expressions2006
- Author(s)
  Y,.Nakano, H., Murao, BrEdiMa
- Organizer
  Mathematical User-Interface Workshop
- Place of Presentation
  United Kingdom
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] Risa/AsirのOpenMPによるマルチスレッド化の試み2006
- Author(s)
  村尾裕一
- Organizer
  Risa/Asir Conference 2006
- Place of Presentation
  神戸大学
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] WEB上での数式入力システムの〕開発2006
- Author(s)
  中野泰人, 村尾裕一
- Organizer
  Risa/Asir Conference 2006
- Place of Presentation
  神戸大学
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] Experiment of multithreading symbolic and algebraic computations with OpenMP2006
- Author(s)
  H., Murao
- Organizer
  Second International Congress on Mathe matical Software
- Place of Presentation
  Spain
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] Web上での数式入カシステムBrEdiMa2006
- Author(s)
  中野泰人, 村尾裕一
- Organizer
  京都大学数理解析研究所研究集会「数式処理と教育」
- Place of Presentation
  京都大学
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] unrefereed articles (incl. 1 in preparaton for publication) in Japanese ; treating the implementation of fast matrix multiplication on a computer algebra system2005
- Author(s)
  Y., Nakano, H., Murao
- Organizer
  RIMS-Kokyuroku, Kyoto Univ.
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500005
[Presentation] 中国剰余定理による高速化のための浮動小数点数の符号bitの利用について
- Author(s)
  木村欣司、村尾裕一
- Organizer
  第23回日本数式処理学会大会
- Place of Presentation
  徳島大学
- Year and Date
  2014-05-30 – 2014-06-01
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] Asirにおける陰関数描画ifplotの改良
- Author(s)
  近藤祐史、兵頭礼子、村尾裕一、齋藤友克
- Organizer
  第23回日本数式処理学会大会
- Place of Presentation
  徳島大学
- Year and Date
  2014-05-30 – 2014-06-01
- Data Source
  KAKENHI-PROJECT-26330144
[Presentation] Risa/Asirにおける行列の演算高速化
- Author(s)
  北村竜之介、兵頭礼子、近藤祐史、村尾裕一、齋藤友克
- Organizer
  日本数式処理学会合同分科会
- Place of Presentation
  山形大学
- Year and Date
  2015-01-23 – 2015-01-24
- Data Source
  KAKENHI-PROJECT-26330144

1. NORO Masayuki (50332755)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. KONDOH Yuji (20259948)

# of Collaborated Projects: 1 results

# of Collaborated Products: 20 results
3. KIMURA Kinji (10447899)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. OSUMI Noriko (40712609)

# of Collaborated Projects: 1 results

# of Collaborated Products: 18 results
5. TAKAYAMA Nobuki (30188099)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YOKOYAMA Kazuhiro (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. OHARA Katsuyoshi (00313635)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. SAITO Masahiko (80183044)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. SAKAI Kunihide (80092609)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 木村欽司

# of Collaborated Projects: 0 results

# of Collaborated Products: 7 results

MURAO Hirokazu 村尾 裕一

Research Projects

Research Products

Co-Researchers

Research on data-parallel integer processing with high-precision and high-performancePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on multi-core oriented parallel algorithms and implementation techniques for seminumerical processingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design of standard program library for computer algebra, and research on its efficient implementation and its applicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development and Promulgation of Extensive Reading in the English Classroom

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of high performance computer algebra software

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research for practical use of fast algorithms for computer algebra and software developmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Vector and Parallel Processing of Computer Algebra Algorithms and Distributed and Cooperative ProcessingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computer Algebra and SupercomputingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 3変数陰関数描画の実装について2017

Author(s)

Journal Title

Data Source

[Journal Article] 行列式演算における演算速度と速度要因に関する考察2017

Author(s)

Journal Title

Data Source

[Journal Article] Webブラウザ上での陰関数グラフの描画法と並列処理による高速化2016

Author(s)

Journal Title

Data Source

[Journal Article] ハードウェアの特性を考慮した有限体の実装法について2016

Author(s)

Journal Title

Data Source

[Journal Article] 行列演算の高速化要因に関する一考察2016

Author(s)

Journal Title

Data Source

[Journal Article] Practice of Drawing Graphs of Implicit Functions of Three Variables2016

Author(s)

Journal Title

Data Source

[Journal Article] Asirにおける陰関数描画ifplotの改良2015

Author(s)

Journal Title

Data Source

MURAO Hirokazu 村尾裕一