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

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