プ ロ グ ラ ム
プログラムの PDF ファイル(ここをクリックすればダウンロードできます）
PDF file of the program in English (you can download it by clicking here)
発表資料
12/19(月) 13:10-13:40 Boolean Groebner 基底を用いた数独パズルの数学的難易度指標の相関について
12/19(月) 13:40-14:10 独立性の検定に関する HTML をベースとした教材の操作ログの分析(前半)
12/19(月) 13:40-14:10 独立性の検定に関する HTML をベースとした教材の操作ログの分析(後半)
12/19(月) 14:10-14:40 簡易数式ルールを用いた課題送受システムにおけるMaximaの役割
12/19(月) 14:50-15:20 区間演算を用いた反復計算について
12/19(月) 15:20-15:50 An extension of Chapple's formula by Blaschke-like maps
12/19(月) 15:50-16:20 TES （Term Elimination Sequence）について
12/19(月) 16:20-16:50 ゲーム理論における数式処理の応用
12/20(火) 9:30-10:00 Signature based algorithm における $F_4$ スタイルの簡約アルゴリズムの実装について
12/20(火) 10:00-10:30 多変数多項式のパラメトリック因数分解
12/20(火) 11:10-11:40 グレブナー基底による多面体の頂点の計算について
12/20(火) 12:10-12:40 多項式函数のbifurcation setの計算法 I
12/20(火) 15:20-15:50 パラメータ付きのイデアル操作の計算について
12/20(火) 15:50-16:20 因子分析へのグレブナー基底に基づくアプローチ
12/21(水) 9:30-10:00 フィルタを用いた固有値問題の近似解法について
12/21(水) 10:00-10:30 On F5 Algorithm for Weyl Algebras over Fields with Valuations
12/21(水) 10:30-11:00 K-hive上のA型結晶構造に関するアルゴリズムとその実装
12/21(水) 11:10-11:40 角度に制限を設けた格子三角形による正方形の三角形分割
12/21(水) 11:40-12:10 マンハッタン距離ボロノイ図からの母点探索
12/21(水) 12:10-12:40 前処理によるBarnettの定理に基づく近似GCD計算の安定化
お問い合わせ
