Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足 後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
現在使っている処理系 Dr.Scheme 練習問題 １章の練習問題 ２章の練習問題（前半） ２章の練習問題（後半） ３章の練習問題（前半） ３章の練習問題（後半） ４章の練習問題 iwkの.emacs MEMO 3.2 The Environment Model of Evaluation 3.5.3 Exploiting the Stream Paradigm 第五世代コンピュータの資産を掘り起こす 第五世代コンピュータプロジェクトを読み解く Schemeについて 抽象データ型（ADT）とオブジェクト指向プログラミング（手続きによるデータ抽象（PDA）） モンタギュー意味論入門 Constructive Mechanics エーコと百科辞典 型理論 FSharp 微分幾何学再入門 本棚 フレーゲ哲学の最新像文脈原理に関する一冊 読み取れた結論としては、”Peter Aczelの形式系FS
SICPを読んでゆく上で必要なScheme実行環境についての設定例集です。 なんだか役に立ちそうな事柄を知っていたら誰でも書き込んでいってください。 Scheme処理系(R5RS準拠)とそれぞれの設定 GaucheGaucheは.gauchercというファイルを起動時に読み込む。なのであらかじめ読み込んでおきたいファイルなどがある場合、そのファイルに書き込んでおくと何かと便利。by iwk Mit Scheme TUT Scheme Guile Emacsの設定 viper-modeSchemeはvimよりもEmacsを使うほうが何かと便利であるので普段Vimを使う人であってもEmacsを使う必要が出てくる。しかし、EmacsとVimはなにかと根本的に違うのでフラストレーションがたまりやすい。そのフラストレーションを少し解消するのがviper-mode。EmacsにViのモードのシステムを
アルゴリズムとデータ構造入門 TAのページ 京都大学 工学部 情報学科 1回生配当の授業 アルゴリズムとデータ構造入門（奥乃先生担当)のTAが管理するページです。 連絡 (2007/10/01) 2007年度用に更新。 (2006/10/31) Meadowの使い方を公開しました。 (2006/11/14) 改行コードで困っていた方が多かったので改行コードに関する設定についてまとめました。 (2006/10/27) 質問掲示板を移行 使い勝手が悪く、あまり評判もよくないので質問掲示板を移行しました。これからは新しい方に質問を書いてください。 (2006/10/13) cygwinとTUTSchemeのインストールの説明に間違いがあったので追加・修正しました。 このページの通りにインストールを行って、Can't find a usable init.tcl in the following
国際交流センター 日本語入門初級 日仏交流150周年・京都大学創立111周年国際フォーラム 国際フォーラム ビデオ→ 動画で見る京都大学 ・What is Life? The Next 100 Years of Yukawa's Dream Nishinomiya-Yukawa International & Interdisciplinary Symposium 2007 October 15(Mon)〜20(Sat) 2007 CO-OP Inn Kyoto Conference Hall →詳細 →シンポジウム詳細PDF →シンポジウム ビデオとPDF OCW関連講義 全学共通科目 生命とは何か？（村瀬雅俊准教授） 京都大学オープンコースウェア総長懇談会 日時２００７年１０月３０日(火) 場所：京大会館
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く