はしくれエンジニアもどきのメモ

情報・Web系技術・Englishの勉強メモ・備忘録です。

2020年代でも環境構築できる論理型言語のメモ

2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ. 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない. このあたりhttp://minikanren.org/#papers を見ると,最近で…

gccのコンパイルの流れとオプションのメモ

gccのコンパイルの流れとオプションのメモ docker利用によりWindowsでもMinGWなど使わずとも手軽にUnixベースのgccが利用できるようになった. gccでの中間コード(Intermediate code; アセンブリコード), オブジェクトコード(Object code), 実行ファイ…

Windows環境にUEFIアプリ動作用の仮想環境qemuをインストールする

Windows環境にUEFIアプリ動作用の仮想環境qemuをインストールする UEFIアプリ自体はWindowsPCでも動くのに意外に仮想環境であるqemuをwindowsにインストールして動かす話があまりなかったのでメモ. Windows環境にUEFIアプリ動作用の仮想環境qemuをインスト…

ルートと無限連分数メモ

ルートと無限連分数メモ ルートの入った無理数を無限連分数で表現しようという面白い記事があったのでメモ. また,収束条件を満たすかあたりも残しておく. gendai.ismedia.jp ルートと無限連分数メモ 環境 ルートを求めるテク 収束を可視化 無限連分数で表…

Androidアプリ単体をadbでバックアップ/リストアする

Androidアプリ単体をadbでバックアップ/リストアする Androidアプリ単体をadbでバックアップ/リストアするメモ. Android SDK Platform-Tools内のadbコマンドを使うとアプリ単体または全部のバックアップ/リストアが可能になる. ※なおadb backupとadb resto…

2次の分数関数の積分とhyperbolic tangentへの変換

2次の分数関数の積分とhyperbolic tangentへの変換 2次の分数関数$\frac{1}{ax^{2}+bx+c}$の積分の導出とhyperbolic tangentへの変換メモ. 2次の分数関数の積分とhyperbolic tangentへの変換 まず平方完成する $1/(x^{2} + k^{2})$の積分を求める 平方完成…

微分方程式モデルでPursuitCurve問題を解く:hawk-pigeon問題

微分方程式モデルでPursuitCurve問題を解く:hawk-pigeon問題 微分方程式モデルでPursuitCurve問題:hawk-pigeon問題(鳩を追いかける鷹の追跡曲線)を解くメモ. hawk-pigeonモデルとここでは呼んでいるが他の専門書では 商船を追いかける海賊船 飛んでいる飛…

VSCodeでWSL2のLinux上のファイルをリモート操作する

VSCodeでWSL2のLinux上のファイルをリモート操作する Windows上にVSCodeがあればssh使わずとも WSL2上のLinuxにアクセスし操作ができる. これができると,例えば,WSL2上のLinuxにあるcコードをVSCodeで編集し gcc環境でコンパイルして結果を得ることが容易…

WSL2でネットワークのドメインを解決できない場合の対処

WSL2でネットワークのドメインを解決できない場合の対処 WSL2上のLinux(ex.Ubuntu)で, ping google.comやapt updateがうまく行かない場合(Temporary failure)の対処である. どうやらDNSサーバの設定がよくなく?ドメインの解決ができなくなっているぽい. …

どの党派が小池百合子氏を再選させたかをベイズ推定する

