ソフトウェアエンジニアリングにおいて大切なのは、人間のことをのぞけば名付けだと思っている。言葉がなければ世界は混沌としたままだけど、そこに名前をもたらすことがものごとを切り分け、ひとつの秩序をもった視点をつくる。この秩序は唯一絶対のものではなくて、なんらかの意志によって導かれたものである。ソフトウェアはあくまでも現実の抽象だから、問題をどういう視点で見るか、という軸があるわけだ。そういう意味では人間のことではある。 適切につけられた名前は、そのことによって他のものとの自然な境界を与えられていて、その他の名付けと一貫性を持っている。そういう名前は既存の名付けの体系になじむので、同じ言葉を使う人々のあいだに受けいられれて、共通のコンテキストに追加される。そして次第に暗黙のものになっていく。 たとえばユーザのフォローがあるSNSのようなウェブサービスをつくるときに、QueueとかBrokerみた

Intro CSRF という古の攻撃がある。この攻撃を「古(いにしえ)」のものにすることができたプラットフォームの進化の背景を、「Cookie が SameSite Lax by Default になったからだ」という解説を見ることがある。 確かに、現実的にそれによって攻撃の成立は難しくなり、救われているサービスもある。しかし、それはプラットフォームが用意した対策の本質から言うと、解釈が少しずれていると言えるだろう。 今回は、「CSRF がどうして成立していたのか」を振り返ることで、本当にプラットフォームに足りていなかったものと、それを補っていった経緯、本当にすべき対策は何であるかを解説していく。 結果として見えてくるのは、今サービスを実装する上での「ベース」(not ベスト)となるプラクティスだと筆者は考えている。 CSRF 成立の条件 例えば、攻撃者が用意した attack.examp

時間のない人向け はじめに 結果どうだった？ 作業環境 周辺環境 食事環境 香雅 珈香和ｃｏｃｏｗａ Tearoom Ciffon 参考 その他感想など 生活リズム 気になったところ・注意した方が良いところ まとめ 時間のない人向け Otellを使って4泊5日のワーケーションに行ってきた ワーケーションに適した作業環境がきちんと揃っていた 温泉や周辺の自然でリフレッシュできた 食事には少し困るが事前に調べてから行けば問題ない また他の場所にも行ってみたい はじめに 去年9月に現職に転職した後3月に大きめのリリースを終えて、ゆっくりと気分転換をしたくなり、4月中旬に以前から気になっていたワーケーションに行ってきました！ 重要視していたのはこの辺 ネットワーク環境の良いところ 1週間くらいは泊まりたい 東京から遠すぎない場所（3時間以上はかけたくない） 温泉に入りたい...！ ということで自分

ぼくはガールズバーやキャバクラの類に行ったことがいちどもない。なんならふつうのバーや居酒屋すらほとんどない。 そもそもお酒が飲めないし、人と話すのも苦手だからだ。ひとりでゲームで遊んでいたほうがよほどいい。 よく「いやなことがあったからキャバクラに行って気持ちを晴らす」みたいな話があるが、意味がわからない。いやなことにいやなことを重ねて、いったいなにが楽しいのか。 この『バニーガーデン』の主人公である乾田杯人（かんだはいと）は、会社をクビになってしまったらしい。 現実の日本であれば、退職勧奨はともかく、社員の解雇はよほどのことがないと難しい。推測だが、単なるミスのレベルではなく、信用した誰かにだまされて悪事の片棒をかついでしまった、くらいのことはありそうだ。 杯人の「クビを伝えられたときだって、上司さん泣いてくれてたもんな。君の力になれなくて申し訳ない、って。」というセリフからも、その可能

今年1月、サカナクションのボーカル・山口一郎は、千秋楽を迎えたソロライブツアーのステージ上で自身がうつ病だと公表した。不調に気付いたのは2年ほど前。朝から晩までベッドから出られず、ライブも中止し、不安と焦りでいっぱいになった。以来、一進一退を繰り返す体調と向き合う日々を過ごし、「ようやくここまで回復した」と取材に応えた。闘病の経過、周囲の支え、病と生きる現在を語る。（取材・文：内田正樹／撮影：後藤武浩／Yahoo!ニュース オリジナル 特集編集部） 「最初は3カ月ぐらいですぐによくなると勝手に考えていた。でも3カ月が6カ月と延びて、1年を過ぎたあたりで、『これは一生付き合っていくのかもしれない』と思いました」 山口一郎（43）が自身の不調に気付いたのは2022年5月。サカナクション15周年の配信ライブを終えた頃だった。 「コロナ禍以降もアクセル全開でがんばっていて、その頃の僕はラジオのレギ

こんど転職するのだが、見切り発車で仕事をやめた結果、次の仕事が始まるまで1か月ほど暇な時間ができてしまった。 2週間ほど休んだらもう休むのが嫌になってしまったので、せっかくなのでタイミーとやらを試してみようと思いついたときの話。 意外にも未経験だとできる仕事は少なく、やっと見つけたのは某化粧品とか日用品、掃除用品を作っている会社の流通倉庫でのピッキング作業。 朝から夕方までガッツリ働いても9000円いかないのには驚いたが、バイトなんて学生の頃以来なのでちょっと楽しみだ。 働いてみると、想像していたよりもずっとホワイト、というか巨大なシステムの一部として期待されていること以上のことは一切期待されていない、という労働環境なのでなかなか気楽で楽しかった。 休憩を抜くと７時間ほどハンドフォークを引っ張りながら歩きっぱなしだったが、毎日リングフィットをしているおかげかさほどダメージはなかった。 その

3月。園芸を趣味とする人びとが待ちわびた季節。 柔らかな日差しに誘われて、国道沿いのホームセンターにカチコチに乾燥した水苔を買いに園芸趣味者たちが群がる季節。 大小さまざまな植物の即売イベントがいたる場所で開催されて、奇妙な蘭に、雄々しいユーフォルビアに、グルメな食虫植物に、大いなる眠りから目覚めた塊根植物に、それから…なんだかよくわからない多肉植物にも、冬の間に貯めこんだ札束が飛び交う季節。 園芸趣味者のXを見れば氷漬けだった2月の頃が嘘のような狂乱騒ぎが繰り広げられている。 だがタイムラインの百花繚乱をよそに、ザコ園芸趣味者はボサッとしていた。ザコ園芸趣味者だからだ。 ザコ園芸趣味者の朝は遅い。 起きたらベランダの窓を開け、曇天の続く空をギラリと睨みつけ、空気の匂いを疑わし気に嗅いだあと「まだ寒い」と一言つぶやいて窓から顔を引っ込め、布団に再び潜り込む。 たしかに、背後ではいよいよ植え

任天堂の人材に対する考え方 任天堂の経営方針 私たちは「娯楽を通じて人々を笑顔にする会社」として、どなたにでも直感的に楽しんでいただける「任天堂独自の遊び」を提供することを目指しています。この独自の娯楽体験を実現するために、ハード・ソフト一体型のゲーム専用機ビジネスを経営の中核に置き、どのような娯楽でも「いつかは必ず飽きられてしまう」という考えのもと、人々を笑顔にするために独創的な商品やサービスを世界中の人々にお届けし続けていきます。 人々を笑顔にする娯楽を 世界中の人々にお届けするために 独創的な商品やサービスをつくってお届けするうえで必要な能力は、数字では計れません。そのため、当社では独創性・柔軟性・誠実さからなる「任天堂DNA」を重要視しています。この任天堂DNAを基盤とし、仕事を通じて社員一人ひとりの成長を最大限に促せるよう、 さまざまな人事施策を取り入れています。また、ゲームやエ

Layer:01　WEIRD 『Serial experiments lain』について語ることはぼくの詩的来歴について語ることと等しい。あるいはまったく無関係である。さて第一話。まずは電気を消すことからはじめよう。このアニメは暗い部屋のなかでしか楽しむことができない。暗い部屋をもたないものは、どんな鋭敏な感性をもっていても詩を書くことはできない。目を病むことなど些細な問題である。アニメとは、暗い中に浮かび上がってこそ価値があるというものだ。 オープニング曲である「DUVET」を聴きながら考える。ぼくが『lain』と出会ったのは灰色の地方都市にある小さなレンタルビデオショップにおいてであった。ぼくは十四歳。ぼくはそのころ人間だった。限りなく人間だった。なにをしていたか？　人間を。勉強をし竹刀を振り、顔に湧いたニキビに気を病んでいた。たしか、友達だっていたはずだ。時は二〇一二年。ぼくは取りあ

Researchers have long loved PDFs for reading papers. You can focus on absorbing the scholarship – the format is simple and clean. Researche...

最近はGoogleではなくKagi Searchをメインの検索エンジンとして使っています。 Kagi Searchは$108/year($10/month)の有料の検索エンジンです。 広告モデルではない検索エンジンなので、有料のサブスクリプションモデルとなっています。 Plan Types | Kagi’s Docs いくつかプランがあり、検索し放題のProfessionalプランが$10/monthです Ultimate Plan ($25/month)だと外部のOpenAIのGPT 4とかClaude 3との連携とかも入ってきます 月に1-2万回ぐらいは検索することを考えると、 (108 / (10000 * 12)) * 150 で大体1検索が0.1円ぐらいのイメージですが、こちらもKagiのLLM機能は利用できるので、実質もう少しコスパは良いと思います。 検索ソースにはGoogle

低レイヤのRustエンジニアであるニキータ・ラプコフ氏が、引っ越し先の部屋に設置してあった謎のIoT機器が一体何であるのかを突き止める過程をブログに投稿しました。 What's that touchscreen in my room? | Nikita Lapkov https://laplab.me/posts/whats-that-touchscreen-in-my-room/ ラプコフ氏は2015年築のアパートに引っ越した際に壁に下図のデバイスを発見したとのこと。何らかのタッチスクリーンであることは間違いありませんでしたが、家主はこの機器について全く知りませんでした。本体にはボタンやラベルが存在せず、電源のオンオフを知らせるライトが付いているのみだったとのこと。 アパートのさまざまな家電製品のマニュアルが入ったバインダーを調べると下図のパンフレットが出てきました。このパンフレットを見

SaaS をアーキテクトをするにあたって、どのような事を考えればよいのか？をまとめました。

A new tool that blends your everyday work apps into one. It's the all-in-one workspace for you and your team

ひとまず例をあげとくと、俺が全くオススメ出来ないアニメは「Serial experiments lain」 まず、主人公がオススメ出来ない。 如何にもオタク受けや陰キャの共感を狙ったかのような小柄で奥手な主人公。 普段は口数が少ないけど友達の前では結構喋るし、得意な分野についてはやたら早口で高圧的になったりもする。 ずっとパソコン弄りとインターネットばかりしていて、周囲からも心配されてる。 寝間着が🐻のキグルミで露骨にオタク受けを狙っているのもオススメ出来ない。 やたらと衒学的にインターネットの歴史を交えつつ当時インターネットに人々が見ていた平行世界的な闇を都市伝説的に描くストーリーテリングもおすすめし難い。 今見てもレトロフューチャーというには技術レベルが低く、それでいて当初の感覚で言えば近未来的だったであろう、何時の時代ともつかない絶妙な世界観のバランスもオススメ出来ない要素だ。 イ