| ＜巻頭言＞ |
|---|
|
MathLibre 配布手伝い |
橋本竜太 | 1 |
| ＜合同分科会報告＞ |
|---|
| 2015 年度合同分科会報告 |
大橋真也 | 2 |
| 数学的対象表現手段としての TikZ へようこそ |
橋本竜太 | 5 |
|
MathTOUCH プロジェクト：数学 e ラーニングにおける数式入力改善の取り組み |
白井詩沙香,福井哲夫 | 9 |
|
大学入試における数列の問題を解くための自動推論とその実装について |
和田優未,松崎拓也,照井章,新井紀子 | 13 |
|
行列の最小多項式候補と拡張 Horner 法を用いた逆行列計算について |
田島慎一,小原功任,照井章 | 28 |
|
数値的誤差を含む sparse multivariate polynomial interpolation
における次数の制限について |
沼畑大 | 38 |
|
有理標準形の計算と計算履歴法との相性 |
片山彰之,白柳潔 | 45 |
|
計算履歴法の一般逆行列計算に対する有効性について |
見田大志,白柳潔 | 58 |
|
安定化手法に基づく計算履歴法と δLLL 簡約アルゴリズムへの適用 |
永嶋裕樹,白柳潔 | 63 |
|
有理標準形の計算と計算履歴法との相性 |
片山彰之,白柳潔 | 45 |
|
巾級数の最初の数項からの超幾何級数のパラメタの決定 |
村上弘 | 74 |
| ＜大会報告＞ |
|---|
| 第 25 回日本数式処理学会大会報告
| 藤本光史 | 82 |
|
マトリス双対を用いた有限な colength を持つ加群の被約標準基底の計算アルゴリズム
|
渋田敬史,田島慎一 | 85 |
| パラメトリック局所コホモロジーを用いた µ の計算 |
鍋島克輔,田島慎一 | 89 |
|
GCD 計算における機械学習による最適アルゴリズムの選択 |
向井郁,加古富志雄 | 92 |
| 近似 GCD の大規模実験と ExQRGCD の性能向上について
|
長坂耕作 | 96 |
| 3 次ブラシュケ積が織りなす 2 次曲線 |
藤村雅代 | 100 |
| Bezout 行列の正則な部分行列の逆行列計算 |
讃岐勝 | 104 |
|
グレブナー基底に基づく連接層係数コホモロジー群計算アルゴリズムの評価 |
工藤桃成 | 108 |
|
次数の上限を要求しない数値的誤差を含む疎な多変数多項式の補間 |
沼畑沼畑大 | 112 |
|
包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算
|
深作亮也,岩根秀直,佐藤洋祐 | 116 |
| 不等式制約をもつ論理式に対する包括的グレブナー基底系を
利用した限量記号消去の出力の簡単化 |
深作亮也,岩根秀直,佐藤洋祐 | 120 |
| E-Learning 教材への ICT 活用の実践について |
北本卓也 | 124 |
| 数式処理システムの arm64 対応について |
藤本光史 | 128 |
| MathLibre 2016 について |
濱田龍義 | 132 |
| ＜大会開催案内＞ |
|---|
| 日本数式処理学会第 26 回大会開催のご案内 |
白柳潔 | 136 |
| ＜会告＞ |
|---|
| 日本工学教育協会「平成 29 年度工学教育研究講演会」 |
| 137 |
| ＜訂正＞ |
|---|
| 前号掲載の議事録中の誤りについて |
| 138 |
| ＜理事会議事録＞ |
|---|
|
一般社団法人日本数式処理学会2017年2月24日臨時理事会議事録 |
| 139 |
|
一般社団法人日本数式処理学会2017年3月7日臨時理事会議事録 |
| 141 |
|
一般社団法人日本数式処理学会2017年3月29日定時理事会議事録 |
| 143 |
|
一般社団法人日本数式処理学会2017年4月5日臨時理事会議事録 |
| 145 |
|
一般社団法人日本数式処理学会2017年4月27日臨時理事会議事録 |
| 147 |
| ＜編集後記＞ |
|---|
| 編集後記 |
| 149 |