Rover Mini と MEMS モニタの現況と今後
気が向いたときにちょっとづつ進めてきた Haskell で作る Rover Mini MEMS モニタ。以前はラズパイかMacBookAirのどちらかで稼働させていましたが,最近はGPD Pocket 2で稼働させてい […]
ふたつの森林管理認証制度
森林管理認証制度 FSC と PEFC 森林認証制度とは,資源算出の場森林が,適切に管理されていることを第三者が認証し,その価値を認めて最終消費者が支払う対価の一部を森林管理に還元することで,適切な森林管理を持続可能なも […]
Haskellの型プログラミング 2.型と種(カインド)
読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]
Haskellの型プログラミング 1.型と代数
読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]
Haskellで作ったアプリのアイコンをラズパイのデスクトップにおく
自分のための覚書。 <application-name>.desktopにいろいろ書くのだが,Exec=lxterminal -e “<application-path>”. Terminal=f […]
ようやくラズパイで稼働
Rover Mini 1.3i の車載コンピュータ(ECU)のモニタ,Haskell プログラムの ラズパイでのコンパイルに手間取っていましたが,ようやく,稼働しました。
Haskell メモ 2021
Tools Haskell に IDE はないのか?──独断と偏見による Haskell の IDE 十年史に,HaskellのIDE,開発環境史と2021年初頭時点の状況が掲載されている。 ghcup ghc, cab […]
論文抄訳:Haskellを使ってソフトウエア・設計を教える
以下は,ユトレヒト大学情報・計算科学学科に在籍していた Alejandro Serrano 氏が発表した論文を個人的に抄訳したものである。原論文は2014年に発表されている。 Haskellのライブラリにはさまざまな種類 […]
Rover Mini ECU モニタの Web アプリ版がある
Rover Mini の ECU リーダー,Web App として提供されているサイトがありました。 ケーブル と Mac/PC と Google Chrome さえあれば,簡易モニターが出来上がりです。パソコンの処理能 […]