計算の理論

　計算は、小学校で学ぶ四則演算から始まって、高校までに多項式・関数そしてその微分・積分など様々なものを学ぶ。高校では、教科情報でコンピュータによる計算も少し学び、プログラミングも経験しているだろう。大学では、より高次の計算を対象として学び、情報科学技術が社会基盤となった現代における基盤的学問として理工系分野ではどの分野でも、社会科学分野でもかなりの分野で勉学してくことになる。
　本講義は、情報科学の立場から、計算を科学していく。計算とは、何らかの機構を用いて入力情報から所望の条件を満たす出力情報を得る過程であり、人間が自ら能動的に得ることができる操作である。その立場からは、自然界の種々のことも計算という観点で解釈して、新たな世界を開くこともできる。ここでの計算は、高校までのものと違い、理論として確固たる基盤をもつ対象であり、その神髄を知ることは次世代の情報科学技術を創出し、今とは違った情報社会を構築していくことにつながる。
　講義は、大学1，2年次の学生を対象に、このような計算の理論をわかりやすく講究し、人類が自ら操作して得る新たな科学としての情報科学を理解することを目指す。計算の理論を学ぶことにより、知能に関する研究も自らの視野に入れることができるようになり、そのような方向も示すことにより、初学者を計算と知能を最先端で研究する情報科学の理論にいざなう。