最近は圏論的な考え方使って
プログラミングしたりするらしいじゃん
そうでなくても、ちょっとプログラミングやれば、演算子の
オーバーロードとか、高階関数とか、高校までの段階では
触れることの無かった「形式主義的な」ニオイのする考え方に
触れる機会が多くなると思うんだが

言ってること分かるかな。初めて群論に触れたときの
「ああ！数も演算も記号の塊にすぎないんだ！！」
っていう感覚ね。そういう感覚が多少なりとも
芽生えてくると思うんだが、>>589を見てるとそうは思えない


本当に情報系なのか？