数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性

、肩 かた 深 ふかさ を掛け合わせて、ある定数で 割り、積石数を算出する近似計算法が 使われるようになりました。この定数は船

（注）本報告書に掲載している数値は端数を四捨五入しているため、表中の数値の合計が表に示されている合計

その太陽黒点の数が 2008 年〜 2009 年にかけて観察されな

夜真っ暗な中、電気をつけて夜遅くまで かけて片付けた。その時思ったのが、全 体的にボランティアの数がこの震災の規

 活動回数は毎年増加傾向にあるが，今年度も同じ大学 の他の学科からの依頼が増え，同じ大学に 2 回， 3 回と 通うことが多くなっている （表 1 ・図 1

　学年進行による差異については「全てに出席」および「出席重視派」は数ポイント以内の変動で

（注）