サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
n-sega
id:n-sega
●
15,047
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.net
(142)
●
2ch
(28)
●
3d
(31)
●
Xperia
(31)
●
account
(16)
●
accounting
(12)
●
actionscript
(15)
●
addon
(101)
●
administrator
(19)
●
adobe
(26)
●
advertise
(18)
●
ae(12)
●
agile
(84)
●
ai(37)
●
airbnb
(13)
●
ajax
(73)
●
alexa
(12)
●
algorithm
(58)
●
amazon
(114)
●
ameba
(74)
●
analysis
(41)
●
analytics
(16)
●
analyze
(12)
●
android
(351)
●
angularjs
(40)
●
animation
(29)
●
anime
(56)
●
ansible
(30)
●
apache
(131)
●
api
(138)
●
apollo
(11)
●
app
(84)
●
apple
(251)
●
application
(14)
●
arc
(14)
●
architect
(15)
●
architecture
(184)
●
arm
(10)
●
article
(12)
●
asp
(12)
●
asp.net
(47)
●
atom
(20)
●
automation
(19)
●
availability
(16)
●
aws
(321)
●
azure
(14)
●
backup
(47)
●
bash
(15)
●
benchmark
(33)
●
bitcoin
(12)
●
blog
(69)
●
bluemix
(11)
●
book
(368)
●
bookmark
(26)
●
bookmarklet
(18)
●
books
(36)
●
bootstrap
(18)
●
brain
(14)
●
browser
(82)
●
build
(25)
●
business
(934)
●
c#
(30)
●
c++
(52)
●
cache
(31)
●
cafe
(13)
●
calendar
(35)
●
canvas
(22)
●
capture
(16)
●
career
(213)
●
carrer
(15)
●
cask
(11)
●
cassandra
(16)
●
cd(11)
●
cdn
(14)
●
cedec
(12)
●
centos
(66)
●
ceo
(81)
●
charaset
(10)
●
chat
(17)
●
cheatsheet
(22)
●
chef
(63)
●
chrome
(119)
●
chromecast
(11)
●
ci(71)
●
client
(26)
●
clojure
(22)
●
cloud
(80)
●
cloudnative
(11)
●
cluster
(26)
●
coaching
(19)
●
cocos2d
(11)
●
cocos2dx
(55)
●
code
(34)
●
codereview
(14)
●
coding
(20)
●
colinux
(21)
●
color
(11)
●
column
(40)
●
comic
(24)
●
command
(132)
●
communication
(269)
●
community
(64)
●
company
(25)
●
compiler
(21)
●
compression
(18)
●
computer
(35)
●
computerscience
(19)
●
concurrency
(21)
●
conference
(138)
●
configuration
(32)
●
container
(37)
●
converter
(12)
●
cookie
(12)
●
cookpad
(51)
●
cpu
(92)
●
cqrs
(13)
●
createjs
(13)
●
css
(101)
●
cto
(100)
●
culture
(21)
●
curation
(22)
●
cyberagent
(112)
●
data gathering
(15)
●
database
(378)
●
db(134)
●
dba
(32)
●
dbms
(12)
●
ddd
(37)
●
debian
(11)
●
debug
(73)
●
deeplearning
(37)
●
dena
(48)
●
deploy
(21)
●
design
(386)
●
designpattern
(47)
●
desktop
(20)
●
developer
(67)
●
development
(615)
●
device
(15)
●
devlove
(11)
●
devops
(131)
●
devsumi
(14)
●
di(12)
●
dictionary
(30)
●
display
(14)
●
dns
(23)
●
docker
(141)
●
docomo
(33)
●
document
(74)
●
domain
(14)
●
dropbox
(27)
●
dsl
(17)
●
earthquake
(12)
●
ebook
(43)
●
ec(21)
●
ec2
(79)
●
eclipse
(68)
●
ecmascript
(17)
●
economics
(13)
●
editor
(45)
●
education
(72)
●
elb
(15)
●
emacs
(112)
●
engine
(17)
●
engineer
(431)
●
engineering
(44)
●
english
(293)
●
enterprise
(25)
●
entrepreneur
(17)
●
es6
(17)
●
event
(88)
●
evernote
(25)
●
examination
(28)
●
excel
(41)
●
extension
(20)
●
facebook
(196)
●
fashion
(55)
●
file
(11)
●
finance
(95)
●
firefox
(152)
●
flash
(64)
●
fluent
(11)
●
fluentd
(35)
●
format
(12)
●
framework
(172)
●
freesoft
(45)
●
frontend
(22)
●
gadget
(15)
●
game
(425)
●
gc(17)
●
gcp
(50)
●
geek
(18)
●
generator
(16)
●
gigazine
(17)
●
git
(185)
●
github
(219)
●
gitlab
(13)
●
glusterfs
(13)
●
gmail
(58)
●
golang
(201)
●
google
(660)
●
google+
(17)
●
googleio
(16)
●
gpu
(22)
●
grammar
(24)
●
graph
(17)
●
greasemonkey
(48)
●
gree
(61)
●
grep
(11)
●
grunt
(15)
●
gtd
(140)
●
gui
(13)
●
guide
(24)
●
guideline
(12)
●
gunosy
(11)
●
habit
(23)
●
hacker
(17)
●
hadoop
(47)
●
hardware
(23)
●
hatena
(93)
●
hdd
(32)
●
health
(75)
●
heroku
(31)
●
history
(18)
●
homebrew
(20)
●
house
(20)
●
html
(63)
●
html5
(153)
●
http
(83)
●
http2
(24)
●
https
(17)
●
iaas
(14)
●
ibm
(19)
●
ide
(37)
●
idea
(19)
●
ideahacks
(16)
●
ie(20)
●
iis
(13)
●
image
(46)
●
imagemagick
(13)
●
immutable
(11)
●
immutableinfra
(11)
●
index
(24)
●
information
(12)
●
infrastructure
(79)
●
innodb
(28)
●
innovation
(12)
●
install
(27)
●
international
(12)
●
internet
(22)
●
interview
(127)
●
investment
(15)
●
io(11)
●
ios
(544)
●
ios7
(27)
●
iot
(15)
●
ip(12)
●
ipa
(33)
●
ipad
(40)
●
iphone
(359)
●
ipod
(18)
●
ipodtouch
(41)
●
iptables
(15)
●
itunes
(36)
●
japan
(21)
●
japanese
(11)
●
java
(358)
●
java8
(12)
●
javascript
(548)
●
jenkins
(56)
●
jmeter
(23)
●
job
(37)
●
jquery
(60)
●
js(29)
●
json
(31)
●
jvm
(90)
●
kernel
(77)
●
keyboard
(12)
●
kindle
(19)
●
kotlin
(11)
●
kubernetes
(93)
●
kvs
(20)
●
language
(28)
●
leadership
(48)
●
learning
(23)
●
library
(29)
●
lifehacks
(976)
●
line
(49)
●
linkedin
(16)
●
links
(14)
●
linux
(529)
●
lisp
(17)
●
listening
(12)
●
loadtest
(22)
●
log
(21)
●
mac
(276)
●
macbook
(21)
●
machinelearning
(39)
●
macports
(14)
●
magazine
(15)
●
mail
(38)
●
management
(524)
●
manual
(23)
●
map
(15)
●
mapreduce
(14)
●
market
(16)
●
marketing
(115)
●
mean
(16)
●
media
(24)
●
meeting
(18)
●
memcached
(13)
●
memory
(81)
●
mental
(39)
●
messaging
(13)
●
messenger
(12)
●
microservices
(57)
●
microsoft
(137)
●
mindmap
(29)
●
mindset
(241)
●
mit
(17)
●
mixi
(46)
●
mobage
(15)
●
mobile
(172)
●
money
(81)
●
mongodb
(210)
●
monitoring
(101)
●
motivation
(40)
●
movie
(38)
●
moving
(19)
●
mozilla
(23)
●
ms(14)
●
music
(89)
●
mvc
(12)
●
mysql
(242)
●
nanapi
(19)
●
naver
(78)
●
negotiation
(13)
●
neta
(12)
●
netflix
(58)
●
network
(220)
●
news
(178)
●
nginx
(80)
●
nhk
(20)
●
nikkei
(24)
●
nintendo
(27)
●
node.js
(110)
●
nosql
(171)
●
notification
(11)
●
oauth
(18)
●
objective-c
(222)
●
office
(20)
●
oop
(34)
●
openssl
(17)
●
operation
(12)
●
opinion
(15)
●
oracle
(133)
●
oreilly
(29)
●
os(63)
●
oss
(186)
●
osx
(17)
●
pattern
(16)
●
payment
(15)
●
pc(21)
●
pdf
(24)
●
performance
(396)
●
perl
(31)
●
person
(28)
●
philosophy
(78)
●
photo
(21)
●
php
(193)
●
pinterest
(15)
●
planning
(19)
●
platform
(19)
●
plugin
(14)
●
pm(64)
●
png
(12)
●
podcast
(44)
●
postgresql
(271)
●
presentation
(147)
●
process
(17)
●
productivity
(63)
●
professional
(11)
●
programmer
(44)
●
programming
(868)
●
project
(22)
●
protocol
(21)
●
proxy
(13)
●
psychology
(119)
●
push
(12)
●
python
(49)
●
qualification
(23)
●
rdbms
(67)
●
react
(16)
●
reading
(14)
●
realestate
(35)
●
recruit
(40)
●
redis
(48)
●
reference
(116)
●
regexp
(20)
●
replication
(39)
●
report
(11)
●
research
(14)
●
rest
(46)
●
review
(36)
●
rss
(24)
●
rtm
(13)
●
ruby
(83)
●
safari
(16)
●
salary
(17)
●
sanfransico
(13)
●
sbm
(24)
●
scala
(16)
●
scalability
(18)
●
science
(17)
●
scm
(67)
●
scrum
(12)
●
search
(84)
●
seasar
(25)
●
security
(254)
●
seo
(19)
●
server
(223)
●
serverless
(17)
●
service
(18)
●
shell
(11)
●
shopping
(14)
●
shortcut
(26)
●
sier
(18)
●
siliconvalley
(34)
●
sleep
(18)
●
slideshare
(80)
●
smartnews
(11)
●
smartphone
(56)
●
sns
(170)
●
soccer
(14)
●
social
(59)
●
softbank
(23)
●
software
(112)
●
spdy
(14)
●
spring
(11)
●
sql
(83)
●
sre
(16)
●
ssh
(32)
●
ssl
(24)
●
startup
(119)
●
statistics
(35)
●
storage
(18)
●
strategy
(22)
●
streaming
(11)
●
study
(244)
●
subversion
(65)
●
summary
(20)
●
svn
(22)
●
swift
(30)
●
symfony
(45)
●
tdd
(85)
●
technology
(45)
●
ted
(26)
●
template
(26)
●
terminal
(19)
●
test
(95)
●
testing
(39)
●
thinking
(15)
●
thread
(13)
●
thunderbird
(29)
●
timehacks
(44)
●
tips
(159)
●
tmux
(26)
●
todohacks
(65)
●
toeic
(34)
●
tomcat
(25)
●
tool
(161)
●
tools
(44)
●
trac
(16)
●
travel
(48)
●
trend
(14)
●
tumblr
(11)
●
tuning
(137)
●
tutorial
(57)
●
tv(17)
●
twitter
(120)
●
ui(100)
●
unity
(59)
●
unity3d
(30)
●
unix
(30)
●
ux(33)
●
vagrant
(42)
●
venture
(19)
●
video
(84)
●
visualization
(13)
●
visualstudio
(22)
●
vmware
(24)
●
vr(26)
●
vulnerability
(19)
●
web
(54)
●
web2.0
(50)
●
webapp
(13)
●
webdesign
(76)
●
webservice
(149)
●
websocket
(33)
●
windows
(357)
●
wisdom
(17)
●
work
(21)
●
xcode
(53)
●
xml
(13)
●
xp(43)
●
yahoo
(90)
●
ycombinator
(14)
●
youtube
(47)
●
zsh
(12)
●
lifehacks
(976)
●
business
(934)
●
programming
(868)
●
google
(660)
●
development
(615)
●
javascript
(548)
●
ios
(544)
●
linux
(529)
●
management
(524)
●
engineer
(431)
ブックマーク / lamport.azurewebsites.net (1)
●
21 users
●
lamport.azurewebsites.net
●テクノロジー
Leslie Lamport Last modified on Fri 1 March 2024 at 16:38:51 PST by lamport --> This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is withsimple mathematics. TLA+ and its tools are useful for eliminating fundamental design er
n-sega
2018/11/11
●tla+
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
The TLA+ Home Page