要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義トップエスイー実践講座 第6巻 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 https://www.kindaikagaku.co.jp/book_list/detail/9784764904354/ スライド内の Communicating Sequential Process (CSP) の読みやすい参考文献です。
元ニートだけど年収が1400万になった
これまでは anond:20240326213435 都心に住んでいる。でも家でも外でもやることはない。 毎日五千円から一万円くらい雑に外食したり、それでも何十万も毎月余る。ほしいものは買える。が、ほしいものは何もない。 新しいiPhone買ったりパソコン買っても、やることがないんだよね。昔はずっとネットで何か書いたり、誰かが書いたりしたものを読んでいて、 はてな村のITの仕事してる人の生活とか勉強を真似したら、年収は追いついて追い越して、歳をとってなにもやることなくなっちゃった。 現在、毎日６時に帰ってねとる。土日も何したらわからなくてなんとなく散歩に行って食って寝て終わる。 面白いこと、昔はあったはずなんだけど、イーロンマスクが五兆円かけてスマホ持ってる奴全員をにちゃんねらーみたいにしてしまったので、電車通勤とか通学中に動画見たり誰かの悪口をxに書いたりしてるのをみるのがつらい。なので
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
寺社に油？かけた疑い、米国在住の男を逮捕 日本に移送して捜査へ：朝日新聞
