数学はこんなに面白い！６　１月　特別編
パソコンによる素数判定

講座趣旨

　現代数学は抽象化が進み、一見どのように発生し、どのように使われるかが見えにくくなっていますが、実は生活の中や他の自然科学の中に、その源を持ち、思いもよらない応用を持っていたりします。それらの源を訪ねたり、どうして、その応用を持つに至ったかを明らかにしたいと思います。

　月１回ずつ、幅広くテーマを選んでお話ししていきます。出来るだけ予備知識を必要としないように、必要な知識は講座の中で説明していく予定です。
数学が好きな方、数学で語り合う仲間を見つけたい方、久しぶりに勉強したい方、数学には興味があるけど難しそうだなと思う方、ぜひこの機会にお集まりください。2015年度も４月から毎月１回開催をしていきます。
　
　１月のテーマは「パソコンによる素数判定」です。今回は趣向をかえて、ハマフ(株)代表取締役、濱中由典さんと小林一章先生のお二人で講義を行います。

【1月の内容】
　コンピュータの暗号化において素数は重要な位置を占めています、素因数分解はコンピュータを利用しても困難であることがその理由です。
　素因数分解の元となるのが素数の算出であり素数判定となります。現在の素数判定の基本となる定理はフェルマーの小定理が利用されています。今回は、フェルマーの小定理を元にした幾つかの素数判定と2002年に発表されたAKS素数判定法について、整数演算においては最適である関数型言語Haskellによる実装をベースに素数判定の処理速度などから、素数判定の困難さについて紹介します。