B,C,K,Wシステム - Wikipedia
B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCurry 1930において示された。 定数記号 B, C, K, W の簡約基の簡約規則は次のように定義される： B x y z → x (y z) C x y z → x z y K x y → x W x y → x y y これらのコンビネータは、直感的に次のような働きをするものと考えられる： B x y は関数合成。 C x y z は引数交換。 K x y は破棄； W x y は複製。 2つの基本的な定数記号 S, K（及び SKK と外延的に同値な閉項 I）からなるSKIコンビネータ計算があり、ここでは B, C, W は
矢沢久雄の情報工学“再”入門
ITエンジニアの皆さんなら，一度は「情報工学」を学んだことがあるかもしれない。しかし，その知識をしっかり身に付けている人は少ないのではないだろうか。本連載では，プロフェッショナルの必須知識と言える情報工学の様々な理論について解説していく。 第1回 アルゴリズムと計算量---「計算量理論」を理解し，アルゴリズムを評価する 第2回 形式言語とオートマトン---「文」のルールを知り，機械に解釈させる 第3回 符号化理論---あらゆる情報を数値で扱う「符号化」理論を知る 第4回 ブール代数---論理を「1」と「0」で表す「ブール代数」を理解する 第5回 グラフ理論---要素同士のつながり方を「点」と「辺」で分析する 第6回 オペレーションズ・リサーチ(OR)---数学モデルを駆使して，経営戦略を立案する 第7回 集合論---数学の「集合論」にRDBの正体を見る 第8回 RDBの正規化理論---から
20120519 #qpstudy インターフェース入門
3. 自己紹介 • 板谷郷司 a.k.a. 東雲翡陽 • @H_Shinonome • hiyou@shinono.me • http://blog.shinono.me/ • #qpstudy 派生勉強会 #nwstudy 主宰 • 忍者ツールズの中の人 ≠ 忍者 • #qpstudy系専属（？）Ustreamer 3
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コンピュータアーキテクチャ I/O入門
The Story of CPU
