ノート: https://drive.google.com/file/d/1X1zi6QQ_ZKYslGZz6l2oOuqGl8SCZW9r/view?usp=sharingこの動画は，第3回ソフトウェアトーク理工サイド交流祭参加動画です．【...

教授「それはwell-definedですか？」 うぽつ イメージと結びつけるために道を導入したんだ　こういうのすき 他で繋がってるところは直接繋がらなきゃいけないんだ 生成が必要だったのね いいはなし 2章では各商集合に同値関係を用意してたけど今度は...