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

情報系技術・哲学・デザインなどの勉強メモ・備忘録です。

Mesonの使い方メモ

Mesonの使い方メモ Mesonの情報無さすぎるということでメモ。 触ってみた所感としてcmakeより楽なんだろうけど、どのbuitinオプションがどの引数を制御してるかなどがわかりにくい.. (ver0.61なので今後変わりそうですが) The Meson Build system meson…

はてなブログでmermaidの図を描く

はてなブログでmermaidの図を描く Githubでもサポートされたmermaidをはてなブログでも描けないか試したところ多少なんとかなったのでメモ。 ```mermaid graph TB H["Hatenaで"] M["mermaid"] H-->M ``` 上のmarkdownコードがこうなる graph TB H["Hatenaで"…

emscriptenでよくみるoption-flagをまとめる

emscriptenでよくみるoption-flagをまとめる emcc --helpしても出てこないオプション(e.g. clang由来のものとか)もあってよくわからんとなったのでメモ。 emscriptenでよくみるoption-flagをまとめる 環境・事前準備 困ったときのコマンド emscriptenのコ…

DockerでExited(139)が出たときの対処

DockerでExited(139)が出たときの対処 doker runしたときにコンテナが立ち上がらずExited(139)で終了してしまうときの対処メモ。 この終了コードはDocker Desktop上でも確認できる。 Exited(139) DockerでExited(139)が出たときの対処 環境・事前準備 対処方…

Docker+VSCodeのRust環境を作る

Docker+VSCodeのRust環境を作る RustがCとPythonの間(C寄り)の中級型言語でCより書きやすく速度はCと大差ないらしいということで、触りたくなったのでWindowsでの環境構築を調べたメモ。 GUIアプリを作るようなケースでなければ以下の方法で問題ないはず。…

Jupyter上にGraphvizの図をSVGで描画する

Jupyter上にGraphvizの図をSVGで描画する Jupyter上にGraphviz(.dot)の図をSVGで描画することに成功したのでメモとして残す。(※拡張機能としてはまだ作れていない) Viz.jsのおかげでJavaのインストールすら不要になった..! dotファイルのコードを書い…

畳み込み積分は結局何を計算してるのかメモ

畳み込み積分は結局何を計算してるのかメモ 畳み込み積分をフーリエかラプラス変換で周波数領域にすると積の形にできて便利だよねくらい雑に理解してたので、 時間領域でどんな計算してるのかメモとして残す。 この記事で出てくる式や図はgistにまとめている…

はてなブログのコードブロックのcssスタイルを変更する

はてなブログのコードブロックのcssスタイルを変更する はてなブログのコードブロックのスタイル変更時のメモ。 色などのスタイル変更 言語名の追加 を中心にまとめる。 はてなブログの場合、意外に行数表示はCSSだけではタグ構造上無理でJSが必要になりそう…

伊勢田哲治「哲学的思考トレーニング」の感想とメモ

伊勢田哲治「哲学的思考トレーニング」の感想とメモ 伊勢田哲治先生の「哲学的思考トレーニング」(2005)を読んだので感想とメモを残す。 哲学的思考(クリティカルシンキング)とはなんぞやからどうやるのか (哲学的)議論(主張)の扱い方、さらに価値主張…

ドット絵で30°の斜線を引くには

ドット絵で30度の斜線を引くには ドット絵で中途半端な角度の斜線を引くための計算メモ. 数学的に考えると,極座標系のグリッド化問題になる? 結論からいくと, 単純に30度を引くには,「2,2,1,...」の周期並びで問題ない. arctan 3/5 ≒ 31度になる.+1度…

BlenderでMMDのpmxファイルを読み込む

BlenderでMMDのpmxファイルを読み込む BlenderでMMDのpmxファイルを読み込むには,アドオンの導入が必要なのでその辺のメモ. BlenderでMMDのpmxファイルを読み込む 環境 最新版MMDの導入 Blenderのためのpmxファイル読み込み用アドオンmmd_toolsの導入 Blen…

プチブロックで学ぶプーリー・ベルト機構

プチブロックで学ぶプーリー・ベルト機構 ダイソー100均のプチブロックの車輪パーツを見てたらプリー・ベルト機構を作れそうだなということで作ってみたメモ. とりあえず車輪4つとベルト用の輪ゴムあれば,以下のような簡易なものは作れる. ただし,駆動…

2010-2020年くらいのプラモ界隈の流れをざっくりまとめたい

2010-2020年くらいのプラモ界隈の流れをざっくりまとめたい 最近,自分の中の小学生男子心が疼きプラモ熱が高まり,調べてみたところ昔比べてかなり結構進化してるなと思ったのでいろいろまとめたい. 今のプラモ界隈の流れとしてポイントは6つ+αほどある. …

pythonのビット演算周りのメモ

pythonのビット演算周りのメモ 負数の取り扱いとビットの反転がわかりにくいのでメモ pythonのビット演算周りのメモ 環境 pythonでの2進数,16進数 pythonでの負数ビット ビット文字列の自作関数 ビット文字列から整数への変換 2の補数ビット文字列から整数…

ディリクレ(Dirichlet)分布を3Dで可視化する

ディリクレ(Dirichlet)分布を3Dで可視化する (3次元の)ディリクレ分布をpythonのmatplotlib.plot_surfaceで可視化するメモ. ディリクレ(Dirichlet)分布を3Dで可視化する 環境 ディリクレ分布 matplotlibで可視化する. 参考リンク MathJax.Hub.Config({ t…

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: [['$','$'], ['\\(','\\)']…