無料教材
論理型プログラミングと関数型プログラミング
Prolog で事実と規則に質問し、Haskell で型のある関数を書きます。ラボに用意された小さなファイルを読み、変え、実行して確かめます。
考え方の違う言語を、それぞれターミナルで試す 2 つのラボです。SWI-Prolog ではプログラムは事実と規則で、実行は質問をすることです。GHC ではプログラムは型のある関数です。
ハンズオンラボ
ハンズオンレッスン
ここにあるレッスンはどれも、ハンズオンのラボで進めます。横にターミナルが付いた本物の環境で、インストールは不要です。無料アカウントなら、毎月、ほとんどのレッスンを進めるのに十分な無料クレジットの範囲で、すべてのラボを実行でき、基本レッスンもホームに届きます。アカウントなしで実行できるのは Git ラボと SQL ラボです。
ハンズオンレッスン · コンテナーラボ
Prolog Basics
このレッスンは、読むだけでなく、横にターミナルが付いた本物のラボで進めます。
生徒ごとに専用の SWI-Prolog で、事実、規則、質問、そして自分自身を呼ぶ規則を学びます。コードは GitHub で公開しています。
ハンズオンレッスン · コンテナーラボ
Haskell Basics
このレッスンは、読むだけでなく、横にターミナルが付いた本物のラボで進めます。
生徒ごとに専用の GHC Haskell で、型のある関数、リスト、畳み込み、自分で作る型を学びます。コードは GitHub で公開しています。
基本レッスンは、すべての無料アカウントにホームで、またすべての学校に渡されます。コース全体は、個人アカウントなら自分のライブラリに追加でき、学校のアカウントなら授業で使えます。Ubuntu VM ラボは教員がモジュールで出す課題で、レッスンから VM が起動します。
自分で実行する
無料の個人アカウントで、このページのすべてのラボとそのレッスンを、毎月、ほとんどのレッスンを進めるのに十分な無料クレジットの範囲で実行できます。授業を担当していますか？学校を作成すると、生徒に課題として出せます。
すでにアカウントをお持ちですか？サインイン