Amazon ツールはよくわからない。独自？ Amazon S3の軽量形式手法 - masateruk’s blog DeNA Spin 3．形式手法を応用した、仕様段階でのバグの検出 a．形式手法（Spin／Promela等）を利用し、仕様の形式記述言語を表現し、仕様バグを早期に発見する b．形式記…

プログラミングHaskell 第2版作者:Grahum HuttonラムダノートAmazon やっぱりモナドわすれるな（わかっていない？）と思って、時間ができたのでReal World Haskell読もうかなあ。 と思いつつ、 積ん読のこちらを思い出し、『プログラミングHaskell第２版』Gr…

仕事にて、つかれ過ぎてて、メモる裏紙。 パワハラ、過労事例をメモります。 大企業や官公庁だって、パワハラや過労を防げていない現状があります。 この社会はまだ進歩する必要があるのです。 各社事例 ホンダ トヨタ 三菱電機 NHK 電通 東芝事例 役所の事…

現職（C）が辛くて、ほんとは関数型言語とかやりたかったんだよね。 Tsuru Capital Haskell www.tsurucapital.com fumieval.hatenablog.com HERP Haskell github.com HERP TechHub | TypeScript,Haskell,Node.jsをはじめとして、HERPで使用されている技術に…

『青天を衝け』毎週みています。夏休みに休みだったときは悲しかった。 百姓だった、代官の横暴に怒る渋沢栄一。 ★印象に残っているシーン★渋沢栄一役 #吉沢亮 さん「父の代わりに岡部藩の代官のもとへ行き、汗水垂らして稼いだ金を取り立てられたシーンは、…

ソフト開発のデスマーチ、つらいんで 対処を調べます。 たぶんうまく管理されていれば、なんで？って記事 安易な方向に行こうとしたら、思い出す用。気付けぐすりデす。 デスマーチを 検索してもラノベが上位で、 なんか見つけにくいなと。 Google、ハックさ…

同僚の依頼で出品 ダンボールがない コンビニで売ってない、小さいのはあるぽい、自分は８０サイズでそれはイトーヨーカドーにあるらしい、田舎にはないよイトーヨーカドー 緩衝材 クッション材、新聞でいいらしい、新聞とってない、雑誌をくしゃくしゃして…