https://msdn.microsoft.com/ja-jp/library/cc448053.aspx https://msdn.microsoft.com/ja-jp/library/cc448089.aspx [追記]詳しいことをシフトJIS文字列とユニコード文字列の変換のときの終端ヌルとかバッファ長とか - 檜山正幸のキマイラ飼育記に書いた。[…

通常のラムダ計算を0-計算とすると、自然演繹が1-計算で、シーケント計算（の証明）が2-計算だろう。各次元のラムダ計算がバラバラで統合されてないのがダメ。大きなラムダ計算は統合の試みだが、ちゃんとやってないな。デカルト閉圏の構造を写し取るのだか…

とあるトラブルで、ビチャビチャになったので捨てる。が、オリジナルのURLを後で探す。 On the Category of PROPs / Hackney & Robertson BASIC CONCEPTS OF ENRICHED CATEGORY THEORY/ Max Kellyhttp://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdfch…

MinGWのgccはWindows.hを備えているので、 #include <Windows.h> #pragma comment(lib, "shlwapi.lib") とかできる。Win32 APIを呼ぶことができる。PowerShellコマンドを真似たヤツ。 bool testPath(const string &path, bool container) { if (container) { return (bo</windows.h>…

本編 随伴のニョロニョロ関係をTypeScriptで確認する - 檜山正幸のキマイラ飼育記 の手計算 εP(X) P(ηX) = idP(X) まず定義： A:Type; η<X> :: X => A->X×A := x:X => λa:A.(x, a); ε<X> :: (A->X)×A => X := (f, a):(A->X)×A => (f a);ηとεはラムダ項じゃなくて射</x></x>…