STLのステパノフが『プログラミング原論』という変な本を書いている。昔から持っていたが読んでなかった、変だから。少し読もうかと思った。『原論』の内容をステパノフ理論と呼ぶことにする。正則型（regular type）とは、 計算可能で全域な等号述語を持っ…

コマンドラインからC++使用のために。発端は： Mingw-w64/MSYS2 を入れなくても Git for Windows で間に合うみたい - 檜山正幸のキマイラ飼育記 MSVC Community https://www.visualstudio.com/products/visual-studio-community-vs インストール場所： C:\Pr…

ソフトウェア作法 本棚 右の壁から8面目、9面目、木製 0499 - 0555 - 檜山正幸のキマイラ飼育記 メモ編 Javaスレッドプログラミング 本棚 右の壁から6面目、7面目 0448 - 0498 - 檜山正幸のキマイラ飼育記 メモ編 C++関係 本棚 右の壁から6面目、7面目 0448 …