「全網羅テスト」という言葉について 〜または、ペアワイズ法、直交表、PICT活用時の落とし穴〜 #テストアドカレ - ブロッコリーのブログ
はじめに 本記事はソフトウェアテスト Advent Calendar 2020 20日目の記事です。 TL;DR PICT/ペアワイズ/直交表で作成するテストケースは、特定条件下の元で網羅したテストである 「PICT/ペアワイズ/直交表によって全網羅したテストを作っている」と言うのは誤解を与えるのでやめておいた方が良い PICT/ペアワイズ/直交表を使う最適なタイミングが存在するので、PICT/ペアワイズ/直交表を毎回使うのではなく別の組み合わせテスト技法や単体テストの活用も検討しよう 目次 はじめに TL;DR 目次 「全網羅してます」 今回の例 今回の組み合わせテストのやり方 PICTを使用する PICTに設定する値 PICTで作成されたテストケース 今回の例の検証 作成したテストケースを考える 気になる内容 全網羅の落とし穴その1：網羅基準 全網羅の落とし穴その2：設定値 落とし穴に
macOS Monterey 12.6.2, Python 3.9.15, matplotlib 3.6.1, numpy 1.23.4, scipy 1.9.3 時系列データの特異スペクトル解析 特異値分解 まず，特異スペクトル解析で用いられる特異値分解について説明します。線形代数の言葉が出てきますので，難しいと思う方は飛ばしてもらっても大丈夫です。 階数 $r$ の $m\times n$ 行列 $\mathsf{A}$ に対して，次のような分解 (特異値分解 (singular value decomposition: SVD)といいます) が存在します： $$ \mathsf{A} = \mathsf{U}\mathsf{\Sigma} \mathsf{V}^\top $$ ここに，$\mathsf{U}$ と $\mathsf{V}$ はそれぞれ，$m$ 次と $n$ 次の直交行
リー群というのは、おおざっぱには「微分ができる群」だと説明できるけれど、正則行列や指数行列を使って説明するものもあれば、多様体を使って説明するもあったりで、なかなか分かりにくい。 目次: リー群とは リー群の扱い方 微分でリー群の特徴を取り出す 接ベクトル 物理学の場合1 リー群のリー代数 物理学の場合2 リー群とリー代数の関係 微分写像 リー代数 指数写像、指数行列 指数写像 指数行列 左不変ベクトル場によるリー代数 接ベクトル場 接ベクトル場のリー微分 左不変ベクトル場 1. リー群とは リー群というのは、おおざっぱに 微分ができる群 と説明できる(可微分群?)。実数ℝから群Gへの関数 f: ℝ→G を考えて、その関数fの微分が考えられるなら、たぶんその群Gはリー群だろうと期待できる。 たとえば 実数の集合ℝ : 加法について群になっている。さらに関数f: ℝ→ℝの微分を考えられる。
GAN(敵対的生成ネットワーク)について説明します! 皆さん、「AI」という単語を耳にすることが最近増えてきたのではないかと思います。しかし、その仕組みについて知りたいと感じても、「私には難しそう...」と敬遠してしまっている方も多いのではないでしょうか? ここでは、AIのネットワークであるGANについて、説明していきたいと思います! 目次 GANとは GANで何が出来るのか GANの種類 弊社のサンプル まとめ GANとは GANとは、Generative Adversarial Network（敵対的生成ネットワーク）と呼ばれるAIの一種です。 GANはデータから特徴を学習することで、実在しないデータを生成したり、存在するデータの特徴に沿って変換できます。 GANのネットワーク構造は、Generator（生成ネットワーク）とDiscriminator（識別ネットワーク）の２つのネットワ
cos類似度の次元の呪い 元ネタはこちらの記事 コサイン類似度が高いベクトルはどれくらい似ているか(岩波データサイエンス刊行イベントより) - 木曜不足． cos類似度は計算しやすいので，言語処理界隈では単語ベクトルや画像理処理界隈ではヒストグラムをベクトルに見立てその2つが似ているかどうかに使われやすい． 上記の記事をよくよく考えると，cos類似度は次元数によって珍しい類似度の値が変わるので 極端に1に近い数字，0に近い数字が出ても鵜呑みにしてはいけないんじゃないかと思ったので，それについてのメモ． （この解釈が正しいのか，スパース界隈の論文探せば触れてそうだけど似たような図が出てこなかったのでちょっとわからん．） cos類似度おさらい 参考：コサイン類似度 2つのベクトルがどのくらい似ているかを角度を使って表す． マイナス成分もあれば[-1, 1]で表され，1に近ければ平行より類似して
インターステラテクノロジズ(IST)は12月6日、同社の福島支社(福島県南相馬市)において、ジンバル機構の性能取得試験を実施、その様子をプレスに公開した。ジンバルは、ロケットエンジンの推力の向きを制御する装置。2023年度の初打ち上げを目指し、開発を進めている超小型衛星用ロケット「ZERO」に搭載される予定だ。 公開されたジンバル機構と、同社の稲川貴大代表取締役社長 ロケットでのジンバルの役割 ZEROは、全長25m、直径1.7m、総重量33tの2段式ロケットである。エンジンは、第1段に9基、第2段に1基を搭載。ジンバルは、この10基のエンジン全てに設置される。噴射方向を変えることでロケットの姿勢を制御しており、機能的には「TVC」(Thrust Vector Control=推力方向制御)とも呼ばれる。 ZEROの構造。第1段エンジンは、中心に1基、その周囲に8基が配置される (C)IS
昨年（2021年）の中国自動車市場でもっとも販売台数が多かったBEV（バッテリー・エレクトリック・ビークル＝バッテリー充電式電気自動車）は、日本円で50万円を切る格安グレードを持つ上海通用五菱汽車製の「宏光MINI」だった。乗用車市場信息聯席会(乗聯会)まとめの販売台数は39.5万台で、２位テスラ「モデルY」の16.9万台を大きく上回った。一体どんなクルマなのか。バラバラに分解された「宏光MINI」を観察した。 TEXT：牧野茂雄（MAKINO Shigeo） 全バラにして見てわかる中身 全バラ状態の「宏光MINI」。この話題のBEVは横浜税関だけでもすでに約100台の通関記録があるが、ナンバーを取得した例はない。筆者の印象は「思い切りやすく作った三菱i-MiEV」だ。三菱「ｉ」も、かつてのスバル・オリジナルのRR「サンバー」も、とても良くできた軽自動車だった。RRには再考の余地があると思
記事まとめ 現存する最古級の団地「東京都住宅供給公社中野駅前住宅」の解体が始める。 1951年に東京都住宅供給公社が建てた。 団地マニアは「駅前の超好立地に残っている奇跡のような団地」だといい、最後の姿を見に巡礼に訪れる人も。 現存する最古級の団地で、１９５１（昭和２６）年、終戦から６年後にできた「東京都住宅供給公社中野駅前住宅」の完全解体が始まろうとしている。 築６８年を迎えたこの団地は、現在の「東京都住宅供給公社」が建てたもの。５１年といえば、日本の団地建設を推進した「日本住宅公団」もまだ誕生していない時代だ。 鉄筋コンクリート造りの４階建ての賃貸住宅。ＪＲ中野駅から徒歩３分の距離にあり、駅のホームからも見える。敷地面積は約１万２００平方メートルで、１号棟から７号棟まで７棟あり、総戸数は２４８戸ある。１号棟から５号棟までの５棟が南面を向く平行配置となっていて、６、７号棟が直交配置となっ
『土台からしっかり学ぶ ソフトウェアテストのセオリー』を、著者のお一人経由でリックテレコムさんからご恵投いただきました。 土台からしっかり学ぶーーソフトウェアテストのセオリー 作者:小川秀人,佐藤陽春,森 拓郎,加賀洋渡リックテレコムAmazon ここまで書いたらNotion.AIが勝手に以下のように書いてくれた。。 もう自分いらんな*1。。 本書は、ソフトウェアテストに関する基礎的な理論から実践的なテスト手法まで、幅広くカバーしています。特に、UTPの紹介や非機能テスト、自動化テスト、CI/CDの広義的な捉え方など、現代のソフトウェア開発に必要不可欠な内容が詳しく解説されています。また、著者による豊富な実務経験を踏まえ、実際のツールの使い方にも触れています。 感想の前に 本書の著者の方の何人かは、会社やコミュニティでのお付き合いがあります。また書籍自体も、レビュー用に出版社からいただいた
思いきってWi-Fi 6に乗りかえたら、テレワークやエンタメなどネット生活レベルが上がったよ2022.07.07 11:00Sponsored by ティーピーリンクジャパン株式会社 山田ちとら Wi-Fiルーターひとつで、ネット生活がこんなに変わる。 最近、画像のアップロードに数秒かかったり、Web会議がもたついたり…自宅のWi-Fi通信が遅いなと感じることが多く、ストレスなんです。Wi-Fiスピーカーから流れてくる音楽が途切れるのには一番イラッときます。 それぞれの遅延はわずかなんですけど、遅延が重なるとけっこうな時間をロスしてしまうし、ペースが乱されてなんだか損した気分になるんですよね。 そこで、なんとかWi-Fi通信を改善できないかと、その道に詳しそうなギズモード編集部員・吉岡に相談してみたところ、 ルーターですよ、きっと。ルーター替えたらどうすか？ Wi-Fi 6に対応しているル
Bias Correction For Paid Search In Media Mix Modeling[A4一枚まで備忘録] – かものはしの分析ブログ
都内の事業会社で分析やWebマーケティングの仕事をしています。大学・大学院では経済学を通じて統計解析を行うなどしておりました。企業に勤めてからは、機械学習やテキストマイニング、クローリング技術などに関心を持っています。 Twitterアカウント Mr_Sakaue( SKUE ) GitHub 読書メーター ほしいものリスト A4用紙1枚にまとめるイメージでメモを残そうという取り組みです。 今回は2018年のGoogleのMedia Mix Modeling（マーケティング・ミックス・モデリング）に関する論文です。Bias Correction For Paid Search In Media Mix Modeling前回と違い、因果推論の観点で考察などが書かれています。前回のものがモデリングのテクニカルな側面を描いたものとすると、今回はテクニカルな話は置いておいて、因果関係について様々な
![Bias Correction For Paid Search In Media Mix Modeling[A4一枚まで備忘録] – かものはしの分析ブログ](https://cdn-ak-scissors.b.st-hatena.com/image/square/a787dca9147676db06027eb58bb689b8fa4eb62b/height=288;version=1;width=512/http%3A%2F%2Fkamonohashiperry.com%2Fwordpress%2Fwp-content%2Fuploads%2F2018%2F08%2Fanimal_kamonohashi.png)
はじめに こんにちは。ぐぐりら(guglilac)です。 今回は最近興味を持って調べているField-awareなFactorization Machinesの近年の動向をまとめてみようと思います。 Factorization Machinesが提案された2010年から、Factorization Machines関連の研究はいくつかの方向に進んできました。 例えば、Factorization MachinesをDeep Learningと組み合わせた研究はその主流の一つで、xDeepFM [Lian+, KDD2018]までの流れが以下の記事でまとめられています。 DeepなFactorization Machinesの最新動向 (2018) 今回紹介するFieldという概念に関わるFactorization Machinesは、Deep + Factorization Machines
数学で物書きをするときに、"Suppose ...." と書くのか "Assume ...."と書くのか、"Let... "とはどういう関係？と思って調べ事をするも、こんなサイトに行きついたりする 一般言語としての違いはどうかと言えばこんなところに『思いの強さ（think、believe、feel、suppose、guess、expect、consider、assume、imagine、conceive～思う（動詞）の英単語の違い）』の情報はある 同じく一般言語として『結論付けたり、意見を述べたりする動詞(conjecture、infer、speculate、deduce、conclude、gather～推測、結論（動詞）の英単語の違い)』の情報はこんな風にまとまっている だがやはり、数学の書き物の場合と一般文書とでは違うように思うので、ちょっと長めの文章(A COOK-BOOK OF M
ggplot2入門 [応用編]
はじめに 修正履歴 2020/12/30: 公開 誤字・脱字は随時修正しております。 以下の内容は現在執筆中の内容の一部となります。 Song Jaehyun・矢内勇生『私たちのR: ベストプラクティスの探求』(E-book) 「可視化 [応用]」章を抜粋したものであり、今後のアップデートは『私たちのRで行います。 ここをお読みになる前に、まず、dplyr入門 (新版)とggplot2入門 [理論編]、ggplot2入門 [基礎編]を一読して下さい。 したがって、いきなりオブジェクト、関数、引数といった馴染みのない概念が出てきます。これらの概念に馴染みのない方は、予め「Rプログラミング入門の入門」の前半をご一読ください。 応用編の内容 理論編と基礎編では{ggplot2}の概念と5つの代表的なグラフ（棒、ヒストグラム、箱ひげ図、散布図、折れ線）の作り方について説明しました。本章では軸の調整
当記事によれば、2018年の東京都への女性の転入超過数は4.8万人となり、男性の転入超過数3.4万人を大きく上回っているとのことだ。転入超過数の男女の差は近年、大きくなっている。 経済学では、都市に人が集まる傾向をソーティングと呼ぶ。都市に人や企業が集まることで、集積の経済の正の外部性が働く。集積の経済は生産性を向上させ、労働者の賃金を上昇させることにもつながる。 都市部の課題として、少子化対策や待機児童の解消などがあるだろう。一方、地方の課題として、高学歴の女性が働くための職場を作ることなども考えられる。 都市部と地方では異なる視点で、異なる対策を打ち出していくことも大切だろう。 当文中では、住みたい自治体の人気度と25の指標を用いて、Rを使ったデータ分析を行うこととしたい。 1. Rでデータ分析する自治体、指標等についてまず、自治体*の人気度については、株式会社リクルート住まいカンパニ
名鉄築港線（右下から左上方向）と名古屋臨海鉄道東築線が直交するダイヤモンドクロッシング＝名古屋市港区大江町で、本社ヘリ「まなづる」から 鉄道の線路同士がほぼ十字に交わる全国的にも珍しい場所が名古屋市港区の臨海部にある。交差部分が正方形やひし形状となるため「ダイヤモンドクロッシング」と呼ばれる。かつては各地にあったが、線路の高架化などで次々に姿を消した。鉄道ファンに「激レアポイント」として知られる交差が市内に残る理由とは。
『はじめての設計をやり抜くための本 第2版 概念モデリングからアプリケーション、データベース、アーキテクチャ設計、アジャイル開発まで』は初版から14年ぶりの改訂となり、手法やツールを最新にアップデート。アジャイルやマイクロサービスなど現代のシステムに不可欠な要素を追加しています。 システム設計は、プログラミングの仕事をこなせるようになったエンジニアが次のステップとして挑むにふさわしい領域です。本書ではそんなエンジニアの皆さんをサポートし、下記のような設計にまつわる課題を解決できる内容になっています。 アプリケーション設計をどうするのか データベース設計をどうするのか 画面・帳票設計をどうするのか 外部システムとの接続方式をどうするのか アーキテクチャ設計をどうするのか スキルアップはもちろん、開発リーダーを目指す方にもおすすめの本書。設計ができるエンジニアになるための最初の1冊です。 目次
2021年にブックマークした記事まとめ - ぷらすのブログ
2021年にPocketに保存した記事をマークダウン形式で出力するツール. Contribute to p1ass/list-pocket-saved-items development by creating an account on GitHub. 注意: タグはかなり適当 バックエンド Go Nintendo Switch™ ネイティブバイナリへの Go コンパイルを成功させた話 Go の入力バリデーションパッケージ ozzo-validation を試した。 k0kubun/pp: Colored pretty printer for Go language OpenTelemetry in Go Go のロギングライブラリ 2021 年冬 GraphQL の静的解析基盤を作った Go のリリースプロセスとブランチ戦略 Go 1.16 の signal.NotifyContext
感染予防で在宅ワークのニーズが高まり、家庭内のWi-Fi（無線LAN）環境を見直したい人も増えているのではないだろうか。「どうせ買い替えるなら、新しい『Wi-Fi 6』に対応したモデル（以下、Wi-Fi 6ルーター）にすべきかどうか」と迷う人のために、新しいWi-Fi 6が従来のWi-Fiと何が異なるのか、簡潔に紹介しよう。 Wi-Fi 6の通信速度は最大40％程度向上 Wi-Fi 6は「Wi-Fiの規格の第6世代目」を表す。要するに「Wi-Fi Version 6」の意味だ。正式な規格名を「IEEE 802.11ax」という。ちなみに、Wi-Fi 6の登場により、それまでの第4世代のIEEE 802.11nをWi-Fi 4、第5世代のIEEE 802.11acをWi-Fi 5と呼ぶようになっている。 Wi-Fi 6は、これまでのWi-Fi 5に比べると、大きく次の1.通信速度、2.複数端
14歳の少女が車の死角をなくして交通事故を減らすシステムを開発、「シンプルだがエレガント」との評価 - ライブドアニュース
2019年11月1日 20時0分 リンクをコピーする by ライブドアニュース編集部 ざっくり言うと の14歳の少女が、車の運転席の死角をなくすシステムを開発した 運転席側のAピラーに見えないはずの背景を投影し、安全性を向上させるもの 海外メディアはこのシステムについて「シンプルだがエレガント」と評価した 車の運転席に座った時に発生する死角は想像以上に広く、死角と重なった歩行者や自転車を見落としたことによるは頻繁に起きています。そんな車の死角をなくすために、14歳の少女が開発したシンプルでありながら画期的なシステムが話題となっています。 Teen girl invents simple, yet innovative way to remove blind spots in cars https://mashable.com/article/blind-spot-invention-tee
結合度 - kawasima
https://www.infoq.com/jp/news/2020/04/balancing-coupling-ddd-europe/ https://speakerdeck.com/vladikk/balancing-coupling-in-distributed-systems モジュールやコンポーネント間の結合の度合いは、 強度(Strength) 距離(Distance) 変動性(Volatility) の3つの切り口による評価がある。これらは直交した評価軸ではない。 強度 https://www.linkedin.com/pulse/types-coupling-ahmed-adel/ 昔から出てくる分類 内容結合(Content Coupling): 別のモジュールの内部実装を参照する 共通結合(Common Coupling): グローバル変数を共有する 外部結合(Exte
＊＊＊＊＊＊＊＊ この問題，ちゃんと意味が分かれば，条件の整理は簡単にできます． 「ちょっと計算したら終わり！」と思ってしまいがちですが・・・ そう甘くはなかった． 京大だから，計算量は不要だろうと高をくくっていた人は，慌ててしまったかも． ４つの式に，たくさんの文字． 手に負えなくなってしまう危険性のある問題です． ポイントは，２次関数の 置き方 です． ２次関数を表す式の形は，いくつかあります． 基本：y=ax^2+bx+c 頂点：y=a(x-p)^2+q 交点：y=a(x-α)(x-β) その他，“戦略的”な置き方もあります． 例えば， 「y=3x+2とx=2で接する」 というときは， 「連立したら，x=2が重解」 という意味だから， y=a(x-2)^2+3x+2 とおけるのですね． そんなの，見たことないんですけど・・・ というのが，だいたいの感想だろうと思います． その通りです
修了課題レポート1 現場で潰しが効くディープラーニング講座の修了レポートです。 応用数学 線形代数学 要点 行列とはスカラー・ベクトルの集まりである。 行列を用いて連立方程式を機械的に解くことができる。 行列同士の積はl行m列の行列$\mathbb{A}$とm行n列の行列$\mathbb{B}$とでしか演算できない。 $\mathbb{A} \times \mathbb{B}$でできあがる行列$\mathbb{C}$はl行n列の行列になる。 行列$\mathbb{A}$に対する逆数のような存在として 逆行列 $\mathbb{A}^{-1}$がある。 対角のすべての要素が1でその他の要素が0な行列を 単位行列 $\mathbb{I}$と呼び、下記のような性質を持つ。 $$ \mathbb{A}^{-1}\mathbb{A} = \mathbb{A}\mathbb{A}^{-1} = \ma
【DIY】PCデスクを作ってみた
This is Plan. Data products such as blueprints and assembly manuals. 収納ラック付きのシンプルなPCデスクのプランです。 設計図は800円にて販売中 (function(d... 作り方 天板の作製 まずは天板を切断します。 天板に使用している板はパイン集成材です。 切断はノコギリで可能ですが、効率的に作業する為、丸鋸を使いました。 ↓丸ノコは非常に危険な道具なので直線カット治具を使い、可能な限りキックバックしないよう安全に使います。 ↓ PCディスプレイなどのコード穴を作ります。 不要な場合は作らなくてもOK 動画ではドリルとジグソーで加工しましたが、安価なハンド糸鋸で加工することができます。 コーナーはスプレー缶などを利用して曲面を作り、ジグソーや糸鋸で面取りします。 ↓ ↓紙やすりで仕上げます。 天板の面取りは紙やす
ユーチューバーになったので、早速買った物「伸びる三脚」 スマホ用の三脚を購入しました。どんな角度からも撮れるように、最大２１０ｃｍまで伸びる三脚です。それでもしまう時はコンパクトになるのでスペースも不要です。買って良かった商品です。 これで、かなり安定して撮影できるようになりました。 そして、今月は奈緒さんのお勧めでジンバルを買いました。 実は、奈緒さんもYouTubeをスタートんです♬ 奈緒さんのお勧め動画はこちら⇒削ぎ家事研究室YouTube ジンバルって何？ 1つの軸を中心として物体を回転させる回転台の一種である。 軸が直交するようにジンバルを設置すると、内側のジンバルに載せられたロータの向きを常に一定に保つことができる。
統計学の理解にあたって行っておくとよい重要な演習について、$100$題を厳選して取りまとめを行う予定です。 それぞれの主要トピックの導出の流れを取り扱ったり、解答・解説ありきで作成を行なったりなど、理解度の確認用の問題ではない場合も多いので、$1$周目については解答を読みながら理解する形式で進めると良いと思います。解法を抑えて類題が解ければ十分なものが多いです。 確率・確率分布 確率分布② Q.$1$ 超幾何分布と母分散の有限修正 Q.$2$ 重複組合せと負の二項分布 Q.$3$ 多項分布 Q.$4$ コーシー分布 Q.$5$ 対数正規分布 「確率分布①」は「基本演習$100$選」で取り扱いました。 区間推定 等比数列の和・マクローリン展開と離散確率分布の確率母関数 Q.$1$ 確率母関数の定義と期待値$E[X]$・分散$V[X]$の対応 Q.$2$ ベルヌーイ分布・二項分布の確率母関数と
Tweet☜この記事をシェアする この記事であつかうテンソルは、行列とそっくりな２階のテンソルです。しかも２ｘ２という単純な・・・。なぜかって？２階のテンソルがわかれば他の複雑なテンソルも理解できると思うからです。 Tweet☜この記事をシェアする 専門家は言います。 テンソルと行列は違う と。 しかし、そう言われたって、テンソルと行列は、同じにみえます。 5 －1 3 4 どちらもこんなふうに数字のセットとして表されます。 ベクトルや行列との掛け算や計算のルールなども、まったく同じです。 テンソルとはいったい何なんでしょう？ いったい、専門家は何を言おうとしているのでしょうか。 （えっと・・・なぜか読者が急増しているので、あえてお断りしておきます。本記事はあくまで一般人を対象にした解説です。専門家の方を対象とした厳密な内容ではありません。その証拠に添字とかアインシュタインの縮約とか省略と
というNBER論文が上がっている（ungated版）。原題は「The Zero-Beta Interest Rate」で、著者はSebastian Di Tella（スタンフォード大）、Benjamin M. Hébert（同）、Pablo Kurlat（南カリフォルニア大）、Qitong Wang（同）。 以下はungated版の冒頭。 The interest rate is one of the most important prices in a market economy. It captures the intertemporal price of goods and plays a central role in business cycles and monetary policy. In this paper we use equity returns to const
つくばエクスプレス茨城県内延伸構想、4方面のうち土浦案が有力か
茨城県は1月16日に「第二回TX県内延伸に関する第三者委員会」(「TX」はつくばエクスプレスの略称)を開催した。検討ルートは「土浦」「筑波山」「水戸」「茨城空港」の4案。公開された概要に特定のルートは示されていないが、朝日新聞は「関係者の取材により」「土浦案が有力」と報じている。NHKは「茨城県が、学識経験者らでつくる第三者委員会に原案を示した」、日本経済新聞は「土浦案を有力としたもようだ」と報じた。 つくばエクスプレス延伸の検討ルートは「土浦案が有力」だという 委員会は今後、書面による協議を継続し、2月9日の第三回会議で知事へ提言する。その後、パブリックコメントを募集し、3月中に延伸先を正式に決定するとのこと。 茨城県内の延伸は土浦市、水戸市、茨城空港接続案などの要望があったという。しかし茨城県は、費用が大きいことから「つくばエクスプレスは1都3県のプロジェクトのため本県単独で判断できな
当サイトはアフィリエイト広告を使用しています 動物の雑学 面白いトリビア 光に虫が集まる理由とは？意外と最近まで分からなかったらしい 夜にコンビニの光などに虫が群がっていてり 田舎の自動販売機は虫がびっしりついていたりするがそれは何故か？ 昔から飛んで火に入る夏の虫なんてことわざもあるくらい 虫が光に集まるのは知られていた 最近の研究結果で 虫は光を背にして飛んでいる事が分かりました。 単純に言えば強い光に背を向けて飛ぶという性質があります。 これは英国のインペリアル・カレッジ・ロンドン（ICL）の研究により分かった事です。 今までの仮説 虫には光に向かって飛ぶ走性があるとする説 月の光を頼りに飛んでるところを人工光源によって混乱したとする説 光源からの熱放射が虫たちを惹き付けているとする説 夜間適応した虫にとって人工光源は眩しすぎて混乱したとする説 どれもこれも説得力があるのですが説明で
2022/11/03 追記： VRM 1.0 のリリースおめでとうございます。所感や、特に周知の足りなさそうな VRM 1.0 における変更点についてまとめた記事を投稿しましたので、SNS での記事共有などによる周知・拡散の協力をお願いします。 VRM 1.0 で決められた『親指の定義』とまたリターゲットの話 2022/02/08 追記： VRM 1.0 ではローカル軸を保持するという決定がなされたので、その影響について検証記事を投稿しました。 VRMに正規化がいらない理由と関節ルールの必要性（glTFリターゲット覚書） 2021/12/14 追記： この問題については解決しそうな方向に進んでいるようです。 https://github.com/vrm-c/vrm-specification/issues/337#issuecomment-993074170 互換性について心配される方もい
古代ローマの出版事情 古代ローマの「出版」の話をしよう。もちろん出版と言っても、今日みられる活字印刷のことではない。一五世紀半ばにグーテンベルク（Johannes Gutenberg）が活版印刷技術を発明し、聖書の印刷本を刊行し、その後の印刷技術の発達にともない、とりわけ今日ではコンピュータのおかげで出版刊行がさらに容易になり、そのために世の中に出版物があふれかえっている。けれども、西洋の古代世界にも書物の出版なるものは存在した。もちろん、出版の事情は近代以後とはまったく異なっていた。 ウンベルト・エーコの『薔薇の名前』（Il nome della rosa）を読んだことのある人がいるだろう。あるいは、ショーン・コネリー主演の映画で観た人もいるかもしれない。そこで描かれた修道院の文書館には、多くの写字生とともに、挿絵を担当する細密画家が働いている。一三〇〇年代であるから、時代は中世である。
この記事はなに？ 私は現在4x4x4ルービックキューブ(ルービックリベンジ)を解くロボットを作り、世界記録を目指しています。ロボットを作る上で一番のハードルであったのが4x4x4キューブを現実的な時間に、なるべく少ない手数で解くアルゴリズムを実装することです。 調べてみると4x4x4については文献や先人が少ないことがわかると思います。そんな貴重な資料の一つになれば嬉しいと思い、この記事を書いています。 GitHubはこちら この記事の内容は完全ではありません。一部効率の悪いところを含んでいるかもしれません。今後改良したら随時追記していきます。 ↓競技用4x4x4ルービックキューブとプログラム制作のために番号を振られた競技用4x4x4ルービックキューブ 全貌 この記事集は全部で3つの記事から構成されています。 1. 概要 2. アルゴリズム(本記事) 3. 実装 この記事で話すこと この記事
賃上げ与党に減税野党という構図でいいのかね？ - hamachanブログ(EU労働法政策雑記帳)
本ブログでも何回も取り上げてきたし、最近は論壇でも頻繁に論じられるように、欧米の左派が労働や貧困といったソーシャルイッシューから人種や性別、LGBTといったアイデンティティポリティクスに傾斜し、その結果右派ポピュリズムの興隆を招いたというのは、日本でも似たような状況が展開してきたのは事実。で、そこんところに着目して「リベサヨ」というペジョラティブな用語を使う向きもある。というか、私自身も時に使ったりもする。ただまあ、いまでは偉大なピケティの作り出した「バラモン左翼」という用語法が普遍的になりつつあるようだが。 でも、そういう先進国共通の「リベサヨ」現象とはかなり異なる、それよりもだいぶ前から私が、日本の「りべらる」と自称する左派の傾向として指摘してきた「リベサヨ」現象は、そういう90度に直交する軸の話ではなくて、むしろ欧米であれば端的に右派の主張である減税を、それこそが左派の命であると思い
Studying HTTP > RFC-Translations related HTTP この文書は、 T. Berners-Lee, R. Fielding, L. Masinter: Uniform Resource Identifier (URI): Generic Syntax (RFC 3986), January 2005. を 橋本英彦 が日本語訳した物です。 この文書の取り扱いについては、[Studying HTTP] の RFC 日本語訳を利用するにあたってに従って下さい。 Network Working Group Request for Comments: 3986 STD: 66 Updates: 1738 Obsoletes: 2732, 2396, 1808 Category: Standards Track T. Berners-Lee W3C/MIT R.
以下にXYZとZXYオイラー角の計算を示す。明らかに最終な回転行列は全く異なる。そのため、オイラー角を使うときには、回転の順番を決めることが非常に重要である。 XYZオイラー角 以下$\sin\theta$、$\cos\theta$をそれぞれ$s_\theta$、$s_\theta$と略す。 $$ \begin{aligned} R_{xyz}(\alpha, \beta, \gamma) &= R_z (\gamma) R_y (\beta) R_x (\alpha) \\ &= \left[\begin{matrix} c_\gamma & -s_\gamma & 0 \\ s_\gamma & c_\gamma & 0 \\ 0 & 0 & 1 \end{matrix}\right] \left[\begin{matrix} c_\beta & 0 & s_\beta \\ 0 &
ベル不等式の破れは「そこにモノがある」ということを否定したのではなく、モノは実在してるのだけど、そのモノの物理量の実在性だけを否定したのだと説明する人が居ますが、それは間違った主張です。例えば電磁場の量子論で、光子という「モノ」の実在性を考えてみましょう。 『入門現代の量子力学』（講談社サイエンティフィク）の第1章にも書きましたが、ベル不等式の簡略版であるCHSH不等式を破る量子もつれ状態が作れる量子系ならば、どんな系でも隠れた変数の存在は実験で否定されます。それは量子的な電磁場の系でも同じです。 例えばある場所Aに「光子がいない」という局所真空状態|A0>と「光子が１つ存在している」という局所励起状態|A1>を考えてみましょう。この２つの状態ベクトルは互いに直交し、そして量子論なので、その線形重ね合わせ状態c(0)|A0>+c(1)|A1>も実験で用意可能です。これは光子が存在しない無の
300万年前にフィリピン海プレートが大方向転換：これが東日本大震災（太平洋東北沖地震）の元凶か？（巽好幸） - エキスパート - Yahoo!ニュース
日本列島の下では、太平洋プレートとフィリピン海プレートの２つのプレートが沈み込む。これらが日本海溝、南海トラフ近傍に大きな変形をもたらして超巨大地震を引き起こすのだ。また、南北に伸びる東北日本には太平洋プレートがほぼ西向き、すなわちまともに列島の下へ沈み込むので、東西方向に強い圧縮力が働く。その結果、東北地方では逆断層型の直下型地震が起きる（図）。一方でフィリピン海プレートは西南日本に対して斜めに沈み込むために、横ずれ断層が多い（図）。すなわち、東北日本と西南日本は、それぞれ太平洋プレートとフィリピン海プレートの運動によって異なるタイプの地殻変動が引き起こされているのだ。 しかし最近、東北日本の変動を引き起こす根源的な原因もフィリピン海プレートにあるのではないかとする考えが提案された。 ３００万年前に起きたフィリピン海プレートの大方向転換（巽原図）３００万年前にフィリピン海プレートの動きが
TFXの歴史を振り返りつつ機械学習エンジニアリングを提案する論文「Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX)」
TFXの歴史を振り返りつつ機械学習エンジニアリングを提案する論文「Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX)」 2021-01-17 この記事はMLOps Advent Calendar 2020の 25 日目の記事です。(盛大に遅れました) KDD2019 の招待講演で Google が TFX の歴史について発表されており、TFX 信者の自分としては発表内容が以前から気になっていたが、公開はされておらずなんとかして見れないかな~と思っていましたが、TensorFlow の Blogで該当の招待講演が論文化されたことを知ったのでメモがてら抄訳として残しておく。 注意)この翻訳記事は原著論文の著者陣からレビューはされていませんShunya Ueta, are providing a transla
はじめに この記事は、鈴木大慈先生の論文[1]の付録部分についての備忘録です。 Transformerをベースとした生成AIに多額のお金が投資されてます。また、Transformerをベースとした日本語に対応したLLMがリリースされるたびにニュースで取り上げられるなど注目されています。なぜTransformerがすごいのか？という根拠を、数理工学的に解説した論文[1]は、社会的に価値があると思い、備忘録を公開します。 Transformerは優れたモデルか？ 論文[1]では、「Transformerは、はたして優れたモデルなのか？」を解析しています。 結論から言うと、 無限次元入力のsequence-to-sequence関数に対し、Transformerは近似・推論能力をもつ Attentionは、入力列に応じて重要なトークンを選択することができる C. Auxiliary Lemmas
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【時間-周波数解析の基礎】特異スペクトル解析を用いた時系列データの成分分析【SSA】 - LabCode
リー群の入門的なこと - 再帰の反復blog
GAN(敵対的生成ネットワーク)について説明します!
cos類似度の次元の呪い - はしくれエンジニアもどきのメモ
ISTが超小型衛星用ロケット「ZERO」のジンバル試験を公開、福島支社で開発
中国の格安ベスセラーEV「宏光MINI」の中身 中国自動車産業の実力は？
現存する最古級の団地「中野駅前住宅」解体へ 最後の姿を見に巡礼も - エキサイトニュース
【読書感想文】『ソフトウェアテストのセオリー』は長く付き合えそうな良書です。 - ソフトウェアの品質を学びまくる
思いきってWi-Fi 6に乗りかえたら、テレワークやエンタメなどネット生活レベルが上がったよ
Field-awareなFactorization Machinesの最新動向(2019) - Qiita
数学の言い回し in English - ryamadaのコンピュータ・数学メモ
Rを使った、住みたい自治体の人気度のデータ分析などについて｜田代弘治（Kouji Tashiro）
普通の線路の「ガタンゴトン」とは明らかに違う？ 名古屋の激レアポイント「ダイヤモンドクロッシング」：中日新聞Web
ゼロからシステム設計に挑戦するエンジニアのための『はじめての設計をやり抜くための本 第2版』が発売
Wi-Fi 6は今までのWi-Fiと何が違う？在宅ワークでルーターを探している人の疑問に答える - BCN＋R
2020年・京都大学の数学・文系・第２問 ～選択肢を列挙する力～ - Mr.∅の数学と古美術
現場で潰しが効くディープラーニング講座 修了レポート1 - Qiita
こんな事になるとは思わなかったんです！楽天で買い直した物 | Rinのシンプルライフ
統計学 標準演習100選 〜確率、推測統計、回帰、応用、数理統計学〜 - あつまれ統計の森
【基礎】たぶんこの世で一番やさしいテンソルの話 基礎の基礎 - スタディヘルプ
ゼロベータ金利 - himaginary’s diary
光に虫が集まる理由とは？意外と最近まで分からなかったらしい
VRM はローカル軸の方向を破棄すべきでない - Qiita
國方栄二 古代ローマの出版事情［『図書』2023年5月号より］
4x4x4ルービックキューブを解くプログラムを書こう！ 2.アルゴリズム - Qiita
Uniform Resource Identifier (URI): 一般的構文
ロボット技術者向け 速習(1) リー群・リー代数を使った3次元回転表現 - Qiita
ベル不等式の破れはモノ自体の実在性を否定している｜Masahiro Hotta
Transformerは優れたモデルか？ - Qiita