ふたつの森林管理認証制度
森林管理認証制度 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 プログラムの ラズパイでのコンパイルに手間取っていましたが，ようやく，稼働しました。
HACCP対応支援事例（Y社）
3月から5月にかけて，小規模食品事業者さんのHACCP対応支援を行ってきました。関係機関の点検も終わり，大きな問題なく，既存の施設にちょっと手を加えることと運用の改善でなんとかなりました。自分のためも兼ねてメモをしてお […]
Rover Mini 修理後の状況
ほぼ一年近くかかったRover Miniの修理がようやく終わり，業者さんから戻ってきた。昨年初夏，クーラーの効きが悪いのを直してもらうつもりで修理に出し，２週間くらいで戻ってくるかなと気楽に考えていたのが甘かった。 結局 […]
Haskell メモ 2021
Tools Haskell に IDE はないのか？──独断と偏見による Haskell の IDE 十年史に，HaskellのIDE，開発環境史と2021年初頭時点の状況が掲載されている。 ghcup ghc, cab […]
