クリーム色の背景、色付き表示、高コントラスト、大きな文字のほうが読みやすいですか？配色と文字を選ぶと、すべてのページに一度で反映されます。

無料モジュール

論理型プログラミングと関数型プログラミング

PrologとHaskellを実機のラボで学びます。事実と規則、再帰、バックトラック、型、map・filter・fold、遅延評価を、Pythonの課題で確かめます。

6件のレッスン405分のレッスン情報科学の中核

レッスン一覧

どのレッスンも全文を無料で読めます。無料アカウントを作ると、コマンドをラボで実行し、クイズと課題に取り組めます。

  1. 1 · コンテナラボ

    Prolog入門: 事実と質問

    Prolog の事実を読み、質問して、その答えを読むことができる。

    レッスンを読む

  2. 2 · コンテナラボ

    Prologの規則と再帰

    他の事実を使う規則と、自分を呼ぶ再帰の規則を書くことができる。

    レッスンを読む

  3. 3 · コンテナラボ

    Prologのリストとバックトラック

    Prolog が行き詰まったとき、戻って別の候補を試すことを説明できる。

    レッスンを読む

  4. 4 · コンテナラボ

    Haskellの関数と型

    Haskell の短い関数と、その型の宣言を読むことができる。

    レッスンを読む

  5. 5 · コンテナラボ

    map・filter・foldの使い方

    for 文の繰り返しを、map、filter、fold で置きかえることができる。

    レッスンを読む

  6. 6 · コンテナラボ

    Haskellの再帰と遅延評価

    再帰の関数を書き、無限リストが使える理由を説明することができる。

    レッスンを読む

本物のラボで実習

このモジュールのレッスンは、あなた専用に起動するラボで実習します。使うラボ：

授業で使いますか？このモジュールを学生に割り当てると、教員用ガイド、自動採点つきの課題、学生ごとのラボを使えます。