そして は現実に含まれる

とにかく ということ。ただそれだけなのだ、、、

僕だってLinuxデスクトップの方が遥かに使いやすいと思うけれど、市場がWindowsを選択したのは理にかなっていると思いますよ

とりあえず の例は という証左ではないでしょうか。

どうやらこの著者も技術音痴なようだ、、、

うーん / "Amazon | Real-Time Embedded Systems (Quantitative Software Engineering Series) | Jiacun Wang | Electronics" amazon.co.jp/Real-Time-Embedde

"Examples of symbolic model checkers are SMV and NuSMV." これら2つはモデルに具体例を与えなくても検証できるんでしょうか。。。また調査範囲がひろがった。。。

"Examples of proof systems are Coq, HOL, Isabelle, Nuprl, PVS, and B-related tools." え?Bメソッドって証明器なんですか???

"3 The Choice of TLA + /TLC: Comparing Formal Methods" を。証明器とモデルチェッカの比較から導入が書いてあって、僕が求めている文書な予感がします

Flickrにはがんばってほしいです。。。

しまった。。。過去のWikiに自分のFlickr画像へのリンクをはりつけていたことに気がつきました。。。これは課金し続けないといけないのか。。。 / "Haskell-jp wiki - Workshop/ReadPFDS/1" wiki.haskell.jp/Workshop/ReadP

ならば正しいのでは。。。

いやぁ。。。MSは怖いですね。。。

シンビアン のソースコード見当らないんですが。。。 / "Symbian Foundation" licensing.symbian.org/

うーん。 を一人一個ずつ する会やりたいです。。。 / "Comparison of real-time operating systems - Wikipedia" en.wikipedia.org/wiki/Comparis

やばい。名曲だ... / "saib. - yu garden by cemcemcem!" soundcloud.com/cemthree/saib-y

とりあえず時間を分散して投資したいですね。。。

うーん、まったく理性的ではないのでは。。。
"落ち着かない気持ちを受け入れ、気持ちを切り替えようとする。テレビを見たり、子どもとゲームをしたり、面白い本に没頭したりして気分を紛らわせる
それがうまくいかなかったら、2007年–2009年の低迷から回復した市場の弾力性を信じるのと同じように、自分の理性が勝つことを信じる"
"これはバンガード版「売らずに我慢するテクニック」だ! - 梅屋敷商店街のランダム・ウォーカー(インデックス投資実践記)" randomwalker.blog19.fc2.com/bl

Q boosted

SKKってどうなんだろう(mozcが変な変換をしてくる

発電するインソールはないものでしょうか。。。 / "インソールにUSBポート、その役割とは??「Vulpés(バルペス) S-Line」を使ってみた | ライフハッカー[日本版]" lifehacker.jp/2018/12/180096-m