検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 「ロボットは東大に入れるか2014-東ロボくん,代ゼミ模試に挑戦-」数学チームの結果について (数式処理とその周辺分野の研究) 岩根, 秀直; 松崎, 拓也; 深作, 亮也; 井上, 秀太郎; 佐藤, 洋祐; 穴井, 宏和; 新井, 紀子 (2015-07) 数理解析研究所講究録, 1955: 142-145 |  |
| 数独問題のイデアル構造による階層付けとブーリアングレブナ基底による並列計算 (数式処理とその周辺分野の研究) 井上, 秀太郎; 野口, 慎司; 和氣, 宏明; 佐藤, 洋祐 (2015-07) 数理解析研究所講究録, 1955: 124-133 | |
| 安定化手法の最短ベクトルアルゴリズムへの適用について (数式処理とその周辺分野の研究) 永嶋, 裕樹; 白柳, 潔 (2015-07) 数理解析研究所講究録, 1955: 1-12 | |
| Risa/Asirによる曲線と関数グラフの描画 (数式処理とその周辺分野の研究) 大島, 利雄 (2015-07) 数理解析研究所講究録, 1955: 102-113 | |
| 包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究) 深作, 亮也; 岩根, 秀直; 佐藤, 洋祐 (2015-07) 数理解析研究所講究録, 1955: 134-141 | |
| 代数的局所コホモロジーを用いたパラメータ付き拡張ideal membershipアルゴリズムについて (数式処理とその周辺分野の研究) 鍋島, 克輔; 田島, 慎一 (2015-07) 数理解析研究所講究録, 1955: 180-187 | |
| 孤立特異点変形と$f^s$のパラメータ付き偏微分作用素環でのannihilatorについて (数式処理とその周辺分野の研究) 加藤, 満生; 田島, 慎一 (2015-07) 数理解析研究所講究録, 1955: 168-179 | |
| 行列の最小消去多項式候補を利用した固有ベクトル計算IV (数式処理とその周辺分野の研究) 田島, 慎一; 照井, 章 (2015-07) 数理解析研究所講究録, 1955: 188-197 | |
| 浮動小数点係数のPade近似計算について (数式処理とその周辺分野の研究) 三宅, 宏季; 甲斐, 博 (2015-07) 数理解析研究所講究録, 1955: 27-32 | |
| 項目応答理論への数式処理の応用について (数式処理とその周辺分野の研究) 北本, 卓也 (2015-07) 数理解析研究所講究録, 1955: 76-80 | |
絞り込み
分類
- 22 410
資料種別