本編で参照した資料 20ページ： http://www.personal.psu.edu/ssb168/documents/writings/other/Vector%20Valued%20Integrals.pdf それ以外に、 The Bochner integral and vector-valued Lp-spaces https://isem.math.kit.edu/images/f/f7/AppendixF.pdf 12p…

C++に限らず、僕は「名前空間」的なスコープ概念が好きなんで、C++でも使ってしまっている。が、これは、名前のスコープが分かりにくくなる、面倒くさくなる、などの理由で他人からは歓迎されないかも知れないなー。ウーン、、、、既にあるレガシーコードは…

モノイド圏のモノイド単位の自己ホム End(i) は可換モノイドになる。 λI = ρI 本文で取り上げたフォークロア 加群圏＝モノイド関手 最強モナドは、モノイダルスタンピングモナド End(1)が可換なことは、ケリー／ラプラザが示した。「ケリー／ラプラザの可換…

うーんんん、'@'のエスケープがヤダ！ 忘れる！！あと、'#', '%' も！ 特殊文字が増えると、Wiki記法は耐え難くなるなー。ブレーンに近く書けるところがいいのに。