タグ

ソフトウェア工学に関するnagasamaのブックマーク (5)

  • http://www.swtest.jp/wiki/index.php?swtest.jp/wiki

  • 数理科学的バグ撲滅方法論のすすめ 第4回 関数型言語とオブジェクト指向,およびOCamlの"O"について

    関数型言語とオブジェクト指向は相容れない,という説をよく聞く。たしかに「オブジェクトは状態を持つ」「関数型プログラミングでは,できるだけ破壊的代入を行わない」とすれば,二つの概念は矛盾しているようにも思われる。また,技術的観点以外にも,「とかくシンプルさを好む多くの関数型言語プログラマが,何かと物事を複雑にする(と思われている)オブジェクト指向を嫌っている」という面があるかもしれない。 しかし,個人の好き嫌いはさておき,実際問題として,関数型言語とオブジェクト指向は大いに関係がある。むしろ,基礎理論については,ほとんど同じコミュニティの人たちが取り組んでいる,と言ってもいい。例えば,以下のような研究が,1980年代から現在に至るまで行われている。 関数型言語のモデルであるλ計算という体系において,オブジェクトを表現する研究(参考リンクなど) λ計算にならい,(プロトタイプベースの)オブジェ

    数理科学的バグ撲滅方法論のすすめ 第4回 関数型言語とオブジェクト指向,およびOCamlの"O"について
  • Visual Editor - Eclipse

    Archived Eclipse Projects You are seeing this because the project you were looking for has been archived. When projects are archived their data(downloads,source and website), is collected into a single tar.gz file. Please note: Some projects did not have all of the above data. Please note: The source files (if available) included in these files are direct copies of the available CVS/SVN data. You

    Visual Editor - Eclipse
  • まつもとゆきひろのプログラミング言語論(1)

    リスト2 動的型の言語で書いたソースコード<BR>Rubyで記述した。ソースコードで変数の型を宣言していないが,実行時にきちんと型整合性をチェックする。数値と文字列を加算しようとすると,エラーが出る。 プログラムを実行して初めて決まる事項が多い「動的言語」。柔軟性が高い,簡潔な表現が可能など複数の利点を持っている。さらに性能の問題などの欠点がコンピューティング環境の変化で目立たなくなってきた。速く柔軟な開発が求められる中で動的言語の存在感は増すばかりである。(誌) LAMP(Linux,Apache,MySQLPerl/ Python/PHP)という言葉(表1[拡大表示])が注目されています。オープンソース・ソフトウェアを利用したソリューション構築を意味する造語ですが,プログラミング言語の代表として挙げられているのはどれも動的言語です。 以前は,企業システムをPerlPHPのようなイ

    まつもとゆきひろのプログラミング言語論(1)
  • 松本吉弘

     吉弘(まつもと よしひろ) Yoshihiro Matsumoto, Dr. Eng. For English version, please click here. 改訂: 2008年9月 (revised on September/2008) 新しいお知らせ(2008-9-21更新) ソフトウェアファクトリ研究会開催通知 [pdf] (2008-8-28更新) ソフトウェアファクトリ研究会趣意書および会則 [pdf] (2006-11) ソフトウェアファクトリは、エンタプライズ(またはシステム)のステークホルダ(利害関係者)が、ビジネス(またはシステム)企画を含むソフトウェア全ライフサイクルに亘って、時々刻々変動する事業戦略・戦術に即応し、事業を最適に展開するために必要とするサービス、ソフトウェア、サブシステムを開発・提供・維持・保守する事業体系であります。

  • 1