Conversation

学者の人たち賢すぎてひくな…となった
いきなりtestとか言い出してなんやねんちゃんと定義せえやとか思ってたら既出の展開だけでなんかちゃんと意味がある式になってた…2値判定できるわ…ひく…そのあとの論理演算とかもこれから見るけどすでに恐怖さえある…こういう完全に原始的なルールだけがあるところに対して意味のある組み立てが実現されるのを見る瞬間、いつまで経っても脳がついていかない…論理回路習ったときと似てるな…