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

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

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

Aug

1

代数的データ型のひみつを暴いて関数型プログラムを攻略する

Organizing : PRINCIPIA Limited

Hashtag :#PRINCIPIA
Registration info

一般

Free

FCFS
17/30

Description

代数的データ型のひみつを暴いて関数型プログラムを攻略する

代数的データ型をサポートしているプログラミング言語ではリストや木といった再帰的なデータ型をユーザが定義できます.さらにデータを処理する関数を帰納的に定義して使うことができます.

実はこの代数的データ型には面白い数学的な構造が隠れています.そのベールをはがすと高校で習った数学的帰納法が現れます.これを使うとプログラムの性質を証明することができます.

このセミナーでは代数的データ型に隠れている構造を紹介して,関数型プログラムの性質を証明する方法を解説します.テストとは別に,数学的な議論によってプログラムの正しさを示す技術を手に入れることができます.

前提とする知識は高校で習った数学的帰納法と集合(要素,部分集合)や論理の知識(「かつ」とか「ならば」とか)です.細かいところまでわからなくても技術は使えるようになります.計算ができるようになれば理解はあとからついてきます.

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

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

Media View all Media

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

Ended

2020/08/01(Sat)

13:00
14:30

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

Location

Zoom

オンライン

Zoom

Organizer

Attendees(17)

sm0kym0nkey

sm0kym0nkey

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

tyahha

tyahha

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

Yusuke Kataoka

Yusuke Kataoka

代数的データ型のひみつを暴いて関数型プログラムを攻略するに参加を申し込みました!

KogaSense

KogaSense

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

Masahide Sakamaki

Masahide Sakamaki

代数的データ型のひみつを暴いて関数型プログラムを攻略するに参加を申し込みました!

myao

myao

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

shoyon

shoyon

代数的データ型のひみつを暴いて関数型プログラムを攻略するに参加を申し込みました!

toru22

toru22

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

takasek

takasek

代数的データ型のひみつを暴いて関数型プログラムを攻略する に参加を申し込みました!

Attendees (17)