[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
299: デフォルトの名無しさん [] 2019/04/05(金) 00:53:58.06 ID:OJKC59P7 トートロジーとかチンプンカンプンな高卒なんで。。。 補足説明や訂正があったら勉強になります(￣^￣)ゞ http://mevius.5ch.net/test/read.cgi/tech/1548720347/299
301: デフォルトの名無しさん [] 2019/04/05(金) 08:37:08.96 ID:OJKC59P7 Haskell でもsuccって関数ありましたね。。。 私が 1 = succ zeroで表現したかったのは、どんな数体系でも1と表現される何かという意味での1です。 例えば16進数の10はAと表現されますのですが、 A = 10 とすると10が16進数では10進数の16になるので10進数でも16進数でも10として扱われる概念としてチャーチ数にしたかったのですが、 チャーチ数も含めた全ての数体系で10として扱われる何かを表現したいみたいな。 うーん。。。表現力が乏しくてすみません。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/301
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s