春雨直播app

本书は、プログラミングを通して数理パズルを楽しみ、その背后にある考えや応用につながるアイディアを理解し、シミュレーション実験と思考実験の习熟を目指しています。
 
学生時代にはプログラミングが好きでも得意でもなかった筆者は、自分のためにプログラムを書き始めて、その面白さに魅入られました。博士課程で人工知能の一分野 (「幾何定理の自動証明」) を研究テーマとしてコンピュータを利用するうちに、コンピュータは道具でありながら、かつ創造的な手段であることに気が付いたのです。実験したり計算したりすることは、偉大な数学者においても重要な研究のよすがであったようです。ガウスやオイラーが現代に蘇ったとすれば、きっと彼らもコンピュータを駆使していたと思います。
 
そのため本书では、さまざまな数理的なトピックをプログラミングの実行を通して理解するように解説しています。その内容は、数学の未解决问题、确率パズル、数理パラドクス、中立进化のメカニズム、数理最适化など多岐にわたります。人工知能や人工生命の最新のトピックへの関连も绍介しています。これらの话题はそれぞれ独立なので、読者は兴味を持った问题から読み进めていくことをおすすめします。
 
特に後半では、人が解くには難しいため、プログラムの力を借りてステップ?バイ?ステップで解 (最適解や近似解) に近づけていく方法をとります。それによって問題の背後にある数学的意味をより容易に読み解けるようになります。例えば確率の部分では、実際にコンピュータで実験を繰り返して状況を再現することで、(理解することがやや難しい) ベイズ的な考え方をわかりやすく説明をします。組み合わせや最適化では、人が考える手法や既存の方法の長所?短所を順序立てて説明し、どのように効率が違うのかをシミュレーションで検証したのち、よりAI的な手法での解法を解説します。
 
本書のもとになったのは、筆者の大学でのプログラミングや人工知能などの講義ノートです。これらの講義では、毎回優れたプログラムや感心させられるレポートを目にすることが少なくありません。また、まったく講義と関係ない一般の方々 (社会人や他大学の学生など) から解答を送られてくることもありました。ホームページをみて課題内容に興味を持たれたそうです。
 
本書で説明するデモやプログラムは筆者の研究室のホームページからダウンロード可能になっています。読者は是非自ら実験して、プログラミングで愉しみながら学んでください。ただしこれらのプログラムは解答の一例かもしれません。そのためダウンロードして実行するだけではなく、自分でプログラムを修正 (できれば作成) することを推奨します。それによりプログラムを通して考えること、さらには人工知能や人工生命につながるようなプログラムを実現することの楽しさや奥深さを実感できると期待しています。

 

(紹介文執筆者: 情报理工学系研究科 教授 伊庭 斉志 / 2020)