ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
Computational Logic
計算論理（けいさんろんり） 担当教員: 亀山幸義 (メール: ｋａｍ のあとに cs.tsukuba.ac.jp) 担当Teaching Assistant: 杉浦 (メール: ｓｕｇｉｕｒａ のあとに logic.cs.tsukuba.ac.jp) 曜日・時限: 3学期 木曜 2-3限, 講義は 3A301, 演習は情報[科]学類計算機室． このページには，2008年度の『計算論理』の講義ノート等を置きます． 連絡事項 連絡が遅くなってしまいましたが，成績評価について，メモを書きましたので， 受講者はこちら を見てください． (2009/03/07) 期末試験は、2/19 の2限(10:10-11:25)です。 ノート等は持ち込み可です。 (2009/02/12) 2/5 の2限は，計算機室で演習です． CALシステムに一度以上ログインして， Q[113] を解き，bye をしてください
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
らんはさんと学ぶPCF: Programming language for Computable Functionsその1 - ラムダ計算とチャーチ数 - I CAN ’CAUSE I THINK I CAN!
