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

▽ﾓﾋｶﾝ族
●04/27 22:08
このﾌﾞﾛｸﾞについて

▽ 魚の目
●04/24 22:48
2021.11.18.
わき道をゆく
第173回 政治と検察（その23）
後の佐藤茂（ｶﾌﾞﾄﾃﾞｺﾑｸﾞﾙｰﾌﾟの総帥）の公判に提出された｢ｶﾌﾞﾄﾃﾞｺﾑ（株）ｸﾞﾙｰﾌﾟ支援の対応策について｣と題された文書は､1992年10月26日の拓銀経営会議の資料として作成されたものです｡10月26日といえば､拓 […]
魚住 昭

▽宮崎学公式ｳｪﾌﾞｻｲﾄ
●04/18 17:39
©Copyright2021 宮崎学が推奨した快眠を得られるﾏｯﾄﾚｽを紹介.All Rights Reserved.

▽はてなﾀﾞｲｱﾘｰ - yomoyomoは日記を書いていません
●04/16 14:49
『ｽﾀｰﾄｱｯﾌﾟ･ﾏﾈｼﾞﾒﾝﾄ』邦訳が出たと思ったら､原著者の新刊『Startup CXO』も出ていた