Mastodawn

QiiTime は Qiita/Qiitadon の同人サークル Qithub のコラボ作品です。詳細は https://qiitadon.com/@QiiTime/101306011841057999 へ。コラボ・メンバー募集中！

🆕 新着Qiita記事をお知らせします。

『サーバーレスコンピューティングの形式化』
https://qiita.com/zakuro/items/8615dcc2341a36561371 by @zakuro @Qiita

## はじめにこの記事は、OOPの国際学会[^1] OOSPLA'19 で発表され、 distinguished paper award を受賞した [Formal foundations of serverless co...