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

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

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

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

負数の取り扱いとビットの反転がわかりにくいのでメモ

環境

続きを読む

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

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

(3次元の)ディリクレ分布をpythonmatplotlib.plot_surfaceで可視化するメモ.

環境

続きを読む

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

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

2020年代でも使えそうな論理型言語のメモ. 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない.

このあたりhttp://minikanren.org/#papers を見ると,最近では"Program Synthesis"というコードの自動生成(Quin生成)の分野では活躍してるぽい.

結論から列挙すると以下が良さげ.

続きを読む

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

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

docker利用によりWindowsでもMinGWなど使わずとも手軽にUnixベースのgccが利用できるようになった.

gccでの中間コード(Intermediate code; アセンブリコード), オブジェクトコード(Object code), 実行ファイル(Executable file)の流れとオプションを使った生成のメモ.

環境

  • Windows10

続きを読む

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

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

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

環境

  • Windows10

続きを読む

ルートと無限連分数メモ

ルートと無限連分数メモ

ルートの入った無理数を無限連分数で表現しようという面白い記事があったのでメモ. また,収束条件を満たすかあたりも残しておく.

gendai.ismedia.jp

環境

続きを読む

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

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

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

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

※なおadb backupadb restoreは将来的にdepricate予定になっているので使う場合は注意. 代替コマンドの予定もない?

環境

  • Windows10 ver2004(OSビルド 19041.330)
    • Android SDK Platform-Tools Version 30.0.4-6686687
      • Android Debug Bridge version 1.0.41

続きを読む

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

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

2次の分数関数$\frac{1}{ax^{2}+bx+c}$の積分の導出とhyperbolic tangentへの変換メモ.

続きを読む

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

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

微分方程式モデルでPursuitCurve問題:hawk-pigeon問題(鳩を追いかける鷹の追跡曲線)を解くメモ.

hawk-pigeonモデルとここでは呼んでいるが他の専門書では

  • 商船を追いかける海賊船
  • 飛んでいる飛行機を撃ち落とすための迎撃ミサイル

などの追跡曲線で紹介されている.

今回は以下をまとめる.

  • その微分方程式がどんな形になるか
  • どう解くか
  • capture time(捕捉時間)はどうなるか

図1. hawk-pigeon problem

参考:

環境

  • Windows10 ver2004(OSビルド 19041.330)
  • Docker for win v19.03.12
    • jupyter/scipy-notebook

続きを読む

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

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

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

参考: Windows Subsystem for Linux で VS Code の使用を開始する | Microsoft Docs

環境

  • Windows10 ver2004(OSビルド 19041.330)

続きを読む