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

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

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

Apr

14

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

Organizing : PRINCIPIA Limited

Hashtag :#PRINCIPIA
Registration info

一般

Free

FCFS
25/30

「これでたまにはおいしいものでも食べなさい。少しは栄養をつけないといけないよ」と支援してくださる方

500 (Pre-pay)

FCFS
3/3

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

サポートありがとうございます。

Print receipt data:

発行しない (詳しくはこちら)

Description

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

初谷@PRINCIPIAです.へんなタイトルつけました.

代数的データ型の話がしたくなりました.これは無謀な試みです.私のようなレベルの人間が話していいものかどうか3秒くらい悩みました.代数的データ型について話をして,それを使ってプログラムの性質を議論します.高校で習った数学とプログラムがつながるくらいの感じです.

関数型プログラミング言語が好きだけど,理論的な話はあまり知らない,でも高校のときはけっこう数学が得意で,数学的帰納法とか面白いと思ったなあという人が対象です.一方,型システム理論入門を読んじゃうような人には新しいことはありません.代数の話も圏論の話もしません.初等的な話です.

練習問題を用意したので,計算用紙と筆記用具をもって参加してください.一方,専門家の人で「どれどれ,間違ったことをいってないかチェックしてやる」という人はまさかりをもって参加してください.

いろいろ問題が指摘されている Zoom を使います.お菓子と飲み物など用意して気軽に聞いてください.途中参加・途中退出はご自由にどうぞ.

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

Media View all Media

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

Ended

2020/04/14(Tue)

19:30
21:00

Registration Period
2020/04/14(Tue) 00:00 〜
19:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(28)

IKEBE Ryohji

IKEBE Ryohji

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

takarakasai

takarakasai

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

totomaru

totomaru

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

yak_ex

yak_ex

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

tacke_jp

tacke_jp

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

koie

koie

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

tkokamo

tkokamo

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

pogin503

pogin503

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

khibino

khibino

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

openmind

openmind

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

Attendees (28)

Canceled (2)