KeyVi
=============================================================================== KeyVi - Windows用 キーボードユーティリティ =============================================================================== ---最新版（Ver 1.1.0）--- バイナリ ソース ---開発日記--- こちら ---更新履歴--- Ver 1.1.0 以下の点を追加 ・キーバインドにShift+i, Shift+a を追加 以下の点を修正 ・設定画面から｢Add Application｣時に「列 'Enable' はテーブル Application に属していません。」という 例外ウインドウが出る不具合を修正 ・「プロセス モジュール
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
「6÷2（1+2）＝？」という小学生レベルの問題？ 大勢の人が「１」と答え半分以上が不正解 - ガジェット通信
台湾のfacebookコミュニティにて算数の簡単な式を出題したところ多くの人が間違った解答をしたという。その問題は次の通り。 6÷2（1+2）＝ この問題の正解はわかるだろうか？ この式に対して大勢の人が「１」と答えたのだ。何故そのような解答になったのか。それは式の書き方にカラクリがあった。四則演算は優先順位があるのはご存じの通り。カッコの中を先に計算しその後に乗算（かけ算）、除算（割り算）を計算する（カッコの中に乗算、除算がある場合はそちらも優先）。しかしこの書き方だと、1+2で計算後に前の2を掛けて6に。最後に先頭の6と割って「１」という解答になってしまうのだ。 つまりこういうことだ。 ＜間違った解答＞ 6÷2（1+2）＝ 6÷2（3）＝ 6÷2×3＝ 6÷6＝1 しかしこれは間違った解答。正しい答えは「９」となる。先ほども書いたとおり四則演算は乗算と除算を先頭から行う必要がある。正し
Google Reader がなくなるのは実はよいことかもしれない
RSSフィードを購読するツールとして、Google Reader を使っている人は多いと思います。 このブログでも数年前まで約 50% 対 50% で Google Reader と Livedoor Reader が拮抗していたのですが、現在は大半が Google Reader ユーザーに移行したというデータがあります。 なので、本日発表のあった「7/1でGoogle Readerが終了する」というニュースは衝撃だったのではないでしょうか。 私も最初は動揺したのですが、少し考えるにつれて、ひょっとしてこれは長い目でみるとユーザーにとっても、ウェブ全体にとってもよいことにつながるかもしれないと思うようになりました。 RSSはもう長いこと死んできた もちろんGoogle Readerの退場をRSSそのものの死と結びつけるのは早計です。しかし「RSSは死んだ」は、ここ数年ネットでよく聞くフレー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
