サクサク読めて、
アプリ限定の機能も多数!
アプリで開く
●はてなブックマークって?
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
n314
id:n314
●
8,300
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(1)
●
2009年
(1)
●
3D
(2)
●
AHCI
(1)
●
AI(1)
●
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)
●
オセロ
(2)
●
オフライン
(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)
●
研究
(17)
●
社会
(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)
関連タグで絞り込む (1)
●
haskell
タグの絞り込みを解除
圏論に関するn314のブックマーク (3)
●
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
●圏論
●
283 users
●
m-hiyama.hatenablog.com
●暮らし
全体目次‥ 第1歩‥しりとりの圏 ︵このエントリー︶ 第2歩‥行列の圏 第3歩‥極端な圏達 第4歩‥部分圏 第5歩‥変換キューの圏 第6歩‥有限変換キューと半圏 第7歩‥アミダの圏 第8歩‥順序集合の埋め込み表現 第9歩‥基本に戻って、圏論感覚を養うハナシとか 付録/番外など‥ 中間付録A‥絵を描いてみた 番外‥同期/非同期の結合 中間付録B‥アミダとブレイド 番外‥米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論︵カテゴリー論︶が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として﹁コンパクト・ハウスドルフ空間と連続写像の圏﹂とか言われてもねぇ︵この例はいい例なんです
n314
2010/06/18
●圏論
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第3週︶
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第2週︶
ランキング
月間はてなブックマーク数ランキング︵2024年5月︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx