How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ
生成AIで小説を書くためのプロンプト5選
人類の皆さん、小説書いてますか？ この記事について この記事に書いてあること この一ヶ月ほど、遅ればせながらLLMによる小説執筆の支援という試みを実地でやってみたので、その中で結構良かったなと思ったプロンプトを紹介する。 使用したモデルはClaude 3 Opus。 この記事で書かないこと 生成AI「で」小説を書くことについての記事であり、生成AI「に」小説を書かせることについての記事ではない。 具体的に言うと、LLMに小説の本文を出力させる話ではない。本当のところを言うとちょっとは試したけど、ちょっと試したくらいでは全然使い物にならなかった。色々と工夫すれば違うかもしれないが、自分の場合、色々と工夫するほど興味を抱かなかった（だって、小説書くのが趣味なのに、そこは渡したくないだろ）。 一般的な注意事項 小説ないしはその原型となるアウトラインをテキストファイルにしてまるごとClaudeに読
お近づきになりたい人向けシリーズです。 いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。 まえがき 予備知識 規格 用語 精度という語について 記法 表現について 有限値の表現について エンコードについて 丸めについて よくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価 用語に関して 実数の丸め 有理数の丸め 基本演算の丸め 差について 複数回の演算 補題たち 桁落ちについて Re: Rump’s example 融合積和 数学関数に関する式の計算 誤差の削減に関して 総和計算 数学関数の精度について 比較演算について 雑
新型コロナウィルスの渦中、私はウデマエXになった。 Nintendo Switchのソフトにある『スプラトゥーン2』というゲームに出合ったのは、2年10ヶ月前になる。品薄だった本体を買うためにようやくゲットできたのが、本体とこのスプラトゥーン2の同梱版だった。そもそもNintendo Switchを買うのも、夫と子どものためであったので、自分は後ろでゲームする2人を見ようと思っていたのだ。それもスプラではなく、別ゲームを。ただ、この同梱されたゲームを触った夫が勧めてきた。 「このゲームは女の人も向いてると思うよ、やってみたらー」 確かに、イカやタコを模したキャラクターはかわいい。出てくるキャラも個性的なウニやネコ。ゲーム内で「ギア」と呼ばれる服装（これがまたデザイン豊富）を組み替えることでゲームプレーに影響がでる。ゲームを上手くしたいと格好悪くなりそうで、センスをくすぐってくる。 そんな見
https://anond.hatelabo.jp/20210606152106 スプラトゥーンも他のゲーム同様に、ガチ勢がエンジョイ勢を追い出すことになっただけや。 対人ものってサブカ使って低ランク帯で無双する人が必ず出てくるんだけどこういう人が増えると初級者が辞めてしまってゲームが一気に衰退する ガチ勢とエンジョイ勢が上手く棲み分けできると良いのでは。子どものスプラ見ているとエンジョイ勢に時々ガチ勢が混じって蹂躙するのは良い気分はしない。 だ！か！ら！シンプルルールでカジュアルに遊べるレギュラーマッチ（ナワバリ）と、 自分のランク帯に応じて別ルールで戦うガチマッチ まずこの二つで棲み分けしてるじゃねえか！ そんでガチマッチだって C-, C, C+, B-, B, B+, A-, A, A+, S, S+0~9, X と幅広くランクが設定されていて、 サブ垢とか復帰垢とかでランクに比し
こんにちは。株式会社 Flatt Security セキュリティエンジニアの梅内(@Sz4rny)です。 本記事では、主にFirebaseの概要やセキュリティルールを用いた堅牢なCloud Firestore環境の構築について説明します。本記事を読むことで、Firebaseに関する基礎知識やデータベースにおけるセキュリティ上の懸念事項について理解するとともに、セキュリティルールを用いて堅牢なCloud Firestore環境を構築するための初歩を身につけることができるでしょう。 また、Flatt Securityでは開発/運用中のプロダクトにおいて、Firebaseをセキュアに活用できているか診断することも可能です。 Firebase を用いた開発におけるセキュリティ上の懸念事項が気になる場合や、実際に診断について相談したいという場合は、ぜひ下記バナーからお問い合わせください。 Fireb
この記事はScala Advent Calendar 2022の19日目です. Scalaではジェネリック型の変性(variance)は+や-で指定しますが, 他の言語(たとえば, C#, Kotlin)ではoutやinだったりします. この記事では変性の意味を整理して, なぜScalaでは+/-の記号を使うのか説明します. 追記ただし, ここで説明している内容は基本的にC#やKotlinでも成立する(はずな)ので「なぜこれらの言語では+/-の記号を使わないのか」を説明するものではありません. 個人的には+/-の方がわかりやすいと思うし, out/inの記法は扱っている概念が簡単であるかのような誤解を生む(悪く言えば騙す)のでどちらかと言うと嫌いです. 発端 こういう話題がありました. Scala は共変が + で、反変が - なので理論重視？ なのに対して、Kotlin と TypeSc
こんにちは、TIGの辻です。Go 1.16連載の3記事目です。 Go1.16でアップデートがあった io/ioutil パッケージが "deprecated" になる話題のまとめです。 サマリ Go1.16から io/ioutil パッケージの機能が os と io パッケージに移行した これから新しく実装するコードは io や os パッケージの新しい関数を使うことが推奨される io/ioutil パッケージが "deprecated" になるが "deprecated" といっても将来壊れる、ということではない 既存のコードは動作し続ける go fix コマンドは未対応 内容Go1.16から io/ioutil パッケージに含まれる関数が "deprecated" になります。関連するプロポーザルは #40025 と #42026 です。Package names で良くないパッケージ
A few months ago, I set myself the challenge of writing a C compiler in 500 lines of Python1, after writing my SDF donut post. How hard could it be? The answer was, pretty hard, even when dropping quite a few features. But it was also pretty interesting, and the result is surprisingly functional and not too hard to understand! There's too much code for me to comprehensively cover in a single blog
寝たきりからのスタート 1年ほど前、精神的な発作を起こし、自分で救急車を呼んで病院に搬送されました。 それから丸2ヶ月は寝たきり状態で、社会復帰はおろか、続けていたブログを再開することもままならないのではと思っていました。 病院に通院し、徐々に体を動かすことができるようになってきました。 家の近所を15分～20分くらい歩くことも可能に（日によってダメなときもあります）。 元の健康状態にゆっくりマイペースで戻していこうと決めてからは、自室で中学・高校の部活でやっていたストレッチを行い（バレー部→バスケ部でした）、調子のいい日は腹筋、背筋、腕立て伏せといった筋トレを回数少なめですがやるようになりました。 日々のトレーニングに飽きないように、最近ではバランスボールを取り入れて、楽しく少しずつ筋力をつけています。 だいぶ調子がよくなってきたので、もう少し、もうワンランク上の激しいエクササイズがした
Python as a language is comparatively simple. And I believe, that you can learn quite a lot about Python and its features, just by learning what all of its builtins are, and what they do. And to back up that claim, I'll be doing just that. Just to be clear, this is not going to be a tutorial post. Covering such a vast amount of material in a single blog post, while starting from the beginning is p
Red Hat Enterprise Linux 8の新機能「セッション記録ソリューション」を試してみた | DevelopersIO
はじめに こんにちは、望月です。 Red Hat Enterprise Linux 8 (以下、RHEL8)がリリースされましたね！弊社のブログでも話題に上がっていましたがリリースノートを読んだところ、気になる新機能があったため、試してみました。 8.0 リリースノート - Red Hat Customer Portal RHEL 8 のセッション記録ソリューションが追加 Red Hat Enterprise Linux 8 (RHEL 8) に セッション記録ソリューションが追加されました。新しい tlog パッケージと、それに関連付けられた Web コンソールセッションプレイヤーにより、ユーザー端末セッションを記録および再生できます。記録は、システムセキュリティーサービスデーモン (SSSD) サービスを介して、ユーザー別またはユーザーグループ別に設定できます。端末への入出力はすべてキ
この記事はScala Advent Calendar 2023の12日目だ! Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ. マクロ 1. メソッドをマクロとして定義する 2. マクロの本体を実装する 3. マクロ実装の記法の意味を知る 4. マクロで生成されるコードの内容を確認する 5. 引数の式を評価せずに使う 6. 返り値の型をマクロの実行結果によって決める 7. マクロの返り値の型を制限する 8. マクロの返り値の型を書かない 9. マクロで計算された型をテストする 10. マクロで計算された型をScalaTestでテストする 式 11. 定数式の値を得る 12. 定数式でなければコンパイルエラーにする 13. 定数値の式を作
各メディアで注目を浴びているクロスフィットトレーナーのAYAさん（AYA先生と呼ぶべきか）。引き締まったボディに同性ながら惚れ惚れしてしまいます。かっこいいですよね。お顔も美しいです。 そんなAYAさんが監修している美ボディメイク、ダイエットのためのサプリメント「B.B.B（トリプルビー）HMB&クレアチン48,000」。いったいどのようなものなのかレビューしていきたいと思います。 公式サイト：【B.B.B HMB & CREATINE48000】 AYAさんプロデュースのB.B.Bは女性のために開発された！ 女性も筋トレする時代に 「腹筋女子」「筋トレ女子」なんてことばがSNS上で流行ってますが、女性が体を鍛えるためのプロテインやサプリメントってこれまであまりなかったですね。 筋肉＝男子というイメージが強すぎて、プロテインと言えば大きな体作りのために飲むものという認識があったと思います。
[B! あとで読む] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B! 表現] News Up 「宇崎ちゃん」論争を考えたい | NHKニュース
暮らし [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B! 表現] News Up 「宇崎ちゃん」論争を考えたい | NHKニュース
![[B! あとで読む] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B!] [B! 表現] News Up 「宇崎ちゃん」論争を考えたい | NHKニュース](https://cdn-ak-scissors.b.st-hatena.com/image/square/85de3df707af25af4d40f2d2e58f622e00f3e52f/height=288;version=1;width=512/https%3A%2F%2Fwww3.nhk.or.jp%2Fnews%2Fhtml%2F20191122%2FK10012186651_1911221151_1911221224_01_02.jpg)
『『『『[B!] [B! あとで読む] [B!] [B! あとで読む] [B!] [B!] [B!] [B!] [B!] [B! 出版] 『Quick Japan 第3号』掲載の小山田圭吾氏記事についてのお詫び - 太田出版』へのコメント』へのコメント』へのコメント』へのコメント
学び 『『『[B!] [B! あとで読む] [B!] [B! あとで読む] [B!] [B!] [B!] [B!] [B!] [B! 出版] 『Quick Japan 第3号』掲載の小山田圭吾氏記事についてのお詫び - 太田出版』へのコメント』へのコメント』へのコメント
![『『『『[B!] [B! あとで読む] [B!] [B! あとで読む] [B!] [B!] [B!] [B!] [B!] [B! 出版] 『Quick Japan 第3号』掲載の小山田圭吾氏記事についてのお詫び - 太田出版』へのコメント』へのコメント』へのコメント』へのコメント](https://cdn-ak-scissors.b.st-hatena.com/image/square/f79e198c2655a5ebfec73ea5f5a6c71af55395bd/height=288;version=1;width=512/https%3A%2F%2Fwww.ohtabooks.com%2Fapple-touch-icon.png){kind=icon}
ジョージ・オーウェル『1984年』山形浩生訳 第 I 部
次へ：前へ：目次 ジョージ・オーウェル『1984年』第 I 部 第1章 第2章 第3章 第4章 第5章 第6章 第7章 第8章 第1章 四月の晴れた寒い日で、時計がどれも13時を打っていた。ウィンストン・スミスは、嫌な風を逃れようとしてあごを胸に埋めたまま、勝利マンションのガラス戸を急いですべりぬけたが、ほこりっぽいつむじ風がいっしょに入ってくるのを防げるほどは素早くなかった。 廊下は茹でキャベツと古いぼろマットのようなにおいがした。片方のつきあたりに画鋲で張られたカラーポスターは、屋内用には大きすぎた。描かれているのは、幅一メートル以上ある巨大な顔だけ。四十五歳くらいの男の顔で、濃く黒い口ひげと、頑強そうでハンサムな顔立ちだ。ウィンストンは階段に向かった。エレベータを使おうとしても無駄だ。調子がいいときでも滅多に動かなかったし、今は昼間には電気が切られていた。憎悪週間に向け
絵柄やデザインにはAとAをリスペクトして産まれたBがあるが、BはCではなくB派生形を産み出し個性が失われるという話を"40年前"に聞いていた
ことぶきつかさ @t_kotobuki My name is Tsukasa Kotobuki. 「寿司」と書いて「ことぶきつかさ」です。近年はアニメ「機動戦士ガンダムTHE ORIGIN」「劇場版シティーハンター」等でキャラデとかしてます。ここで描かれている落書きは個人的なモノです。欲しい物リスト！bit.ly/2JkTvGj ことぶきつかさ @t_kotobuki 40年近く前に同人誌の大先輩に言われた言葉で、絵柄やデザインには大きくＡＢのタイプがあってＡはＢを産むけどＢはＣにはならずＢ’・Ｂ’’・Ｂ’’’になると。派生的な意味だと思うけど繰り返すほど情報量は増え、しかし情報事体は劣化し個性も失われていくと。当時はピンとこなかったけど最近実感する。 2023-05-15 15:38:42 ことぶきつかさ @t_kotobuki ＡをリスペクトしてＢは産まれるのだけど、第三者はその２つを
美ボディ目指して#腹筋女子、#筋トレ女子急増中～。 そんな中、腹筋割りたいけど、なかなか割れないという声多数。 せっかく筋トレするなら、HMBとクレアチン配合のBBB（トリプルビー）で効率よく筋力アップすることをおすすめします。 AYAさん監修のBBB（トリプルビー）はダイエットサプリとして広まっている傾向がありますが、本来は日々の筋トレをサポートしてボディメイクするためのサプリです。 公式サイト▶▶▶【B.B.B HMB & CREATINE48000】 腹筋割りたい女子はこれ！筋力アップサプリBBB（トリプルビー） 腹筋割りたいならボディメイクサプリをチョイス ボディメイクサプリBBB（トリプルビー）が、#腹筋女子、#筋トレ女子をサポート。 主な成分はこちら、 ■HMB■ HMBとは、筋肉タンパク質合成に有効なアミノ酸、ロイシンの代謝物。 プロテイン以上の働きを期待され、さらに太りにく
19年12月の書籍雑誌推定販売金額は1060億円で、前年比8.9%減。 書籍は509億円で、同13.1%減。 雑誌は550億円で、同4.6%減。 その内訳は月刊誌が470億円で、同4.2%減、週刊誌は80億円で、同6.6%減。 返品率は書籍が32.9%、雑誌は38.8%で、月刊誌は38.1%、週刊誌は42.7%。 書籍の返品率の大幅減は送品が少なかったことが要因で、推定出回り金額は前年比15.8%減。 雑誌と月刊誌の返品率が40%を割ったのは、19年においてこの12月が初めてである。 それはコミックの『鬼滅の刃』の新刊が初版100万部で刊行され、品切店が続出し、底上げされたことによっている。その結果、コミックは20%増となった。 １．出版科学研究所による1996年から2019年にかけての出版物推定販売金額を示す。 ■出版物推定販売金額（億円） 年書籍雑誌合計 金額前年比（％）金額前年比（％
こんにちは。 すてでぃです。 今回は、ガンプラ作成を効率よくするために100円ショップで買えるランナースタンドの代わりになるものをご紹介したいと思います。 はじめに 作成の流れ 100均のディッシュスタンド 使用方法 メリット デメリット おすすめの理由 おわりに はじめに ガンプラを作成している時に、毎回しんどくなってくることがあります。 それは『ランナー探し』。 まずランナーとは、パーツ1つ1つをつなげている枠の事です。 そのランナーにはそれぞれアルファベット（A、B、C…）が付けられています。（例えば上の写真は「Aランナー」です） このようなランナーがAからEやAからHなど、ガンプラによってランナーの数が変わります。 作成の流れ ガンプラを作成する一連の流れなんですが、 説明書を読む 必要なランナーを探す ランナーから必要なパーツを切り離す 説明書通りに組み立てる（1に戻る） この「
スライド 0
２０１０年３月３日 ２０１０年３月３日 株式会社東京証券取引所 株式会社東京証券取引所 常務取締役（ 常務取締役（CIO CIO） ） 鈴木 鈴木 義伯 義伯 東証Arrowheadの開発と要求実現プロセス (次世代システム) 第4回要求シンポジウム 2010/3/3 All Rights Reserved. Copyright © 2010 Tokyo Stock Exchange, Inc. - 1 - 目次 １．Arrowhead 開発の背景（1）～市場を巡る環境変化～ ２．Arrowhead 開発の背景（2） ３．Arrowhead 開発の背景（3）～基本コンセプト(コアファクター)～ ４．Arrowhead の特徴 ５．システム構成図 ５-1．Ａrrowhead緒元（4,600万件/日・40万件注文/分モデル） ６．市場情報の拡充 ７．バックアップセンタの対応イメージ ８．稼働後
食事制限ダイエットよりも、筋トレしながら筋肉をしっかりつけて美ボディを目指す女子が急増中。 体重よりボディラインが大事。 筋トレして痩せたカラダはリバウンドしにくいのでおすすめ。 せっかく#筋トレ女子、#筋肉女子をやるなら、AYAさん監修のB.B.B（トリプルビー）で効率よく筋力アップしましょ。 公式サイト▶▶▶女性の為に作られたHMB！水なしで手軽に飲めちゃう♪ 筋トレ・筋肉女子目指すならB.B.B（トリプルビー）がおすすめ！ B.B.B（トリプルビー）おすすめの注目成分 「どうやって筋力アップすればいいか分からない」 「空回りの努力ではなく、しっかり成果を出したい」 そんな声にB.B.B（トリプルビー）は応えてくれます。 HMBとクレアチンを黄金比で配合して、女性のスタイルアップサポート。 B.B.B（トリプルビー）のHMBでボディメイク HMBとはアミノ酸ロイシンが体内で自然分解する
Over the course of my Spring 2020 semester at Harvey Mudd College, I developed a self-hosting compiler entirely from scratch. This article walks through many interesting parts of the project. It’s laid out so you can just read from beginning to end, but if you’re more interested in a particular topic, feel free to jump there. Or, take a look at the project on GitHub. Table of contents What the pro
Various Artists | ele-king
『Vanity Box』 幻の音源が一挙再発～動き続ける音の先端だけをとらえた記録 〈ヴァニティ・レコーズ〉ほど謎と伝説に満ちた日本のインディ・レーベルはないだろう。一昨年に亡くなった阿木譲氏が『ロック・マガジン』の刊行と並行して78〜81年に主宰した大阪のインディ・レーベル（おそらくＪ－インディ界最古）であり、そこからは、フューがリード・ヴォーカルをとったアーント・サリー、エレクトロニック・ユニットのDADAやシンパシー・ナーヴァスなどの作品がリリースされていた……熱心なロック・マニアであっても、おそらくその程度が平均的な知識であり、カタログ中の数枚はきいたことがある……といったところではなかろうか。 〈ヴァニティ〉からは４年弱の間に11枚のLP（うちひとつは２枚組オムニバス・アルバム）、３枚の7インチ・シングル盤、６本のカセット・テープがリリースされ、その他にもロック・マガジンの付録と
指数関数expのAVX-512によるベクトル化 - Cybozu Inside Out | サイボウズエンジニアのブログ
初めに サイボウズ・ラボの光成です。 C++で単精度配列に対する指数関数のベクトル化をAVX-512を使って実装しました。 標準関数std::exp(float)に対する相対誤差は2e-6、速度は10倍ぐらいです。 指数関数をどうやって計算するのか、一般的な話とAVX-512に特有の部分を紹介します。 想定読者 C++とx64(x86-64)のアセンブリ言語の知識を多少仮定しますが、 なるべく少ない前提知識で読めるように心がけます。 ある程度知識のある方は近似計算から読み始めてかまいません。 初めに 想定読者 実行環境 ベンチマーク 速度 誤差 exp(x)の性質 計算の範囲 近似計算 アルゴリズム AVX-512での実装 AVX-512の命令概略 初期化 メインループ floatのフォーマット floatからintへの変換 端数処理 係数の決め方 まとめ 実行環境 AVX-512が使える
うどん布団バカ売れ！！麺?に包まれて快適に寝落ちする不思議な布団…その名も『睡眠用うどん』 - おもちの人生色々
うどん布団…！？ うどん布団ってなに? それは…麺?に包まれて快適に寝落ちする不思議な布団…その名も『睡眠用うどん』 丸亀製麺 ヘッドスパ『悟空のきもち』を運営するゴールデンフィールドが伊勢丹新宿店の協力の下に、『理想の寝具』として『睡眠用うどん』を開発しました。(2019年8月20日発売) 悟空のきもちとは 日本初の頭のほぐし専門店として2008年京都に開店。ドライヘッスパの最高技術、ヘッドマイスター店舗として大阪心斎橋、東京銀座、東京原宿神宮前に展開。薄い頭筋膜をとらえる無水ヘッドスパとして、年々改良をつづける『21の手技』をはじめ、『大人を眠らせる技術』通常の安堵型睡眠と違い、 快感の絶頂で眠りに落とす『絶頂睡眠』が、評価を頂き、クチコミで人気が拡大。 引用:悟空のきもち 頭をほぐされ約10分で寝落ちするその快感から、現在約４８万人が予約待ちです。 goku-nokimochi.co
アフィリエイト広告等により不当な広告を行っていた通信販売事業者2社に景品表示法に基づく措置命令 令和5年3月28日 東京都は、アフィリエイト広告等により不当な広告を行っていた事業者2社に対し、令和5年3月28日、不当景品類及び不当表示防止法（以下「景品表示法」という。）第7条第1項の規定に基づき、措置命令（行政処分）を行いました。 1 事業者の概要 ⑴ツインガーデン株式会社 法人番号：5011001121556 設 立：平成30年4月3日、 代表者：代表取締役 髙橋 裕也 所在地：東京都渋谷区渋谷三丁目9番 10 号 KDC 渋谷ビル7階 ⑵ 株式会社エムアンドエム 法人番号：7010401094880 設 立：平成23年7月20日、 代表者：代表取締役 帆足 拓馬 所在地：東京都港区赤坂三丁目9番 18 号 2 違反事実の概要 ⑴ツインガーデンは、「B.B.B（トリプルビー）」と称する
オルキスから発売されている女性向けHMBサプリ「トリプルビー B.B.B」が筋トレ女子の間で大人気です。 同じオルキスからもう一種類筋肉サプリが発売されています。 同じ会社から２種類よく似たサプリが発 ... Copyright © 2020 筋トレのよあけ All Rights Reserved.
はじめに みなさん年の瀬いかがお過ごしでしょうか．こたつスウィングバイが止まらないさわだです． 工大アドベントカレンダー(一日目)の空枠を拝借して，自分も最近の事を書こうと思います． adventar.org 今回の記事はこれです． いっつも隣でやばいtmuxひらいてるからw— けんつ (@lrf141) 2018年12月19日 きっかけ 我が愛機であるThinkpad X220にArch LinuxをホストOSとしてインストールしましたが，chrome君とslack君に加え，Intellijの子供たちを使うとメモリが逼迫するのでCUIで開発環境を整えたいなと思ったのがきっかけです． 整備する 以前はneovim周辺の設定を弄って満足出来ましたが，あらゆる事をCUIで完結させたい欲が高まるにつれ，複数のターミナルを起動するのも億劫になってきました． 更にCUIでも毎日触るのが楽しくなるよう
第８波、オミクロン新系統警戒 ＸＢＢ、ＢＱ．１増加か―免疫すり抜けの恐れ・新型コロナ 2022年11月20日13時33分 【図解】オミクロン株新系統の特徴 新型コロナウイルスの感染「第８波」入りが指摘される中、オミクロン株の新系統「ＸＢＢ」と「ＢＱ．１」への警戒が強まっている。免疫をすり抜ける性質が強い恐れがあり、海外で拡大が続く。ただ、重症化リスクが上昇したかは不明で、専門家は「現時点では過度に恐れる必要はない。ワクチン接種をしっかり進めてほしい」と話す。 ワクチン接種後死亡、体制に問題 「アドレナリン注射すべきだった」―愛知県医師会が検証結果 国立感染症研究所によると、ＸＢＢとＢＱ．１は９月に初めて海外で報告された。ＸＢＢは日本で今年前半に流行したＢＡ．２系統の変異株２種の遺伝子が混ざったもので、シンガポールなどで増えている。ＢＱ．１は現在主流のＢＡ．５系統から派生し、欧米で増加中だ。
自動微分について調べていたら『精度保証付き数値計算の基礎』という本に出会いました。その中に非常に面白い応用が載っていたので紹介したいと思います。 allsol :: (RealFloat a, Ord a) => (forall b. Floating b => b -> b) -- 根を求める非線形関数 -> [Interval a] -- 探索する区間 -> [Interval a] -- 根が含まれている区間 これが今回紹介する、与えられた非線形関数$f$の与えられた区間における根、すなわち$f(x)=0$を満たすような$x$をただ一つ含む区間を全て探索してくれる関数（の型）です。実装を見る前にその威力を実際に使って確かめてみましょう。 > f x = (x - 1) * (x - 2) * (x - 3) > allsol f [-1e6...1e6] [ 0.9837477320
Temporal: getting started with JavaScript’s new date time API Updates: 2022-01-10: Temporal.now was renamed to Temporal.Now. 2021-06-30: Rearranged the content and created a section on the concepts and patterns used by the Temporal API. 2021-06-29: Clarified how Instant uses the ISO-8601 calendar. Listed the properties of some classes. Date, JavaScript’s current date time API is infamously difficu
この中の LayerDriverJPN というエントリで指定されている kbd106.dll がキーボードから入力された内容を最終的に OS 内の仮想キーコードへと変換する変換表になっています。これを望む変換表が書かれたファイルに指定を変更してあげれば所望の動作をしてくれるようになります。たとえば純粋な US 配列であれば kbdus.dll というファイルがあるのでそれを指定します。これらの変換表を含む定義ファイルは C:\Windows\System32 フォルダに格納されています。見てみると分かりますが、他にも色々な定義ファイル (kbd***.dll) があります。気になる方は覗いてみるとよいです。 ところでスキャンコードとか仮想キーコードとは何か ※知っている人は飛ばしてもらって構わない内容です。本当はこれだけで記事書いてもよかったけど時間がなかった（力尽きた）。 今ではほとんど
"�[31m"?! ANSI Terminal security in 2023 and finding 10 CVEs This paper reflects work done in late 2022 and 2023 to audit for vulnerabilities in terminal emulators, with a focus on open source software. The results of this work were 10 CVEs against terminal emulators that could result in Remote Code Execution (RCE), in addition various other bugs and hardening opportunities were found. The exact c
GHC 9.2 で導入されたQuick Look型推論アルゴリズムについて - 朝日ネット 技術者ブログ
初めまして、朝日ネット開発部の hogeyama です。 今回は Haskell の中級的なトピックとして、 GHC 9.2 で導入された Quick Look 型推論アルゴリズムを取り上げようと思います。 概要 Haskell のデファクトスタンダードなコンパイラである GHC では通常の多相（ジェネリクス）の一般化である非可述的多相(impredicative polymorphism)を実装していますが、その型推論アルゴリズムは長らく「型推論が弱い」「実装が不安定でコンパイラのバージョンアップでデグレが起きる」といった問題を抱えていました。 しかし昨年10月、Quick Look という新しいアルゴリズムが GHC 9.2 に実装されたことでこの問題が解決しました。 本記事ではこの Quick Look によって何が変わるのか、利用する際に何に気をつければよいのかを非可述的多相の概要
B.B.B トリプルビーをAmazonや楽天で買うとお得？ カリスマトレーナーAYA監修「B.B.B トリプルビー」は筋トレしながら、筋肉をつけながら痩せるダイエットサポートサプリです。 やせみトリプ ... Copyright © 2020 筋トレのよあけ All Rights Reserved.
研究開発グループの大久保です。 当社の製品の中にはC/C++で書かれたものが存在し、その中には独自のバイナリフォーマットを取り扱うものが存在します。既存のコードとやり取りするようなRustのプロジェクトを起こすためには、その独自のバイナリフォーマットをRustで取り扱えるようにしなければなりません。しかしながら、Rustの標準ライブラリの機能だけでは、バイナリの読み書きは意外と面倒になります。そのため、今回はRustでバイナリを扱うのならぜひ知っておきたいクレートを3つご紹介します。 byteorder byteorderはその名の通り、バイトオーダ、つまりエンディアンを扱うためのクレートです。使い方はシンプルで、ByteOrderトレイトと、BigEndian, LittleEndian, NativeEndianのうち自分が扱いたいエンディアンをインポートすれば、バッファと数値型の間で
天泣記
2023-09-28 (Thu)#1 Ruby の Range#empty? は実装可能か?9/14 のRuby開発者会議で、Range#overlap? が欲しい という話を議論した。 Range#overlap? というのは、ふたつの range オブジェクトが重なっているかというのを判定するメソッドである。 重なっているというのは、共通の要素をもっているかどうかと言い換えられるだろう。 この議論がちょっとおもしろかった。 まず、Rails にはすでに同じ機能が（微妙に違う名前で）存在するということでそれを眺めた。 <URL:https://github.com/rails/rails/blob/v7.0.8/activesupport/lib/active_support/core_ext/range/overlaps.rb> class Range # Compare two ra
This year’s Advent of Code has been brutal (compare the stats of 2023 with that of 2022, especially day 1 part 1 vs. day 1 part 2). It included a problem to solve with dynamic programming as soon as day 12, which discouraged some people I know. This specific problem was particularly gnarly for Advent of Code, with multiple special cases to take into account, making it basically intractable if you
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
浮動小数点型の算術とお近づきになりたい人向けの記事 - えびちゃんの日記
40代主婦がウデマエXになった話【スプラトゥーン2】｜かーちゃん++
Splatoon2から4年も経ったのにはてなでは未だに誤解が多い（追記有）
Firebaseにおけるセキュリティの概要と実践 - Flatt Security Blog
部分型における変性と極性 - なぜScalaの変性は+や-で指定するのか - 貳佰伍拾陸夜日記
Go1.16からのio/ioutilパッケージ | フューチャー技術ブログ
Writing a C compiler in 500 lines of Python
寝たきりから這い上がれ！憧れのAYAさんのファンクショナル・トレーニング - 旬な美的日記
Understanding all of Python, through its builtins
Scala 3のマクロTips 100連発 - 貳佰伍拾陸夜日記
美ボディ目指すならAYAさん監修のB.B.B（トリプルビー）サプリメントで効率よく！ - 旬な美的日記
効率よく腹筋割りたい女子用サプリ！HMB配合BBB（トリプルビー） - 旬な美的日記
出版状況クロニクル141（2020年1月1日～1月31日） - 出版・読書メモランダム
ガンプラ 作る時間の効率アップで楽チンおすすめ100均ランナースタンド - つくりびとな日々を
筋トレ・筋肉女子におすすめ！HMB・クレアチン配合B.B.B（トリプルビー） - 旬な美的日記
Kalyn: a self-hosting compiler for x86-64
東京都の消費生活総合サイト 東京くらしWEB
コアスリマーHMBでは痩せない？麹酵素入りでむしろダイエット向きサプリ 実体験口コミ・評価 | 筋トレのよあけ
CUIでお洒落な開発環境を整えよう - /var/log/Sawada.log
第８波、オミクロン新系統警戒 ＸＢＢ、ＢＱ．１増加か―免疫すり抜けの恐れ・新型コロナ：時事ドットコム
自動微分と区間演算で非線形関数の根を全て探索するアルゴリズム - Qiita
Temporal: getting started with JavaScript’s new date time API
Windows 日本語入力環境で US 配列をより使いやすくする | capyBaral
"�[31m"?! ANSI Terminal security in 2023 and finding 10 CVEs
B.B.B トリプルビーをAmazonや楽天で買うとお得？購入前に注意したいこと - 筋トレのよあけ
Rustでバイナリを読み書きするのに必要なクレート3選 - aptpod Tech Blog
Dynamic Programming is not Black Magic – Quentin Santos