位相空間上の層の圏論的解釈(その2)
層の定義の復習 位相空間 $X$ の上の 前層(presheaf) $F$ とは関手 $$ F: \mathcal{O}^{\mathrm{op}}_X \rightarrow \mathrm{...
1
0
Comment0
15 search resultsShowing 1~15 results
Stocked
You need to log-in
位相空間上の層の圏論的解釈(その1)
層論の圏論的な取り扱いを勉強したので備忘として書く。そもそもが抽象度の高い層論であるが、圏論的に記述するとさらに抽象度が上がる為、イメージをしっかり持っておきたい。層 (wikipedia)には...
10
8
Comment0
機械語手書きから言語処理系をブートストラップする
この記事は言語実装のカレンダー | Advent Calendar 2021 - Qiita https://qiita.com/advent-calendar/2021/lang_dev の4...
94
57
Comment1
高次元空間でのユークリッド距離とコサイン類似度
以下のツイートを見かけたので、実験して考察してみました。 実験① ランダムに選んだ3つの点 $x,y,z\in\mathbb{R}^n\setminus\{0\}$ について、ユークリッド距離と...
3
0
Comment0
情報幾何メモ: 一次元正規分布のなす空間は負の定曲率区間であること①
たまたま見つけた甘利先生の情報幾何の生い立ちという寄稿に 私は，この輪講のレポートとして，正規分布のリーマン計量(Fisher情報行列)を計算してみた．また，測地線や曲率を計算した．程よい演習問...
5
4
Comment0
Quaternionを使わないMadgwick Filter
[2021.6.17追記] 下記記事では、回転行列 $R$ で直接微分して勾配法を適用していますが、 典型的な多様体上での最適化問題であるのでLie代数を使用するなどより良い方法があると思われま...
36
25
Comment0
Truncated Distributionからのサンプリング
確率分布を$x \in[a,b]$に制限してサンプリングを行う方法のメモ。 例えば tf.random.truncated_normalみたいなやつを使いたい時、他のフレームワークには実装が無か...
4
5
Comment0
cv::projectPointsの入出力のshapeについてのメモ
OpenCVにcv::projectPointsという関数があるのですが、入出力の配列がいろいろshapeを取り全く分からないので調査した個人的なメモ。OpenCVのいろいろな関数がこんな感じな...
3
4
Comment0
Distortion,UndistortionのChainer実装
レンズ歪みを扱う関数(distortion, undistortion)のChainer実装が欲しかったので探したが、見つけられなかったので自作した。なかなか大変だったのでメモを残す。 dist...
2
0
Comment0
Raspberry PiでGPGPU
Raspberry PiでGPGPUを行う為の**PyVideoCore**というPythonライブラリを作りましたので紹介します。 Raspberry PiのGPU Raspberry Piシ...
205
185
Comment0
Raspberry PiのGPUで行列乗算(その1)
追記: 2017/06/06 その後の成果 その後の私達の努力の結果、下記記事のコードよりさらに高速化されています。近日sgemmのコードを公開する予定です。 また以下の記事ではraspiのgp...
220
206
Comment0
高位合成コンパイラを作ってみたい①
これは言語実装 Advent Calendar 2016の4日目の記事です。 こちらは一般的なプログラミング言語の処理系とは目的も作り方も全く異なる言語処理系について、勉強して実際に作ってみよう...
31
30
Comment0
Markov Logic Network (2)
こちらの続き。 Weight Learning 前回は各論理式$f_i$に重み$w_i$が与えられているという状況でのクエリについてやったが、現実的には$w_i$は学習の対象となる。 重み$\m...
5
5
Comment0
Markov Logic Network (1)
Markov Logic Network(MLN) というモデルについて勉強した際のノートです。誤りがあるかもしれませんのでご注意下さい。とりあえず使う為にはAlchemyのようなソフトウェアも...
21
17
Comment0
Raspberry PiのGPUで行列乗算(その2)
1週間前にRaspberry Pi Advent Calendar 2015に投稿するはずだった記事です。Raspberry PiのGPUで行列乗算(その1)の続きです。予定を過ぎ大変申し訳あり...
82
80
Comment0
15 search resultsShowing 1~15 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles