Registration info |
一般 Free
FCFS
「これでたまにはおいしいものでも食べなさい。少しは栄養をつけないといけないよ」と支援してくださる方 ¥500 (Pre-pay)
FCFS
|
---|---|
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.