サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されますhttps://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
You'll miss a lot on this web site unless you enableJavascript in your browser. I am thecreator...You'll miss a lot on this web site unless you enableJavascript in your browser. I am thecreator of TLA+, 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+ andits tools are useful for eliminating fundamental designerrors, which are hard to f
