FINDJOB!終了のお知らせ | FINDJOB!
FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ
「ジョブ型雇用」はまず経理部から導入してはどうか？
日本でも「ジョブ型雇用」の議論が始まりました。いわゆる専門性を評価しての雇用ということですが、別に新しいものではなく、医師とか薬剤師、税理士あるいはプロスポーツ選手など、中には雇用契約ではなく個人事業主の場合もありますが、大きく考えれば「ジョブ型」の雇用というものは昔からあったわけです。専門的な職工さんとか調理師などもそうです。 ですが、一般的な企業の場合は、終身雇用の中で「専門性はないが、その会社独自のカルチャーに根ざした調整能力は抜群」という、いわゆる「メンバーシップ型雇用」の人「だけ」が企業の上級管理職になれるわけです。その一方で、特に一般のサービス業や製造業の現場では、「ジョブ型」というものが「格下」に位置づけられている、そこに問題があります。 こんな制度はグローバルなビジネスの世界には、ありません。管理職とか経営者というのも、「ジョブ型」というのが世界標準です。ですが、現在進行し
Agda による圏論入門
Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
