人気の記事一覧

型理論はフェルミ推定や論理的思考より仕事に役立つからみんな学ぼう

2か月前

型の自己増殖

2か月前

圏論と型システムとサイバネティクス 〜圏論とサイバネティクス①〜

7か月前

TOPOS-Ξ:位相幾何学的構造と量子計算を統合したプログラミング言語の設計