サクサク読めて、
アプリ限定の機能も多数!
アプリで開く
●はてなブックマークって?
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
n314
id:n314
●
8,307
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(1)
●
2009年
(1)
●
3D
(2)
●
AHCI
(1)
●
AI(2)
●
API
(7)
●
ATOK
(1)
●
AWS
(24)
●
Adobe
(2)
●
Android
(27)
●
AngularJS
(3)
●
Apple
(4)
●
BSD
(2)
●
Backlog
(5)
●
Blogger
(1)
●
C++
(9)
●
C++0x
(1)
●
CI(6)
●
COVID-19
(19)
●
Cacti
(9)
●
CentOS
(5)
●
ChatGPT
(7)
●
Chrome
(31)
●
Chrome OS
(1)
●
ClassLoader
(1)
●
ClickOnce
(1)
●
C言語
(10)
●
DB(16)
●
DDD
(14)
●
DHH
(1)
●
DLL
(2)
●
DMM
(1)
●
DNS
(12)
●
DSR
(1)
●
DTP
(2)
●
Debian
(31)
●
Delphi
(1)
●
DevOps
(1)
●
Discord
(1)
●
D言語
(1)
●
EC-CUBE
(3)
●
EC2
(4)
●
ERD
(1)
●
Eclipse
(4)
●
Elixir
(4)
●
FFI
(1)
●
Fireworks
(1)
●
FuelPHP
(2)
●
GADTs
(1)
●
GAE
(28)
●
GCC
(1)
●
GDPR
(2)
●
GREE
(2)
●
GWT
(36)
●
Gears
(1)
●
Git
(73)
●
Glacier
(2)
●
GlassFish
(2)
●
Google Apps
(2)
●
Google Authenticator
(1)
●
Google Chrome
(1)
●
Google Cloud Platform
(1)
●
Google+
(4)
●
HDD
(4)
●
HTML
(19)
●
HTML5
(33)
●
HTTP
(7)
●
HTTP2
(5)
●
Haskell
(62)
●
Hibernate
(1)
●
Hook
(1)
●
IE(2)
●
IE8
(4)
●
IME
(1)
●
IPv6
(1)
●
IS03
(1)
●
IT(1)
●
Image
(1)
●
IoT
(1)
●
JBoss
(1)
●
JIRA
(1)
●
JNI
(3)
●
JWT
(4)
●
Java8
(1)
●
KLab
(3)
●
KVM
(3)
●
KVS
(1)
●
Kii Cloud
(1)
●
Kindle
(1)
●
LAN
(1)
●
LDAP
(2)
●
LINE
(2)
●
LaTeX
(2)
●
LevelDB
(1)
●
Linus
(5)
●
Lisp
(1)
●
MBA
(1)
●
MINGW
(1)
●
MVC
(4)
●
Makefile
(1)
●
Markdown
(5)
●
Mastodon
(2)
●
Munin
(3)
●
NDK
(3)
●
NPAPI
(2)
●
Nagios
(4)
●
NoSQL
(4)
●
OAuth
(4)
●
ORM
(1)
●
OS(6)
●
OSS
(7)
●
OpenID Connect
(5)
●
OpenWnn
(4)
●
PC(10)
●
PDO
(1)
●
PGP
(6)
●
PHP7
(4)
●
PHPStan
(1)
●
PHPUnit
(6)
●
POS
(1)
●
PSR
(2)
●
PWA
(7)
●
Perl
(1)
●
Photoshop
(5)
●
Play Framework
(1)
●
PureScript
(1)
●
RPC
(1)
●
RPGツクール
(1)
●
Raspberry Pi
(3)
●
React
(1)
●
S3
(13)
●
SARS-CoV-2
(3)
●
SES
(2)
●
SF(3)
●
SMART
(1)
●
SMIME
(4)
●
SMTP
(1)
●
SPDY
(1)
●
SPF
(2)
●
SQLインジェクション
(1)
●
SSD
(8)
●
SVG
(6)
●
SaaS
(2)
●
Slim3
(1)
●
SoftEther
(3)
●
Suica
(1)
●
Swift
(2)
●
TDD
(6)
●
TLS
(2)
●
TOEIC
(1)
●
Tasker
(1)
●
TemplateHaskell
(2)
●
Travis
(4)
●
TypeScript
(4)
●
UX(10)
●
VPN
(10)
●
Vagrant
(2)
●
VirtualBox
(2)
●
Vue.js
(3)
●
WPA2
(2)
●
WebSocket
(2)
●
Zabbix
(2)
●
amazon
(15)
●
amp
(4)
●
ansible
(6)
●
apache
(11)
●
backup
(2)
●
bash
(8)
●
basic
(2)
●
bind
(2)
●
bitcoin
(34)
●
blog
(2)
●
bootstrap
(11)
●
c(4)
●
cacoo
(3)
●
certbot
(6)
●
circleci
(3)
●
closure
(4)
●
closure library
(2)
●
cloud
(3)
●
composer
(10)
●
cpu
(5)
●
cron
(7)
●
css
(95)
●
css3
(17)
●
database
(2)
●
deferred
(2)
●
docker
(47)
●
docomo
(2)
●
drbd
(4)
●
ec(6)
●
elasticsearch
(9)
●
emacs
(33)
●
erlang
(2)
●
excel
(11)
●
ext4
(2)
●
facebook
(2)
●
favicon
(3)
●
firefox
(3)
●
flexbox
(3)
●
fluentd
(12)
●
font
(6)
●
ga4
(2)
●
game
(4)
●
ganeti
(2)
●
ganglia
(3)
●
gcp
(4)
●
github
(23)
●
gitlab
(20)
●
gitolite
(3)
●
gmail
(3)
●
go(2)
●
golang
(14)
●
google
(103)
●
google analytics
(5)
●
google closure
(9)
●
gpg
(4)
●
gui
(2)
●
hadoop
(2)
●
hatena
(6)
●
heroku
(3)
●
hudson
(7)
●
iOS
(15)
●
iPhone
(29)
●
illustrator
(4)
●
imagemagick
(2)
●
indexeddb
(3)
●
jQuery
(11)
●
java
(80)
●
javascript
(125)
●
jenkins
(4)
●
keepalived
(4)
●
kernel
(14)
●
kibana
(7)
●
kubernetes
(19)
●
laravel
(5)
●
lift
(9)
●
linux
(99)
●
logback
(3)
●
lvm
(3)
●
mac
(21)
●
mail
(7)
●
make
(4)
●
maven
(6)
●
mecab
(4)
●
microservices
(3)
●
microsoft
(5)
●
mockito
(5)
●
mod_rewrite
(4)
●
mongodb
(2)
●
mysql
(34)
●
network
(8)
●
nginx
(18)
●
node.js
(7)
●
npm
(4)
●
openssl
(13)
●
paypal
(6)
●
pdf
(12)
●
performance
(5)
●
php
(261)
●
postfix
(12)
●
postgresql
(82)
●
presentation
(2)
●
python
(9)
●
qt(4)
●
rails
(10)
●
react.js
(6)
●
redis
(4)
●
redmine
(25)
●
rrdtool
(2)
●
ruby
(19)
●
rust
(9)
●
s2jdbc
(4)
●
sakura
(8)
●
scala
(27)
●
screen
(2)
●
seasar2
(13)
●
selenium
(3)
●
sendmail
(2)
●
seo
(24)
●
shell
(8)
●
sicp
(2)
●
sns
(3)
●
sql
(10)
●
ssh
(21)
●
ssl
(44)
●
systemd-nspawn
(3)
●
tex
(5)
●
tmux
(6)
●
tokyotyrant
(2)
●
tomcat
(5)
●
top
(3)
●
twitter
(7)
●
ubuntu
(5)
●
ui(22)
●
uml
(5)
●
vim
(6)
●
vmware
(9)
●
vps
(2)
●
web
(43)
●
webサービス
(29)
●
webデザイン
(39)
●
web制作
(4)
●
web小説
(13)
●
web漫画
(4)
●
wicket
(31)
●
windows
(55)
●
windows10
(7)
●
wine
(2)
●
wordpress
(20)
●
wxWidgets
(4)
●
xen
(5)
●
zend
(10)
●
zsh
(2)
●
あとで読む
(56)
●
おもしろ
(12)
●
お役立ち
(2)
●
これはすごい
(11)
●
さくら
(24)
●
ぬか漬け
(4)
●
はてな
(15)
●
はてブ
(3)
●
ほぼ日
(4)
●
まとめ
(2)
●
アイコン
(3)
●
アジャイル
(37)
●
アフィリエイト
(4)
●
アプリ
(18)
●
アルゴリズム
(3)
●
インフラ
(2)
●
オセロ
(3)
●
オフライン
(7)
●
オブジェクト指向
(5)
●
キーボード
(9)
●
クラウド
(6)
●
クレジットカード
(2)
●
ゲーム
(94)
●
ゲーム開発
(3)
●
コマンド
(8)
●
コーディング規約
(2)
●
サマータイム
(2)
●
サーバ
(37)
●
サービス
(11)
●
シェル
(4)
●
システム開発
(9)
●
ストレッチ
(3)
●
ストレージ
(3)
●
セキュリティ
(107)
●
ソフトウェア工学
(2)
●
ソーシャルゲーム
(4)
●
チュートリアル
(3)
●
チューニング
(5)
●
ツール
(20)
●
テスト
(32)
●
デザイン
(49)
●
デザインパターン
(4)
●
デバッグ
(2)
●
デプロイ
(2)
●
データベース
(12)
●
ドメイン
(6)
●
ネタ
(19)
●
ネットワーク
(12)
●
バグ
(2)
●
バージョン管理
(2)
●
パスワード
(4)
●
ビジネス
(4)
●
ファイルシステム
(3)
●
フォント
(16)
●
フォーム
(4)
●
フレームワーク
(15)
●
ブラウザ
(15)
●
プログラマ
(4)
●
プログラミング
(49)
●
プロジェクト管理
(14)
●
ボタン
(3)
●
ボードゲーム
(6)
●
マイナンバー
(2)
●
マネジメント
(14)
●
マリオメーカー
(2)
●
マーケティング
(7)
●
メモリリーク
(4)
●
メール
(14)
●
モナド
(7)
●
ユーザビリティ
(5)
●
ルーター
(3)
●
レスポンシブ
(2)
●
レプリケーション
(2)
●
ログ
(10)
●
ロゴ
(7)
●
ロードバイク
(2)
●
ロードバランサ
(2)
●
不動産
(3)
●
世の中
(15)
●
仕事
(306)
●
仮想化
(3)
●
仮想通貨
(17)
●
任天堂
(7)
●
会社
(25)
●
会計
(9)
●
会議
(2)
●
保険
(4)
●
健康
(8)
●
写真
(2)
●
動画
(6)
●
印刷
(3)
●
受託開発
(4)
●
命名規則
(2)
●
圏論
(3)
●
地震
(3)
●
多読
(4)
●
大学
(6)
●
契約書
(2)
●
宇宙
(2)
●
将棋
(5)
●
小説
(30)
●
心理
(3)
●
心理学
(5)
●
技術的負債
(3)
●
教育
(9)
●
数学
(15)
●
文字コード
(3)
●
料理
(12)
●
日本語
(4)
●
映画
(9)
●
暮らし
(4)
●
書籍
(8)
●
本
(13)
●
株
(2)
●
機械学習
(4)
●
正規表現
(3)
●
決済
(5)
●
海外
(2)
●
漫画
(36)
●
無線LAN
(2)
●
玩具
(3)
●
生活
(123)
●
画像
(8)
●
監視
(16)
●
睡眠
(4)
●
研究
(18)
●
社会
(8)
●
科学
(9)
●
秘書
(2)
●
税金
(4)
●
素材
(3)
●
経営
(8)
●
経済
(4)
●
統計
(3)
●
翻訳
(2)
●
考え方
(21)
●
脆弱性
(17)
●
自転車
(12)
●
英語
(38)
●
複式簿記
(4)
●
要件定義
(4)
●
見積
(6)
●
見積もり
(3)
●
見積り
(3)
●
言葉
(3)
●
言語
(7)
●
設計
(17)
●
読み物
(132)
●
論文
(8)
●
資料
(5)
●
起業
(5)
●
運用
(12)
●
開発
(55)
●
開発環境
(3)
●
障害
(5)
●
雑学
(4)
●
電子書籍
(5)
●
非同期
(2)
●
音楽
(2)
●
高速化
(9)
●
仕事
(306)
●
php
(261)
●
読み物
(132)
●
javascript
(125)
●
生活
(123)
●
セキュリティ
(107)
●
google
(103)
●
linux
(99)
●
css
(95)
●
ゲーム
(94)
関連タグで絞り込む (0)
関連タグはありません
タグの絞り込みを解除
圏論とhaskellに関するn314のブックマーク (2)
●
9 users
●
www.nippyo.co.jp
●テクノロジー
第1章 圏・関手・自然変換 1.1 集合と写像から 1.2 圏・対象・射 1.3 圏のデータ構造 1.4 関手・反変関手 1.5 忠実関手と充満関手 1.6 自然変換 1.7 Haskの部分圏 第2章 自然変換と圏同値 2.1 関手圏 2.2 圏同値 第3章 普遍性と極限 3.1 始対象と終対象 3.2 積 3.3 余積 3.4 極限 3.5 余極限 3.6 極限の存在 3.7 余極限の存在 第4章 関手と極限の交換 4.1 関手は錐や余錐を写す 4.2 Hom関手と極限 4.3 Hom関手と余極限 4.4 実行可能な例 4.5 極限を関手とみる 第5章 随伴 5.1 随伴とは 5.2 単位と余単位 5.3 三角等式 5.4 普遍射と随伴 5.5 随伴の同値な言い替え 5.6 随伴と圏同値 5.7 随伴の大局的な自然性 5.8 随伴と極限 第6章 モナドとHaskellのMonad 6.1
n314
2020/08/14
●圏論
●haskell
●
10 users
●
qiita.com/norkron
●テクノロジー
想定読者と到達目標 Haskell 覚えつつ圏論も一緒に勉強しよう と思っていたけど結局は圏論に手も足も出ず、 Haskell はある程度できるようになった人へ1。 圏論とは何なのかを断片的にでも理解して、 自分が何をやってるのかを多少は把握しながら 圏論に入門できるようにするための準備運動。 目次 圏論入門前の準備運動―集合と写像― 写像とモノイドの概念を受け入れる 圏論が集合論の一般化であることを理解した気になる もう諦めない圏論入門―対象と射― もう諦めない圏論入門―圏と関手― もう諦めない圏論入門―関手と自然変換― もう諦めない圏論付録―ストリング・ダイアグラム― もう諦めない圏論基礎―極限からカン拡張へ― もう諦めない圏論基礎―モノイドからモナドへ― もう諦めない圏論基礎―高次元圏と変換手― 集合や写像とは何なのか、詳細に関しては 検索すれば幾らでも出てくるので省略する。 ここで
n314
2020/05/30
●haskell
●圏論
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
ランキング
月間はてなブックマーク数ランキング︵2024年6月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第5週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx