エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
weikum本に記載されている全定義の一覧リスト - Yabu.log
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
weikum本に記載されている全定義の一覧リスト - Yabu.log
現在5章を読む勉強会に参加していますが、 5章まで全部読めていません。最近読めていないところを見直す... 現在5章を読む勉強会に参加していますが、 5章まで全部読めていません。最近読めていないところを見直すと、理解を曖昧にしていた用語の定義が前半の方に乗っていたので、この際全部調べて定義の掲載箇所を一覧できるものを作ってみました。 下表を参考におっ、こんな定義も乗ってたか!という感じで使ってもらえると嬉しいです。*1 DEFINITION page 2.1 Partial Order 46 2.2 Page Model Transaction 46 2.3 Object Model Transaction 51 3.1 Schedules and Histories 66 3.2 Serial History 67 3.3 Herbrand Semantics of Steps 74 3.4 Herbrand Universe 75 3.5 Schedule Semantics 76 3.6