数学は数千年の歴史を経て多くの専門分野にわかれています。その間価値観や方法論に関わる様々な変動を経験してきていますが、近年、専門分野を越えて重要な変化が進行中です。いう手法の再浮上です。この動きは近年の計算機システム/ソフトウエアの発展と決して無縁ではなく、また数学の基礎理論から諸科学への応用まで広い範囲に関係する根本的なものです。"計算"と理論の動的相克をもって新たなフロンティアを開いていくのが我々の目標です。中心として編成されています。