[選挙統計]どの党派が小池百合子氏を再選させたかをベイズ推定する 都知事選が2020年7月5日にありました. 大差で小池百合子氏が再選しました. 今回は小池百合子氏に投票した内どの党派が多いかをベイズ推定で計算します. 結論からいうと無党派層(小池氏…

WSL2のインストールメモ

WSL2のインストールメモ Windows10 ver2004からWSL2のインストールが可能になったのでそのメモ. 以下のドキュメントの手順に従えばインストール可能. docs.microsoft.com WSL2のインストールメモ 環境 導入手順 Windows10をver2004へアップデート Windows …

点とバウンディングボックスとの距離を求める

点とバウンディングボックス(超長方形hyper rectangle)との距離を求める 超次元点と超次元長方形の距離を求めるメモ. 距離の考え方としては以下になる. バウンディングボックスの外に点がある場合は,その最短距離の求め方 バウンディングボックス内に点…

内分点と重み付け平均の考察

内分点と重み付け平均の考察 内分点と重み付け平均の考察メモ gist: 内分点と重み付け平均 · GitHub 内分点と重み付け平均の考察 内分点1つの場合 なぜ重みが逆になるのか 内分点が2つある場合 繰り返し内分点を分ける場合 重み付け平均 データが2種類の場合…

ガンマ分布のパラメータ推定

ガンマ分布のパラメータ推定 ガンマ分布のパラメータ推定メモ. 以下の手法のメモ 標本平均,標本分散からの近似値推定 最尤推定 shapeパラメータの近似値推定 それを初期値として数値解析的にニュートン・ラフソン法で求める MathJax.Hub.Config({ tex2jax:…

リッジ回帰(Ridge Regression)の正規方程式を導出

リッジ回帰(Ridge Regression)の正規方程式を導出 リッジ回帰(Ridge Regression)の正規方程式を導出するメモ. L2ノルムの2乗により微分が容易にできるので解析解として導出できる. MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']…

Windowsに64bit版Mecabとpython用bindingをインストールする

Windowsに64bit版Mecabとpython用bindingをインストールする 有志の方がwindows用64bit版のMecabインストーラー(非公式)とpython用bindingモジュールを作成していたのでインストールメモ. 参考: qiita.com 環境 Windows10 64bit pip 20.0.2 Python 3.7 W…

scikit-learnでMNISTの手書き数字データセットをロードする

scikit-learnでMNISTの手書き数字データセットをロードする http://mldata.org/ サーバーが死んでる sklearn.datasets.fetch_mldataがdeprecateされる ということについてのメモ. 環境 Windows10 64bit pip 20.0.2 Python 3.7 scikit-learn '0.21.2' scikit…

SIFT, SURFが利用できるPython用OpenCVをインストールする

SIFT, SURFが利用できるPython用OpenCVをインストールする Python用OpenCVのインストールメモ. Python用OpenCVでは,商用利用不可アルゴリズム(SIFTやSURF)が含まれないモジュールと 含まれるモジュールの2種類がある. 環境 Windows10 64bit pip 20.0.2 Py…

カイジのEカードの勝率を計算する

カイジのEカードの勝率を計算する 図書館でNewton別冊”確率に強くなる―「偶然」にひそむ数学法則”(2010年発行なのでちょっと古い)を読んでたら面白いコラムがあった. 選択制じゃんけん.つまりEカードの勝率である. 確率に強くなる―「偶然」にひそむ数学…

2019年度のセパ両リーグのピッチャーの成績データを偏相関係数でみる

2019年度のセパ両リーグのピッチャーの成績データを偏相関係数でみる 2019年度のセパ両リーグのピッチャーの成績データの変数間の偏相関係数がどうなっているか見てみる. 特に勝利数と防御率に着目する. repository: github.com MathJax.Hub.Config({ tex2…

行列の固有値分解(スペクトル分解)の写像を可視化

行列の固有値分解(スペクトル分解)の写像を可視化 行列によるベクトルの写像は,行列の固有値分解で3段階で写像されている. それを可視化してみる. MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'…

pythonで偏相関係数行列(pcor)を計算

pythonで偏相関係数行列(pcor)を計算 以前,3変数(X,Y,Z)の場合の偏相関係数の式を導出した. cartman0.hatenablog.com 今回は3変数以上の多変数の場合の偏相関係数行列を求めてみる. ただscipy.stats, pandas, statsmodels,scikit-learnなどで関数がない…

線形写像と基底の取替えの表現行列のメモ

線形写像と基底の取替えの表現行列のメモ 線形写像(mapping)と基底の取替えの表現行列での変換を図示化してメモ. MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 線形写像と…

Twisted GFSRとMersenne Twist(メルセンヌ・ツイスタ)のメモ

Twisted GFSRとMersenne Twist(メルセンヌ・ツイスタ)のメモ 前回はLFSRとGFSRのメモであった. cartman0.hatenablog.com 今回はそれを発展させたTwisted GSRとMersenne Twisteについてのメモ. かんたんな発展の流れとしては Twisted GSR: GFSR(一般フィ…

Windows10にPlantUML環境を作る

Windows10にPlantUML環境を作る Windows10環境で, コマンドプロンプト(cmd)からPlantUMLを動作させるメモ. 環境 Windows10 64bit Windows10にPlantUML環境を作る 環境 必要なファイルをインストール Java(OpenJDK)のDL,インストール GraphVizのインストー…

線形フィードバックシフトレジスタLFSR,一般フィードバックシフトレジスタGFSRのメモ

線形フィードバックシフトレジスタLFSR,一般フィードバックシフトレジスタGFSRのメモ 前回はざっくりM系列法のメモだったが,今回はM系列を利用している線形フィードバックシフトレジスタLFSRと一般フィードバックシフトレジスタGFSRのメモ. cartman0.haten…

疑似乱数発生法 M系列法のメモ

疑似乱数発生法 M系列法のメモ 前回は線形合同法のメモだったが,今回はもう1つの疑似乱数発生法として, メルセンヌ・ツイスタの基になっているM系列法のメモ. cartman0.hatenablog.com MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','…

乱数発生方法と線形合同法のメモ

乱数発生方法と線形合同法のメモ メルセンヌ・ツイスタの前知識として,乱数発生方法と線形合同法のメモ MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 乱数発生方法と線形…

Gijika.comの上級編「四分割表での比較」のレクチャーメモ

Gijika.comの上級編「四分割表での比較」のレクチャーメモ 前回は,応用編Cセット「RCT・DB・有意・お蔵入り・メタ分析」についてまとめた. cartman0.hatenablog.com 今回でラスト. Gijika.com(https://gijika.com/rate/literacy.html)にある上級編「四分…

Gijika.comの応用編Cセット「RCT・DB・有意・お蔵入り・メタ分析」のレクチャーメモ

Gijika.comの応用編Cセット「RCT・DB・有意・お蔵入り・メタ分析」のレクチャーメモ 前回は,応用編Bセット「バーナム効果,自己成就予言,認知的不協和,学会/論文,説明責任,誤謬論」についてまとめた. cartman0.hatenablog.com 今回は,Gijika.com(http…