alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20831pv 151 73 users 10 -
{{中括弧を連続して使うとよく分からないことになる件}}
25979pv 201 58 users 1