並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 23376件

新着順 人気順

CANの検索結果1 - 40 件 / 23376件

  • この本がスゴい!2024

    p.97 「So What?」の繰り返しによるイシューの磨き込みより ①の「地球温暖化は間違い」といった焦点の定まらない主張だと反論しようがないが、⑤にまで磨き込まれていれば、白黒はっきりさせるために何をどう検証すればよいか、見えてくる。 「So what?」の他に、「空・雨・傘」といった技法が登場するため、気づく方もいるだろうが、これはマッキンゼー&カンパニーのコンサルになる。ただし、本書が他のマッキン本と異なるのは、完全に血肉化されているところだろう。 本書は、「コンサルティングファームの報告書のリード文に最終的に何を書くか」を丁寧に解説したものだ。だがこれは、そのまま、「どの課題に取り組めば、成果が出たといえるか(そしてそれをどう伝えるか)」という現場の問題に応用できる。 与えられた問題に疑問をいだかず、唯々諾々と取り組んでいるうちに終業時刻となる。怖いのは、頑張って残業しても終わら

      この本がスゴい!2024
    • 生成AIで英語を効率よく勉強するには|深津 貴之 (fladdict)

      今年開設されるZEN大学で、「生成AIでリサーチとか勉強を加速させるには?」的な授業をやることになったので、その前座的なまとめ。 生成AIでとりあえず「英語」を効率よく学ぶ。深津式のベータ版。 自分の好きな分野で学ぶまず英語そのものを学ぶのではなく、「好きなことのために英語を学ぶ」構造を作る。 ポケモンカードでも、音楽でもスポーツでも、何でもいいから「自分がメチャクチャ成長したい趣味分野」を定める。 で、ChatGPTの4o以降のモデルで下記のように聞く。 あなたは英語予備校の先生として、英語の長文読解を楽しく学ぶための教材を以下の条件に従って作ってください。 * トレーディングカードゲームのデッキ編成論を題材にする。 * 関係代名詞を題材にする。 * フォーマットは会話形式(or エッセイ形式)にする。 これで、自分の興味分野の英語長文がつくれる。毎回テーマを考えるのが難しい場合は、下記

        生成AIで英語を効率よく勉強するには|深津 貴之 (fladdict)
      • ChatGPT - Kawaii Illust Maker : イラストかわいいや

        Generate cute illustrations that can be used for presentation materials, public relations, and posters. プレゼン資料や広報、ポスターに利用可能な、かわいいイラストを生成します。※英語・日本語文字のオーバーレイにも対応しました。画像生成後「文字を入れて」と指示してください。フォントも複数あります。Text overlay is also supported. After generating the image, please instruct "insert text".

          ChatGPT - Kawaii Illust Maker : イラストかわいいや
        • もしプログラミング初心者に戻れたら、初めから使っておきたかったツール36個

          こんにちは。 苦しんでプログラミングを学んだ柴犬こと、くるしばです。 独学でプログラミングを学習し、Webサービス作りITベンチャーを起業しました。 その後個人開発したサービスを売却したり、また別のIT系の会社を創業したりしています。 下記のTwitterにてプログラミング学習に関して発信し、1.9万人以上の方々にフォローして頂きました。 また、最近はUdemyでReactとFlutterのプログラミング講座も出して、ベストセラーにも入っています。 初心者のうちは知らなかったが、学習を進めたり実務に入って経験が長くなってから 「こんな便利なものあったんだ...!」 となるツールってありませんか? 僕はめちゃくちゃありました。 こういったツールは他の詳しい人から教えてもらうケースも多いので仕方がないのですが、もしこれらを初心者のうちに知ってたら色々楽だったのにな...と思うものが沢山あります

            もしプログラミング初心者に戻れたら、初めから使っておきたかったツール36個
          • Sora: Creating video from text

            Sora Creating video from text Sora is an AI model that can create realistic and imaginative scenes from text instructions. Read technical report We’re teaching AI to understand and simulate the physical world in motion, with the goal of training models that help people solve problems that require real-world interaction. Introducing Sora, our text-to-video model. Sora can generate videos up to a mi

              Sora: Creating video from text
            • Hello GPT-4o

              GPT-4o (“o” for “omni”) is a step towards much more natural human-computer interaction—it accepts as input any combination of text, audio, image, and video and generates any combination of text, audio, and image outputs. It can respond to audio inputs in as little as 232 milliseconds, with an average of 320 milliseconds, which is similar to human response time(opens in a new window) in a conversat

                Hello GPT-4o
              • 「こ、根拠は」「私が合衆国大統領だからだ!」自由の国から自由が消えた日~戦時下のアメリカ編~|枢密院勅令

                あの男が帰ってきた合衆国憲法の限界テストことトランプ第47代合衆国大統領(予定) 画像出典:ホワイトハウス ようこそ、ホワイトハウスへ。 君がどの種類のアメリカ人かは知らないが、このダイエットコーラはサービスだから、まずは飲んで落ち着いて欲しい。そこの民主党員の方、お気持ちはわかりますが、銃は捨ててください。ホワイトハウスをファイトハウスにしないでください。撃ってもどうせ躱しますよ、彼は。 選挙という民主主義国家最大の儀式の後には、「我が国の民主主義は死んだ」という祝辞から始まる右派左派の合同結婚式が挙行され、膨大な罵詈雑言と若干の学識が入ったブーケの投げ合いが伴うのが常である。「分かれたる家」と化した現在のアメリカ合衆国の大統領選挙ともなれば、尚更であろう。 「汝の隣人を愛せよ」という言葉を日曜礼拝で聞きながら、月曜日に隣人を銃撃するアメリカ人が誰を大統領に選ぼうが、我々日本人が知った事

                  「こ、根拠は」「私が合衆国大統領だからだ!」自由の国から自由が消えた日~戦時下のアメリカ編~|枢密院勅令
                • グローバル企業で生き抜くための英会話フレーズ集 - fu3ak1's tech days

                  転職をしてはや10ヶ月ほど経ちました。業務で英語を使うようになったので、私もしくは同僚がよく使う英会話のフレーズを紹介します。自分のメモも兼ねています。 私のバックグラウンド エンジニアとして某会社に勤務しております。会社のメンバーは外国の方が多く、状況にもよりますが全体の40~50%くらいは英語でミーティング、Slackでも英語でやり取りすることが多々あります。そんな中で気付きとしてあったのが、同じ表現を使って会話をすることが多いなという点です。ある程度パターンとしていくつかのフレーズを覚えておけばそれなりに業務の会話ができるのでは?と思いこの記事を書いています。なお、以下私の環境については注意してください。 外国の方が多いといっても、ノンネイティブや日本人も多く、英語ができない人に対しても理解がある環境です。(ネイティブ90%以上といった環境とは違う) エンジニア同士の会話が多いので、

                    グローバル企業で生き抜くための英会話フレーズ集 - fu3ak1's tech days
                  • 生成AIにTOEIC®リスニング問題を無限に生成してもらい、スコア900超え達成した話 - Qiita

                    Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 今年の夏はTOEICスコア900超えを一つの目標にしていて、そのためにはリスニングが課題でした。 とにかく数をこなそうと、無料で問題を解けるアプリを探して、初めはそれをずっとやっていましたが、一日に解ける問題数が限られていて、徐々に物足りなくなってきました。 前々からTOEICの問題ってAIで生成できるんじゃね?と思っていたので、この際スコア900越えに加えて、AIでリスニング問題生成&Webサービス化を目標にし、ようやく完成したので公開しました。 公開したリスニング問題AI生成サイト ※AIで生成し、内容のチェックは行ってい

                      生成AIにTOEIC®リスニング問題を無限に生成してもらい、スコア900超え達成した話 - Qiita
                    • 控え目に言って革命。OpenAI、動画生成AIモデル「Sora」発表

                      OpenAIは2月15日(現地時間)、テキストから最大1分間の動画を生成できる動画生成AIモデル「Sora」を大量のデモ動画と共に発表した。複数のキャラクター、特定の種類の動き、被写体と背景の正確な詳細を含む複雑なシーンを生成することができるという。 プロンプトから破綻のない動画を生成 Introducing Sora, our text-to-video model. Sora can create videos of up to 60 seconds featuring highly detailed scenes, complex camera motion, and multiple characters with vibrant emotions. https://t.co/7j2JN27M3W Prompt: “Beautiful, snowy… pic.twitter.com

                        控え目に言って革命。OpenAI、動画生成AIモデル「Sora」発表
                      • 【教材まとめ】これ全部やったら流石に誰でもつよつよAIエンジニアになれる - Qiita

                        はじめに 本記事ではAI知識ゼロから始めてAIエンジニアとして実務にチャレンジできるレベルを目指してロードマップ形式でコンテンツをまとめました。 生成AIの台頭、SakanaAIの大型資金調達やGoogleの研究者(ヒントン氏ら)のノーベル賞受賞も重なり、さらにAIへの注目が集まっている状態かと思います。 しかし初学者にとって、AIを学ぶハードルはまだまだ高いのが現状です。AIをツールとして活用するだけなら比較的障壁は高くないですが、理論的な部分まで含めると学ぶべき内容が広く、分野によっては難易度が高く、せっかく学び始めたのに挫折する人も多いです。 未経験だけどAIの知識を身につけたい 現在web開発の知識があり、AIも学びたい AIを学んでエンジニアインターンや実務で活躍したい といった方は是非読み進めていってください。 コンテンツは随時追記していきます。 構成 本記事は下記のような構成

                          【教材まとめ】これ全部やったら流石に誰でもつよつよAIエンジニアになれる - Qiita
                        • アメリカのキャンパスで見た大統領選の風景|雨のち晴れ晴れ - ハーバード留学記 -

                          長かったこの2日間を、深夜の大学図書館で思い返している。 世界が注目するこの激しい選挙戦を、アメリカの大学のキャンパスで、それも公共政策大学院で迎えることができたのは、今後自分の留学生活を振り返っても大きなハイライトになるだろう。 だからこそ、眠い目をこすってでも自分が聞いたこと・思ったことを書き残しておきたいと思う。 熱気に包まれるキャンパス11月5日、大統領選当日のキャンパスは言わばお祭り状態だった。 選挙の論点を整理するイベントに続いて、学生・教授たちが一堂に会して開票速報を見守るライブビューイングが夜中まで続いた。どちらの候補がどの州を取った、という「当選確実」がディスプレイに大きく表示されるたびに、学生たちは大きく盛り上がった。 「マサチューセッツ」「ハーバード」と聞けば想像がつくかもしれないが、ここで学ぶ生徒たちの大半は民主党・カマラハリスを支持している。ハーバード大学があるマ

                            アメリカのキャンパスで見た大統領選の風景|雨のち晴れ晴れ - ハーバード留学記 -
                          • 女子大生が100日連続で生成AIで100本のプログラムを書いたらどうなったか?

                            ボードゲームやアクションゲーム、各種ツールやシミュレーションなどさまざまなソフトが100日間に作られた いままで数えきれないほどのプログラマーに会ってインタビューもさせてもらってきたが、久しぶりに若いプログラマーの話を聞いてきた。ここ1、2年では U22グランプリの男子中学生や全国小中学生プログラミング大会の受賞者たちだが、今回は、ChatGPTを使ってプログラムを書きまくった女子大生である。 彼女は X(Twitter)の自分のアカウントで1日1本のソフトを100日間連続で作るというイベントをやっていて「おっ、頑張っているな!」と思って応援していた。「こんなゲームを作ってほしい」などとリクエストを出したりもしていたのだが、どうも私が想像していたものと内容もやり方も違っていたようである。 目下、ソフトウェア産業の最大のテーマは「我々は人間の言葉でプログラムを書くようになるだろうか」というこ

                              女子大生が100日連続で生成AIで100本のプログラムを書いたらどうなったか?
                            • 英語が話せるようになったターニングポイント|tsuemura

                              TOEIC600点、多少読めるが書けないし話せない状態で英語公用語の Autify という会社に飛び込んでもうすぐ5年が経つ。なんだかんだで英語で話すのにも慣れてきて、いきなりスピーチを求められても何とか話せる程度にはなってきた。 喋れるようになったのは端的に会話量によるものなのだが、少し振り返ってみると自分の中でグッとコツを掴んだタイミングがいくつかあったように思う。備忘代わりにざっとまとめてみる。 友達が出来た入社してしばらくはまだ日本人しかいなかったので、実際におれが初めて会社で英語を使ったのは、たまたま面接に来ていたインドネシア人のAdamに話しかけたときだ。彼が入社するなら、遅かれ早かれ喋ることになるのだから、早いうちに話しかけた方が良いだろう、みたいなことを思った気がする。 結果としては、"Hello, my name is Takuya…" と言った後、15秒ぐらい沈黙が続い

                                英語が話せるようになったターニングポイント|tsuemura
                              • 私が選ぶもっとも偉大な邦楽100曲

                                100.布施明‐君は薔薇より美しい(1979) 99.RADWIMPS‐前前前世(2016) 98.子門真人‐およげ たいやきくん(1975) 97.槇原敬之‐どんなときも(1991) 96.松井須磨子‐カチューシャの唄(1914) 95.THE MICHELLE GUN ELEPHANT‐世界の終わり(1996) 94.一青窈‐ハナミズキ(2004) 93.井上陽水‐少年時代(1990) 92.Superfiy‐愛をこめて花束を(2008) 91.都はるみ‐北の宿から(1976) 90.LiSA‐紅蓮華(2019) 89.小泉今日子‐あなたに会えてよかった(1991) 88.サザンオールスターズ‐勝手にシンドバッド(1978) 87.MONGOL800‐小さな恋のうた(2001) 86.X JAPAN‐紅(1989) 85.イルカ‐なごり雪(1975) 84.黒うさP‐千本桜(2011)

                                  私が選ぶもっとも偉大な邦楽100曲
                                • まったりと英語を学ぶ - ANDPAD Tech Blog

                                  アンドパッドでバックエンドの開発をしているzigeninです。 この記事は ANDPAD Advent Calendar 2024の 11日目の記事です。 ここ数年、アンドパッドでは、海外のエンジニアも開発へ参画するようになりました。海外のメンバーとのやりとりは英語で行われます。 そういう状況なので、アンドパッドは、会社として社員の英会話の学習の支援をしています。 私も補助を受けたことがあり、それを契機に英語を日常的に学ぶようになりました。 私の働いているチームでは海外のエンジニアはいませんし、これからも海外メンバーと濃厚な関わりを持つ機会はなさそうです。 ただ、将来、なにかの拍子に海外関連の仕事を獲得できたら面白そうなので、まったりと英語学習を続けています。 今となっては、英語学習が毎日の習慣になり、毎日少しは英語を学ばないと落ち着かない体質になってしまいました。 本記事では、私の英語学

                                    まったりと英語を学ぶ - ANDPAD Tech Blog
                                  • DDD以外の設計手法についてご教示いただきたく、DDDの主張をある程度正確に理解した上でDDDをこき下ろしているイメージの強いくまぎさんに質問させていただきました。 最近はソフトウェアの設計について調べると、DDDについての記事ばかりで辟易する一方、私がエンジニアになった頃にDDDに勢いがあった影響もあって私自身DDD以外の良い設計とされているものを知らず、DDDに胡散臭さを感じつつもDDDの考え方にとらわれている、毒親の影響を受けた子供のような状態から抜け出せずにいます。 その最たる例がリポジトリパター

                                    DDD以外の設計手法についてご教示いただきたく、DDDの主張をある程度正確に理解した上でDDDをこき下ろしているイメージの強いくまぎさんに質問させていただきました。 最近はソフトウェアの設計について調べると、DDDについての記事ばかりで辟易する一方、私がエンジニアになった頃にDDDに勢いがあった影響もあって私自身DDD以外の良い設計とされているものを知らず、DDDに胡散臭さを感じつつもDDDの考え方にとらわれている、毒親の影響を受けた子供のような状態から抜け出せずにいます。 その最たる例がリポジトリパターンです。 よく依存性の逆転・DIと一緒に語られますが、くまぎさんがおっしゃる通り余計にインターフェースを切るのはイケてないと感じます。また、DI抜きにしても、リポトリパターン由来の様々な問題(N+1やバルクアップデート、管理画面用のメソッド生やしたくなる問題など)に対する解決策として提示さ

                                      DDD以外の設計手法についてご教示いただきたく、DDDの主張をある程度正確に理解した上でDDDをこき下ろしているイメージの強いくまぎさんに質問させていただきました。 最近はソフトウェアの設計について調べると、DDDについての記事ばかりで辟易する一方、私がエンジニアになった頃にDDDに勢いがあった影響もあって私自身DDD以外の良い設計とされているものを知らず、DDDに胡散臭さを感じつつもDDDの考え方にとらわれている、毒親の影響を受けた子供のような状態から抜け出せずにいます。 その最たる例がリポジトリパター
                                    • “世界生成AI”到来か 画像生成AIのゲームエンジン化が進む (1/5)

                                      Midjourneyの生成画像。12月のアップデートのv6では、写真と変わらないような画像が生成されることが話題となっている。この画像のような世界を動き回れるようになるのだろうか(筆者作成) 画像生成AIサービス「Midjourney」のオフィスアワーがあったのが1月4日。アメリカ時間で1月3日ですかね。オフィスアワーというのは、MidjourneyがDiscord上で月に1回開いて、いろいろユーザー向けに今後どのようにサービスが展開されるのかを説明するミーティングです。その会合に参加していたNick St. Pierreさんの報告によると、Midjourneyのデイヴィッド・ホルツCEOが「2024年末までにホロデッキに到達できる」と話したと言うんですね。「2024 年末までには、リアルタイムのオープンワールドが実現できればと思っています」とも言い、画像生成AIが、単にイラストといった画

                                        “世界生成AI”到来か 画像生成AIのゲームエンジン化が進む (1/5)
                                      • プログラマーの教養としての原則

                                        参考 プリンシプル オブ プログラミング - 3年目までに身につけたい一生役立つ101の原理原則 発行: 2016/3/23 著者: 上田 勲 まえがき プログラマーの世界で語り継がれる原則や格言を知ることは、その共通の言語や道徳を理解する手助けとなります。 『プリンシプル オブ プログラミング』(以下、プリプロ)は、統一された語句と形式により、先人のプログラマーたちが重要視していた思考法やアプローチを、微妙な概念の違いに気を使うことなく理解できるよう構築されています。この記事では、この本を読む上で役立つ101の原則マップと原則から抽出した価値観をまとめます。プリプロを読む際のガイドになればと思います。 一方で、プリプロに収録されていないウィットに富んだ原則や格言も多く存在します。この記事では、主に私の現場で重要視しているプリプロの101の原則以外の原則・格言も追加で紹介します。 プログラ

                                          プログラマーの教養としての原則
                                        • 疾走するディストピア。ボール型警備ロボは未来の警察官?

                                          疾走するディストピア。ボール型警備ロボは未来の警察官?2024.12.20 07:0051,735 岡本玄介 SF映画で見たような? ロボット開発が盛んなこの時代、メカの形状や機能も多種多様です。人型や鳥型などいろいろですが、中国杭州の「Rotunbot」はまん丸の球体型。 水陸両用で探索も、防犯用のパトロールや犯人追跡もできる多目的ロボなんです。 球体は意外と万能ボールのようでも重心があるので転がるのはタイヤ部分だけ。ノイズは低めで地面とは点で接地しているので、移動時の騒音も静かです。 どんな地形でも遠隔操作/自動運転で、時速30kmに達するまでたったの2.5秒と爆速。長距離移動も問題ありません。 The Chinese company #Logon Technology has recently presented the RT-G spherical police robot, de

                                            疾走するディストピア。ボール型警備ロボは未来の警察官?
                                          • 自分が会社員だった時の転職活動 - 下町柚子黄昏記 by @yuzutas0

                                            自分が会社員だった時の転職活動、必ずしも毎回全部できていたわけではないけど、一応こういうステップを意識していたなぁ、というノウハウのシェア。 ①1度に1社だけを受ける。エージェントではなくリファラルで紹介者を見つける。2社以上を同時に受けるのはちょっと大変かなと考えていた。 ②紹介者に社内の課題を聞いて、イシュー度(本当に解く価値があるか?)やCan(自分のスキルや経歴に合う領域か?)とのマッチングを確認する。 ③カジュアル面談やリファラル食事会で社内課題やカルチャーをヒアリングする。なるべく違う立場のメンバーに来てもらって、見え方や意見のズレを探り、正確な状況を把握する。必要に応じて事前にNDAを締結する。 ④外部事例をリサーチしてその会社にマッチする解決案を考え、提案資料にまとめて送る。入社後に期待される動きの1つを先に実施し、③の参加者が投下した時間コストはこの成果物でお返しとする。

                                              自分が会社員だった時の転職活動 - 下町柚子黄昏記 by @yuzutas0
                                            • 思考がループして考えすぎてしまうのを防ぐにはどうすればいいのかを専門家が解説

                                              何か不安なことがある時、頭の中で何度も同じ考えがループしてしまい、答えが出ないのに考えるのを止められなくて苦しんだ経験があるという人もいるはず。ニュージーランドのマッセー大学で心理学の准教授を務めるカースティ・ロス氏が、「考えすぎを止める方法」について解説しています。 How can I stop overthinking everything? A clinical psychologist offers solutions https://theconversation.com/how-can-i-stop-overthinking-everything-a-clinical-psychologist-offers-solutions-223973 臨床心理士としても活動しているロス氏は、患者からよく「頭の中で思考がループしてしまうのを制御できない」という悩みを聞かされているとのこと。

                                                思考がループして考えすぎてしまうのを防ぐにはどうすればいいのかを専門家が解説
                                              • ケガをした2匹のクシクラゲが1匹に「融合」したとの研究報告、動物がニコイチになるのは初の発見

                                                双頭のヘビやカメ、シカなどがこれまで発見されていますが、これらの2つの頭を持つ動物のほとんどは生まれてくる際の奇形であると考えられています。プラナリアなど、損傷により複数の個体に分裂する生き物がいることはよく知られていますが、逆に2匹の別個体だったクシクラゲが負傷した際に1つに合体し、2つの口や感覚器官を持ちながらも神経レベルで高度に融合した単一の個体になったことが初めて報告されました。 Rapid physiological integration of fused ctenophores - ScienceDirect https://www.sciencedirect.com/science/article/abs/pii/S0960982224010236 After injury, these comb jellies can fuse to | EurekAlert! http

                                                  ケガをした2匹のクシクラゲが1匹に「融合」したとの研究報告、動物がニコイチになるのは初の発見
                                                • [速報]マイクロソフト、「Copilot in Excel with Python」プレビュー公開。Excel上でCopilotがPythonコードを生成、実行し、複雑なデータ分析など可能に

                                                  マイクロソフトは本日(日本時間9月17日)0時からオンラインイベント「Microsoft 365 Copilot: Wave 2」を開催し、Microsoft 365 Copilotの複数の新機能などを発表しました。 With Copilot in Excel, you can create advanced visualizations, generate forecasts, and save time sorting through data with Python. Take a look: https://t.co/uqE1VyQ5WU #AI #Microsoft365 pic.twitter.com/e7Eph9q4Oc — Microsoft Excel (@msexcel) September 21, 2023 Pythonコードにより高度なデータ分析などを実現 Copi

                                                    [速報]マイクロソフト、「Copilot in Excel with Python」プレビュー公開。Excel上でCopilotがPythonコードを生成、実行し、複雑なデータ分析など可能に
                                                  • 【2024年版】平成元年発売のテトリスが 世界中で大変なことになっている|slappin' Notes

                                                    はじめに2023年10月、毎年恒例となった賞金制のテトリスの世界大会である「CLASSIC TETRIS WORLD CHAMPIONSHIP」が開催されました。 Super Killscreen導入後初の世界大会となった今回、フルセットまでもつれ込んだ白熱の決勝戦はKillscreen中にテトリスも飛び交う激しい競り合いが繰り広げられ、歴戦の猛者のSidnev氏を破り、前回準優勝のFractal氏が悲願の初優勝を遂げました。 皆様お久しぶりです。今回もNESテトリス世界大会の記事を執筆することとなりました。前回から1年半ぶりとなります。 2023年はあまり書くこともなさそうだな…と思っていましたが、そんなことはありませんでした。本当に大きな出来事が何度も、立て続けに起きてしまったため、この記事の公開が12月末から今年の6月になってしまったほどです。この記事も相当長くなることをお伝えしてお

                                                      【2024年版】平成元年発売のテトリスが 世界中で大変なことになっている|slappin' Notes
                                                    • 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で説明し

                                                        TypeScriptは型安全じゃないからすばらしい - まめめも
                                                      • 叱責で「帰れ」と言って若者が本当に帰っちゃった時に若者は「ほなら実際に帰って困らせてやろう」のつもりで行動してると思う

                                                        Kain @Anybody_Can_Do 叱責で「帰れ」と言って若者が本当に帰っちゃった時に「若者が状況を理解できずに言葉通りに帰ってしまった」と捉えてしまう人こそが認知の問題がある気がする。 若者は「ほなら実際に帰って困らせてやろう」のつもりで行動してると思うのよね、大体は。 x.com/ichiipsy/statu… 2024-04-02 18:58:31 いっちー@バーチャル精神科医 @ichiipsy 「最近の若手は帰れっていうとほんとうに帰っちゃう、空気読めない子が多い」そんな話をされる。たぶん空気が読めないんじゃなくて、帰ることで理不尽な扱いを行動で示している。ある種の反骨精神なんじゃないかとも考える。 2024-04-01 19:44:00

                                                          叱責で「帰れ」と言って若者が本当に帰っちゃった時に若者は「ほなら実際に帰って困らせてやろう」のつもりで行動してると思う
                                                        • セキュアなAWS環境の設計についての解説【2024年版】 - サーバーワークスエンジニアブログ

                                                          こんにちは!イーゴリです。 AWS にとって、クラウドのセキュリティは最優先事項です。(AWS公式ページ) AWS環境のセキュリティ対策としてAWSサービスを解説するよりも、まずはAWS環境の最適な設計について考える必要があります。AWS Well-Architected Frameworkを考慮しながらの設計を推奨します。AWS Well-Architected Frameworkを全部詳しく読むことをおすすめしますが、この記事では個人的に一番重要だと思う点について記載します。 とてもざっくり説明しますと、AWS Well-Architected Frameworkとは、クラウドシステムの最適な設計方法を提供するAWSのガイドラインで、6つの柱があります。この記事では基本的に「セキュリティ」の柱を技術的観点から見てみたいと思います。 AWS Well-Architected Framew

                                                            セキュアなAWS環境の設計についての解説【2024年版】 - サーバーワークスエンジニアブログ
                                                          • アジャイルを実践する組織であってもウォーターフォールを学ぶことには価値がある - mtx2s’s blog

                                                            「すべてのライフサイクルモデルの祖は、ウォーターフォールモデルである」とは、スティーブ・マコネルの言葉だ1。また、ソフトウェア開発ライフサイクル(SDLC)に関するGitHubの文書では、広く採用された最初のSDLCがウォーターフォールモデルであるとされている2。 そこに、ウォーターフォールを学ぶことに対する価値がある。それは、スクラムを導入し、アジャイルソフトウェア開発を実践する組織にも言えることだろう。いや、そうであるからこそだ。どんなソフトウェア開発プロセスモデルであろうと、ウォーターフォールから派生したり、何らかの影響を受けていると考えられる。したがって、ウォーターフォールへの理解から、自分達がやっていることの本質を見いだせるのではないだろうか。 ウォーターフォールなんて誰でも知っていると思うかもしれないが、そうとも限らない。確かにウォーターフォール未経験のソフトウェア開発者は少な

                                                              アジャイルを実践する組織であってもウォーターフォールを学ぶことには価値がある - mtx2s’s blog
                                                            • Goで解放したメモリが少しずつ戻ってくる現象 - knqyf263's blog

                                                              情報を発信する人のところに情報が集まることを日々実感しているので、Linuxのメモリ管理に特に詳しいわけではないのですが最近遭遇した問題について自分の理解を書いておきます。ざっと調べても同じことを書いている人を見つけられなかったので、公開には意義があると考えています。識者の方がフィードバックをくださると嬉しいです。 ※ AIの出力をベースに書いているのでいつもと少し文体が違います。 背景 要約 調査 再現の難しさ Goアプリケーションの調査 pprofによる分析 GCログの調査 Linuxの調査 Goランタイムの調査 GoのGCとTHP khugepagedの問題 Goランタイムにおける回避策 回避策の削除 max_ptes_noneのデフォルト値について MADV_NOHUGEPAGEをやめた理由 調査内容まとめ 解決策 検証 C言語 Go言語 まとめ 背景 Go言語で書かれたOSSのア

                                                                Goで解放したメモリが少しずつ戻ってくる現象 - knqyf263's blog
                                                              • 宇多田ヒカル「traveling」Music Video(4K UPGRADE)

                                                                ※本作品の音源はベストアルバム「SCIENCE FICTION」収録の音源とは異なります※ 宇多田ヒカル「SCIENCE FICTION」 2024年4月10日発売 CD:https://utadahikaru.lnk.to/SCIENCEFICTION ST/DL:https://umj.lnk.to/SCIENCE_FICTION ■収録内容 [DISC1] 1 Addicted To You (Re-Recording) 2 First Love (2022 Mix) 3 花束を君に 4 One Last Kiss 5 SAKURA ドロップス (2024 Mix) 6 あなた 7 Can You Keep A Secret? (2024 Mix) 8 道 9 Prisoner Of Love (2024 Mix) 10 光 (Re-Recording) 11 Flavor Of

                                                                  宇多田ヒカル「traveling」Music Video(4K UPGRADE)
                                                                • アメリカ生活のリアル:役所の手続きは戦いなのだ - Thoughts and Notes from CA

                                                                  いわゆる「お役所仕事」のことを英語では「Red Tape」という。そういう言葉があるくらいだから、当然役所の手続きというのはアメリカでもご多分にもれず手強い。アメリカに移り住むにあたって、様々なお役所のお役人と格闘してきたが、「最強の相手は誰だったか?」と聞かれたら、迷わず税務署(IRS)と答える。アメリカで生活して10年以上たち、色々「お祭りわっしょい」の状況になったことはあるが、その中でも一番フィーバーした経験を共有したい。 *1 「一回しか言わないからよく聞けよ」 アメリカのお役所の待合室というのは人種の坩堝だ。白人、黒人、ヒスパニック系、アジア系と本当に色々な人がいる。アメリカの全人口3億人に対して、外国人人口が4千万人ほどいるというのだから、それもうなずける。言語の壁がある人が少なくないのだから、お役所で何か案内する時にゆっくり、はっきり話してくれると有り難いのだが、残念ながらそ

                                                                    アメリカ生活のリアル:役所の手続きは戦いなのだ - Thoughts and Notes from CA
                                                                  • SPF (やDMARC) を突破する攻撃手法、BreakSPF | 朝から昼寝

                                                                    当サイトでは、広告掲載ポリシーに沿って広告を掲載しています。 ※広告でなく、単に商品やサービスを自主的に紹介しているだけという場合もあります。 "オススメ" として紹介している商品やサービスは、個人的にそう思えたものだけです。 共感、興味をもっていただけるものがあればご利用ください。 SPF レコードで許可されている IPアドレスの実態がクラウドやプロキシ等の共用サービスのものであるケースは多く、それらの IPアドレスが第三者によって利用できる可能性があることを悪用し、SPF 認証を pass、結果的に DMARC 認証まで pass して詐称メールを送信できてしまうことを指摘した論文が公開されています。 この論文では、上記のような SPF の脆弱な展開に対する攻撃手法を BreakSPF と呼び、関連するプロトコルや基盤の実装に対する分析と共に、その内容が体系的にまとめられています。 本

                                                                      SPF (やDMARC) を突破する攻撃手法、BreakSPF | 朝から昼寝
                                                                    • 5年後には標準になっている可観測性のこと - Learning Opentelemetry の読書感想文 - じゃあ、おうちで学べる

                                                                      はじめに 本稿は、オープンソースの可観測性(Observability)プロジェクトである OpenTelemetry を取り上げた書籍「Learning Opentelemetry」の読書感想文です。従来の可観測性の課題であったデータの分断を解消し、トレース、メトリクス、ログなどの様々なテレメトリデータを統合的に扱うことができる OpenTelemetry は、可観測性の分野における革命的な存在と言えます。 過去10年間で、可観測性はニッチな分野から、クラウドネイティブの世界のあらゆる部分に影響を与える数十億ドル規模の産業へと発展しました。しかし、効果的な可観測性の鍵は、高品質のテレメトリデータにあります。OpenTelemetryは、このデータを提供し、次世代の可観測性ツールと実践を開始することを目的としたプロジェクトです。 learning.oreilly.com 本書の想定読者は、

                                                                        5年後には標準になっている可観測性のこと - Learning Opentelemetry の読書感想文 - じゃあ、おうちで学べる
                                                                      • 日本語は外国人話者にとって難しすぎるので、新しい簡易日本語「Japhalbet」をAIに作ってもらった(CloseBox) | テクノエッジ TechnoEdge

                                                                        仮想的なシステムであり、実際の普及は想定されていない。 言語学習や異文化コミュニケーションのツールとしての可能性がある。 結論ローマ字運動とJaphalbetは、どちらも日本語の表記をラテン文字化する試みという点で共通していますが、その目的、アプローチ、そして想定される使用範囲に大きな違いがあります。ローマ字運動が日本の近代化と識字率向上を主眼としていたのに対し、Japhalbetは国際的な日本語学習とコミュニケーションの促進を目指しています。 また、ローマ字運動が日本語の文法構造をほぼそのまま維持したのに対し、Japhalbetはより大胆な文法の簡略化を提案しています。これは、Japhalbetが非日本語話者にとっての理解のしやすさを重視しているためです。 結果として、ローマ字運動は日本社会に一定の影響を与え、特に技術分野での応用を見出しましたが、Japhalbetは現時点では理論的な提

                                                                          日本語は外国人話者にとって難しすぎるので、新しい簡易日本語「Japhalbet」をAIに作ってもらった(CloseBox) | テクノエッジ TechnoEdge
                                                                        • なぜブラウザエンジンは 1 つではダメなのか? または Ladybird への期待 | blog.jxck.io

                                                                          Intro Ladybird は、他のブラウザエンジンをフォークせず、企業との取引に頼らず、寄付だけで作ることを宣言した新しいブラウザエンジンだ。 Ladybird https://ladybird.org/ これがいかに価値のある取り組みなのか、Web を漫然と眺めてきた筆者による N=1 の妄言を書いてみる。 ブラウザエンジンとは ブラウザは、「ブラウザ UI」と「ブラウザエンジン」と、大きく二つの構成要素に分けて考えることができる。 ブラウザエンジンとは、いわゆる Web 標準の技術を片っ端から実装した、ブラウザの土台となるものだ。 ビルドすれば、入力した URL からネットワーク経由でリソースを取得し、パースしてレンダリングして表示できる。そのための IETF RFC や WHATWG HTML や ECMAScript が実装されている、標準技術の結集だ。 その上に、例えばタブを

                                                                            なぜブラウザエンジンは 1 つではダメなのか? または Ladybird への期待 | blog.jxck.io
                                                                          • How To Center a Div • Josh W. Comeau

                                                                            First, we need to constrain the element's width; by default, elements in Flow layout will expand horizontally to fill the available space, and we can't really center something that is full-width. I could constrain the width with a fixed value (eg. 200px), but really what I want in this case is for the element to shrinkwrap around its content. fit-content is a magical value that does exactly this.

                                                                              How To Center a Div • Josh W. Comeau
                                                                            • 『ガールズバンドクライ』のCG表現はなぜ親しみやすいか - 悠々自適

                                                                              『ガールズバンドクライ』のCGのどこに新規性があり、それでいて何故親しみやすいのか、日常芝居を中心に今までのセルルックCGや手描き作画と比較しながら、いち視聴者の目線で分析しました。 アニメ『ガールズバンドクライ』公式サイトより 1. セルルックCGとは ⅰ. 特徴 ⅱ. 発展の歴史 -セルルックCGの現在地- 2. ガルクラのCGは従来のセルルックCGと何が違うのか 3.ガルクラのCGはどうして視聴者に受け入れられたか ⅰ. ”手描きアニメらしい”モーションの追求 ⅱ. CGの常識を覆す表情のバリエーション ⅲ. 硬さを感じないキャラクターモデリング ⅳ. その他セルルックCGの課題を克服する様々な工夫 4. まとめ 1. セルルックCGとは 『ガールズバンドクライ』(以下ガルクラ)のCGの話に入る前に、まずは既存の日本のCGアニメの表現手法、いわゆるセルルックCGについて見ていきます。

                                                                                『ガールズバンドクライ』のCG表現はなぜ親しみやすいか - 悠々自適
                                                                              • すぐに役に立つものはすぐに陳腐化してしまうから方法ではなく設計の本を読む - API Design Patterns の読書感想文 - じゃあ、おうちで学べる

                                                                                あなたがさっきまで読んでいた技術的に役立つ記事は、10年後も使えるでしょうか?ほとんどの場合でいいえ はじめに 短期的に効果的な手法や知識は、ソフトウェア開発の分野において、急速に価値を失う傾向があります。この現象は、私たちが何を重点的に学ぶべきかを示唆しています。最も重要なのは、第一に基本的な原理・原則、そして第二に方法論です。特定の状況にのみ適用可能な知識や即座に結果を出すテクニックは、長期的には有用性を失う可能性が高いです。これは、技術や手法が時間とともに進化し、変化していくためです。 learning.oreilly.com 「API Design Patterns」は、このような考え方を体現した書籍です。しかも480 ページもあります。本書は単なる手法の列挙ではなく、Web APIデザインの根幹をなす原則と哲学を探求しています。著者のJJ Geewax氏は、APIを「コンピュータ

                                                                                  すぐに役に立つものはすぐに陳腐化してしまうから方法ではなく設計の本を読む - API Design Patterns の読書感想文 - じゃあ、おうちで学べる
                                                                                • htmxとは何なのか? その背景にある思想について - Qiita

                                                                                  このアンカータグはブラウザーに次のように指示します: ユーザーがこのリンクをクリックしたら、'/blog'にHTTP GETリクエストを発行し、レスポンスの内容をブラウザーのウィンドウに読み込みます。 これを踏まえて、次のようなHTMLの例を考えてみましょう: これはhtmxに次のように指示します: ユーザーがこのボタンをクリックしたら、'/clicked' にHTTP POSTリクエストを発行し、レスポンスの内容を使ってDOM内のid parent-div の要素を置き換える。 htmxは、ハイパーテキストとしてのHTMLの核となる考え方を拡張・一般化し、言語内で直接多くの可能性を開きます: アンカーやフォームだけでなく、どんな要素でもHTTPリクエストを発行できるようになります クリックやフォーム送信だけでなく、どのようなイベントでもリクエストをトリガーできるようになります GET や

                                                                                    htmxとは何なのか? その背景にある思想について - Qiita