ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>; // = true 一方でこのようにして定義された関数は第一級ではない, つまり関数そのものを他の関数の引数として渡したりすることができません. type FilterUnion<F, X> = X extends unknown ? (F<X> extends true ? X : never) : never; // ~~~~ // ^ Error: Type 'F' is n

70年代後半～80年代前半のあんな話こんな話を反駁する元大統領ジミー・カーターがホスピスに入って緩和ケアを受けはじめ，遠からず亡くなると予想されている．そこで今日公開する予定だった記事を急遽変更して，カーター（とレーガン）について2021年に書いた記事を再掲する．カーターはぼくが生まれる前に大統領だった人物だけど，「彼が大統領だった時期がいかにひどくて，レーガンによって国の方向がどう修正されたか」っていうすごく明快な物語を聞かさながら，ぼくは育った．で，大人になってからわかったのが，その物語が現実とかけ離れてるってことだった．というか，1970年代の課題の多くは――高インフレ，強すぎる規制，ソビエト連邦の復活といった課題は――カーターによって解決の端緒が開かれている．その一方で，レーガンがとったアプローチは，Uターンというよりもそれまでの継続という性格が強い．この記事を読んで70年代～80

このところ，メディアでさかんに論議されているものといえば，アメリカに押し寄せてる十代の不幸の原因はいったいなんなのかってテーマだ．先日，『ワシントンポスト』記者のテイラー・ローレンツが連続ツイートでこう論じていた――いま十代の子たちが不幸せになっている主な理由は，単純に，自分たちを取り巻く世界が「地獄めいた場所」だと彼らが認識しているからにすぎないんだそうだ： きらびやかな悲観論は，なんの役にも立たないよ このところ，メディアでさかんに論議されているものといえば，アメリカに押し寄せてる十代の不幸の原因はいったいなんなのかってテーマだ．先日，『ワシントンポスト』記者のテイラー・ローレンツが連続ツイートでこう論じていた――いま十代の子たちが不幸せになっている主な理由は，単純に，自分たちを取り巻く世界が「地獄めいた場所」だと彼らが認識しているからにすぎないんだそうだ： タイラー・ローレンツ：みん

社会的に成功した人は、遺伝的に有利だったのか、環境が良かったのか、本人が頑張ったのか、犯罪を犯した人は、先天的になにかあったのか、教育や環境が悪かったのか、よくそういうことが気になります。ときどきその手のことを考えるヒントになりそうな本とかを読んでみたりしてたのですが、友人から教えてもらった本のおかげで、行動遺伝学というジャンルが、この手のトピックに科学的なアプローチで取り組んだりしているぽい、ということを知りました。というわけで、冬休みの自由課題的に色々読んだりしてみたので、なんか色々と書いてみます 結論から書いておくと、最初にあげたような疑問は、行動遺伝学を学ぶことによって完全に解決する、ということはなさそうです。ですが、いろいろわかっていることもある、考えるヒントになる、というあたりが収穫かな、と思っています 読んだもの Introduction to Human Behaviora

エス・エム・エスのエンジニアの宮坂です。2022年1月に入社し、以来、介護事業者向け経営支援サービス「カイポケ」のリニューアル開発に携わっています。 今回は私が開発を担当している「介護報酬の算定ロジック開発」についてお話したいと思います。 介護報酬とは何か そもそも介護報酬とは何でしょう？ 高齢になったり病気になったりして、周りのサポートがないと生活が難しい状態になってしまった場合、介護サービスを受けることになります。介護サービスは、提供したサービス内容や介護の必要度合いなどに応じて金額が定められていて、これを介護保険（一部、利用者負担）から介護サービスを提供した事業者に支払われます。これが介護報酬と呼ばれるものです。 介護保険は、法律によって40歳以上になると誰もが加入することになり、その保険料は毎月の給与などから引かれているので、介護を受けていない人も含めて介護サービスを支えていること

月間10万人が読んでいるCoral Insightsのニュースレターにご登録いただくと、Coral Capitalメンバーによる国内外のスタートアップ業界の最新動向に関するブログや、特別イベントの情報等について、定期的にお送りさせていただきます。ぜひ、ご登録ください！ スタートアップの人材獲得競争は激しさを増すばかりです。優秀な求職者に選ばれるためには、ただ応募を待つだけでは不十分。企業が求職者に対し能動的に働きかけ、認知を促さなければ、この苛烈な人材獲得競争を勝ち抜くことはできません。それこそが、近年「採用広報」に注力する企業が増えている要因です。 しかし、その一方で粗製濫造気味に量産される採用コンテンツを懐疑的な目で見る有識者もいます。株式会社9st（ナイン・エスティ）の加藤恭輔氏もそのひとり。加藤氏はかつて、医療ヘルスケアベンチャーの雄「メドレー」で、年間200名以上もの採用を実現さ

