サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
kirakking
id:kirakking
●
13,056
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
3DS
(18)
●
3Dプリンタ
(5)
●
AI(165)
●
AKB48
(4)
●
BBC
(5)
●
BotW
(29)
●
CEDEC
(8)
●
CG(9)
●
C言語
(6)
●
DIY
(5)
●
DeNA
(8)
●
E3
(13)
●
EU(4)
●
FE(35)
●
FM(11)
●
FRP
(4)
●
IRC
(4)
●
ISIL
(15)
●
JASRAC
(12)
●
Joy-Con
(7)
●
Kotaku
(17)
●
LGBT
(25)
●
LOD
(4)
●
MOTHER
(7)
●
NASA
(4)
●
NHK
(66)
●
Nintendo Switch
(264)
●
OS(6)
●
OSS
(20)
●
PC(6)
●
PC遠隔操作事件
(7)
●
PDF
(15)
●
PS4
(23)
●
PS5
(39)
●
RIP
(24)
●
RPG
(28)
●
RTA
(82)
●
Raspberry Pi
(8)
●
SF(208)
●
SNS
(60)
●
STAP細胞
(92)
●
TED
(6)
●
UI(4)
●
Ubuntu
(26)
●
V6
(5)
●
VR(53)
●
Wii U
(21)
●
algebra
(7)
●
algorithm
(10)
●
aozora
(13)
●
api
(6)
●
archlinux
(4)
●
args
(4)
●
art
(110)
●
automata
(8)
●
bash
(23)
●
beamer
(9)
●
color
(8)
●
command
(56)
●
command line
(22)
●
computer science
(5)
●
config
(28)
●
constraint programming
(5)
●
coq
(8)
●
definition
(5)
●
doi
(5)
●
doodle
(4)
●
dpz
(773)
●
dpz風味
(24)
●
e-Sports
(56)
●
firefox
(11)
●
formal method
(8)
●
ghc
(13)
●
git
(20)
●
google
(48)
●
haskell
(163)
●
isabelle
(6)
●
it(92)
●
java
(7)
●
javascript
(5)
●
language
(27)
●
latex
(49)
●
line
(4)
●
linked data
(6)
●
linux
(135)
●
lisp
(5)
●
logic
(12)
●
mac
(7)
●
macro
(4)
●
make
(4)
●
math
(26)
●
microsoft
(53)
●
monad
(10)
●
ocaml
(24)
●
package
(5)
●
paper
(22)
●
parser
(11)
●
plugin
(14)
●
programming
(354)
●
proof
(7)
●
prover
(7)
●
python
(12)
●
radiko
(19)
●
radio
(4)
●
reference
(10)
●
regex
(9)
●
research
(18)
●
rust
(50)
●
rwby
(4)
●
sat
(4)
●
search
(7)
●
shell
(49)
●
shellscript
(7)
●
slide
(6)
●
smt
(4)
●
splatoon
(27)
●
ssh
(10)
●
stack
(4)
●
string
(4)
●
study
(5)
●
syntax
(17)
●
termrewriting
(4)
●
test
(5)
●
tex
(44)
●
theorem
(5)
●
tikz
(7)
●
tips
(55)
●
togetter
(269)
●
tool
(77)
●
tutorial
(23)
●
twitter
(25)
●
type class
(4)
●
unix
(14)
●
verification
(6)
●
vim
(119)
●
vimrc
(6)
●
vimscript
(6)
●
web
(58)
●
web service
(91)
●
webサービス
(22)
●
web漫画
(414)
●
wikipedia
(14)
●
windows
(18)
●
xmonad
(8)
●
youtube
(4)
●
zsh
(8)
●
あとで読む
(96)
●
あとで買う
(19)
●
いじめ
(10)
●
いつか読む
(9)
●
うんこ
(7)
●
おもしろい
(7)
●
おもちゃ
(22)
●
お役立ち
(10)
●
お相撲さん
(5)
●
かわいい
(28)
●
きのこ
(7)
●
こころ
(50)
●
この世界の片隅に
(43)
●
これはすごい
(51)
●
これはひどい
(90)
●
しりあがり寿
(4)
●
とんかつ
(5)
●
なんじゃこりゃ
(19)
●
はてな
(122)
●
はてなブックマーク
(25)
●
ほぼ日
(38)
●
まとめ
(116)
●
アイドル
(13)
●
アドオン
(4)
●
アニメ
(59)
●
アフリカ
(11)
●
アプリ
(9)
●
アメリカ
(42)
●
アワード
(24)
●
アンネの日記
(10)
●
イカ
(4)
●
イギリス
(10)
●
イグノーベル賞
(6)
●
イスラム
(16)
●
イベント
(31)
●
イラスト
(11)
●
インタビュー
(477)
●
インターネット
(33)
●
インディー
(326)
●
インフラ
(5)
●
ウルトラマン
(5)
●
エジプト
(13)
●
エロス
(13)
●
エンジニア
(8)
●
オタク
(78)
●
オリンピック
(14)
●
オンラインゲーム
(8)
●
カオス
(8)
●
カクヨム
(17)
●
カメラ
(8)
●
ガジェット
(20)
●
ガメラ
(7)
●
キャリア
(6)
●
キリスト教
(5)
●
ギリシャ
(8)
●
グッズ
(6)
●
ゲーム
(3870)
●
コミュニケーション
(33)
●
コミュニティ
(26)
●
コメント
(12)
●
コンビニ
(5)
●
コンピュータ
(6)
●
ゴジラ
(83)
●
サーバ
(7)
●
シミュレーション
(40)
●
シン・ゴジラ
(75)
●
ジェンダー
(121)
●
ジブリ
(16)
●
ジャニーズ
(12)
●
ジョーク
(6)
●
スプラトゥーン
(81)
●
スプラトゥーン2(58)
●
スポーツ
(42)
●
スマブラ
(5)
●
スマホ
(27)
●
スライド
(6)
●
セキュリティ
(83)
●
セクハラ
(12)
●
ゼノギアス
(16)
●
ゼルダの伝説
(61)
●
ソーシャルゲーム
(23)
●
タイトル賞
(16)
●
テレビ
(14)
●
テロ
(21)
●
デイリーポータルZ(8)
●
デザイン
(123)
●
デマ
(56)
●
デモ
(12)
●
データ
(9)
●
トイレ
(6)
●
トラバ
(12)
●
トンデモ
(26)
●
ドイツ
(6)
●
ドラえもん
(5)
●
ドラクエ
(10)
●
ドリル
(15)
●
ドローン
(5)
●
ニセ科学
(19)
●
ニュース
(14)
●
ニンジャスレイヤー
(8)
●
ネタ
(1377)
●
ネット
(546)
●
ネットワーク
(24)
●
ノンフィクション
(5)
●
ハロウィン
(10)
●
ハードウェア
(111)
●
バッタ博士
(5)
●
ビジネス
(8)
●
ファッション
(11)
●
ファン
(14)
●
ファンタジー
(17)
●
フィギュア
(7)
●
フランス
(9)
●
ブレスオブファイア
(6)
●
ブログ
(16)
●
プレゼン
(7)
●
プログラミング言語
(13)
●
ヘイトスピーチ
(5)
●
ヘボコン
(11)
●
ホラー
(6)
●
ボードゲーム
(8)
●
ポケモン
(22)
●
マンガ図書館Z(39)
●
ミステリ
(25)
●
メディア
(227)
●
モナド
(6)
●
ライトノベル
(11)
●
ライフハック
(18)
●
ラジオ
(120)
●
レビュー
(322)
●
レポ
(74)
●
ロボット
(36)
●
ローグライク
(6)
●
世界
(13)
●
中国
(139)
●
中東
(7)
●
事件
(174)
●
事故
(13)
●
交通
(18)
●
京都
(7)
●
人
(71)
●
人工知能
(14)
●
人生
(286)
●
仕事
(75)
●
任天堂
(496)
●
企業
(138)
●
佐世保女子高生殺害事
(5)
●
倫理
(47)
●
健康
(20)
●
傑作
(12)
●
児童ポルノ
(9)
●
共産党
(5)
●
写真
(110)
●
出版
(21)
●
勉強
(13)
●
動物
(52)
●
動画
(62)
●
医療
(106)
●
南米
(5)
●
原爆
(5)
●
原発
(25)
●
台湾
(13)
●
司法
(5)
●
同人
(57)
●
名前
(13)
●
哲学
(29)
●
問題
(101)
●
囲碁
(6)
●
図書館
(39)
●
国連
(8)
●
国際
(103)
●
圏論
(9)
●
地図
(10)
●
地方
(75)
●
地理
(6)
●
増田
(1092)
●
増田文学
(113)
●
増田文芸
(38)
●
増田私小説
(49)
●
夏目漱石
(5)
●
夢野久作
(5)
●
大学
(113)
●
大学生
(5)
●
大学院
(15)
●
大相撲
(40)
●
夫婦
(15)
●
女性
(107)
●
子供
(77)
●
子育て
(38)
●
学位
(5)
●
学校
(59)
●
学生
(24)
●
宇宙
(19)
●
宗教
(136)
●
実験
(7)
●
宮崎駿
(5)
●
宮本茂
(5)
●
家族
(95)
●
対談
(37)
●
寿司
(5)
●
将棋
(18)
●
小石
(18)
●
小説
(119)
●
少女漫画
(12)
●
就活
(6)
●
尼崎変死
(9)
●
山登り
(8)
●
岩田聡
(51)
●
差別
(126)
●
平坂 寛
(98)
●
幸福の科学
(6)
●
広告
(44)
●
建築
(33)
●
従軍慰安婦
(12)
●
心理
(49)
●
思想
(26)
●
思考
(12)
●
性
(56)
●
性犯罪
(102)
●
怪文書
(9)
●
恋愛
(70)
●
慰安婦
(14)
●
憲法
(34)
●
戦争
(175)
●
手記
(6)
●
技術
(66)
●
政府
(24)
●
政治
(698)
●
教育
(126)
●
教養
(5)
●
数学
(77)
●
文具
(17)
●
文化
(136)
●
文学
(17)
●
料理
(18)
●
旅行
(31)
●
日常
(11)
●
日本
(341)
●
日本語
(24)
●
昆虫
(30)
●
映画
(235)
●
書き出し小説
(11)
●
書店
(5)
●
朝日新聞
(11)
●
本
(294)
●
東日本大震災
(24)
●
森博嗣
(6)
●
植物
(6)
●
検索エンジン
(10)
●
機械学習
(10)
●
歴史
(438)
●
殺人
(12)
●
水玉模様
(7)
●
沖縄
(26)
●
法律
(59)
●
海外
(432)
●
漫画
(561)
●
災害
(19)
●
炎上
(15)
●
物理
(6)
●
特撮
(101)
●
犯罪
(59)
●
猫
(37)
●
理研
(7)
●
環境
(35)
●
環境問題
(10)
●
生活
(80)
●
生物
(79)
●
画像
(49)
●
界隈の話
(284)
●
疑似科学
(7)
●
発言
(7)
●
相撲
(11)
●
研究
(258)
●
研究不正
(14)
●
研究者
(38)
●
社会
(946)
●
神社
(6)
●
科学
(274)
●
科学者
(22)
●
科学者倫理
(5)
●
笑った
(16)
●
算数
(5)
●
経営
(8)
●
経済
(51)
●
結婚
(55)
●
統計
(15)
●
翻訳
(47)
●
考えること
(13)
●
考え方
(137)
●
考察
(49)
●
自殺
(10)
●
自民党
(27)
●
自然
(18)
●
自衛隊
(8)
●
色
(7)
●
芸能
(9)
●
若者
(5)
●
英語
(32)
●
著作権
(78)
●
行政
(75)
●
表現
(142)
●
裁判
(202)
●
規制
(28)
●
観光
(11)
●
言葉
(129)
●
言語
(56)
●
訃報
(7)
●
記憶
(5)
●
読み物
(23)
●
調査
(5)
●
論文
(88)
●
論理
(33)
●
論理学
(8)
●
講演
(42)
●
警察
(16)
●
議論
(13)
●
資料
(46)
●
趣味
(13)
●
軍事
(15)
●
辞書
(7)
●
農業
(10)
●
遊び
(9)
●
遠隔操作事件
(7)
●
選挙
(85)
●
野次
(12)
●
金
(5)
●
釣り
(53)
●
鉄道
(12)
●
開発
(91)
●
関数型言語
(12)
●
障害
(75)
●
集団的自衛権
(10)
●
雑誌
(5)
●
電子書籍
(5)
●
面白い
(7)
●
面白かった
(32)
●
韓国
(51)
●
音楽
(144)
●
風景
(13)
●
飛行機
(11)
●
食
(218)
●
食べ物
(56)
●
食べ超
(22)
●
魚
(70)
●
鳥取
(11)
●
ゲーム
(3870)
●
ネタ
(1377)
●
増田
(1092)
●
社会
(946)
●
dpz
(773)
●
政治
(698)
●
漫画
(561)
●
ネット
(546)
●
任天堂
(496)
●
インタビュー
(477)
関連タグで絞り込む (7)
●
automata
●
logic
●
math
●
order
●
relation
●
theorem
●
well-founded
タグの絞り込みを解除
definitionに関するkirakkingのブックマーク (5)
●
1 user
●
math.stackexchange.com
●学び
kirakking
2014/04/15
●math
●order
●definition
●
1 user
●
mathworld.wolfram.com
●学び
kirakking
2014/03/14
●definition
●math
●theorem
●
3 users
●
en.wikipedia.org
●学び
indicates that the column's property is always true the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly requi
kirakking
2013/12/03
●math
●definition
●relation
●well-founded
●
3 users
●
en.wikipedia.org
●学び
A Büchi automatonwith two states, and , the former of which is the start state and the latter of which is accepting. Its inputs are infinite words over the symbols . As an example, itaccepts the infinite word , where denotes the infinite repetition of a string. Itrejects the infinite word . In computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which e
kirakking
2013/11/28
●automata
●math
●definition
●
2 users
●
en.wikipedia.org
●テクノロジー
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal systemwith a set of logical rules for reasoning rigorously about the correctness of computer programs. Itwas proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers.[1] The original ideas were seeded by the work of Robert W. Floyd, who had published
kirakking
2013/11/26
●logic
●definition
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
Order Theory: Definition
Criterion -- from Wolfram MathWorld
Well-founded relation - Wikipedia
Büchi automaton - Wikipedia
Hoare logic - Wikipedia