math

このトピックを指定するにはmathと入力

articles

Trending Alltime Latest

【情報数学】記事概要

2022/01/31 3

Juliaで線形代数：固有値問題

2022/01/29 6

【情報数学】線形代数/基本変形と階段行列

2021/12/07 1

必要条件の意味で「必要」という用語を使う際には「すくなくとも」という枕詞をつけるとよい

2021/12/06 2

PythonでSMTソルバ (z3py) 入門

2021/10/25 6

【個人用メモ】Zennの記事内で数式のイコールを揃える

2021/09/20 5

分析や報告で役に立つ数学Tips

2021/08/19 2

例の積分

2021/06/10 2

１カ月前から統計検定準一級を目指すお話[随時更新]

2021/05/17 4

Reflexive, Transitive, Symmetric

2021/04/06 1

数学ガール　行列が描くもの　第3章の問題3-2　任意の2×2行列　A,B,C　に対して（A+B)C＝AC+BC が成り立つことの証明。

2021/02/27 1

夏休み宿題とその解答

2021/01/22 3

gcd(a, 2)=1であるaに対するax≡1 (mod 2^k)の効率的な求め方

2021/01/02 3

メビウス変換

2020/12/14 2

Coqで証明　関数に関する証明

イキリサバタロウ

2020/09/29 1

Coqで証明　述語論理　スコープに関する命題の続き

イキリサバタロウ

2020/09/26 1

Overleafの日本語索引でよみの頭文字を表示させる

2020/09/24 3

Coqで排中律の二重否定を証明（を一般化）

イキリサバタロウ

2020/09/22 2

マンハッタン距離45度回転をわかるようになる

13日前 1

離散ウェーブレット変換をわかりやすく

21日前 1

ウェーブレット変換の考え方

23日前 1

ガンマ分布に関連した数値計算のあれこれ

23日前

SIMD並列化ライブラリSmartVectorDotNet開発の知見まとめ(3) 初等関数の実装

2ヶ月前

SIMD並列化ライブラリSmartVectorDotNet開発の知見まとめ(2) SIMD演算の基礎

2ヶ月前 1

分割統治法の計算量

2ヶ月前 2

生命システムにおける普遍性

ふじー@Fujii Web Works

3ヶ月前

カルマンフィルターわかるまんへの旅(draft)

3ヶ月前

👨‍👨‍👦‍👦

ローレンツ方程式のローレンツさんとローレンツ力のローレンツさん

ふじー@Fujii Web Works

3ヶ月前 1

「システム生物学入門」入門について

ふじー@Fujii Web Works

3ヶ月前

回帰分析における説明変数の線形変換と回帰係数の関係（１）

5ヶ月前

最適輸送の整数解

5ヶ月前 1

ランダムサンプリングによる被覆半径の期待値

5ヶ月前 1

ガンベル分布に従う独立な確率変数の差がロジスティック分布に従うことの導出

5ヶ月前 2

Laurel created with polar and golden ratio by Julia language

6ヶ月前 1

C# (.NET)でバイト(Bytes)をKB, MB, GBに変換したい

Hirosuke Kayaba

6ヶ月前 3

3次元ベクトルの楽な外積計算法

2024/05/12 1

えっTableauってMOD関数ないんですか？という痒いところを解決する話

2024/05/10 2

score 関数による Wasserstein 距離の bound の導出

2024/05/04 1

受験数学をプログラミングで倒してみた

2024/04/14 1

多次元の最小二乗法

2024/03/30 1

フィッシャー情報行列が半正定値であることの証明

2024/03/28 1

Animate with springs

2024/03/21 1

行列積状態について考える (11) — NumPy を使わずに 50 量子ビットのもつれ状態を計算

2024/03/06 1

Lean 4 でカントールの定理

2024/03/04 2

母平均の仮説検定

ととぴろnote

2024/01/31 1

日本数学オリンピック(JMO)2024年予選解答私的解説その2

2024/01/25 1

二項分布の半整数補正をJuliaで確認

2024/01/05 1

距離関数で高速な当たり判定を実装する

2024/01/05 4