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

▽YAMDAS現更新履歴
●04/16 14:49
『ｽﾀｰﾄｱｯﾌﾟ･ﾏﾈｼﾞﾒﾝﾄ』邦訳が出たと思ったら､原著者の新刊『Startup CXO』も出ていた

▽崩壊日記(出張所)
●03/28 04:18
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽Moleskin Diary 2.0
●03/27 21:39
このﾌﾞﾛｸﾞについて

▽ﾘﾝﾄのぶろぐ日記
●03/27 14:48
このﾌﾞﾛｸﾞについて