お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

Aug

1

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

Organizing : PRINCIPIA Limited

余帰納法で無限リストを攻略する
Hashtag :#PRINCIPIA
Registration info

一般

Free

FCFS
20/30

Attendees
sm0kym0nkey
TakeshiHori
totomaru
tu1978
KogaSense
shinichi__
大王
yak_ex
Ken Sonoda
myao
View Attendee List
Start Date
2020/08/01(Sat) 15:00 ~ 16:30
Registration Period

2020/07/28(Tue) 00:00 〜
2020/08/01(Sat) 12:00まで

Location

Zoom

オンライン

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 余帰納法で無限リストを攻略する!

大王

大王

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

yak_ex

yak_ex

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

Ken Sonoda

Ken Sonoda

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

myao

myao

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

Attendees (20)

Canceled (2)