トップページ
>
プログラム
>
2015年02月18日
>
1kElE7Pr
書き込み順位&時間帯一覧
39 位
/244 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
2
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part27_©2ch.net
書き込みレス一覧
関数型プログラミング言語Haskell Part27_©2ch.net
584 :
デフォルトの名無しさん
[sage]:2015/02/18(水) 06:41:55.81 ID:1kElE7Pr
>>582
>リストの zipper はリストと同型です
いや同型じゃないだろ
zipperは現在位置という情報を追加で持ってる
関数型プログラミング言語Haskell Part27_©2ch.net
590 :
デフォルトの名無しさん
[sage]:2015/02/18(水) 18:26:58.91 ID:1kElE7Pr
>>585
リスト[a]とリストのzipper([a],[a])の間に全単射はないだろ
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。