特集◎コンピュータにできる数学・できない数学

人工知能研究の進展や証明支援系ソフトの開発により，「コンピュータにどこまで数学ができるのか？」という疑問が，数学者はもとより，数学に興味のある人々にも関心の高いテーマとなってきている．今回は3つの証明支援系を紹介しつつ，現状でどのようなことがどこまでできるのか，またこれからの課題を紹介する．

コンピュータに証明できること・できないこと◎照井一成

カリー-ハワード同型対応◎竹内 泉

Coq：型理論から来た証明支援系◎Jacques Garrigue

Mizarと形式化数学ライブラリ◎中正和久

数学での証明支援系の利用について◎久我健一

箱入り無数目◎時枝 正

第56回国際数学オリンピック・タイ大会／問題と解説◎藤田岳彦

フィンランドで考えた異分野協働の歩き方◎西浦廉政

鉛同位体法の数理(4)◎吉田知行

NOTE　講評と解説◎ZZZ

特集◎ガンマ関数とは何か

数学を学んでいるといろいろなところに登場するけれど，大学のカリキュラムではきちんと学ぶ機会がない「ガンマ関数」．そもそもガンマ関数とは何なのか？　その基本的な性質からどのような分野でガンマ関数が登場するのか紹介する．

階乗からガンマ関数へ◎原岡喜重

ガンマ関数と統計◎橋口博樹

整数論におけるガンマ関数◎雪江明彦

関数としての超越性◎西岡啓二

q-ガンマ関数◎西澤道知

多重ガンマとフレンドしたい◎渋川元樹

京都大学ガロア祭／問題と解説◎塚本真輝＋Benoit Collins

鉛同位体法の数理(3)◎吉田知行