日本数式処理学会合同分科会の開催のこ?案内
日本数式処理学会の 4 分科会て?は,下記の通り合同分科会を開催致します。
Mathematica 分科会,教育分科会,システム分科会,基礎理論分科会 共催
開催日 2015 年 1 月 23日(金)午後 ~ 24日(土)
場所 山形大学 小白川キャンハ?ス 基盤教育 1 号館 111 教室
(〒 990-8560 山形県山形市小白川町 1-4-12)
プログラム
●1月23日 (金) (授業のため会場には入れるのは 14:40 以降て?す。)
セッション 1
14:50~15:00 オーフ?ニンク?
15:00~15:20 岩間 詞也 (甲南大学大学院)
単純 K3 特異点の変形とその過程におけるク?レフ?ナー基底について
15:20~15:40 永嶋 裕樹 (東邦大学大学院), 白柳 潔 (東邦大学)
最短ヘ?クトルアルコ?リス?ムの安定化について
15:50~16:10 見田 大志 (東邦大学大学院), 白柳 潔 (東邦大学)
安定化手法の発展形 ISCZ 法の一般逆行列への適用
16:10~16:30 深作 亮也 (東京理科大学)
包括的ク?レフ?ナー基底系を利用した限量子消去
16:40~17:40 【招待講演】 金光 安芸子 (Wolfram Research Asia Ltd.)
チュートリアル
Mathematica か? (トライアル版可) 使えるPCをこ?持参いたた?くことて?体験学習か?可能て?す
●1月24日 (土)
9:00~12:30 企画セッション
9:00~10:00 【招待講演】 川添 充, 吉冨 賢太郎 (大阪府立大学)
webMathematica による数学学習支援サイト Math on web の構築と運用
10:10~10:40 高橋 正 (甲南大学)
数学ソフトウェアおよひ?数式処理と教育
10:40~11:10 大橋 真也 (千葉県立船橋啓明高等学校)
これからの Mathematica の教育活用の可能性
11:20~12:20 討論 : 「数学ソフトウェアおよひ?数式処理と教育」(司会:中村 泰之 (名古屋大学))
12:20~13:30 昼休み
セッション 2
13:30~13:50 北村 竜之介, 兵頭 礼子 (サレシ?オ高専), 近藤 祐史 (香川高専),
村尾 裕一 (電気通信大学), 齋藤 友克 ((株) アルファオメカ?)
Risa/Asir における行列の演算高速化(仮)
13:50~14:10 堀田 涼 (工学院大学), (牧野 潔夫, 田中 輝 (工学院大学))
平方根の任意多倍長計算法の例
14:10~14:30 杉原 彩, 鍋島 克輔 (徳島大学)
初等幾何の定理自動発見と包括的ク?レフ?ナー基底 -具体例を通して-
14:40~15:20 鍋島 克輔 (徳島大学)
包括的ク?レフ?ナー基底について
15:20~15:30クローシ?ンク?
分科会連絡委員長 .............................大橋 真也
教育分科会・Mathematica 分科会運営委員長…高橋 正
システム分科会運営委員長 .....................木村 欣司
基礎理論分科会運営委員長 .....................藤村 雅代
検索
イベント・企画案内
