個人的に「Webサービスの公開前チェックリスト」を作っていたのですが、けっこう育ってきたので公開します。このリストは、過去に自分がミスしたときや、情報収集する中で「明日は我が身…」と思ったときなどに個人的にメモしてきたものをまとめた内容になります。 セキュリティ 認証に関わるCookieの属性 HttpOnly属性が設定されていること XSSの緩和策 SameSite属性がLaxもしくはStrictになっていること 主にCSRF対策のため。Laxの場合、GETリクエストで更新処理を行っているエンドポイントがないか合わせて確認 Secure属性が設定されていること HTTPS通信でのみCookieが送られるように Domain属性が適切に設定されていること サブドメインにもCookieが送られる設定の場合、他のサブドメインのサイトに脆弱性があるとそこからインシデントに繋がるリスクを理解してお

海外ポスドク後にどのような進路を選ぶか非常に迷ったのですが、2022年の4月に東京大学の助教に着任しました。着任して色々思うことはありますが、この1年間、私が何をしていたのかを淡々と書いていきます。 ※リアルバレしたくないので具体的なことは書かないようにしますし敢えてまわりくどい（読み方）書き方をしています。俺の友達以外読むな。 期待を胸に着任まず3月中旬に家探しのついでに所属先となる研究室を訪問したが、そこの准教授が私の存在をご存知でなかった。「着任する前田です」「えぇ〜！！！マジですか？w」初手から暗雲が立ち込める。 4/1に専攻長から辞令を受け取り、「これから頑張ってください」と言われただけで終了。労働の詳細についての説明は一切無し。誰にも何も言われない。ガイダンスも無し。自由というよりは統制のない無法地帯に近い。大学教員の仕事って何なんだろうな…。 ちなみに、着任のお祝いも一切何も

「chatgptを使って要件定義の工数を削減したい」 「そもそもchatgptを使って質の高い要件定義ができるのだろうか」 とお悩みなのではないだろうか。 結論、chatgptで質の高い要件定義を短時間で実現することは可能だ。 実際に私もchatgptを使って下記のような要件定義書を完成させた。 通常この要件定義書を０から自力で作ろうと思うと４０時間はかかるが、chatgptを使う事によって４時間で完成させることができた。 しかし、ただプロンプトをなんとな投げ掛ければ良いというわけではない。 目的を達成するために綿密に設計をしたプロンプトを投げかける必要がある。 また、要件定義の中でも ・chatgptに丸投げして良いところ ・自分で手直しをした方が良いところ を精査することも大切だ そこで今回は上記のような要件定義書を4時間で完成させるために、私がchatgptへ投げかけたプロンプトを全

うみゆき@AI研究 @umiyuki_ai なにやら中国の方が作られた音声合成AI「MoeGoe」の2891人の日本アニメキャラの音声モデルが公開されてしまった！！Hugging Faceでデモが試せる！早速まどマギの５人に喋ってもらった！！うわうわうわ！ヤバいよヤバい本当にヤバいよコレはヤバい！！　　huggingface.co/spaces/skytnt/… pic.twitter.com/EFgUId9qpd 2022-11-05 21:19:12

各社の無糖紅茶飲料マーケティングの活発化に伴い、無糖紅茶飲料の先駆けである大塚食品の「シンビーノ　ジャワティストレート」（以下ジャワティ）が再び注目を集めそうだ。 「ジャワティ」は大塚ホールディングス初代会長で「ボンカレー」の生みの親である大塚明彦氏の先見の明で開発された。 1988年4月、当時・大塚食品社長であった大塚明彦氏が米国のある会社の研究所で竣工式に招かれ、そこでの食事会でアイスティーが提供され、これが料理と合っていたのに衝撃を受けたことが開発の契機になったという。 平成元年（1989年）に発売開始され、無糖、無香料・無着色・ジャワ島産茶葉100％使用・透き通る鮮やかな琥珀色――のこだわりを30年以上守りつづけている。 無糖茶飲料には通常、酸化防止のためにビタミンCが含まれているが、「ジャワティ」には含まれず原材名が紅茶のみであるのもユニークな点。 これは、料理の味を引きたてる“

はじめに NFT って何ですか？ ブロックチェーン上に記録された一意なトークン識別子をその保有者のアドレスと紐付ける情報、およびそれを状態変数として保持するスマートコントラクトのこと。 以上。 え、それだけ？ はい。 「デジタル資産に唯一無二性を付与するインターネット以来の革命」なんじゃないの？ これを読んでください: speakerdeck.com なるほど。ところで、この記事は何？ いま話題の NFT について、NFT の標準仕様である EIP-721 の仕様書と、それを実装しているスマートコントラクトのソースコードから読み解けることを解説する。一般向けの解説とは異なる視点から光を当てることで、ソフトウェアエンジニアに「あ、NFT って単にそういうことだったのか」と理解してもらえるようにすることを狙っている。 また、NFT がソフトウェアとして具体的にどう実装されているかを知ることは、

前置き はじめまして, コンポーザー, DJなどをやっているArakurです. 昔は打ち込みジャズを専門で作っていたのですが, ここ最近は殆ど作る機会がなく, 知識やTipsを持て余すくらいなら同志や後進に託そうと思ったので少しずつ記事にしてみることにしました. 第1回は, 古典和声またはポピュラー和声についてある程度知っている方向けにジャズのコード進行の理論の原理的な部分について解説します(第2回が今後書かれるかはまだ分かりません). とりあえずこれを読み切ればそこいらのスタンダードの進行は最低限アナライズできるようになる, という感じの内容を目指しています. 本記事は他ジャンルの制作にあたってジャズの知識を取り入れたいというような層を主に想定しています. 僕自身体系的なジャズ・音楽理論の教育を受けたわけではなく, 知識の大半はネットや古い教則本, およびセッションなどによる実践的経験を

