2015-12-02から1日間の記事一覧
1.ボールの衝突をFunctional Reactive Programmingで表現する(1)、(2)、(3)、(4)、(5)、(6)、(7)、(8)、(9)、(10)、(11) 2.Reactive-Bananaの紹介(1)、(2)、(3)、(4)、(5)、(6)、(7)、(8)、…
1.Raspberry PiからLego Mindstormsを使用できるようにする―準備 2.Raspberry PiからLego Mindstormsを使用できるようにする―BrickPiの解剖(1)、(2) 3.HaskellでLego Mindstormsを制御する(1)、(2) 4.HaskellでLegoのモータとセンサをRa…
1.写像を対象に 2.写像を対象に(モノイド圏) 3.写像で扱うことの利点(1)、(2)、(3) 4.デカルト圏論(理論) 5.デカルト圏論(応用)
6. TwoCounters 前回の記事では、upとdownで増減する一つのカウンタを扱ったが、今回は、二つのカウンタを扱うことにする。upとdownのボタンの他にswitchというボタンを用いてカウンタを切替える。 6.1 ユーザ・インタフェース 例によって、ユーザ・イ…