ホスト鍵とは SSHの鍵はデジタル署名用の秘密鍵であり、本人確認に使われる。いわゆるid_rsaは、ユーザー側の本人確認のために使われる。 一方、SSHサーバー側も専用の秘密鍵を所有している。これは /etc/ssh/ssh_host_{dsa,ecdsa,ed25519,rsa}_key のような…

最近、再帰的余代数という概念について少し勉強したので、証明をまとめてPDFにした。 github.com 動機など細かいところには触れられていないが、以下のことが証明されている。 終再帰的余代数 = 始代数 Setでは、再帰的ならば整礎

WSLとXmingを組み合わせていい感じに環境整備できてきたので記録をとる。 WSLとXmingについて WSLはWindows上でLinuxのプロセスを実行する機能である。互換性は完全ではないが、多くのソフトウェアが動くようになっている。ただし、そのままではGUIは動かな…