タグ

2007年1月29日のブックマーク (3件)

  • Papilio-バグトラッキングシステム-

    - Eclipseプラグインで実現するバグトラッキングシステム(BTS) - 特徴 サーバ構築不要。接続している各端末がお互いに同期してデータを共有する。 インストールは簡単。Eclipseにプラグインを追加するだけ。 信頼度成長曲線などの充実したレポート出力機能 Eclipseを採用することで直感的操作が可能なインタフェースを実現。 完全フリー、オープンソース。 完全日語対応 Eclipseのプラグインとして、多様な機能を搭載したBTSを実現。 従来のBTSと違い、Eclipseプラグインとして使用できるため導入・操作が非常に簡単です。 従来のBTSとの違い 主な機能 動作環境 スクリーンショット ダウンロード インストール・設定 リリース情報 従来のBTSとの違い 主な機能 基的なBTSの機能 - バグ票の起票〜Closeまでのステータス管理 - 更新履歴の記録・閲覧 - メールに

  • ラムダ計算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

    flower_room
    flower_room 2007/01/29
    おもしろいけど難しい
  • Fortranから最新言語まで、約2500種類のプログラミング言語の系図

    史上最初のプログラミング言語である1954年に考案された「Fortran」(フォートラン)から、今の各種最新言語に至るまで、いろいろなプログラミング言語が発展していく様子をまとめた巨大な系図を見ることができます。ちゃんと印刷できるようにPDFファイルなども置いてあります。自分の使っている言語がない場合には連絡して欲しいとのことです。 閲覧は以下から。 Computer Languages History (preview) 元のページはココ。A4用紙11枚に及ぶ印刷用PDFファイルなどをダウンロードできます。 Computer Languages History こうやって眺めてみると、いろいろな言語がお互いに少しずつ影響を与えているのがよくわかります。さすがにあまりにもマイナーな言語はサポートしていないようですが、作者に連絡すれば入れてもらえるかも。 一応全言語の一覧は以下から検索できま

    Fortranから最新言語まで、約2500種類のプログラミング言語の系図