スポンサーリンク
立教大学理学部数学科 | 論文
- ACM国際大学対抗プログラミングコンテスト世界大会報告
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 関孝和の問題を解く
- パラメーターが指数部に現れる連立代数方程式について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On the Abhyankar's question for affine plane curves with one place at infinity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- 今を生きる
- Risa/Asir上の複数多項式2次ふるい(MPQS)の実装について
- On a polynomial parametrization problem of plane curves with one place at infinity
- 日本数式処理学会第12回大会報告
- 頂点作用素代数研究の計算機による証明支援 (Computer Algebra : Algorithms, Implementations and Applications)
- 大会報告 日本数式処理学会第12回大会報告
- 有限体上の多項式イデアルの素イデアル分解について (数学解析の計算機上での理論的展開とその遂行可能性)
- RA-003 日本語らしい日本語プログラムを書くために(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
- 8 大学における情報教育J07(変わりつつある情報教育)
- IFIP近況報告 : 情報処理国際連合(委員会から)
- 情報および情報関連分野の分野別要件
- TC2(Software : Theory and Practice) : ソフトウエアの理論と実際
- 最近の Ada の動向 (Adaの応用と評価)