マトロイド - Wikipedia
マトロイド（英: matroid）は、ある公理を満たす集合とそのべき集合の部分集合の組である。歴史的には、行列の一次独立・従属を一般化した概念であるが、多くの組合せ最適化問題をマトロイドあるいはより緩い独立性システムとコスト関数で定式化でき、特徴付けを行える等応用範囲は広い。特に組合せ最適化において、マトロイド上の最適化問題には単純な貪欲法によって多項式時間のアルゴリズムとは限らないものの最適解が得られることは非常に重要である。 定義[編集] E = {1, 2, 3} におけるそれぞれの例。左は(A1),(A2),(A3)を満たすからマトロイド。中央は(A1),(A2)を満たすから独立性システム。右は(A1),(A3)を満たすからグリードイド。 有限集合 E とその部分集合族 の組 (E, F) が[注 1] (A1) (A2) (A3) を満たすとき、マトロイドと呼ばれ、(A1) およ
任意サイズ正方行列乗算の最適化（その1） - よーる
今まで3回にわたって、行列サイズがコンパイル時にわかる場合の正方行列乗算の最適化を取り扱ってきました（行列乗算の最適化入門 - よーる、行列乗算の最適化入門（マルチコア編） - よーる、行列乗算の最適化入門（GPGPU編） - よーる）。 行列サイズがコンパイル時にわかる場合は、コンパイラの自動ベクトル化だけで限界に近い性能が出ました。 今回はちゃんとした行列積プログラム、つまり行列サイズがコンパイル時にわからない場合の正方行列乗算の最適化をやっていきます。 配列のオーバーラップを気にしているのか、どうにもコンパイラの自動ベクトル化ではうまくいかなかったので、ちょっとだけアセンブリ言語に手を出しました。 5×4レジスタブロッキングカーネル 行列乗算の最適化入門（マルチコア編） - よーるで示したように、レジスタブロッキングは5×4が最適でした。 これについて、なぜそうなるかの説明は難しいで
53平均律 - Wikipedia
53平均律（英: 53-equal temperament）とは、1オクターヴを53の等しいステップに分割した音律である。 各ステップは、 ( ) の周波数比率、あるいは 1200/53 ≈ 22.6415 セントである。この音程は時にホルダーのコンマ（英語版）と呼ばれる。 この分割への理論的な関心は古代にさかのぼる。中国の音楽理論家である京房（78BC-37BC）は、53個の完全五度の連鎖 が、31オクターヴ にほぼ等しいことを発見した。彼は6桁の精度で差を算出し とした（京房の六十律）[1]。 その後、同じ発見が、数学者および音楽理論家であるニコラス・メルカトル (Nicholas Mercator, c. 1620-1687) によってなされ、彼はこの値を として正確に算出し、メルカトルのコンマとして知られている[2]。メルカトルのコンマは、約3.6150セント (≈ 1/332 オ
数学の基礎としての集合論
Online ISSN : 1884-1236 Print ISSN : 0022-7668 ISSN-L : 0022-7668
果実とバター canarina
いろとりどりの果実と、 美しくなめらかなバター。 自然からの恵みをじょうずに組み合わせ バターの中に豊かな果実の香りを ぎゅっと、詰め込んで。 それぞれのおいしさを 引き出す工夫をたいせつに 果実とバターで とっておきのお菓子を作りました。 カナリナの歌声が聞こえてくる お茶のじかんがはじまります。
キャディ、製造業AIデータプラットフォームとしての、第二章。｜加藤/キャディCEO
こんにちは。キャディの代表の加藤です。 今回は、創業から7年間で最も大きな事業アップデートがありましたので、それについて書いています。最初に言いますが、ウルトラ長いですｗ 0: 製造業って面白い品質検査結果は、3点とも全て不良。 キャディが2017年11月9日の創業よりちょっと前に受注した記念すべき1号目の製品は、電車に使われる板金製品でした。一番最初は品質が怖いからと、念には念をで20社以上回った加工会社さんの中から、東大阪市を中心にトップ3の会社さんに全く同じ製品を発注。それにも関わらず、届いたものを私と創業メンバーの幸松の2人で検査したところ、結果は全て品質不良でした。今でも忘れない、3つの不良の内容は、穴のサイズ違い、塗装のムラ、寸法違い。既に時間は夕方で、翌朝自分でお客さんのところまで持って運んで行かないといけない。そんなわけで、最も自分たちで直せそうな「穴のサイズ違い」だった部
代理モデルによる機械学習モデルの説明 - Qiita
はじめに 代理モデル (surrogate model) とは複雑な機械学習モデル（e.g., DNN, GBDT）を近似する簡単なモデル（e.g., パラメタ数の少ないDNN, 単純決定木, etc）のことを指します．代理モデルは推論の高速化・機械学習モデルの説明などさまざまな用途に使われています． この記事では代理モデルによる機械学習モデルの説明をハンズオン的に紹介します．これは非常にシンプルかつ柔軟な手法ですが，アドホックな部分が多いためかハンズオン的な解説は見当たりませんでした．Christoph Molnar による Interpretable Machine Learning の Global Surrogate に概要は示されているので機械学習に詳しい人はこちらを読めば十分かもしれません．関連するライブラリに LIME や TreeSurrogate がありますが，わたしがこ
Lights and Shadows – Bartosz Ciechanowski
Lights and ShadowsIt’s hard to describe how paramount light is. Ultimately, it is the only thing we see. But just as important the presence of light is, so is its absence. To talk about light we have to start in darkness so let’s jump straight into it. Light is a visible portion of electromagnetic radiation, but in this article I’m not going to discuss any of the underlying details like wave-parti
Java言語への変換によるポインタ演算の安全な実装方式
C言語サブセットのプログラムを安全なJava言語のプログラムに変換する方式を実装した．そのような変換のためには，C言語独特の操作であるポインタ演算を，Javaプログラムで安全に模倣する必要がある．これを実現するために，まずC言語のポインタやメモリブロックを表現するJavaのクラスを定義した．次に，これらのクラスを利用するようなJavaへの変換規則を定め，規則に従ってトランスレータを実装した．また，C言語ではポインタと整数を相互にキャストすることが可能なので，整数もポインタと同様のオブジェクトに変換しなければならない．しかし，すべての整数をポインタと同様に表現すると大幅に効率が悪化する．そこで，データフロー解析により，ポインタが代入されない基本型の変数は，Javaの通常の基本型変数に変換する，などの最適化を実装した．9個のベンチマークプログラムで実験したところ，最適化前の変換結果コードは元の
[第1話] 劔の軍医 - 黒岩花奈子 | となりのヤングジャンプ
劔の軍医 黒岩花奈子 時代は太平洋戦争。戦線が激化するビルマへと赴いた軍医の久藤を待ち受けていた過酷な環境とは――。銃を持たないもう一つの最前線で繰り広げられるサバイバル医療軍記！
![[第1話] 劔の軍医 - 黒岩花奈子 | となりのヤングジャンプ](https://cdn-ak-scissors.b.st-hatena.com/image/square/08ea4a00b7cf1feb0af6e2fca4989aafb7ec19d2/height=288;version=1;width=512/https%3A%2F%2Fcdn-img.tonarinoyj.jp%2Fpublic%2Fseries-thumbnail%2F2550689798789371544-09b0871b57592292662beeeafb45c358%3F1720003158)
初心者のモナド
これは、 Haskell Advent Calendar 2012 20日目の記事です。 はじめに Haskellで(趣味の)プログラムを書き始めて、ほぼ1年になりました。最初、モナドを調べたとき、さっぱり分からなくて困りましたが、今は少なくとも使うことはできるようになりました。初心者ですが、モナドの壁を振り返ります。 モナドを理解するときの壁 モナドが何かについて考えること モナドの(>>=)は、何か分からない モナド則が謎 今振り返ると、大雑把にいって、上の3つの壁がありました。 「モナドが何かについて考えること」による壁 １年前、「Haskell のIOは、モナドだ」というのを見て、モナドに興味を持ちました。自然の成り行きとして、「モナド」が何かを調べました。すると「モナド」は、圏論の用語だというところに行き着くわけですが、圏論はなかなか敷居が高くて理解することはできませんでした。(
カード決済のセキュリティ的な問題点とその対策、IC チップの決済とその仕組み - カンムテックブログ
エンジニアの佐野です。カンムはカード決済のサービスを提供しています。カード決済にはいくつかの決済手段があり、マグストライプ、IC、IC非接触(俗に言うタッチ決済)、オンライン決済などの機能が提供可能です。iD のようなスマートデバイスにカード情報を入れてスマホでタッチ決済する仕組みもあります。カンムのプロダクトであるバンドルカードはマグストライプとオンライン決済、Pool はマグストライプとオンライン決済に加えて IC接触決済、IC非接触決済(タッチ決済)を提供しています。今日はセキュリティ的な観点から各種決済手段の特徴や問題点とともに、主に IC 決済の仕組みについて小ネタを交えつつ書いていこうと思います。カンムが提供しているカードは Visa カードでありクローズドな仕様や confidential なものについては言及することはできませんが、公開仕様であったり一般的な事柄のみを用いて
C# CODING GUIDELINES 2024 - Qiita
このドキュメントについて 命名規則、コーディング規則を遵守して生産性を上げることを目的としています。 自分で書いたコードでも長い間メンテナンスしなければ他人のコードと同じです。 一定の規則に従い、読みやすく、バグの少ない、メンテナンスのしやすいコードを目指しましょう。 規約に従うことは、多くの問題を改善し、技術的負債を減らします。 本書は、以下のページを参考にしています。 Microsoft Learn / .NET / C# / コーディングスタイル / C# 識別子の名前付け規則と表記規則 Microsoft Learn / .NET / C# / コーディングスタイル / 一般的な C# のコード規則 以下は、過去のものなので、最新の事情を反映していませんが、大部分は適用できます。 Microsoft Learn / .NET / フレームワーク デザインのガイドライン / 名前付け
SDF Based Transition Blending for Shadow Threshold Map - ながむしメモ
セルルックキャラクターの顔の陰制御に用いられるShadow Threshold Mapを生成する仕組みについて. 連番二値画像からMapを合成するメイン部分の説明を試みます. SDFによる補間で Shadow Threshold Map を連番画像から自動生成するツール をGitHubのSDFツールの中にUPしました. EUW_GenerateShadowThresholdMap がツール自体. 現状は全画像が等間隔な閾値になります. 合成方法の説明などドキュメントは後で(∩´∀｀)∩https://t.co/6GdbEja9o3#UE5 pic.twitter.com/52QUQek23i— なが (@nagakagachi) 2023年12月5日 概要 UE5上のツールとしては以下のSDF関連ツールに含まれています. ブラックボックス無しでBPとマテリアルとして実装しているので詳細はそ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cycle basis - Wikipedia
Spline Regression with Automatic Knot Selection
Spline Regression with Automatic Knot Selection
Generalized ridge regression and smoothing splines
GitHub - alexpatel/lean-ex: exercises for LEAN theorem prover
GitHub - leanprover-community/mathematics_in_lean: The user home repository for the Mathematics in Lean tutorial.