kawa1128のアンテナ
id:kawa1128
1/2ページ
▽檜山正幸のキマイラ飼育記●05/30 05:24 2021-10-19
集合論と圏論がズレるとき: 空リスト問題
雑記/備忘
プログラミング言語や型理論の文脈で、空リストの型つけ〈タイピング〉が話題になることがあります。集合論と圏論で解釈してみると、結果が違ってきます。発想が違うので結果がズレるのは驚くことではありませんが、意外に思う人もいるかも知れません。内容…
集合論と圏論がズレるとき: 空リスト問題
集合論と圏論がズレるとき: 空リスト問題
▽デー●03/27 20:25 この広告は、90日以上更新していないブログに表示しています。
一部のチュートリアルでは gfx.js を使って画像の表示等を行うと書いてありますが、現在メンテさ
▽最速転職研究会●03/27 17:46 読者になる
ユーザーに対してこの設定を選ばせる意味は殆ど無いし、意味が生じ
6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena