Sponsored
Rust

Rust x Raspberry Pi Pico で超音波測距

概要 この記事では、 Raspberry Pi Pico に超音波測距モジュール HC-SR04 を接続し、それらを Rust 言語によって制御して、物体との距離を測る方法を説明する。 仕様 (※写真と回路図は、 超音波測距モジュールの向き...
電気・電子工作

ミルマンの定理とその証明

概要 この記事では、ミルマンの定理について説明した後、その証明を行う。 また、別記事にて定理の公式から、等価回路を考える上での示唆を考察する。 定理 図1のように、 \(N\) 個の枝路に電源と抵抗が並列に接続されている回路を考える。(この...
電気・電子工作

Δ-Y(デルタ-スター)変換の公式とその証明

デルタ回路・スター(Y)回路はともに、3つの抵抗を接続した回路です。Δ-Y(デルタ-スター)変換の公式を用いると、これらの回路を等価にする抵抗値の組み合わせを計算できます。この記事を読むことで、Δ-Y変換公式の原理やその証明を理解することができます。
プログラミング

指数関数を含む関数のオーバーフローと、その対策

概要 この記事では、分子分母に指数関数を含む活性化関数におけるオーバーフローの問題と、その解決策について説明する。 本稿で取り扱うのは ソフトマックス関数 シグモイド関数 tanh関数 ソフトプラス関数 である。 指数関数のオーバーフロー ...
Numpy

Numpyで浮動小数点数の精度・最大値・最小値を取得

概要 この記事では、Numpyで扱える浮動小数点数の精度や最大・最小値の範囲を取得する方法について説明する。 また、おまけとして、整数型の最大・最小値を取得する方法についても述べる。 numpy.finfo() 関数の概要 Numpyで扱え...
プログラミング

PythonでShapeファイルを読む―GeoPandas, Folium

概要 地理空間情報を記録したShapeファイル.shpを開くためには、通常ArcGISやQGISなどの専用ソフトウェアが必要となる。 ここでは、それらのソフトウェアを使わずに、Shapeファイルの内容を確認する方法について説明する。 また、...
数学

行列の指数関数の定義と性質、その証明

概要 この記事では、行列の指数関数を定義した後、それが満たす代表的な性質について述べる。 最後に、性質ごとの公式についての証明を付加する。 定義 正方行列 \(\mathbf{A}\in\mathbb{C}^{n\times n}\) につ...
Rust

組込みRust実装例集―Raspberry Pi Picoで電子工作

概要 この記事は、Raspberry Pi PicoにRust言語を使って組込みを行う際のTips集です。 各電子パーツを使って実現したいことから、対応するコードの記法を探せるようになっています。 適宜追加するので、ちょくちょく見に来てもら...
確率・統計

集合の類似度指標まとめ

概要 この記事では、2集合の類似度を測る指標として、Jaccard係数、Dice係数、Simpson係数、Kendall相関係数、超幾何分布の累積分布に基づく指標を説明する。 一般的な指標は前3者であるが、ここでは、集合に含まれうる要素の全...
Python

Leafletで地図に画像を重ねる

概要 この記事では、Leafletを用いてWeb地図を表示し、その上の任意の位置に、画像を重ねて描画する方法について解説する。 例として、OpenStreetMapから取得した地図に、伊能忠敬の地図を重ねて表示してみる。 素材の取得 地図タ...