2014-09-16から1日間の記事一覧
1.簡単なライン・トレース・カーを作成する 1.1 仕様 模造紙の上に黒い線を描き、この線に沿って車が動くようにする。原理は、1)左右に反射型フォトセンサーを用意する。2)両方の反射型フォトセンサーとも白い面を検出している場合には、車はそのまま…
1.ベンディングマシンを実現する 1.1 仕様 次の状態遷移図(Moore Machine)で表わされるベンディングマシンがあったとする。これを実現することを考える。 このベンディングマシンでは、5円と10円が使えることになっている。投入金額が20円以上になる…
1.ボタンLEDを光らせる 1.1 プログラムを作る ボタンのLEDを光らせるプログラムは次のようになっていた。 #include<platform.h> out port bled = PORT_BUTTONLED; int main() { bled </platform.h>
1.一般的代数的データ型に米田の補題を利用 米田の補題の説明にだいぶ紙幅を割いてしまったが本題に移ることにする。これまで、長さ注釈つきのリストは一般化代数的データを利用して、次のように定義していた。 {-# LANGUAGE GADTs #-} data Z data S n da…