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

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

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

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

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

• SWI-Prolog(+python+pyswip)
• Java + Clojure + core.logic
• Python + Hy + miniKanrenライブラリ
• Racket: Schemeから派生
• 好きな言語+mini/microKanren

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

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

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

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

環境

• Windows10
  • Docker Desktop
    • gcc image
  • WSL2
    • Ubuntu 20.04 LTS （動作確認用）

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

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

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

環境

• Windows10

ルートと無限連分数メモ

ルートと無限連分数メモ

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

gendai.ismedia.jp

環境

• Windows10
  • python 3.8

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

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

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

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

※なおadb backupとadb 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

参考：

• D.N.Burghers, M.S.Borrie, "Modelling with Differential Equations", chapter6:Non-Linear Second Order Differential Equations, p.134
• https://mse.redwoods.edu/darnold/math55/DEproj/sp08/mseverdia/pursuit.pdf

環境

• 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）
  • WSL2
    • Ubuntu 20.04LTS
  • VSCode 1.47.0

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

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

WSL2上のLinux(ex.Ubuntu)で， ping google.comやapt updateがうまく行かない場合(Temporary failure)の対処である．

どうやらDNSサーバの設定がよくなく？ドメインの解決ができなくなっているぽい．

参考：

• Apt-get update and apt-get upgrade fail · Issue #4435 · microsoft/WSL · GitHub

• WSL2 DNS stops working · Issue #4285 · microsoft/WSL · GitHub

現状（2020/07/16），原因は不明ぽいです． （/etc/resolv.confがどっかのタイミングで勝手に書き換わる？）

環境

• Windows10 ver2004（OSビルド 19041.330）
  • WSL2
    • Ubuntu 20.04
  • Docker Desktop for Windows 2.3.0.3(45519)
    • Docker Engine: 19.03.8
  • VSCode 1.47.0

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

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

都知事選が2020年7月5日にありました． 大差で小池百合子氏が再選しました． 今回は小池百合子氏に投票した内どの党派が多いかをベイズ推定で計算します．

結論からいうと無党派層（小池氏に投票した5割が無党派層）です．

※なお，筆者は都内在住ではないので投票に参加していません

※また，この記事は選挙開票が終わった後にpublishしており公職選挙法に反するものではないことを明記しておきます．