はてなブックマーク - kinaba on Twitter: "Logarithm and Program Testing https://t.co/gIny4LPDPg これまだ論文出てないけど、検索で見つかる少し前の進捗途中の発表見る限りめちゃ面白い奴では？ 型と型の足し算や掛け算は普通… https://t.co/WuGBkaYVTt"
https://b.hatena.ne.jp/entry/s/twitter.com/kinaba/status/1449392489161392128
Logarithm and Program Testing https://t.co/gIny4LPDPg これまだ論文出てないけど、検索で見つかる少し前の進捗途中の発表見る限りめちゃ面白い奴では？ 型と型の足し算や掛け算は普通… https://t.co/WuGBkaYVTtxef
https://b.hatena.ne.jp/xef/20211017#bookmark-4709821337713047202
2021-10-17T04:20:37ZTestingTypeSystem