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

▽LinuxとApacheの憂鬱
●03/27 23:25
2. OPQの後にPQを掛けるので､OPQの出力次元は､PQの次元と合わせた方が速度､精度共に有利ではないか？
IndexPerformance("OPQ1_2,PQ2x8", 0, 0, true)
IndexPerformance("OPQ1_5,PQ5x8&q

▽人工知能に関する断創録
●03/27 20:56
読者になる

▽hnwの日記
●03/26 08:04
What to Upload to SlideShare by SlideShare 10733322 views
Be A Great Product Leader (Amplify,... by Adam Nash 1660703 views
Trillion Dollar Coach Book (Bill Ca... by Eric Schmidt 1676969 views
APIdays Paris 2019 - Innovation @ s... by apidays 2207703 views
A few thoughts on work life-balance by Wim Vanderbauwhede 1549042 views
Is vc still a thing final by Mark Suster 1413547 views

▽強火で進め
●07/13 16:34
NVIDIA DLSS: 今月は､『Rust』､『DOOM Eternal』､『LEGO Builder’s Journey』などが対応予定 - GeForce ﾆｭｰｽ - NVIDIA
https://www.nvidia.com/ja-jp/geforce/news/june-2021-rtx-dlss-game-update/