検索結果
このウィキでページ「M curry」を新規作成しましょう。検索で見つかった他のページも参照してください。
- カリー=ハワード同型(Curry-Howard isomorphism)は数学の一見無関係に思えるふたつの領域、型理論と構造論理を結びつける実に驚くべき関係である。 これよりカリー=ハワード同型は単に C-H と表記する。C-H が示しているのは、定理の本質を反映するような型を構築し、それからその…51キロバイト (4,731 語) - 2014年4月25日 (金) 13:47
- Haskell の Preludeでは、 undefined = error "Prelude.undefined" と定義されています。余談ですが、Curry-Howard同型に従って、多相型forall a . a の任意の値の表示は⊥でなければなりません。 ⊥ {\displaystyle \bot…58キロバイト (9,143 語) - 2021年11月22日 (月) 13:10
- Katakana cup 222 体 HHH karada からだ Noun body 223 カレー LLH karee Noun, Katakana curry 224 カレンダー LHLLL karendaa Noun, Katakana calendar 225 借りる HHH kariru かりる…118キロバイト (837 語) - 2024年9月13日 (金) 03:17