「幼稚園児のための量子力学」（Kindergarten Quantum Mechanics）や「物理系実務者のための圏論入門」（Introducing categories to the practicing physicist）を書いた、お絵描きとモノイド圏が大好きなおにいさんボブ・クック（Bob Coecke）が、去年の夏…

void型とunit型に関して、だいぶ前に話題にしたことがあります。 僕らは無値に関して無知なのか C/C++のvoidってのは何だろね void型は、直感的には「値がない」ことを示します。unit型（シングルトン型ともいいます）は、常に特定・単一の値を返すことを示…

ワールドカップ： イタリアの監督（リッピさん）と日本の監督（岡ちゃん）のインタビュー映像を見て、それぞれの母国でこれからどういう報道がなされるかを想像すると、「結果がすべて」だと思えてしまう。ドゥンガだろうがマラドーナだろうが、負ければメチ…