text.ssig33.com - 知人が退会出来ないことで有名な GREE を退職出来ない話。
知人が退会出来ないことで有名な GREE を退職出来ない話。 匿名ダイアリーにでも書こうと思ったが、文章および内容の責任を明らかにする為に名前を明らかにして書く。 知人がグリーを退職しようとしている。その人がグリーに入社した経緯を書くとその人を簡単に特定出来てしまう。しかし簡単に書くと、 100% 本意で入社したとは言えない（と僕は傍目に見て思う ）。 その知人は極めて優秀なインフラエンジニアだ。コードも書ける。得難い人材と言えると思う。 しかし一身上の都合でグリーを退職することとなり、その旨会社に伝えたところ「辞めるなど許さない」「君は四人分の働きをしていたのだから四人分の金を払え」などと極めて理不尽な、脅し としか受け取れないリプライを受けていた。 さらに退職にあたって「IT エンジニアとして今後一定期間働かないこと（要約）」極めて受け入れ難い契約を追加で要求された。 また退職の書面が
増補版:気軽に試してみよう！今こそ Lisp 入門 - Lisp の調べ
1. 関数型プログラミングでもっと言いたかったこと (1) λ計算 λ計算は関数型プログラミングでは基本中の「キ」ですが、本文は初心者向けということでカットしていますが、ここでは少し説明します。 λ計算（λ-calculus）はα変換とβ-簡約、η-変換の規則があります。 α-変換は束縛変数の名前を変える変換で、β-変換（簡約）は関数適用です。 η-変換はすべての引数で同じ値を返す関数は等価である（関数の外延性）とするものです。 α-変換の例はλx.fx → λy.fy であり、β-変換の例は(λx.fx)3 → f3であり、η-変換の例は λx.fx → f（但しxはfで自由でないとき）です。 Lisp 風に書くのであれば、(lambda (x) (f x))→(lambda (y) (f y))、((lambda (x) (f x)) 3)→（f 3)、(lambda (x) (f x
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
