翻訳:コンビネータ論理チュートリアル
このページは、Combinatory Logic Tutorialの翻訳です。 http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書きと感想コンビネータ論理チュートリアル 訳者による前書きと感想 訳してみたものの、ちょっと、たったこれだけの説明では、はじめてコンビネータ論理を知った人が読んで充分に理解できるとは思えない。 どうも、この文書は、原文の上位ディレクトリにあるLambda tutorialを読んだ後に読むべきものっぽいようだ。 しかし、流石にこっちまで訳す気力は無い。 そういう訳で、これだけを読むよりは、Unlambdaのチュートリアルを読んだ方がずっと、コンビネータ論理を理解
[MacOSX] SandS (Space and Shift) でシフトキーを親指で押して小指を守ろう!
最近、左手の小指を痛めて非常に辛い思いをしました。 もうシフトキーとか辛いんです。 とても。 奇遇にも shinh さんも痛めている ので、小指問題は UNIX 使いで SKK 使いの方の共通の悩みなんだと思います。 僕はおよそ年に 3 回くらい小指が痛くなって悲しい気分になっています。 で、Mac OS X の万能キーボードリマッパである KeyRemap4MacBook をいじって、スペースキーをシフトキーとして使うようにしました。 (単発スペースキーはスペースとして動作します。 スペース押しながら 1 押すと ! になる感じ)。 KeyRemap4MacBook をインストールして space2shift と space2shift_shift2space を有効にすれば OK。 $ sudo sysctl -w keyremap4macbook.remap.space2shift=
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ユメのチカラ: 若い人に人気のない産業は減衰する
未来をイメージできない産業に人は集まらない。IT産業は人がすべてである。魅力のない産業は減衰する。 IPAフォーラム2007 【討論会】 「学生から見たＩＴ産業」と「ＩＴ産業から見た学生」 ～ＩＴ産業は学生からの人気を回復できるか～ http://www.ipa.go.jp/event/ipaforum2007/program/discussion.html#tou-1 参加者がすごい。業界の重鎮。岡本晋氏（TIS株式会社 代表取締役社長）、浜口友一氏（社団法人情報サービス産業協会 会長、株式会社NTTデータ 取締役相談役）、藤原武平太氏（IPA 理事長）。 当日、このパネルディスカッションに参加していないので、下記の報道で様子を窺うしかないのであるが、「業界の重鎮もたじたじ」だったそうである。 IT業界不人気の理由は？ 現役学生が語るそのネガティブイメージ － ＠IT http://ww
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
