Pinned
楽観ロックの説明で「衝突しない前提で…」というフレーズをよく見かけますが、それってどういう意味？
- 衝突しない前提だから、ロックもロールバックも不要20%
- 前提は必ずチャブ台返されるから、必ず悲観ロック0%
- 衝突した時に備えて必ず議事録を取っておこうね20%
- 世間と衝突してこそロックンロールだぜベイベー！60%
5 votesFinal results
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
190.6K posts
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
@tomooda
Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。仕様はIDEで書け。後悔あとをたたず。ダイナブック信者。
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣’s posts
IT業界って、国際的には頭脳資源の奪い合いなんだよね。そんなステージで、2000万の価値のある人に800万ぐらいの給料で1500万ぐらいの仕事をさせて「わーい、人件費が1200万浮いたー」と喜んでる日本企業が勝てる可能性は限りなくゼロだと思うよ。
入社2年目の若手が、普通は専門エンジニア10人以上が専任で何年かかけてつくるものをほぼ一人で半年ぐらいで作ったのを上司が驚いて「彼を今すぐ課長待遇に」といっても即座に却下されるのが日本の「常識的」なマネージメント層なんですよ。初心者と同じ扱いを続けるのが日本の技術系企業なんですよ。
毎日体重を計ることにしてしばらくしたら、体重が落ちてきた。運動と食べ方に気をつけて毎日計測を続けて、順調に落ち幅が増えてきた。そして今日、昨日よりも1.5kg減で疑念が生じ、グラフにプロットしたら体重減というよりも電圧降下という文字が頭に浮かんだ。電池を入れ替えたら、元どおりだった。
たった1種類の「畳めない」服があるために膨大な投資を無駄にして、その成果はたぶん数年以内に中国から「まあ7割ぐらいの服は畳めますよ」な製品が数万円ぐらいで発売されるという形で結実するのですよ。ここ10年ぐらいのだめな日本絵巻。
町の鍛冶屋のバカ息子だったので、東京タワーの熱間リベットどうやって打ったんだろうとは思っていたけど、まさか放り投げていたとは…良くも悪くも、そういう時代だったんだよな。
コロナのせいでもデジタル化のせいでもないよ。竹中平蔵のせいだよ。
マジで、プログラミングを製造呼ばわりするな、プレス工と違って知的労働だ、みたいな話を聞くと、製造なめんな、プレス技術はモノを押して成形するという人類始まる前からの叡智の結晶の集積だぞ、と言いたくなる。
おサイフケータイは日本のソフトウェア開発の数少ない「国際的にも評価が高い、輝かしい成功事例」なので、彼らがやった「VDM仕様に対する徹底的なテスト」がもっと多くの現場に広まって欲しい。そして、その技術をより高めて欲しい。まじで。このままじゃ大事な知見が埋もれてしまうよ。
Quote
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
@tomooda
ナントカペイのトラブルを横目にモバイルフェリカのファームウェアがノートラブルなのは、ファームウェアの仕様定義の段階から仕様に対する「テスト」を行なって、仕様のバグを早期に叩き出したからだよ。形式手法VDMは実装の正しさの証明だけじゃない。仕様の正しさのテストを可能にする技術なんだ。
近所のクリニックの診察室でお医者さんと話していたら、その内容がカルテにどんどん記入されていっていることに気付いた。お医者さんはキーボードに触ってない。「おお！これがDynabookの『ちょっと高い音声入力モジュール』かー！夢は実現された！」と感動していたら、裏で看護師さんが入力してた。
学部生時代の各種binの印象：
/bin … 世界レベルのハカーだけが書き込んで良い聖地
/usr/bin … 日本トップレベルのハカーだけ以下同文
/usr/local/bin … 学内トップレベルの以下同文
~/bin … オレごときが書き込んでも許してもらえる貴重なbin
オレは蓮舫氏の政策アジェンダには全くもって反対なのだが、事業仕分けの件といい今回のクラウドの件といい、間違ってない発言への無茶な非難中傷が多すぎて、なぜか彼女の弁護をする羽目になる。ネトウヨさんたち、そこまでして蓮舫への反対者を減らしたいのか。たのむからオレに蓮舫を批判させろ。
Replying to
そいつが実際に課長になったのは20年以上経ってから。年収は1,000万なんて到底届かない水準。つきあい長いオレから見ても、オレが雇う側なら2,000万までなら即答で出すぐらいの専門技術者がその待遇。へー、その会社、よく技術系を名乗れるねー、と思いながら聞いてたよ。
障がいは言い訳じゃないよ。現実問題なんだよ。収入にも支出にも大きな影響を与える、現実の死活問題なんだよ。アスリートが自分を奮い立たせる言葉であって、一般に語りかける言葉じゃないと思う。東京都がこういうポスターを出すとはね。本当に悲しくなってくる。
x.com/yana1945/statu
Replying to
もし仮に彼の上司の主張が受け入れられていたら、彼の生涯賃金は少なくとも倍にはなっていただろうね。普通のマネージメントの常識が、能力ある専門技術者の人生を大きく変えてしまったんだよね。それでも彼は腐らなかったんだけど、オレに言わせれば、腐るべきだったんだと思う。まじで。
結局、東京オリンピックって、日本経済を抑圧する方向にばかり働いてるじゃん？
RT zeiri4.com/c_1076/n_522/
ネット通販ひかえて…首都高への高速道路の本線料金所のゲートの数を大会期間中は7割程度に減らしたり、首都高のゲートを時間帯によって閉鎖したりするなど
まあ、終身雇用放棄を公に宣言してしまった以上、情報系の修士を出たばかりの20台後半の才気あふれるプログラマを月給20万で雇うことはできないよ？
ナントカペイのトラブルを横目にモバイルフェリカのファームウェアがノートラブルなのは、ファームウェアの仕様定義の段階から仕様に対する「テスト」を行なって、仕様のバグを早期に叩き出したからだよ。形式手法VDMは実装の正しさの証明だけじゃない。仕様の正しさのテストを可能にする技術なんだ。
Coinhive自体が犯罪とかなんとかっていうのはまあ色々あるけど、それ以前に、「誰かが犯罪者ににされるまで、古い法が新しい技術にどのように適用されるか未確定」「その確定のプロセスにおいて、最高裁まで争うと長い年月と莫大な金額が必要になり、人生ほぼ全損」みたいのヤバいと思う。
日本のおエラい人たち、やはりソフトウェア技術と製造業のメカ設計の区別ができていないよ…orz
RT news.yahoo.co.jp/articles/a5b01
「日本は軽量化も省エネ化もできる。そこに日本の勝ち筋があると見ている」と述べた。 生成AIの利活用に関し
お願いだからやめてほしい。標準的なプロトコルを使ったシステムで予約受付してほしい。行政が、COVID-19ワクチン接種のような生命健康に関わることを、特定の民間サービス利用者のみに提供することには、絶対に反対です。
RT pref.aichi.jp/site/covid19-a
ＬＩＮＥアプリを活用し、予約受付を行います。
「これから2週間…あらゆる手を尽くすべきだ」「次の手は今後10日程度のうちに取りまとめる方針」これを真顔で言い放つことができるバカが、日本の行政の執行責任者。いいか、こいつはこの一刻を争う危急の時に「次の手は10日程度のうちに取りまとめる方針」と言うんだぞ。バカだろ。完全にバカだろ。
プログラマの十戒
1. 汝電話を取るなかれ
2. 汝散歩に出るべし
3. 汝肩と腰をほぐすべし
4. 汝無駄な会議に出るなかれ
5. 汝不条理を受け入れるべからず
6. 汝ツールを自作すべし
7. 汝上司を崇拝するなかれ
8. 汝食え
9. 汝寝ろ
10. 汝遊べ
Show moreNHKのニュース、「仕事はあるのに人手が足りない。従業員を増やすと人件費で倒産する。」って、それのどこが景気回復だよ。低単価の仕事ばかりのデフレそのものじゃないか。こんな状態で「景気は回復したものの」なんて言っちゃいけない。デフレは好景気ではない。
いまだに民主党政権による「京」への仕分けについてグチグチ言う人がいるが、実はあれはあの仕分けの過程を一般人にもガラス張りで公開したおかげなんだよ。ほら、自民党政権ではこうして意思決定の過程が明かされないまま研究が潰されていく。
Quote
山崎弘樹 Yamazaki Hiroki
@puremalt2010
日本、痛恨の「終了」 headlines.yahoo.co.jp/hl?a=20171028- たった、と敢えて言う。３０億円。日本は小柴博士がニュートリノ検出でノーベル物理学賞を受賞する等、この分野で先頭に立った。本命はこれから。人類が未だに正体を知らない暗黒物質。世界最先進国が何故３０億円を出せない？
簡単に言えば、ソフトウェアの世界は「ぼくは決める人、あなたは作る人」って具合にはできないってこと。製造業とかサービス業はそれで回るかもしれないけど、ソフトウェアは決め事の伝言ゲームがとてつもなく難しくて、決める過程に作る人も参加しないと話にならないんだ。まじで。
この話が、このタイミングで公式ルートから出てくることは、まあ偶然ではなくて、意図をもって選ばれたタイミングなんだよね。たぶんね。
news.yahoo.co.jp/articles/b0364
311当時にヒラだった世代のみなさん、中間管理職や上級管理職になっても「台風の警報ぐらいなんだ！オレが若いころは原子炉が3つぐらい爆発しても通常通り出社したぞ！」とか老害らないでくださいね。よろしく。
というか、れいわ新選組って左じゃないよね。良い意味での、本来の保守。この社会に生きる全ての人を愛する。これって郷土愛そのものじゃないですか。郷土愛を守るのが保守政治。
Quote
想田和弘
@KazuhiroSoda
れいわ新選組を「左のポピュリズム(大衆迎合)」と呼んでれいわ現象を言い当てた気になってる感じの人がチラホラいるけど、単純化にも程があると思いますね。例えば大衆に迎合するために重度障害者を候補者として立てますか？
しかも、丸腰の日本人留学生が白人に撃ち殺されて白人無罪になって、銃規制運動につながった事件あったこと、全く知らないっぽい。無知って怖いね。 x.com/nenbutsunomats
Age-restricted adult content. This content might not be appropriate for people under 18 years old. To view this media, you’ll need to log in to X. Learn more
逆に、昔の職場でスーパーエンジニアな先輩がいてその人が自分のたった1.5倍しか給料出てないことを知って、夢と希望が失われた。ああ、この人ほどの能力と知名度になってもせいぜいこのお給料なんですか、ってね。せめて3倍は給料取ってて欲しかった。
Quote
Atsushi Takayama
@edvakf
公の場で給料アピールしてはいけないのはチームの心理的安全性を損ねるから。要らん軋轢生んだらアジリティが失われる。自分が尊敬できる相手が相応に高いぶんにはまあ励みになっていいんだけど、それでも2倍も3倍も違ったら絶対「2倍もらってんだから2倍働けよ」とか思っちゃう。
オレ程度ですら、RT数がいつもより1桁多くなるともれなくクソリプがついてくる。ましてや大企業の公式アカウントとなれば、クソリプの数、クソリプの質、そして対応を誤った時のダメージの大きさ、それに対して周囲からは呑気にSNSやってるパラダイスな業務のように見える。本当に大変な仕事だなあ。
Quote
SHARP シャープ株式会社
@SHARP_JP
私が公式アカウントを手がけてきて得た知見など、ろくなものはないですが、がんばると「社内の友だちは減る」ということは言えます。そろそろ新入社員が「若い」というだけで、SNS運営を命じられるころですね。
「人月」とは、人数 * 時間 ではなく、SIer専用の仮想通貨だと思うことにしています。「人月」はカイシャごとに発行されるので、カイシャによってリアル通貨との為替レートが異なるので「人月」の転売で儲けようとしている輩がいます。とても残念なことです。
Quote
てつお@次は600かな...
@tetsuo6666
受託開発の現場にいる身で言うのもなんだが、ソフトウェアの開発現場で「人月」というわかりやすいように見えて、全く根拠がなく意味のない数字がまかり通っているのは、単純にそのソフトウェアの価値を誰もわかってないからなのでは??
と、思うくらい「人月」という単位は嫌いです。昔から。
時々、技術者や技術系マネージャが勘違いしているのは「技術力」の意味。技術力というのは多くの技術を知っているかとか適用できるかとかじゃなくて、自分が知らない技術を学ぶ能力や、まだ存在しない技術を生み出す能力のことなので。ここを間違った「技術力が足りない」が多すぎるんですよこの業界。
ニンゲンの読解機構が、字句解析 → 構文解析器 → 意味解析 というパイプラインにはなっていない証拠。
「プログラマのままだと給与も熟練工ぐらいまで」という理由でマネージャ転向しかないキャリアパスを正当化する意見を見たが、オレの実家は平凡な零細町工場だったけど月給100万以上＋ボーナスって職人さんもザラにいたよ？まずはそれぐらい出してから「これ以上は熟練工レベルじゃ無理」って言えよ。
学生時代のオレに予測できなかったことの1つが、日本のソフトウェア専業者がここまで社会的に認められず劣悪な待遇が持続することになるとは思わなかったこと。10年もしたらソフトウェアの重要性に気付いて、労働環境がどんどん良くなって、楽しく仕事できるようになっているだろうと思っていた。
ログインしてシェルにコマンド入力したりGUIを使うだけでも「Linux触れます」と言って何の問題もないし、むしろ積極的にそう言って欲しいと思う。どうして「触れる」という言葉をそんな限定的かつ特権的なものにしたがる人がいるんだろう？実に不思議だ。
Quote
江添亮
@EzoeRyou
「Linux触れます」っていうと普通はLinuxカーネル開発者を指すと思うんだけど、世間ではGNU/Linuxにおけるユーザスペースで動く特定のソフトウェアの環境構築みたいな認識なの？
っていうか、終身雇用で若い頃は安月給で働いて年を取ってから高給を取るモデルって、ようするに事実上の給与遅配だよね。それを途中でやめて自由に解雇できるようにするってのは、ようするに事実上の労働債権踏み倒しだよね。
Quote
木村岳史(東葛人)
@toukatsujin
日本人の大きな誤解は、古より「終身雇用の代わりに社員は会社に忠誠を尽くす」といった日本の企業文化が連綿と続いてきたと思っている点。そんなもの戦後の産物。戦前はもっとドライだった。で、その気持ち悪い企業文化がようやく終焉したと思ったら、今度は社畜文化が生まれた。そりゃあかん。
「技術があるエンジニアなのに言葉で説明するのがヘタ」とか言って技術者の日本語能力を疑う人がよくいるけど、そのエンジニアさんが普段考える時に使っている語彙を理解できない人を相手に説明する時には事実上の同時通訳をしながら説明をしているということに気付いていない人が多いような気がする。
「日本ではみな毎日風呂に入るし手も洗うし清潔好きな社会だから、ウイルスが蔓延しにくい」とか言ってる人たちに、ではなぜインフルエンザが毎年蔓延して日本地図全体が警戒色で真っ赤になるのか、ご説明願いたい。
それうつ病にありがちな行動だから無闇な干渉や嫌味はダメ絶対。ネトゲにログインするのもオフ会するのも、せめて人工的にでも「楽しい」という感覚を持っていると自分の脳に言い聞かせたいだけ。さらに進むと、それさえダメになる。
Quote
BSディム
@BS_dim
鬱病で辞めていく部下が「なにもやる気が起きないんです……家にいてもずっと寝てて……」って言ってる割にネトゲにログインしまくっててオフ会まで主催してるんだけど、これ私がオフ会に参加したらどうなるのかしら。
学部生だった頃、先生が「おまえら留年したら授業料と生活費1年分で200万ぐらい損するだけだと思ってるだろ？そうじゃなくて、定年前の1年分の給料が減るんだよ。1,000万以上損するんだからな。」とおっしゃっていたが、残念ながらよほど恵まれないとそんな年収には届きません。
Replying to
バズったので宣伝。おサイフケータイをはじめ、形式仕様の成功事例の紹介と分析をまとめた報告書がこれです。
ipa.go.jp/sec/softwareen
ほんと、まだ「消費税は福祉財源のため」って話を信じている人が多いみたいなんだけど、じゃあ消費税を8%にして福祉はどれだけ拡充されたの？難病支援は薄くなり、生活保護はあいかわらず受給率が改善されず、年金受給開始はどんどん後延ばし、無医村は絶賛拡大中。拡充されたのは、大企業の余剰金。
Quote
ᵖʳᵒᵒᶠ中林 香⟬⟭⟭⟬⁷ ᵀʰᵉ ᴬˢᵗʳᵒⁿᵃᵘᵗ
@kaokou11
５％から８％に消費税増税するときにも、安倍政権は同じように社会保障の財源のため必要だとしていた。しかし結局は増税分の税収の多くは法人税減税の埋め合わせに使われた。肝心の社会保障は減額や負担増で消費税増税の意味を全く感じない。再び同じ理由で増税とは、完全に馬鹿にされている気がする。 x.com/livedoornews/s…
IT技術は現実世界の色々なモノやコトをアナロジーとして説明されてきた。ウェブ広告はそれに成功した。普通の広告と同じだと。coinhiveは警察も高裁も現実世界の何に相当するか理解できないため犯罪扱いされた。単に、自宅前に足踏み発電機を置いておいて、通行人が通るたびに発電売電しただけなのに。
プログラマ7つの神話
1.開発は10年前の古いPCで十分
2.キーボードを叩いていないのはサボり
3.すぐに遊ぶから、ネットは遮断すべき
4.時間給の単純労務者だからいつでも代替可能
5.やりがいがあれば給料は安くてもよい
6.経営マインドを持たせろ
7.営業マインドを持たせろ
本来はプログラミング経験がなくても設計できるのが工学。左官や配管工や鳶職の経験がなくても建築設計できるのが建築工学なのと同じく。ただ、現状のソフトウェア工学はまだ本当の工学を名乗れるレベルに達していない。自分でDIY工作したことない人は棚の図面を引けない段階。建築では犬小屋レベル。
これ、知識というものは文書で伝わるように見えて、文書では本当に大切な部分が伝わらない。本当の知識は、自ら実践して試行錯誤のプロセスを経ないと、得られない。という大原則のわかりやすい説明になっている。
マジレスすると、ほとんどの「師匠」は、弟子にすぐに抜かれます。少なくとも弟子の得意領分では。弟子に抜かれない師匠というのは、よほど育てるのが下手な人なのだと思う。その上での敬意であり師弟関係なのだと思う。たぶん。
有給休暇はそもそも権利として自由に取れるものです。あらためて「自由に取れるようにすればよい」とする対象ではありません。そしてその権利を行使するのは従業員であって経営者ではありません。カンチガイすんなバカ。他人様の権利を勝手に行使させようとかすんな。
この認識は驚き。自民党って、メンテコスト考えずにハコモノ建ててたの？
RT news.yahoo.co.jp/articles/10ca3
これまではお金を出して終わりだったが、これ（アプリ）は常に関与し続けないといけない。永久に完成しないものに国は今まで付き合ったことがない。今までの国のシステムの発注とは違う種類だった
オレ、「利益の半分を稼いでいる技術開発部」みたいなのは好きじゃない。会社ってのは皆んなで稼いでいるんだ。本当にその部署が利益の半分を稼いでいるなら、そこだけで独立したほうが株主さん大喜びだよ。でもそうじゃない。大事なことなんで二度目を書くけど、会社ってのは皆んなで稼いでいるんだ。
このビラが示しているのは、自民党は、「共産党が支持する候補が知事になったら県庁に赤旗が掲げられる」と言われればそう信じる程度の教育水準だと新潟県民を小馬鹿にしている、ということ。
この人たち、博士号を一体なんだと思ってるの？
RT yomiuri.co.jp/kyoiku/kyoiku/
大阪市教育委員会は…、理系の博士号を持つ研究員（ポスドク）らを、市立中学校の教諭として採用…「理科や数学に苦手意識を持つ生徒もいる。専門知識を生かして、難しい内容もわかりやすく教えられる人に来てほしい」
ソフトウェア開発をするのなら、人数を最小限に絞る。体制云々は分業のためというより、各メンバーが外野からの不当な干渉を受けないための構造が大事。
「給料は倍出すからちゃんとした人が欲しい」と言う経営者が、既に社内にいるちゃんとした技術者のお給料を2倍にした話を聞いたことがない。経営者が技術者のお給料を増やした話で一番よく聞くのが、退職の意思を示した技術者を引き留めるためのお給料2倍。でも、それまでの薄給の理由も反省も出ない。
それにしてもこの人、自分の社会的信用を棄損してでも何かを守ろうとしているようなんだけど、一体何を守っているのだろう？
news.yahoo.co.jp/articles/8766c
そのうちどれぐらいが無限アラートやcoinhiveのような「冤罪」なんだろう。
Quote
警察庁
@NPA_KOHO
平成30年中のサイバー犯罪の検挙件数は、9,046件（速報値）で過去最多となりました！警察では捜査体制を強化し、また、民間事業者や関係機関と連携し、積極的な被害防止対策を行っています。
詳しくはこちらnpa.go.jp/cyber/
例えば、すごいプログラマに笑われないようなコードを書きたいと思ったら、当分の間は、笑われようが気にしないでバンバンコードを書いて晒す蛮勇が必要。笑う人はあんまりいないわけだけど、中には笑う人もいる。それでも気にしないでコードを書くと、笑われないコードを書けるようになる。なりたい。
Replying to
できれば、新しい種類の事件については、刑事罰や行政罰は保守的な適用を、民事責任は当事者間できっちり議論の上で弱い者が泣かずに済むような解決をしてほしいし、社会的な責任については、どうか「最初にやらかしたヤツ」には寛容な社会であって欲しい（二番煎じ以降は別
IT屋での給与査定で「あなたは今年は最高評価ですが、去年も最高評価だったので、お給料据え置きです。お給料上げるためには職級をあげてください。ただし規定で次の昇級まで2年待つ必要があります」みたいな話がたまに風にのって流れてくるけどさ、要するにテーブルを口実にした減給だよねそれ。
ところが、ビジネスの役に立つどうこうより腕のあるプログラマ集めたMSが日本企業を圧倒して、さらに研究室のソフトウェア工学な人たちで固めた初期ググルが超絶圧倒して、それでも日本企業の人たちは相変わらずビジネス知識とか言ってるのですよ。
Quote
なぎせ ゆうき
@nagise
情報工学と、現場でのプログラミングにギャップがあるのがまたなあ……
あとは、プログラマになることと、そのプログラマが役に立つことは違ってて。
未経験採用側はガチャ引く感じでそこそこ使えるやつ来ればラッキー、使えないやつは早く辞めてくれたらラッキーぐらいの世界で…… x.com/joe_yuzupi/sta…
Show more
完全に腐ってやがる…
RT mainichi.jp/articles/20180
天皇陛下の退位と皇太子さまの新天皇即位に伴う代替わりに合わせ、国家公務員が過去に受けた懲戒処分の免除を行う検討を始めた。
世の中には値切りが当然の文化もあるんだけど、値切っていいのは商人相手のときね。職人相手には絶対に値切っちゃいけない。値切りが定着した文化では常識なんだけどね。（日本では定着していない。だから平気で職人相手に値切るようなことをする
New to X?
Sign up now to get your own personalized timeline!