タグ

mathに関するkazyのブックマーク (2)

  • ラムダ計算ABC

    仙台ロジック倶楽部 ラムダ計算ABC 数学セミナー92年8月号より A. ラムダ計算とは 今から60年程前、プリンストン大学の若手論理学者A.チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数(オペレータとか作用素とも呼びます)を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子D

  • GLPKで楽しく最適化しよう!

    since 2004/05/01 last update 2005/04/08 access: new! 最新版 glpk4.8 をアップロードしました。 new! 久しぶりに記事を追加しました。 new! GLPKスーパー簡易マニュアルを追加しました。 このページの目的 GLPK(GNU Linear Programming Kit)は最適化の入門者からプロまで幅広く使える 大変良くできたフリーの線形計画ソルバーです。 しかし残念なことに日においてはほとんど普及しておらず、 付属マニュアルも英語のため、とても敷居の高いものになっています。 また、Unix上で動かすことが前提で作られているので、Windows上で 動作させることがなかなか面倒です。 そこで、WindowsのDOSで動作するようにバイナリも配布することにしました。 このページでは数理計画とは何か、から

    kazy
    kazy 2006/03/15
  • 1