この記事は、静的解析とビルドサイズ面で興味深いテーマでした。記事として自分の考えを書きます。 注意。あくまでビルドパフォーマンス視点での最適化です。強い意図があって、自分のドメインモデリングの方法論ではこれが最適なんだ、というなら元コードの方法論を止めるつもりはありません。 元記事のコードを minify するとどうなるか 元コードを参考に、それにアクセスするサンプルコードを書いてみます。 const sortingOptions = { priceDesc: { id: "priceDesc", sort: "price", order: "desc", label: "価格が高い順", }, priceAsc: { id: "priceAsc", sort: "price", order: "asc", label: "価格が安い順", }, ratingDesc: { id: "ra

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論

A modern, type-safe programming language that catches bugs and errors at compile time.

この記事はタナイ氏によるPython滅ぼす協会に入会したいを読んでから執筆したものです。 この記事の趣旨はPython滅ぼす協会に入会したいに対する反論という形をとりながら、タナイ氏により「バカの言語」と揶揄され、「使ってエンジニアを名乗るというのは」「滑稽」とまで言われたPythonの立場を再考することです。 追記 本記事は「Pythonはこれだけ優れた言語だからみんな使おう！」というものではなく「言うほど酷くないと思うよ」程度のものです。 型アノテーションがあるからと言って静的型付けを軽視しているわけでもなければ、map関数をもってmapメソッドを不要だと言っているわけでもありません。 この記法は嫌い〜この記法が好き〜と表明することは個人の自由ですが、同様に「この記法は実はこういう意味があって〜」という意見があればそれを聞いた上で、物事を判断して欲しいです。もちろん、聞いても意見が変わ

例えばこのSSH公開鍵、末尾に私の名前(akiym)が入っています。 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFC90x6FIu8iKzJzvGOYOn2WIrCPTbUYOE+eGi/akiym そんなかっこいいssh鍵が欲しいと思いませんか？ ed25519のSSH公開鍵の構造 SSH鍵の形式にはRSAやDSA、ed25519などがありますが、最近のssh-keygenではデフォルトでed25519の鍵を生成するということもあり、ed25519を利用していることを前提として進めます。なにより、RSAの公開鍵に比べると短いので末尾部分が目立つはずです。 そもそも、ed25519のSSH公開鍵のフォーマットはどのようなものになっているか確認してみます。まずはssh-keygenコマンドで秘密鍵と公開鍵を生成します。 % ssh-keygen -t ed25

しゃいん @shine_sann 情報系の人たちが、「バカでもできるようになる」くらいの意味で「民主化」って単語を誤用しているらしいですね。まあ、情報系って、理系の中でも、プログラム言語しか話せず、日本語を話せるバイリンガルの少ない分野ですからね。仕方ない仕方ない。許してあげてください。 2024-03-21 15:20:35

アラスカ航空機の機体のパネルが飛行中に脱落した問題で、機体を製造したボーイング社と関連会社の監査が行われ、3割以上の項目で不合格だったことが分かりました。 今年1月、アラスカ航空のボーイング737－MAX9型機の側面のパネルが飛行中に脱落した問題で、FAA（アメリカ連邦航空局）が6週間にわたって製造ラインの監査を行いました。 ニューヨーク・タイムズによりますと、ボーイング社は89項目中33項目で不合格、ボーイング機の胴体を製造するスピリット・エアロシステムズ社は、13項目中7項目で不合格となりました。 スピリット社の整備士が、ドアの密閉具合を確認するのにホテルのカードキーを使ったり、潤滑油の代わりに食器用洗剤を使うなど、ずさんな管理の実態が浮かび上がっています。

この記事の概要 p値を理解するには統計学の基礎知識が必要 統計学は「自然界の現象にはばらつきがあり」「測定値には誤差がある」から必要 知りたい事・言いたい事に対し「逆の事」を考える その「逆の事」が正しい確率がp値 p値が十分に小さければ「逆の事」は滅多に起こらないので「言いたい事」が言える この記事の概要 この記事のお題 p値の説明に必要な事 統計学はなぜ必要なのか？ 言いたい事を言うために逆の事*1を考える 「p値」とは「逆の事」が正しい確率 この記事のお題 今日のお題は、こちらの記事についてです。 diamond.jp まず、その前に、この記事の前の記事が素晴らしかったんです。 【「0.05」の謎】統計学好きでも意外と知らない「統計的に有意」の本当の正体 | Science Fictions あなたが知らない科学の真実 | ダイヤモンド・オンライン なので、その記事のブクマに次のよう

Rustでは並行性を持つプログラムを安全に記述することができます。本書はその並行プログラムの基盤となる、アトミック操作とロックの仕組みについての理解を深め、より安全で効率の良いコードを書くための指南書です。難解だと思われがちなアトミック処理、ロック、メモリオーダリングのような低レイヤを詳細に理解し、アーキテクチャやOSによる相違を知ることで、安全で高性能な並行処理プログラムを実装できるようになります。Rustユーザはもちろん非ユーザにとっても低レイヤプログラミングの優れたリソースとなる一冊です。 序文 まえがき 1章　Rust並行性の基本 1.1　Rustのスレッド 1.2　スコープ付きスレッド 1.3　所有権の共有と参照カウント 1.3.1　static 1.3.2　リーク 1.3.3　参照カウント 1.4　借用とデータ競合 1.5　内部可変性 1.5.1　Cell 1.5.2　RefC

吉沢ぽわ @Yoshizawaniki @koutyakizoku ああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああ 2023-10-20 23:17:05 ハンカチ @koutyakizoku @Yoshizawaniki あ”あ”あ”あ”ああああああああああああああああああああああああああああ”あ”ああああああああああああああああああああああああああ”あああああああああああああ”あ”あ”！ 2023-10-20 23:18:28

大矢勝 1957年、神戸市生まれ。大阪市立大学大学院生活科学研究科（修士）修了。泡で洗う洗濯機の開発研究で学術博士の学位を取得。短期大学講師を経て1990年より横浜国立大学助教授、2008年より同大学教授となり、2023年現在は名誉教授。洗浄技術・試験法、洗剤の環境影響・安全性、消費者情報などの分野の研究に従事し、洗浄技術や洗剤に関する多数の著書の執筆も行う。

日本最大のプログラミングコンテストサイトAtCoder　中高生に特化した学校対抗リーグ「AtCoder Junior League」開催にかける思いとは 国内最大級※、世界でも3大コンテストのひとつと言われる競技プログラミングコンテストサイトAtCoderは、2023年の春から参加者を中高生に絞った新たなリーグ「AtCoder Junior League（以下、AJL）」を開催しています。学生に特化したリーグを始めた理由、現在の状況や今後の展望など、AtCoderの創業者であり代表取締役社長の高橋直大さん(chokudai)ならびに、AJLの運営担当者であるかえでさん（kaede2020）に聞きました。 ※2023年4月時点で、日本人登録者数236,585名、外国人登録者数264,731名 https://prtimes.jp/main/html/rd/p/000000038.000028

自己紹介 小川 経歴 ~2009: Webアプリ開発のバイト&業務委託 2009~2019: 三菱重工 ｲｯﾄ何も関係ない。野良のパソコンの大先生してた 2019~いま: root ip B2BのSaaS作ってます PHPとVue分かる人来て！！１ 面白かった脆弱性 - CVE-2023-22727 PHPフレームワーク CakePHP 4 のSQLインジェクション脆弱性 ORM limit(), offset() でSQLi CVSS v3 9.8 2023/01に修正済み CakePHP Laravelの次に使用率高いフレームワーク(多分) 割と使いやすいからお勧め 一般にコード品質が上がる静的解析ツールの使用で逆に発生

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

まいえすきゅーえりたい　ぽすぐれない　おらくるってる（狂ってる）tomoです。 今日はいつものMySQLリファレンスを読むではなく、夏休みの宿題にしていたこれをやってみます。 MySQLとOracleDBの実行計画を比較してみた さて同じようなテーブルで同じデータを載せて。 実行計画を取ってみた時、どのくらい情報量が違うのか簡単に違いを見てみましょう。 前提として、以下をご認識ください。 一方はOSSのDBエンジン、もう一方はガチガチ商用DBエンジンです。情報量が違うのは当たり前であって、良し悪しを比較したいのではありません。そして製品比較をしたいのではありません。いつも商用DBメインで使っているエンジニアが、OSSのDBにこうゆう情報も出してほしいな！というのをお願いしたいと思っていて、それを考える元ネタメモだと思ってください。 OSSでこれだけの情報出せるMySQLや、今回紹介しません

ChatGPT開発に必要なGPUは3万基、日本の国策AI基盤は1千基。目前に迫る日本のAI敗戦 2023.08.19 Updated by Ryo Shimizu on August 19, 2023, 16:47 pm JST そろそろ業界の最深部でしか知られてなかった事実がニュースになって来始めているのでここで本当の問題を明らかにしておきたい。 AI開発に必須なのは、計算資源である。そしてこれは現在のところ、事実上NVIDIAが一社独占している。 NVIDIA以外の半導体がいくら「AIに特化しています」と能書きを垂れていてもごくわずかな例外を除いてはほとんど全部が誇大広告である。 たとえばApple Silliconは、「ニューラルエンジン」と称するモジュールを内蔵しているが、これを使ってAIの学習をすると、なんとCPUよりも遅い。信じられないかもしれないが、これが残酷な事実なのである

ご覧の通り、普段はYouTube, Netflixに大半の時間を費やしている。かなりの余談であるが、私は現在、TBS系「日曜劇場」枠で放送中の 『VIVANT』 というドラマに非常に熱中しており、本編を再鑑賞したり、その考察動画を見漁ったりしている時間が多い。 話が脇道に逸れてしまったが、伝えたいのは、興味がないからこそ、勉強することに価値がある ということだ。 今は興味が持てなくとも、勉強し続けてさえいれば、もしかしたら興味のある技術に出逢うかもしれない。宝くじだって買わなけらば当たることはないのである。 若干ニュアンスが異なるかもしれないが、Xでフォローしている方が、やる気の如何を問わず強制的にまとまった時間を使って取り組み、その結果生じる（内発的な）動機付けに期待することを、「念能力で殴る」 と表現していた。 興味がないことに取り組んだ結果、後から興味が生じることも往々にしてあるので

AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be