TypeScriptは型安全じゃないからすばらしい - まめめも
「TypeScriptではじめる型システム」という記事をn月刊ラムダノートに寄稿しました。 新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ https://t.co/PGppk1aRRA— lambdanote (@lambdanote) 2024年10月4日 どんな内容？ TypeScriptの極小サブセットに対する型検査器を書き、それを通して型システムを体感してみよう、という内容です。 詳しく言うと、boolean型とnumber型と関数型しかないTypeScriptサブセット言語がターゲットです。 型検査器の実装言語にもTypeScript（処理系はDeno）を使います。 TypeScriptづくしの一品です。 わかる人向けに言うと、「型システム入門」という本（通称TAPL）の単純型付きラムダ計算に相当する内容をTypeScriptで説明し
iPhone 16 Proに失望。購入したがiPhone 15 Proに戻した理由 - すまほん!!
あとはカメラコントロールボタンが搭載されたり、ベゼルが更に細くなったりと、意外と変更点ありそうに思えますが、使ってみると変化に対しての恩恵はそこまでありませんでした。 iPhone 16 Proのここが気に入らない まず第一に、今作より搭載された「カメラコントロールボタン」。 このボタンをなぞったり押したりすることで色々な操作ができますが、いかんせん位置が惜しく使いづらいと感じました。 おそらく多くの人が同じ感想だと思いますが、横持ちしたときのボタンの位置に指が届きません。外国人や、指が長い人なら、もしかしたら容易に届くかもしれませんが、相当の長さが必要だと思います。ほとんどの日本人にはマッチしないのではと思います。 向きを変えた時に起動を心がけるといくらかマシになります。左親指でカメラコントロール、右人差し指で音量ボタンを押して撮影。ただ、画面内でズームしたほうがゆっくり動かせてスムーズ
40歳ゲームプログラマー。がんについて理解を広めようとする｜chobi_e
どーも。ちょびえです。なかなかショッキングなタイトルですがそんなこともあった。 病というテーマがら自分の都合の良い時間に読むのを勧めるよ！ なるべく明るい話題で行こうと思うけど現実を直視するのが辛いという人もいるので読みたくない人は読まなくていいと思うのです。 2022年の38歳の秋頃に健康診断でたまたま胃カメラ検査をやったところ胃がんであることがわかりました。 すぐに手術を行い、胃全摘となりました。また、術後の検査の結果から進行がんであることが確定したのでその後は化学療法で治療を続けていました。 現在の2024年では治療が終わり経過観察という状態です。 今回の記事の目的としては私の病気の経験から、がんという病気について知ってもらおう！という趣旨で書いています。 具体的にはこの記事を読むと、がんという病気についてチョット分かるようになっているという状態になってもらおうと思います。 がんとい
「SNSに強い」AI検索エンジン・Feloがかなり優秀だった！たった10秒で検索結果がスライドに | ライフハッカー・ジャパン
今AI検索エンジンがアツい！ 近年、AIの進歩がすごいのはもちろんですが、なかでも近ごろはAI検索エンジンの登場によって検索体験が大きな変化を遂げました。 それこそAI検索エンジンといえばPerplexityやGensparkが代表的ですが、個人的に最近お気に入りなのが国産AI検索エンジンのFeloです。 正直、知名度では上記2種のAI検索エンジンに負けるFeloですが、能力はかなり優秀です。そこで今回はFeloの機能・使い方についてご紹介します！ Feloとは？Feloは、東京を拠点とするAIスタートアップ企業・Sparticle株式会社によって開発されたAI検索エンジン。2024年にリリースされ、わずか1ヵ月で世界中で15万人以上が利用しています。 Feloの主な特徴は以下のとおり。 多言語検索機能: 言語の壁を超えて世界中の情報を検索することが可能フォーカス機能: 検索テーマや文脈を
【解説】老化は44歳と60歳で急に進むと判明、何がどう変わる？
実際、30代後半から40代前半にかけて悩みや不安を抱える「中年の危機」や、50代後半から60代前半にかけて「壮年後期の危機」を経験する人もいることが、研究で明らかになっている。この2つの年代は、今回の研究で老化が急に進むとされた時期と一致している。 つまり、「急な老化は、私たちが生まれつきもっている生物学的な特性によるものではなく、加齢に伴う心理的な変化や生活習慣の変化が原因になっている可能性もあるのです」とシンクレア氏は言う。 急な老化は防げるのか？ これらの分子的な変化の背後に何があるにせよ、「老化の根本的な原因は、すでに特定されている可能性が非常に高いと思います」と、2009年にノーベル化学賞を受賞した構造生物学者のベンカトラマン・ラマクリシュナン氏は言い、老化がもたらす望ましくない影響を防ぐために何をするべきかはよくわかっていると考えている。 シェン氏は、40代や60代に近づいたら
正しく評価される自己評価の書き方 - るさんちまん
はじめに 会社員として働く上で評価は最も大きな関心事の1つでしょう。評価によって自身の職位や給料が決まるのでそれも当然です。 しかしながら、「納得感のある評価を受けられていますか？」と問うと明確にYesと答えられる人は稀でしょう。「成果を出したのに正しく評価されていない」と不満を持っていたり「評価は偉い人が勝手に決めるものだから…」と諦めている人もいるのではないでしょうか。少なくとも過去の私はそうでした。 そもそも、評価をどのように受けるべきか指導や研修を受けたことはありますか？私にはその記憶はなく、自身が評価者の立場になって初めて評価というシステムに真剣に向き合うことになりました。 評価の際に被評価者としてできることは、評価者に自分の成果や成長を適切にアピールすることです。そして、アピールの方法として最も確実かつ重要なのは伝わる自己評価を書くことです このエントリは、被評価者が評価者に正
大谷翔平の高校の身長は？幼稚園～中学までの推移も紹介！｜おてがるブログ
今回は、「大谷翔平の高校の身長は？幼稚園～中学までの推移も紹介！」とういテーマでお送りしていきます。 メジャーリーグで二刀流として活躍している大谷翔平選手の身長について、いつからあんなに高身長なのか気になる方も多いのではないでしょうか。 現在、大谷翔平選手の身長は193cmで日本人としてはかなり大きい方です。 メジャーリーグの外国人選手と身長や体格を比較しても負けておらず、あれだけのパワーとスピードを兼ね備えた日本人選手がトップレベルで活躍していることに、日本人として誇りに思いますよね！ 大谷翔平選手の身長が高いのは親からの遺伝などによる先天的なものなのか、それとも本人の努力によって高くなった後天的なものなのか気になるところです。 自分の子供が野球をやっている親御さんであれば、やはり身長が高い方が野球は有利なのではないかと考える方もいると思います。 そんな、大谷翔平選手の身長が気になる方に
「データエンジニアの市場価値」を上げたい。リクルートグループのニジボックスが“有料級のインプット教材”をつくるワケ - はてなニュース
「全ての企業のサービスを成長させる」をミッションに掲げ、WebサイトやアプリのUI/UX改善をはじめ、技術力でサービスやプロダクトの成長を支援してきた、リクルートグループのニジボックス。 そんな同社が今注力するのは「データ人材」の育成です。具体的には、BIエンジニア、データエンジニアなど、データ領域でリクルートとともにプロダクトを「共創」できる専門家集団の立ち上げを進めています。その背景には、リクルートでプロダクトのデータ利活用が急速に進んだ結果、「共創」ニーズに対して人材が圧倒的に不足している、という課題がありました。 リクルートグループにおいて、データ実務が担えるエンジニアを、スピーディーに育てなければならない。そのために社内で活用されているのが、「インプットプログラム」と名付けられた新人エンジニアの研修プログラムです。プログラムを修了すれば、リクルートグループの実務で通用する知識やス
エンジニアのための時間管理術
はじめに 時間管理が上手くなりたいと日々思っているため、このテーマにしました。 自戒の念を込めて😅 タイムマネジメントの王に!!! おれはなるっ!!!(CV.田中真弓) ※掲載内容は個人の見解であり、所属する企業を代表するものではありません。 参考にした書籍 『エンジニアのための時間管理術』 Thomas A. Limoncelli 著 株式会社クイープ 訳 発行年月日：2006年10月 ページ数：272 ISBN：978-4-87311-307-4 タイムマネジメントについての考え方や手法を取り入れたいと思い読みました。 時間管理した先のゴールは？ 自分のための時間・家族との時間を最大化する。 前提 エンジニアはタイムマネジメントが難しい。 プロジェクトワークと割り込みが入り混じる職業。 外部からの割り込みは生産性を低下させる。 中断した作業に戻るには時間がかかり、エラーが紛れ込む可能
近況報告：無職になりました - IT戦記
みなさんお元気ですか？僕は少しだけ元気ではありません。じんわりとした夏の暑さを感じながらブログを書いています。 実は、数ヶ月前にスマートニュースという会社を退職しました。 しばらく無職 しばらくは就職せずに無職でいようかなと思っています。 すぐに再就職した方がいいんだろうな〜。とは思うのですが少し疲れたかも。 いい時代になったものだ 最近は AI の進化も素晴らしく、昔ソフトウェアで出来なかったことがどんどんできるようになってるなって感じます。 Rust とか、ちょうど欲しかった感じのプログラミング言語もあるし、 ChatGPT は完璧ではないけど何か新しいことを始めるときに素晴らしい洞察を与えてくれる。 時代は確実に良くなってる。そんな時代に「自分は働いていないくていいのか」と少し不安になるけれど、自由気ままにコードを書く、そんな時間が今あってのもいいのかなって思ってます。 オフトピック
Mac やめて Linux PC を自作した - IT戦記
みなさまお元気ですか 暑さも少し落ち着いてきて、ようやく外に出てもいいかなという気になってきました。季節の変わり目体調には気をつけていきたいですね。 実は、一ヶ月くらい前に Linux PC を自作して Mac から移行しました。そのときの考え、その後の感想を残しておきます。 また、学んだことや作業のログを細かく残しておきたいと思います。（どこかの誰かが不安に思ったときに同じ失敗や疑問を経験した人がいて安心してもらえたら嬉しい） Ubuntu のインストール画面 (ベストオープンソースと開発しよう！) 目次 Mac をやめるきっかけ、経緯 Ubuntu に移行して一ヶ月の感想 おまけ1: どのような PC になったか おまけ2: 事前に学んだこと おまけ3: PC の組み立て おまけ4: Ubuntu のセットアップ 加筆/修正 指摘のあった誤字を修正 NVEnc について誤った内容があっ
Cursor の無料版を使い続ける場合の設定 - Qiita
Cursor の Pro 版でサポートされる AI 機能は非常に強力であり、無料版と比較して多くのメリットがあります。しかし、個人開発者や学生など予算に限りがある人にとっては、Pro 版の利用は難しい場合があります。 本記事では、Cursor の無料版で Gemini や GitHub Copilot を設定することで、Pro の使用感に近付ける方法を紹介します。 Gemini は無料枠があります。 GitHub Copilot は基本的に有料ですが、学生・教職員や OSS 開発者への免除があるため、無料で利用できる場合があります。 概要 単純に VS Code を Cursor の無料版に置き換えた場合、差分としてよく使う機能は以下の通りです。 AI Chat でのメンション：Codebase (RAG)、Git、ファイル指定 RAG を別途構築する手間がないのは便利です。 Git 機能
「消滅可能性自治体」マップと一覧 ～2050年の日本の姿～：朝日新聞デジタル
このページについて 「人口戦略会議」が2024年に発表した調査データを収容しています。 20-39歳女性の人口を統計上の「若年女性」とし、2020年時点の調査データと2050年の予想をそれぞれ比較して、「若年女性人口変化率」を算出しています。 「リストで見る」では、「日本創成会議」が2014年に公表した調査データと推計も収容しています。 2014年公表のデータでは、福島県は東京電力福島第一原発事故により人口の動向や今後の推移を見通すことが困難だったため、県単位の推計データを表示しています。 2024年公表データでは、福島県の浜通り地域に属する 13 市町村はひとまとめで推計しています。 市町村合併により、一部自治体で境界が異なる場合があります。 一部データは欠損している場合があります。 自治体の分類について 人口戦略会議の発表は、自治体間の人口移動がないと仮定した場合の人口（封鎖人口）と、
資料生成AI「Napkin」がマジすごすぎる。
以下の記事などで既にかなり話題になっていますが、ぼくも触ってみました(使い方などの詳細はこちらの記事を参照してください)。 結論としては、マジすごくてかなり衝撃的です。すべてのホワイトカラーワーカーにとって、かなりディスラプティブなツールになるのではないでしょうか。 自分はコンサルタントでして、これまでにたくさんの資料を作ってきてスキルを磨いてきたつもりだったので、AIポン出しでここまでのものが出てきてしまうと、正直、人生について考えさせられちゃいますね。 この記事では、Napkinを使ってどういう資料ができたのか共有したいと思います。 ポストモーテムの勉強会をしたいなと思っていたので、まずはChatGPTで資料の骨子を出力し、それをNapkinに入力してみました。それで得られたのが、以下の資料です。 スライド1: タイトルスライド タイトル: ポストモーテムの教科書 副題: SREにおけ
【2023年版】日々の作業を爆速化できるRaycastおすすめ拡張機能まとめ！ - Qiita
はじめに 皆さんは最強のランチャーアプリ、Raycastを知っていますか？ AlfredやMacに標準で入っているSpotlightを想像してもらえれば、どういうアプリかは想像がつくと思います。 動作が軽く、どの画面からでも アプリの起動 クリップボードの参照 ウィンドウのサイズ・位置調整 どのウィンドウでも使えるスニペットの登録 などが簡単爆速直感的にできます。 そして、AlfredやSpotlightと違い、ユーザーが作った拡張機能をインストールして使えるのが最大の特徴になります。 今回の記事ではその拡張機能を紹介しますが、Raycastを使ったことないよって方はぜひ流し読みして興味がでたら使ってみてください! では、本題に行こうと思います。 Raycastおすすめ拡張機能まとめ インストールしたいときは、リンク先のinstallボタンをクリックしてください！ 目次 GitHub Go
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
フロントエンドの現在地とこれから
Webセキュリティのあるきかた
入門 バックアップ
東京の最低賃金は今日から1163円になるのに、103万の壁はそのまま→人手不足が加速する？
はじめに｜ITエンジニアのためのプロンプトエンジニアリング
