ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
アプリケーション設定情報はどこに保存すべきか？
連載目次 .NETアプリケーションでその設定情報を永続化（＝保存）する際の主要な格納方法（以降、永続化方法）としては、以下の表にある「レジストリ」「XMLファイル」「INIファイル」「まったく独自のファイル・フォーマット」という4種類が利用できる。
.NET TIPS コントロールのクラス名からコントロール・オブジェクトを作成するには？ - C# VB.NET Windowsフォーム - ＠IT
Windowsアプリケーションにおいて、テキストボックスやラベルなどコントロール・オブジェクトを、そのクラス名となる文字列を指定して作成することができる。例えばテキストボックスに対応したクラスはTextBoxクラス（System.Windows.Forms名前空間）であるが、このクラスをnewキーワードによりインスタンス化するのではなく、「System.Windows.Forms.TextBox」という文字列を指定してオブジェクトを作ることができる。 これにはまず、コントロールを示すクラスと同じアセンブリに含まれる別のクラス（ここではControlクラスを用いる）を利用して、そのアセンブリ（Assemblyオブジェクト）を取得する。このためのコードは次のようになる。 Assembly a = typeof(Control).Assembly; 次に、いま得られたAssemblyオブジェクト
Hagex-day.info： 第二の電車男か？
・怖〜い話し聞かせて下さい。 結構期待して読んだんだど、今のところそんなに怖い話はなし。というか、都市伝説をそのまま書き込んでいる輩が約一名いるぞ。 怖い話を読みたい人は以下のリンクをお勧めします。 ・死ぬ程洒落にならない話を集めてみない？ ・婚約破棄されました タイトル通りの発言小町のトピック。9月に挙式予定だったけど、ココ一ヶ月ケンカばかりで彼に婚約破棄を告げられたと。とーぜん、コマッチャーは「男が悪い！ 慰謝料をふんだくれ！」のオンパレードでゲンナリ。 その後トピ主が再登場。彼はトピ主の父親と話、慰謝料の請求書を受け取って去っていったとのこと。トピ主は自分に都合の悪いことは一切書かないが、よーくよんでいると男性の方が誠意や責任感が感じられ、トピ主のほうがダメダメなんじゃないのかな〜 と感じてしまいます。みなさんはどうでしょう？ ・google mapでやばいもの発見した！2 （オカ板
YouTube - Broadcast Yourself
第１回全日本剣道選手権大会決勝 榊原正錬士対阿部三郎教士 第１回全日本剣道選手権大会は、昭和28年11月８日、東京の蔵前国技館で全国より53名の剣士が参加して開催。１万人を 第１回全日本剣道選手権大会決勝 榊原正錬士対阿部三郎教士 第１回全日本剣道選手権大会は、昭和28年11月８日、東京の蔵前国技館で全国より53名の剣士が参加して開催。１万人を超える 観衆が集まった。 本大会は、戦前の剣道界の慣習であった専門家、非専門家の区別を廃し、選手の資格は年齢、段位、称号などに一切の制限を設けず、 各府県の予選を経て代表者を出し、剣道日本一を決するという画期的な構想によるものだった。 優勝の榊原正は大正９年愛知県蒲郡市生まれの33歳、名古屋矯正管区法務教官（剣道師範）、のちに剣道範士八段。戦前は名門東邦 商業で活躍した剣士。準優勝の阿部三郎は大正８年福島県相馬生まれの34歳、警視庁の剣道選手でのちの
Parked at Loopia
This domain has been purchased and parked by a customer of Loopia. Use LoopiaWHOIS to view the domain holder's public information. Are you the owner of the domain and want to get started? Login to Loopia Customer zone and actualize your plan. Register domains at Loopia Protect your company name, brands and ideas as domains at one of the largest domain providers in Scandinavia. Search available dom
MYCOM BOOKS - 入門Haskell〜はじめて学ぶ関数型言語〜
■内容紹介 「実際にHaskellを利用し、プログラムを組む。」 他のプログラミング言語にも多大な影響をあたえる関数型言語。 本書では純粋関数型と言われるプログラミング言語Haskell(ハスケル)について、「宣言的」とはどういうことか、またパターンマッチング、再帰的定義、モナド、静的な型付け、型クラスとインスタンス宣言などの重要な概念について、プログラムを組んでいきながら、実践的な解説を試みます。 Haskellは、それをモノにした悟り体験のために勉強をしましょう。この体験は、その後のよりよいプログラマー人生での手助けとなるはずです。 Happy Hacking with Haskell! 表紙の鳥：ケリ(チドリ目チドリ科) ●本の中身を見てみる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2005年度「計算機ソフトウェア工学」(月曜2限) 住井担当部分予定 tsuika-shiryou.txt