2014-10-25から1日間の記事一覧
PowerShellでは、echo、cat、lsといったよく知られたコマンドは最初から用意されています。ただし、これらは別名(alias)であって、PowerShell本来の名前は Write-Output、Get-Content、Get-ChildItem です。コマンドラインから対話的に使うには短い名前が…
AとBを集合として、直積を A×B とします。2つの射影を p:A×B→A と q:A×B→B とします。具体的に書くと、p(a, b) = a、q(a, b) = b です。さて、ある人に「射影って全射ですよね?」と聞かれたので「もちろん、そうだよ」と答えました。となると、「直積の射影…