※このページに掲載している原稿は 速報ファイル です。
No.1843
数式処理 - その研究と目指すもの
Computer Algebra - The Algorithms, Implementations and the Next Generation -
RIMS 研究集会報告集
 
2012/12/25〜2012/12/27
高橋 正
Tadashi Takahashi
 
目 次
 
1. 行列指数関数のPade近似について (数式処理 : その研究と目指すもの)------------------------------------------------------------------1
    山口大学教育学部   北本 卓也 (Kitamoto,Takuya)
 
2. 過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの)--------------------------------8
    筑波大学 / 日本数学検定協会   佐々木 建昭 / 稲葉 大樹 (Sasaki,Tateaki / Inaba,Daiju)
 
3. 次数33の可移置換群の分類について (数式処理 : その研究と目指すもの)-------------------------------------------------------------22
    山梨大学医学工学総合研究部   宮本 泉 (Miyamoto,Izumi)
 
4. 数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)-----------------------------28
    東京理科大学理学研究科 / 東京理科大学理学部 / 東京理科大学理学部   佐藤 裕介 / 井上 秀太郎 / 佐藤 洋祐 (Sato,Yusuke / Inoue,Shutaro / Sato,Yosuke)
 
5. グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)---------------------------------------------------------38
    神戸大学理学研究科 / 立教大学理学部   野呂 正行 / 横山 和弘 (Noro,Masayuki / Yokoyama,Kazuhiro)
 
6. ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)-------------------------------------------------51
    東京理科大学理学部   井上 秀太郎 (Inoue,Shutaro)
 
7. $\mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)--------------56
    徳島大学ソシオ・アーツ・アンド・サイエンス研究部 / 筑波大学数理物質系   鍋島 克輔 / 田島 慎一 (Nabeshima,Katsusuke / Tajima,Shinichi)
 
8. Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)---------------------66
    (株)富士通研究所 / (株)富士通研究所 / (株)富士通研究所・九州大学   岩根 秀直 / 樋口 博之 / 穴井 宏和 (Iwane,Hidenao / Higuchi,Hiroyuki / Anai,Hirokazu)
 
9. 近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの)------------------------------------------------------80
    筑波大学   佐々木 建昭 (Sasaki,Tateaki)
 
10. 近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの)--------------------------------------------------------------94
    筑波大学医学医療系・筑波大学附属病院   讃岐 勝 (Sanuki,Masaru)
 
11. SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation)---------101
    神戸大学人間発達環境学研究科 / 神戸大学人間発達環境学研究科   増井 貴明 / 長坂 耕作 (Masui,Takaaki / Nagasaka,Kosaku)
 
12. Lauricella 超幾何微分方程式系のグレブナー基底について (数式処理 : その研究と目指すもの)----------------------------------------114
    神戸大学理学研究科・JST   中山 洋将 (Nakayama,Hiromasa)
 
13. 対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの)---119
    武庫川女子大学生活環境学部   福井 哲夫 (Fukui,Tetsuo)
 
14. 統合システムSageとクラウド型CASの最新事情 (数式処理 : その研究と目指すもの)----------------------------------------------------131
    九州大学マス・フォア・インダストリ研究所・JST   横山 俊一 (Yokoyama,Shun’ichi)
 
15. Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの)---------------------------------------------------------------------140
    香川高等専門学校 / (株)アルファオメガ / 電気通信大学情報理工学研究科 / (株)アルファオメガ   近藤 祐史 / 兵頭 礼子 / 村尾 裕一 / 齋藤 友克 (Kondoh,Yuji / Hyodo,Noriko / Murao,Hirokazu / Saito,Tomokatsu )
 
16. 一般固有ベクトル空間の構造を求める計算法について (数式処理 : その研究と目指すもの)---------------------------------------------146
    筑波大学数理物質系   田島 慎一 (Tajima,Shinichi)
 
17. シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)---------------------155
    筑波大学図書館情報メディア系   森継 修一 (Moritsugu,Shuichi )
 
18. Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation)------------163
    甲南大学知能情報学部   高橋 正 (Takahashi,Tadashi)