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

▽仕様検証ｸﾞﾙｰﾌﾟ - Software Abstractions
●05/12 06:37
このﾌﾞﾛｸﾞについて

▽仕様検証ｸﾞﾙｰﾌﾟ - tk80の日記
●05/10 01:23
このﾌﾞﾛｸﾞについて

▽仕様検証ｸﾞﾙｰﾌﾟ - TrueLogic 仕事日記
●05/09 14:28
このﾌﾞﾛｸﾞについて

▽にわとり小屋でのﾌﾟﾛｸﾞﾗﾐﾝｸﾞ日記
●03/28 09:05
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