数学ソフトウェアの記述を考える（仮）
数学ソフトウェアの扱う主な問題
数学ソフトウェアの形態
数学ソフトウェアとは？
私のやってきたこと
C++クラスによる既存ライブラリへのインターフェース
計算エンジンへの要求
数学的構造の定義
多相な型システムの上に数学的構造を反映する
ポリモルフィズムの類型
多倍長浮動小数点演算と初等関数値計算(1)
多倍長浮動小数点演算と初等関数値計算(2)
多項式の対話的表示法：背景
多項式の対話的表示法：アイディア
数式処理システムの並列計算機への移植
作りたいもの(1)
作りたいもの(2)
方向性
今年は…
電子ﾒｰﾙ : Takayuki.Kando@is.titech.ac.jp
ﾎｰﾑ ﾍﾟｰｼﾞ : http://www.is.titech.ac.jp/~kando9/
ﾌﾟﾚｾﾞﾝﾃｰｼｮﾝのﾀﾞｳﾝﾛｰﾄﾞ