▽伺かｶﾝﾌｧﾚﾝｽ実行委員会
●04/27 12:31 伺かｶﾝﾌｧﾚﾝｽ実行委員会
このﾌﾞﾛｸﾞについて

▽今日の早川さん
●04/27 02:34 COCO
このﾌﾞﾛｸﾞについて

▽檜山正幸のｷﾏｲﾗ飼育記
●04/25 16:32 檜山正幸
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽はてなﾀﾞｲｱﾘｰ - ABAの日誌
●04/19 19:18 ABA
English version: How to realize various actions in a one-button game

▽にゃｰにゃｰ
●04/19 10:12 芝にゃｰにゃ
2021-10-19
Hack Azure! #7 - 次世代 Serverless ｱﾌﾟﾘｹｰｼｮﾝｱｰｷﾃｸﾁｬ！ﾌｫﾛｰｱｯﾌﾟ
ｲﾍﾞﾝﾄ･ｾﾐﾅｰ Azure App Service
App Service / Azure Functions の Availability Zones 対応が GA となり､今後のｱｰｷﾃｸﾁｬ設計への大きな変化となることは確信していたので､この辺り話したいな思っていたら話すことになったのが今回です｡要するに PaaS / Serverless で Availabilit…
Hack Azure! #7 - 次世代 Serverless ｱﾌﾟﾘｹｰｼｮﾝｱｰｷﾃｸﾁｬ！ﾌｫﾛｰｱｯﾌﾟ