なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
webで読む。オブジェクト指向システム分析設計入門
はじめに この本はオブジェクト指向技術を利用してソフトウェア開発することを目指す技術者および管理者のために書かれた本です。プログラムのコードや難しい数式などを排除してあり，図と文章によって基本概念や適用技術を平易に解説しています。オブジェクト指向技術を数学(形式)ぬきで探求する試みといえるでしょう。 本来，オブジェクト指向技術を，瓶から瓶へ水をもらさぬように，正確に伝えるには，数学(型理論)を必要とします。数学的形式化が行われていないと，オブジェクト指向で表面化する問題の議論がかみ合わず空転することが多いからです。あの時はこうだっだ，この時にはああだったと経験則の披露になりかねないのです。やはり何かしらの形式化は必要でしょう。しかし，数学的形式化の苦しみときたら並大抵ではありません。特に，後述するインヘリタンス(継承) や並列などが絡んだあかつきには残酷なのです。私だけかもしれません
A Slice of My Life - Practical Scheme
このページでは、プログラミング言語Schemeの紹介、および 自作のSchemeのライブラリやアプリケーションの紹介をしてゆきます。 特に、ファイルをパーズしてテキストファイルを生成したりとか、 プロセスを監視したりとか、ちょっとしたGUIをでっちあげる と言った、職業プログラマとしてやってく上で避けて通れない雑用に便利な ライブラリが中心になる予定です。 SchemeはLisp系の言語で、見かけはLispに良く似ています。 Lispと聞いたら人工知能用言語だとか、もう古くさい言語だとか思われることも 多いんですが、CommonLispで書かれた実用的なアプリケーションはいろいろ ありますし、Schemeも拡張言語としてそれなりに使われています。 ただ、いかんせんマイナーな言語であることは間違いなく、メンテできる人が居ない とか他に分かる人が居ないという理由で採用が見送られることがあるのは
Programming in Haskell
Programming in Haskell ページへようこそ このサイトについて このサイトは、Haskell でプログラミングを楽しむためのサイトです。 現在のところ、WiLiKi というWiKiシステムで運用されています。WiLiKiの使い方は、 WiLiKi:WiLiKi:リファレンスマニュアルを参照してください。 メイリングリスト 「Haskellプログラミングを楽しむための」メーリングリストがあります． MailingListのページをご覧ください． チャット 「Haskellプログラミングを楽しむための」チャット・ルームがいくつか存在します． ChatRoomのページをご覧ください． サイトマップ Introduction Haskell とは Definition 仕様と標準ライブラリ Tutorial チュートリアル やさしいHaskell入門 モナドのすべて なぜ関数プ
GNU リンカ LD の使い方: Scripts
3.1 基本的なリンカスクリプトの考え方 我々は,リンカスクリプト言語を説明するのに, いくつかの基本的な概念と語彙を定義しておく必要がある. リンカは複数の入力ファイルを組み合わせて一つの出力ファイルとする. 出力ファイルと各入力ファイルは, オブジェクトファイル形式として 知られる特別なデータ形式になっている.各ファイルは, オブジェクトファイルと呼ばれる. 出力ファイルは, executable と呼ばれることが多いが, 我々の目的に合わせて,これもオブジェクトファイルと呼ぶことにする. 各オブジェクトファイルには, とりわけ, セクションのリストが 入っている. 入力ファイル中のセクションをよく 入力セクションと 呼ぶ. 同様に, 出力ファイル中のセクションは 出力セクションである. オブジェクトファイルの中のセクションは,それぞれ名前と大きさがある. ほとんどのセクションには,
Make と Makefile の説明
まだ完成途中です back 注意: このページの内容には、おそらく多くの間違いがあります。 リンクされているので残しておきますが、利用には注意してください。(2008年3月、新山) ここではおもに make の使い方 と Makefile の書き方について 説明しています。じつは make の種類にはいろいろあり、ここでは GNU make (gmake というコマンド名のこともある) を 対象にしています (BSD の pmake でも基本的な部分は同じですが、 マクロ定義などは違うところもあるので注意してください)。 わかりにくい箇所とか、まちがってる箇所がある場合はメールください。 Contents make はどんなときに使うか Makefile を作る make の実行 Makefile の文法リファレンス 多段 make について (未完成) Makefile の例 (未完成)
満足せる豚。眠たげなポチ。:24％良いアイデアを創るための４つのステップ
ビジネスをしていてベストのアイデアを出さなければいけない場面というのは、（幸か不幸か）意外と出くわしません。 天才的に良いアイデアが必要とされていることが少ない代わりによく出くわすのが、人よりもちょっと優れているアイデアを必要とする場面です。 そう、だいたいそんなもんなんだけど、なんかもう一押し足りないなぁというようなケースです。 これは、わりとよく出くわします。たぶん、明日出社したら一つや二つくらいはこのようなことがあるんじゃないでしょうか。 ということで、こんなときに使える、あと「もう少し」のためのアイデア術をご紹介。 答えをとりあえず２０コ挙げてみる さらに３０コ挙げてみる 答えをカテゴリごとに分類し、足りないアイデアをさらに書き足す 効果があがりそうなアイデアと一番やりたくないアイデアを一つずつ選んで、自分のアイデア候補にする ステップ１、２をやるときに気をつけるのは、いいものも、
Boost C++ Libraries
Boost C++ Libraries ...one of the most highly regarded and expertly designed C++ library projects in the world. — Herb Sutter and Andrei Alexandrescu, C++ Coding Standards Welcome to Boost.org! Boost provides free peer-reviewed portable C++ source libraries. We emphasize libraries that work well with the C++ Standard Library. Boost libraries are intended to be widely useful, and usable across a br
0xcc.net
0xcc.net Tools Text Escaping and Unescaping in JavaScript Software ttyrec: a tty recorder pdumpfs: a daily backup system similar to Plan9's dumpfs Ruby/Romkan: a Romaji/Kana conversion library for Ruby Ruby/Bsearch: A Binary Search Library for Ruby Ruby/ProgressBar: A Text Progress Bar Library for Ruby Contact Satoru Takabayashi
Let's Boost
Boost C++ Libraries の紹介サイトです。 :: by Google はじめに ご挨拶 Boost のインストール方法 参考リンク集 ニュース ◆ Version 1.42.0 と 1.41.0 対応 (2010/03/14) 新規ライブラリに関する Let's Boost のページ…： property_tree (汎用木構造型コンフィグ管理) ／ uuid (ユニークID生成器) ◆ RSS つけました (2009/08/28) ◆ Version 1.40.0 と 1.39.0 対応 (2009/08/28) 新規ライブラリに関する Let's Boost のページ…： Signals2 (Signal/Slotライブラリ改良版) ◆ Version 1.38.0 と 1.37.0 対応 (2009/02/22) 新規ライブラリに関する Let's Boost のペー
WinSCP -Free SFTP, FTP and SCP client for Windows-
WinSCPは、MS-Windows上で動く オープンソースでグラフィカルなFTP、FTPS、SFTPクライアントプログラムです。旧来のSCPプロトコルもサポートします。このプログラムの主な機能は、ローカルコンピューターとリモートコンピュータ間で安全にファイルをコピーすることです。これに加え、WinSCPはスクリプトと基本的なファイルマネージャー機能を提供します。 このページには日本語ユーザーの為の短い案内が書かれています。WinSCPのドキュメントは ほとんど英語だけです。このページからリンクしている多くのページも英語です。 WinSCP の取得とインストール 特徴 ファイル操作 リモートコンピューターに接続 ユーザーインターフェイス WinSCPの日本語版が入手可能です。WinSCP download page へアクセスし、“Installation package”をクリックして下
IrfanView 日本語版のページ
日本でもかなり有名なので、ご存知の方も多いと思いますが、 「IrfanView32」とは、 オーストリアの Irfan Skiljan 氏が作った、 高速・高機能かつ非常に使いやすい、 フリーウエアのマルチメディアビューアーです。 (Win9x/Me/NT/2000/XP/2003/Vista 対応) この日本語版は、他言語対応SDKで日本語DLLを作成し、 ついでに Irfan Skiljan 氏の許可を得て配布しはじめたものです。 あくまで著作権は Irfan Skiljan 氏 にあります。 スクリーンショット 《 ダウンロード 》 Ver.4.20 自己解凍形式ファイル (1.1MB) Zip圧縮ファイル (1.1MB) 上記のファイル中のヘルプファイルと Plugins.txtは日本語化しておりません。 後日日本語化して公開予定ですのでしばらくお待
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
XKeymacs
XKeymacs は Windows 上の全てのアプリケーションにおいて Emacs like な操作性を実現するためのキーボードユーティリィティです。XKeymacs を使用すれば、どの Windows アプリケーション上でも、Emacs のキーバインディングが利用できます。自分で作ったキーボードマクロに、任意のショートカットキーを割り当てることもできます。コマンドプロンプトで、bash のようにコマンドを補完することもできます。Emacs, Xemacs, Mule, Meadow という言葉にピンと来ない人にはあまり縁のないソフトです。Keymacs に C-t と C-l を実装したくて作り始めた XKeymacs ですが、現在一通りの機能は揃いました。 今後は利用者の要望による新機能の追加、及び、 bug fix を中心に完成度を高めていきたいと考えてます。 対応 OS: Win
Cygwin Information and Installation
...is it? Cygwin is: a large collection of GNU and Open Source tools which provide functionality similar to a Linux distribution on Windows. a DLL (cygwin1.dll) which provides substantial POSIX API functionality. ...isn't it? Cygwin is not: a way to run native Linux apps on Windows. You must rebuild your application from source if you want it to run on Windows. a way to magically make native Windo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
面白い話
http://www5a.biglobe.ne.jp/~sasagawa/MLEdit/Scheme/index.html
東大で学んだ卒論の書き方★論文の書き方
developerWorks
C/C++ Technical Documents
WinMerge 日本語版
http://www.xware.jp/wincvs/
http://homepage1.nifty.com/open-prog/
http://www.t-pot.com/
http://spin.s2c.ne.jp/