実際にOTDが仕上げたトップマウントプレート、2パーツからなるケース、真鍮ウエイトの基礎構造は10年以上経った今でもそれほど変わっていない

・水族館や動物園で、説明文を読んで得たばかりの知識を、同行者になぜか少し得意げに披露している人の声を聞きながら、動物や魚を見ている瞬間 ・いいパン屋でいい惣菜パンを買って、包み紙に油が染みているのを見たとき ・新しいゲーム機の初期設定をしているときの、焦れるようなワクワクするような感じ ・ロイヤルホストなどのファミレスの看板が、雲ひとつない青空をバックにゆっくり回転している ・22時22分 ・式典のために用意された、デカい花瓶に入ったデカい生花の近くを通ったときに感じる、強い花の匂い ・12月の雨の日、降っているものにあられが混じっていることに気がつく瞬間 ・春先に飛んでるオレンジ色のチョウチョ(ツマグロヒョウモン！) ・夏場に美術館や博物館に行ったときの、圧倒的な涼しさ(案外人は多くて、静かさはない) ・自転車でネコの横を通り抜けるときにネコが見せる、いつでも動けるように緊張した姿(実際

こんにちは。2022年10月にエス・エム・エスに入社した塩井です。 現在はプロダクト開発部介護キャリア開発グループにて、介護職向け求人情報サイト「カイゴジョブ」の開発を行なっています。 この記事では、私が前職からの転職先にエス・エム・エスを選んだ理由、そして実際にエス・エム・エスで働いてみて感じていることなどをご紹介したいと思います。 誰？ 改めましてしおいと申します。Twitterでは @coe401_ 、GitHubでは @shioimm と名乗っています。 前職では東京と福岡に教室を展開する小中高校生向け英語塾の社内開発チームで学習管理システムの開発を行なっていました。 プログラミング言語Rubyとそのコミュニティが大好きで、好きが高じた結果RubyKaigi 2021とRubyKaigi 2022にて登壇の機会をいただきました。よく地域Rubyコミュニティのミートアップに出入りして

kumagiさんは、OSSのコードを読むとき、普段どのような目的で読みますか?おすすめの読み方などはありますでしょうか? OSSの規模ですが、redisほどの規模を想定しています。 redisのソースコードを読むとして、どのような目的でどのように読むでしょうか? そのOSSで注目されている機能を理解したくてコードを開くときが多いです。 大抵のちゃんとしたソフトウェアはコード規模が数万行を超えているので、毎秒1行読んでも端から読んだら1時間では終わりません。ですのでいかにコードを読まずにあたりを付けるかが鍵です。ドキュメント内でそのソフトウェア固有の単語の中から興味のあるものを抜き出し、git cloneしてその単語がある場所を検索してそれっぽい物を見つけます。後はその前後の処理を読んだり普通の事をしています。 例えば知り合いから「Redis使っているんだけどLPOPコマンドがやけに遅いんだ

2020年4月から放送大学の教養学部「人間と文化コース」に入学して、これまで勉強してこなかった人文系の勉強を始めている。3年目後期が終わったので感想をまとめておく。最近IT業界界隈でも放送大学に関する記事が増えてて興味深い 目次 最近、技術者界隈でも放送大学の記事をちらほらと見るようになった 3年目後期に受講した科目 現代の危機と哲学（’１８） アメリカの芸術と文化（’１９） 中高年の心理臨床（’２０） 来期（4年目前期）の予定 これまでの記録 受講の感想 これまで受講した科目 最近、技術者界隈でも放送大学の記事をちらほらと見るようになった 技術者ということで「情報」コースを履修している人がほとんどだけれども、いろいろ情報が出てきて参考になる。取りたい科目が増えてしょうがない kernhack.hatenablog.com note.com 放送大学いいですよ。 さて、それでは自分はどうだ

コミュニティの代表を務めたりカンファレンスでキーノートを任されるソフトウェアエンジニアともなれば、代名詞ともなるプロダクトやサービスを何かしら持っているものです。そういった意味で、株式会社リクルートのデータエンジニアリング組織でマネージャーを務める竹迫良範さんは少し変わったキャリアを歩んできたのかもしれません。 Webアプリケーション開発の初期にプログラミング言語Perlのコミュニティで代表を務め、Webセキュリティの領域でも活動し、今でもブログで技術的な投稿をしながら、未踏事業やセキュリティ・キャンプといった若手エンジニアの育成にも積極的に取り組んでいます。むしろ自分が手を動かしてプロダクトを作り上げるより、誰かが自由に手を動かせる環境作りにこそ熱心であるようにも見えます。 経験したことのない仕事に誘われたら基本的に断らないと語る竹迫さんが、頼まれたアウェイな機会をどのように生かして活動

夜勤で午後に出勤したら、待ってましたという感じで仲良しの同僚がやってきた。 「〇〇さん、異動だって」 今朝の朝礼で発表があったらしい。 循環器病棟で退職者が出て、さらにもうすぐ産休に入るスタッフがいるという話は聞いていたから、どこかの病棟から補充されるのだろうとは思っていた。そうか、うちは来月からひとり減か……。 とがっかりしていたら、彼女が小声でつづけた。 「師長、〇〇さんのこと苦手そうだもんね」 〇〇さんははっきりものを言う人で、師長にも意見することがある。そんな〇〇さんを師長はやりにくいと感じているに違いない、だから体よく追い出したのだ、と彼女はみたらしい。 へええと思った。私とは真逆の見方だったから。 立場が上の人にも臆さず考えを言う〇〇さんのことを師長は買っているだろう。だから、至急増員が必要な病棟で即戦力になり、かつクセの強い循環器病棟のドクターたちと渡り合える人材と見込んで抜

ますます訳の分かっていない人があれこれ分からないことを分かったように言うもんだから、ますます訳が分からなくなるというスパイラルに入っているようですな。 ごくごく単純化して言えば、ジョブ型社会というのは、賃上げしないと賃金が上がらない社会だ。 一見同義反復のように見えるし、ジョブ型社会の人々にとっては実際同義反復でしかないのだが、人に値札が付いているんじゃなくて座る椅子に値札が付いている社会だから、同じ椅子に座っている限り賃金は上がらない。 どこかの国の親切な人事部みたいに勝手に昇進させてくれたりしないので、個人レベルで賃金を上げたければ、社内社外の欠員募集に応募して、今よりもっと高い値札の付いた椅子に座るしかない。でも、これは「賃上げ」ではない。 ジョブ型社会の賃上げとは、ほっとくと永遠に上がらない賃金を上げるために、働くみんなが団結して、団体交渉して、時には争議に訴えて、椅子に張り付けら

はじめに - 秘密のミッションfreeeのような若い会社にも定年制度があると知ったら、驚かれるかも知れません。しかし、上場を期に整備された就業規則には、以下のような条文が存在していました。 第21条(定年) 従業員の定年は満60歳とし、定年に達した日の属する賃金締切日をもって退職とする。 定年に達した従業員のうち、本人が引き続き勤務を希望する者については、定年に達した日の属する賃金締切日の翌日から1年間、嘱託として再雇用することとし、その後最⻑で満65歳に達する日の属する賃金締切日まで同様とする。 freee株式会社 就業規則より日本の伝統的な企業にはたいていある、典型的な定年に関する条文です。今日は、この条文を抹殺すべく(？)freeeに入社し、みごと公約を果たしたというお話をします。 というわけでこんにちは。freeeのPSIRT (Product Security Incident

バランスト・グロース・コンサルティング株式会社が監訳したアーノルド・ミンデルの名著『対立の炎にとどまる』の出版記念イベントが開催されました。翻訳を務めた西田徹氏より、アーノルド・ミンデルによって創り出された心理学「プロセスワーク」をビジネスに活用する方法について解説されました。最終回の本記事では、プロセスワークを活用したワークショップの進め方について語られました。 プロセスワークは頭で考え、心で感じるワークショップ 西田徹氏：そして今度は組織のアプローチですね。 プロセスワークを活用した組織開発ワークショップです。通常のワークショップももちろんすばらしいです。ただしこれはおそらく頭で考えるワークショップですね。プロセスワークを活用したワークショップというのは、これに加えて心で感じることも行うワークショップです。 専門用語で言うと、ドリームランドに降りていただいたり、エッセンスに誘ったりする

ドーナツを慈しむ @Doughnut_Chesed おばさんのそう！そうなの！を引き出す魔法の言葉シリーズ 厚手だとあったかいのはいいんですけどいかんせん動きにくくなってね 2023-01-03 21:33:39

俳優・サックスプレーヤーとして活躍する武田真治さんは、人気絶頂期に“うつ状態”に陥り、一時期実家に引きこもった経験を持つ。当時は「人に迷惑をかけてはいけない」と強く思っていた武田さんだが、回復してからは「どうやって人に甘えようか」と思えるようになったと話す。45歳で自身の特性に気づき、50歳を迎えた今「人生はのんびりでいい」と話す武田さんに自分らしさの見つけ方を聞いた。（聞き手：荻上チキ／TBSラジオ／Yahoo!ニュース Voice） ――武田さんは、引きこもり状態になっていた時期があると聞きました。 武田真治：　20年ほど前、アイドルアクターとして注目していただいた後、社会的な作品にも出演していた、人気絶頂期と言われるような時期に引きこもりになっていました。その頃の芸能界は本当に過酷でスケジュールもどんどん埋まっていき、キャパオーバーになってしまったんだと思います。 肉体的なつらさはも