なぜ数学はオブジェクト指向ではないのかat MATHなぜ数学はオブジェクト指向ではないのか - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト10:１３２人目の素数さん 26/07/25 20:39:02.85 ADFHfe3R.net 定義とか定理ってクラスっぽい 11:１３２人目の素数さん 26/07/25 20:52:02.42 8DZVfi3/.net Rubyでは、整数が+というメソッドを持っているが、x + yが何になるかは、ℤをどのような代数系と見なしているのかに依存する たとえば、x + y := max(x, y)と定義してもよい 整数自身がメソッドを持っているわけではない 12:１３２人目の素数さん 26/07/25 20:57:02.75 NH0+TiKk.net オブジェクト指向言語では継承関係をクラス定義に記述しなければいけない しかしたとえば単位的可換環を可換モノイドと見なす自然な方法は二つあるから、環をモノイドと見なす方法は環の定義ではない 13:１３２人目の素数さん 26/07/25 21:12:14.16 CnlBTIEV.net 長方形クラスに、辺の長さを再設定するメソッドがあったとする 正方形は長方形だから、正方形は長方形を継承できる しかし、正方形に対して、長方形の辺の長さの再設定を施すと、正方形でなくなってしまう 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch