募集内容 |
一般 無料
先着順
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2020/08/01(土) 15:00 ~ 16:30
|
募集期間 |
2020/07/28(火) 00:00
〜 |
会場 |
Zoom オンライン |
イベントの説明
余帰納法で無限リストを攻略する
無限に長いリストを定義できるプログラミング言語があります.そのような言語では無限に長いリスト(以下単に無限リスト)を操作する関数を定義して使うことができます.
長さが有限のリストとその上で定義された関数の場合は数学的帰納法を使って性質を証明することができました.では無限リストの場合はどうでしょうか.
このセミナーでは無限リストの背景にある仕組みを明らかにし,無限リストの性質を証明する余帰納法という方法について紹介します.
余帰納法について本で読んだり話を聞いたことはあるけどよくわからないという人にも何か理解の助けになることがあるかもしれません.
集合と論理に関する記法や計算について知っていることを前提とします.
練習問題があるので計算用紙と筆記用具を準備して参加してください.
スライド資料と Zoom の URL は CONNPASS のメッセージでお知らせします.
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。