気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
qiita.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
3users
がブックマーク
0
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
自然数の上の余反射を構成する - Qiita
となるようなものを言う. あるいはそのような射の性質を余反射的(coreflexive)という. 例えば1を与えた... となるようなものを言う. あるいはそのような射の性質を余反射的(coreflexive)という. 例えば1を与えたら1を返す,2を与えても2を返す.でも0とか3とか100を与えると未定義で $\bot$ になるようなもの. なお恒等射は最大の余反射です. 余反射的な射は集合であれば部分集合と同一視できます.1 今回はそのような余反射をいろいろ実装してみようという試みなんですが,もちろんそんなもの普通にHaskellでIntと明示的なundefinedを使ったら暇潰しにもならないので,やはり自然数型の上で再帰なりcatamorphismなり使って書いてみようという主旨です.2
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
qiita.com/hn-cpu
qiita.com/FabGear_JP
qiita.com/FabGear_JP
qiita.com/mtoyoda
www.nishinippon.co.jp
anond.hatelabo.jp
note.com/beloved_tomoka
jbpress.ismedia.jp
www.itmedia.co.jp
ics.media
sizu.me
www.itmedia.co.jp
www.itmedia.co.jp
pc.watch.impress.co.jp
forest.watch.impress.co.jp
suumo.jp
agilejourney.uzabase.com
levtech.jp
developers.freee.co.jp
