講座詳細
数学はこんなに面白い!8 特別編 1月
Haskellでプログラミング
講座趣旨
現代数学は抽象化が進み、一見どのように発生し、どのように使われるかが見えにくくなっていますが、実は生活の中や他の自然科学の中に、その源を持ち、思いもよらない応用を持っていたりします。それらの源を訪ねたり、どうして、その応用を持つに至ったかを明らかにしたいと思います。
月1回ずつ、幅広くテーマを選んでお話ししていきます。出来るだけ予備知識を必要としないように、必要な知識は講座の中で説明していく予定です。
数学が好きな方、数学で語り合う仲間を見つけたい方、久しぶりに勉強したい方、数学には興味があるけど難しそうだなと思う方、ぜひこの機会にお集まりください。2017年度も4月から毎月1回開催をしていきます。
1月のテーマは「Haskellでプログラミング」です。今回は趣向をかえて、ハマフ(株)代表取締役、濱中由典さんと小林一章先生のお二人で講義を行います。
【1月の内容】
数学、特に整数論などで、新しいプログラミング言語として、Haskell(ハスケル)と呼ばれる言語が利用されるようになってきています。
Haskellは、これまでのプログラミング言語とは異なり、アルゴリズム(処理の流れ)を記述するのではなく、欲しい情報を記述することで、処理をさせることができます。
「はじめての整数論」(ジョセフ・H・シルバーマン 著)で、コンピュータ処理として提出されている問題を例にとり、Haskellの実装例を紹介することで、Haskellのプログラミングの魅力を伝えたいと思います。
Haskellは圏論に基づいて説明されていることが多いのですが、今回は、圏論をベースにした考え方の説明ではなく、実際のプログラミングに沿った説明を行います。
月1回ずつ、幅広くテーマを選んでお話ししていきます。出来るだけ予備知識を必要としないように、必要な知識は講座の中で説明していく予定です。
数学が好きな方、数学で語り合う仲間を見つけたい方、久しぶりに勉強したい方、数学には興味があるけど難しそうだなと思う方、ぜひこの機会にお集まりください。2017年度も4月から毎月1回開催をしていきます。
1月のテーマは「Haskellでプログラミング」です。今回は趣向をかえて、ハマフ(株)代表取締役、濱中由典さんと小林一章先生のお二人で講義を行います。
【1月の内容】
数学、特に整数論などで、新しいプログラミング言語として、Haskell(ハスケル)と呼ばれる言語が利用されるようになってきています。
Haskellは、これまでのプログラミング言語とは異なり、アルゴリズム(処理の流れ)を記述するのではなく、欲しい情報を記述することで、処理をさせることができます。
「はじめての整数論」(ジョセフ・H・シルバーマン 著)で、コンピュータ処理として提出されている問題を例にとり、Haskellの実装例を紹介することで、Haskellのプログラミングの魅力を伝えたいと思います。
Haskellは圏論に基づいて説明されていることが多いのですが、今回は、圏論をベースにした考え方の説明ではなく、実際のプログラミングに沿った説明を行います。
講座概要
講座日程 | 2018年 1月11日 (木) |
---|---|
時間 | 10:00〜11:30 |
定員 | 30 人 (先着制) |
回数 | 1回 |
受講料 | 500 円 |
難易度 | ★★☆ |
会 場 | 三鷹ネットワーク大学 |
受付期間 | 12月5日(火)午前9時30分より |
※スクロールしてご確認ください→
日程 | 開催時間 | 会場 | 担当講師 |
---|---|---|---|
第1回 1月11日 |
10時00分〜11時30分 | 三鷹ネットワーク大学 | 小林 一章 東京女子大学名誉教授 濱中 由典 ハマフ(株)代表取締役 |
講師
小林 一章(こばやし かずあき) | 東京女子大学名誉教授
1940年東京生まれ。早稲田大学理工学研究科卒業。神戸大学、北海道大学を経て、84年から東京女子大学文理学部数理学科教授。09年より同大学名誉教授。専門は位相幾何学で80年代後半より結び目の研究を始め、その後空間グラフの研究に重心を移す。著書に「曲面と結び目のトポロジー」(朝倉書店)、「空間グラフの理論」(培風館)など。(公財)数学オリンピック財団前理事長。 |
濱中 由典(はまなか よしのり) | ハマフ(株)代表取締役
1956年生まれ広島県出身。愛媛大学理学部物理学科卒業。79年からコンピュータソフトウェア開発会社に勤務、87年特種情報処理技術者、01年RIMS認定プロジェクトマネージャー(PM)資格を取得。金融機関や商社などの業務システムや電子政府関係のシステム開発に携わる。98年の中央省庁向け電子申請、電子入札システムの開発以降、JavaをベースにしたWebシステム開発のプロジェクトに携わっている。2012年に会社を設立し現在に至る。 |