新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

このエントリーをはてなブックマークに追加

Aug

1

余帰納法で無限リストを攻略する

Organizing : PRINCIPIA Limited

Hashtag :#PRINCIPIA
Registration info

一般

Free

FCFS
20/30

Description

余帰納法で無限リストを攻略する

無限に長いリストを定義できるプログラミング言語があります.そのような言語では無限に長いリスト(以下単に無限リスト)を操作する関数を定義して使うことができます.

長さが有限のリストとその上で定義された関数の場合は数学的帰納法を使って性質を証明することができました.では無限リストの場合はどうでしょうか.

このセミナーでは無限リストの背景にある仕組みを明らかにし,無限リストの性質を証明する余帰納法という方法について紹介します.

余帰納法について本で読んだり話を聞いたことはあるけどよくわからないという人にも何か理解の助けになることがあるかもしれません.

集合と論理に関する記法や計算について知っていることを前提とします.

練習問題があるので計算用紙と筆記用具を準備して参加してください.

スライド資料と Zoom の URL は CONNPASS のメッセージでお知らせします.

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

szskr

szskr wrote a comment.

2020/07/29 13:42

すみません。日時を間違えていました。非常に残念ですが、キャンセルさせていただきます。

Ended

2020/08/01(Sat)

15:00
16:30

Registration Period
2020/07/28(Tue) 00:00 〜
2020/08/01(Sat) 12:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(20)

sm0kym0nkey

sm0kym0nkey

余帰納法で無限リストを攻略する に参加を申し込みました!

TakeshiHori

TakeshiHori

余帰納法で無限リストを攻略する に参加を申し込みました!

totomaru

totomaru

余帰納法で無限リストを攻略する に参加を申し込みました!

tu1978

tu1978

余帰納法で無限リストを攻略する に参加を申し込みました!

KogaSense

KogaSense

余帰納法で無限リストを攻略する に参加を申し込みました!

shinichi__

shinichi__

I joined 余帰納法で無限リストを攻略する!

1_hoc

1_hoc

余帰納法で無限リストを攻略する に参加を申し込みました!

yak_ex

yak_ex

余帰納法で無限リストを攻略するに参加を申し込みました!

Ken Sonoda

Ken Sonoda

余帰納法で無限リストを攻略するに参加を申し込みました!

myao

myao

余帰納法で無限リストを攻略するに参加を申し込みました!

Attendees (20)

Canceled (2)