タグ

theoryとcolumnに関するmr_konnのブックマーク (2)

  • fault on continuation (Gauche-devel-jp) - Gauche - OSDN

    Shiro Kawai shiro****@lava***** 2002年 11月 18日 (月) 16:47:21 JST 前の記事 [Gauche-devel-jp] fault on continuation 次の記事 [Gauche-devel-jp] fault on continuation 記事の並び順: [ 日付 ] [ スレッド ] [ 件名 ] [ 著者 ] From: Tetsuya Okada <okaya****@c-cre*****> Subject: [Gauche-devel-jp] fault on continuation Date: Mon, 18 Nov 2002 15:22:44 +0900 > 継続を使ってバックトラックするプログラムを書いていまして、以下のような > ベンチマークを作ったのですが Gauche 0.6.5 が segmentat

    fault on continuation (Gauche-devel-jp) - Gauche - OSDN
  • 関数型プログラミング言語 Haskellの理論と応用

    「関数型プログラミング言語 Haskellの理論と応用」のホームページです。 概要 講義では、関数型プログラミング言語Haskellについて、その理論的基礎か ら実際的な応用までを解説する。Haskellは、副作用を持たない、CやJavaなど いわゆる“主流(メインストリーム)の言語”とは一風変わったプ ログラミング言語である。また、強力な型システムを持つことも大きな特徴で ある。講義では、おもに次のようなトピックについて説明する。 遅延評価 型クラス リスト内包表記とモナド パーサコンビネータ さらに時間が許せば、総合演習として命令型ミニ言語のインタプリタの作成を 行なう。 受講に際しては、ラムダ計算に関する基的な知識があること、また、Scheme やMLなどの関数型プログラミング言語を使用した経験があることが望ましい。 日程 6/11(月) 13:30 〜 16:40ころ 6/1

  • 1