コンビネータ論理 - Wikipedia
コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинкель、英: Moses Ilyich Schönfinkel）とハスケル・カリー（英: Haskell Brooks Curry）によって、記号論理での変数を消去するために導入された記法である。最近では、計算機科学において計算の理論的モデルで利用されてきている。また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。 コンビネータ論理は、コンビネータまたは引数のみからなる関数適用によって結果が定義されている高階関数、コンビネータに基づいている。 コンビネータ論理は元来、本質的に量化変数を消去することによって量化変数の役割を明確にするような「pre-logic」を意図していた。量化変数を消去す
自然演繹 - Wikipedia
自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 自然演繹論理のあるバージョンには、公理が存在しない。ジョン・レモンが開発した体系 L は、証明の構文規則に関する次のような9つの基本的規則だけを持つ。 仮定の規則 "The Rule of Assumption" (A) モーダスポネンス "Modus Ponendo Ponens" (MPP) 二重否定の規則 "The Rule of Double Negation" (DN) 条件付き証明の規則 "The Rule of Conditional Proof" (CP) ∧-導入の規則 "The Rule of ∧-introduction" (∧I) ∧-除去の規則 "The Rule of ∧-elimina
紙芝居：ラムダ抽象 - 檜山正幸のキマイラ飼育記 (はてなBlog)
石井君*1が、2月19日セミナーのツイン・ホワイトボードを撮影してくれていたので、ハイライト(?)部分を紙芝居にしました。 紙と鉛筆の準備はいいかな -- では、はじまりはじまり。 g = <a, b, x| a*x + b> という関数があるとき、これを2回“ラムダ抽象”してみます。ラムダ抽象とは、右肩ハット（^）または大文字ラムダ（Λ）で表されるオペレータです。ラムダ抽象とカリー化は同義語です*2。ラムダ抽象すると、n引数関数は(n-1)引数関数に変化し、その代わり戻り値が関数型になります。ただし、ここで言う「関数型」は数学的な関数の型ではなくて、とある実行エンジンEで実行する関数コードのデータ型のことです。 gの2回ラムダ抽象g^^を絵に描くとこうです。 gの1回ラムダ抽象 g^ = Λg と、gの2回ラムダ抽象 g^^ = Λ(Λg) を計算してみます。Λの計算規則*3を使えば、こ
デカルト閉圏における絵算 詳細編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の「デカルト閉圏における絵算」にて： この絵の根拠（合理化）とか、絵を使った計算例とかは、たぶんそのうち。 気が変わる前に Λ[(id×out);eval;in];Λ[(id×in);eval;out] = id という等式を絵算（pictorial calculation；お絵描き計算）で完全・露骨に示してみましょう。 内容： 基本概念／基本法則の絵 記号法とかの注意 Λの逆写像 idとevalの関係 左タイトニング公式 Λ(g) = id ⇔ g = eval 下ごしらえ 計算 ●基本概念／基本法則の絵 まず、昨日出しておいた基本概念／基本法則の絵ですが： http://www.chimaira.org/img2/pictcalc-ccc-basics.gif なんで、こんな絵にするのか？と聞かれれば、理由はあるから一応の説明はできるけど、説明めんどくさい。「こんな絵を使うと、計算
デカルト閉圏におけるお絵描き計算の基礎 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の圏論勉強会に少し顔を出しました。そしたら、たけをさんがお絵描き計算（絵算；pictorial calculation）をしていました（この記事を参照）。けっこうめんどくさい計算をお絵描きしていたので、その場でお絵描き2級を授与しました（少し、はやまった気もするが）。 使っていた描き方は、「デカルト閉圏における絵算 詳細編」のものですが、実は「デカルト閉圏における絵算 オマケ」で補足訂正しているので、新しい流儀を使ってくださいな。新しい描き方を使うと、ベータ変換、イータ変換がより直感的になります。そのことを以下で説明。 内容： 新しい描き方 ベータ変換のアニメーション 引き伸ばしとジグザグ等式 関連するエントリー 新しい描き方 ラムダ抽象（カリー化）により分岐とループができますが、新しい描き方では： 分岐ノードを小さな丸で描く。必要なら文字「λ」で印を付ける。 ループの向きは逆方向だと
色の持つ効果がわかる図解、色の心理学 : カラパイア
ファーストフード店や飲食店などには赤が多く使われ、信用を第一とする企業は青を多く使う。色のもつ心理的作用を利用した企業の色彩展開や、実際に自宅でどのように色を活用すればいいのかがわかる図が公開されていたので参考までに。
Kjapps.com is for sale | HugeDomains
Working with hugedomains.com was a quick and easy process. We got to speak to multiple real people located in Colorado without having to wait on hold! Our only complaint was we felt we had to overpay more than this particular domain was worth, and we weren't able to negotiate it down to a level that we felt was fair. However, payment and delivery were seamless, and within a few hours we had all of
ブラウザ上でLatexを編集、共有できる『writeLATEX』 | 100SHIKI
なんともマニアック、かつ、日本語が使えないのがあれだが、必要な人には便利そうなのでご紹介。 writeLATEXでは、LATEX記法の文書をブラウザ上で編集＆共有できるようだ（LATEXは数式などを記述するときに便利な記法ですな。学術論文などをよく書かれる方にはおなじみだろう）。 編集を開始すると特定のURLが生成されるので、共有したい場合はそのURLを使えばOKだ。 また編集は2画面にわかれていて、右側の画面でリアルタイムに結果を確認することができる。またさっと使うだけなら無料かつ会員登録が不要である。保存をしてあとで編集したければ登録をすればいい。 万人向けではないが知っておいても損はなさそうですな。
Flurry | Mobile App Analytics Platform for Android & iOS
Flurry Mobile Analytics, including SDK and Analytics UI, has sunsetted on March 15, 2024. We're committed to assisting you during this transition. Thank you for being part of our journey.
整骨院の先生に聞いた、通勤中・仕事中でも簡単にできる｢猫背解消法｣ | ライフハッカー［日本版］
「猫背」は身体にさまざまな悪い影響を及ぼすだけでなく、見た目の印象にもマイナスな影響を与えてしまうことがあります。 朝の情報番組で数十人にランダムで街頭調査をしたところ、9割の人が「猫背」だと判定されました。その判定をしたのが、長野県飯田市で「いいだ整骨院・鍼灸院・いいだカイロプラクティック」の院長である原幸夫（はらゆきお）先生。この道40年あまり、最近はテレビや雑誌に引っ張りだこで、猫背に関する著書も多数あります。 猫背を専門に研究をされている原先生に、通勤中や仕事中に簡単にできる、猫背解消法をお伺いしました。 ■ 猫背の原因は心理的要因？ まずはじめに、なぜ人は猫背になってしまうのか、その原因を伺いました。 腹筋や背筋の弱さ、または、パソコンやスマホなどを多用する生活習慣などももちろん要因のひとつではありますが、一番の原因はなんと子どもの頃からの心理的要因だと言います。 例えば、授業中
iOS 6 新機能のサンプルコード／ライブラリのまとめ33個 - Over&Out その後
「英語のリファレンスだけじゃよくわからん、動くサンプルが欲しい！」という僕のために、NDA解禁されたてほやほやの iOS 6 関連のサンプルコード／オープンソースライブラリ等を集めてみました。 UICollectionView 1. iOS6-Playground iTunesから取得したムービーのカバー画像を、UICollectionView を用いて様々なレイアウトで表示するサンプルコードです。 UICollectionViewController, UICollectionViewCell, UICollectionViewLayout, UICollectionViewFlowLayout 等、UICollectionView 関連の新クラスは一通り使われています。 StoreKit に新たに追加された SKStoreProductViewController も使われていて、参考
選挙結果に凹んでる人、実は勝負はこれからだ
駒崎弘樹： 認定ＮＰＯ法人フローレンス代表理事。（財）日本病児保育協会理事長、全国小規模保育協議会理事長。1979年東京都江東区生まれ。慶応大学総合政策学部卒業。「子どもが熱の時に預かってくれる場所がほとんどないという『病児保育問題』を解決し、子育てと仕事の両立が当然の社会を創ろう」と、05年4月に全国初の訪問型・共済型病児保育サービスを開始。2007年ニューズウィーク「世界を変える社会起業家100人」に選出。 10年からは待機児童問題解決のための小規模保育サービス「おうち保育園」を開始。2008年自民党福田政権「社会保障国民会議」委員、2011年内閣官房「社会保障改革に関する集中検討会議（座長：菅首相）」委員に就任。 プライベートでは10年9月に1児（娘）の父に。経営者でありつつも2か月の育休を取得。 著書に「社会を変えるを仕事にする」「働き方革命」「社会を変えるお金の使い方 ―投票とし
選挙に行かない若者に「諦めたらそこで試合終了ですよ」と言う大人のズルさ
Powered by WordPress ユーザー名またはメールアドレス パスワード ログイン状態を保存する ← デジタルマガジン へ移動 プライバシーポリシー 言語
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
iOS 5 for developers: What you need to know - Gravity Jack
サービス終了のお知らせ
1位はあの愛すべき生物が！2012年、カラパイア的に話題となった人気の記事ランキングトップ20 : カラパイア