運算の楽しみ - Qiita

運算の楽しみ - Qiita

プログラム運算 関数プログラミングでは，プログラムは関数として定義します． （この関数は，もちろん...概要を表示 プログラム運算 関数プログラミングでは，プログラムは関数として定義します． （この関数は，もちろん計算可能な関数でなければならないという制限はあるものの，数学の対象として扱える関数です．） 単純明瞭な関数定義は，正しいことが明白ではあり，プログラムの仕様として機能します． （すなわち，関数プログラミングにおいてプログラムは実行可能な仕様ということになります．） しかし，単純明瞭な関数定義は効率が悪いのが通常で，そのままでは実用に供することができません． これを等式論証の手法を用いて，意味を変えずに，複雑ではあるけれど効率の良い定義を導出するのが，プログラム運算（program calculation）です． 最大切片和（maximum segment sum）問題 これは有名な問題で，与えられた整数列のすべての切片の和のうち最大のものを求めよ，というものです． 切片（segment）は，連

• Haskell
• プログラム