Haskellコミュニティでは、ネットワーク関連を担当。 4児の父であり、家庭では子供たちと、ジョギング、サッカー、スキー、釣り、クワガタ採集をして過ごす。 不定期連載を始めます IIJ-II 技術研究所 技術開発室の山本です。私はプログラミング言語HaskellでHTTP/2とTLS 1.3を実装した後、もっぱらQUICを実装することに時間を費やしてきました。 ご存知の方もいらっしゃると思いますが、今年の5月にQUICの仕様がRFC9000として公開されました。このRFCは実によく書かれているので、読みこなせばQUICの全容が掴めるでしょう。 しかし仕様は膨大ですし、実際に実装してみて初めて腑に落ちることもあります。そこでこの機会に、実際にQUICを実装した経験者目線で、QUICの解説をしていきたいと思います。なんとなくTCP/IPを分かっている方が、ある程度QUICの理解ができることを

Why FastlyProductsServicesSolutionsDevelopersPartnersResourcesPricing QUIC is now RFC 9000QUIC is a new latency-reducing, reliable, and secure internet transport protocol that is slated to replace TCP, the most commonly used transport today. We’ve talked before about how we love QUIC and are deeply invested in making it a success because it aligns with our mission to build a faster, more resilient

タカラトミーアーツの女児向けアミューズメントゲームから生まれた「プリティーシリーズ」が今年、10周年を迎え、テレビアニメが9年目に突入した。「プリティーリズム」「プリパラ」「キラッとプリ☆チャン」と続く「プリティーシリーズ」は、約10年にわたり女児を魅了し続けている。MANTANWEBでは、シリーズの歩みを振り返る連載企画「プリティーシリーズ秘話」をスタート。誕生時からシリーズをプロデュースしてきたタカラトミーアーツの大庭晋一郎さん、シンソフィアの加藤大典さん、タツノコプロの依田健さんに、これまでの歩み、未来について聞いた。第1回は、2010年7月に誕生したゲーム「プリティーリズム・ミニスカート」、2011年4月に放送が始まったテレビアニメ第1作「プリティーリズム・オーロラドリーム」。シリーズ誕生、アニメ化の経緯が明らかになる。

バンダイナムコエンターテインメントが贈るダンスミュージックをテーマにした音楽原作キャラクタープロジェクト「電音部」公式サイトです

競技プログラミングの問題を解くためには２つのステップがあります。 問題で要求されていることを言い換える知っているアルゴリズムやデータ構造を組み合わせて解く 必要な（知っておくべき）アルゴリズムやデータ構造は色々なところで学ぶことができます。 しかし、「問題の言い換え」や「アルゴリズムを思いつく」というのは、非常に様々なバリエーションがあり、問題をたくさん解かないとなかなか身につきません。 そこで、この記事は以下のことを言語化し、練習のための例題を提示することを目標とします。 問われていることを、計算しやすい同値なことに置き換える方法アルゴリズムを思いつくための考え方競技プログラミングで「典型的」と思われる考え方 ※一部問題のネタバレを含むので注意 ※良く用いられるアルゴリズムやデータ構造については競技プログラミングでの典型アルゴリズムとデータ構造 を参考にして下さい。 入力の大きさ(制約)

ホーム ニュース 高評価アクションゲーム『Celeste』開発者が、“手触り“に関する極意を明かす。プレイヤーにストレスを与えないように取り組んだこと 現在PC/Nintendo Switch/PS4/Xbox One向けに販売中の『Celeste』。山登りと自己発見をテーマにした2Dアクションゲームである本作は、何度も死にながら少しずつ歩みを進める歯ごたえあるゲームプレイが特徴だ。一方で、キャラクターの操作性の良さにより、また絶妙なレベルデザインも手伝って、何度も挑戦しているうちに突破できそうだと感じさせてくれる。 キャラクターの操作性は、コントローラーを通じてプレイヤーが直接感じ取ることになる重要な部分。その“『Celeste』らしい手触り”はどのようにして実現させたのか、本作のディレクターMatt Thorson氏がいくつかのテクニックを紹介している。 コヨーテタイム A short

ステージング化 本番のVMについてはここでAMIを取って完了としましたが、ステージングは設定を変更しなければなりませんでした。本番へのアクセスが起こらないよう設定の洗い出しを行い、地道に一つ一つ変更していき、ステージングとして動作するように調整を行いました。地味な作業でしたが、システム間のつながりを把握するという点でとても効率的だったので思ったほど無意味な作業ではありませんでした。 データ移行（BLOB to S3) データ移行はリプレイスプロジェクトでも難易度が高い部分でした。 ニコニ立体は3Dモデルホスティングサービスですが、この3Dモデルのファイル容量が大きく、移行に非常に時間がかかりました。試算では移行に２４時間かかると出たため、日々増えるデータをどのようにスムーズに移行するかについて悩みました。 立体の負債解消を手伝ってくれていたまさらっき氏が偶然ALBのRuby on Lamb

モバイルバッテリーとは呼べない。「ほぼポタ電」なコレ1台で有事の時もアウトドアも大活躍!【AmazonスマイルSALE】