youtube: https://m.youtube.com/@Dedekind-ph9sctwitter:https://x.com/dedekintoM
http://www.nicovideo.jp/watch/sm44575277
