著者
木村 欣司 野呂 正行 辻本 諭 中村 佳正
出版者
一般社団法人日本応用数理学会
雑誌
日本応用数理学会論文誌 (ISSN:09172246)
巻号頁・発行日
vol.15, no.3, pp.307-322, 2005-09-25

A new method for constructing the minimum polynomial for the symbolic computation in terms of the discrete Toda equation is proposed. For the sparse matrices, the proposed method is efficiently carried out on a finite field arithmetic avoiding the division by zero. As a consequence, this paper presents new methods for the symbolic computation of the solution of simultaneous equation, the determinant and the eigen polynomial of a large scaled sparse matrix.
著者
竹島 卓 野呂 正行 須永 知之 塚本 有子 井深 克憲
雑誌
全国大会講演論文集
巻号頁・発行日
vol.第39回, no.情報理論及び基礎技術, pp.118, 1989-10-16

このたび第五世代コンピュータの逐次型推論機械PSI IIで動作する数式処理システムを開発したので報告する。本システムSAMは、論理型言語による本格的な数式処理システムとしては、世界で初めてのシステムである。
著者
齋藤 政彦 山田 泰彦 太田 泰広 望月 拓郎 吉岡 康太 野海 正俊 野呂 正行 小池 達也 稲場 道明 森 重文 向井 茂 岩崎 克則 金子 昌信 原岡 喜重 並河 良典 石井 亮 藤野 修 細野 忍 松下 大介 阿部 健 入谷 寛 戸田 幸伸 中島 啓 中村 郁 谷口 隆 小野 薫 ラスマン ウェイン 三井 健太郎 佐野 太郎
出版者
神戸大学
雑誌
基盤研究(S)
巻号頁・発行日
2012-05-31

不分岐な不確定特異点を持つ接続のモジュライ空間の構成,リーマン・ヒルベルト対応の研究により,対応するモノドロミー保存変形の幾何学を確立した.また,混合ツイスターD加群の理論の整備,可積分系の幾何学的研究において種々の成果を得た.高次元代数幾何学においては,端末的3次元射影多様体のある種の端収縮射の分類や, コンパクトケーラー多様体の標準環の有限生成性などの基本的結果のほか,モジュライ理論,シンプレクテック多様体に関する種々の成果を得た.量子コホモロジーの数学的定式化や,ミラー対称性の数学的理解についても大きな成果を得た.また,代数多様体の層の導来圏に関する研究においても種々の成果を得た.