)
透過性 (情報工学) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "透過性" 情報工学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年9月） 以下はヒトとコンピュータとのインタラクションにおける透過性（とうかせい、transparency）の説明である。プログラミングにおける透過性は参照透過性を参照。 ヒューマンマシンインターフェースにおいてユーザーが技術的詳細に悩まずに済む使い易さの側面であり、例えば、プログラムがディスプレイの解像度を自動認識する方がユーザーにいちいち質問するものよりも「透過的」であると言える。 ネットワークにおいては、同一のユーザーインターフェイスやアプリケーションインター
やっぱPrototype.jsのK関数はKコンビネータで合ってる？ - SEの行き着くところ…
えーと、正直に言います。俺はなんちゃらコンビネータって全く知りませんでした。思い返してみると、前回のKanasan.JSはソースはある程度追えても場の話の内容はちんぷんかんぷんやった。 で、ふと急に知らないことが嫌になったので調べた。計算論を始めとしてλ式，λ計算を扱う理論において重要視されている．λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある．コンビネータとは - はてなキーワードλ式ってのも何か知りません。。例えば、ある数に 2 を加える関数 f を考える。これは通常の書き方では f(x) = x + 2 と書くことができるだろう。この関数 f は、ラムダ計算の式（ラムダ式という）では λx. x + 2 と書かれる。no titleふむふむ。 で、Kコンビネータは？「k」は、二つの引数を取り、最初の引数を返す。具体的には以下のような挙動を行う。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://sunak2.cs.shinshu-u.ac.jp/~miyao/UD/Subjects/Kouri/logic.htm
