アリさんマーク引越社関東の正社員で、労働組合に加入したら営業職から「シュレッダー係」に配置転換されてしまった30代男性Aさんが5月24日、元の営業職に戻ることで会社と和解した。Aさんは配置転換の無効などを求め、東京地裁に訴えていたが、裁判所が和解を提案し、双方が応じた。 どんな事件だったのか？Aさんは2011年1月、引越社関東に正社員として入社。セールスドライバーとして勤務したあと、営業職になった。成績は良好だったが、2015年1月に車両事故を起こしてしまった。この損害賠償として会社から48万円を支払うよう求められたことをきっかけに、労働組合に加盟した。 すると、2015年3月、営業職から「アポイント部」へ配置転換され、給与が4割減となってしまった。さらに2015年6月、2回の遅刻を理由に、朝から晩まで立ちっぱなしで書類をシュレッダーにかけ、ゴミを捨てるだけの「シュレッダー係」に配置転換さ

今日は、労働者が使用者から退職勧奨（要するに、「退職してくれ」と言われること）を受けた場合にとるべき対応について書く。*1 退職勧奨を受けた場合、労働者がまず頭に入れておくべき基本事項は下記の3つだ。 退職しろと言われたからといって退職する義務はない 労働者が自主的に退職しない場合、それでも辞めさせたいなら、使用者は解雇をするしかない 判例上、解雇はそう簡単に法的に有効とは認められない この３点をまとめると、要するに、 労働者が退職勧奨に応じさえしなければ、(解雇が有効になるような事情がない限り)法的には退職せずに済む可能性が高い ということだ。 もちろん、法的には適法に解雇できない状況だとしても、実際問題として、もはや自分を必要としていない職場で働き続けたいのか？という問題はあるだろう。 復職が実際上困難なのであれば、最終的な着地点はやっぱり退職かもしれない。 しかし、そう簡単に解雇が認

先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ？」といった批判的諦念的なものから、「RustとGoとErlangの間の子みたいなのだなあ」「なんか読みにくい」といった反応が多くこの言語の重要性やインパクトに対して正しく理解しているものがあまりなかった。尊敬しているTD勢ですらあまり重要性が伝わってないようだ 1 2 。上記のブログ記事を読んだり、マニュアルを読んだらすぐ分かるようなことではあるが、日本語で解説しておこうと思う。なおいわゆる言語入門とかそういった類のものではないことをご理解いただきたい。 TL;DR 並行処理や分散システムの形式証明や形式検証はそれ自体