soutaro https://blog.hatena.ne.jp/soutaro/ soutaroブログ https://soutaro.hatenablog.com/ 抽象化について 抽象化っていうのは「細かいことは忘れちゃって，問題を解くのに都合が良いように考えましょう」っていうこと．数学的もクソもない．型っていうのは，「この値にはどういう操作が可能なんだろうか?」っていうことをいちいち考えたくないから，導入された概念．ある操作が可能な集合を型として抽象化することによって，この疑問は「ある値がある型に所属しているかどうかを判定する問題」になる．こっちの問題の方が簡単であれば，抽象化したものの勝ち． 抽象化には訓練が必要で，誰にでもできるってわけじゃない．自明な抽象化はできるかもしれないけれど．でも，難しい問題っていうのは，抽象化が難しいから難しいんだという… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsoutaro.hatenablog.com%2Fentry%2F20070227%2F1172608126" title="プログラミングとか数学とか - soutaroブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-02-27 05:28:46 rich https://soutaro.hatenablog.com/entry/20070227/1172608126 1.0 100%