Jimdo小ネタ 公式 RSS モジュールの代替品
Jimdoの公式 RSS Feed モジュールの日付形式が記事によってばらつく（バグかな？もとのRSS では統一的な表記になっているのに，Jimdoのモジュールで一覧表記させると１つ目だけ，サイトの日付表示形式で表示され […]
Jimdo活用css小ネタ
Jimdoのような無料で使えるウェブサイト編集・提供サービスは，出来合いの構造・デザインによる制約でやぼったくなりがち。でも，cssとhtml編集を使えば，そこそこのことはできる。例えば... ● 本文の一部に，蛍光マー […]
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 […]
