魚野メモ
ふたつの森林管理認証制度

森林管理認証制度 FSC と PEFC 森林認証制度とは,資源算出の場森林が,適切に管理されていることを第三者が認証し,その価値を認めて最終消費者が支払う対価の一部を森林管理に還元することで,適切な森林管理を持続可能なも […]

続きを読む
読書メモ
Haskellの型プログラミング 2.型と種(カインド)

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む
読書メモ
Haskellの型プログラミング 1.型と代数

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む
ITの活用
Haskellで作ったアプリのアイコンをラズパイのデスクトップにおく

自分のための覚書。 <application-name>.desktopにいろいろ書くのだが,Exec=lxterminal -e “<application-path>”. Terminal=f […]

続きを読む
ITの活用
ICT支援勉強会

昨日はチームのチーフもご参加いただいての勉強会でした。メンバーのセミナー発表内容を題材に,事業者さんのWeb構築での助言ポイントやDXの考え方を議論。 補助金で業者さんに委託してサイトを作ったはいいけれど,追記しづらくて […]

続きを読む
ITの活用
ようやくラズパイで稼働

Rover Mini 1.3i の車載コンピュータ(ECU)のモニタ,Haskell プログラムの ラズパイでのコンパイルに手間取っていましたが,ようやく,稼働しました。

続きを読む
在日日本人の日本滞在日記
Rover Mini 修理後の状況

ほぼ一年近くかかったRover Miniの修理がようやく終わり,業者さんから戻ってきた。昨年初夏,クーラーの効きが悪いのを直してもらうつもりで修理に出し,2週間くらいで戻ってくるかなと気楽に考えていたのが甘かった。 結局 […]

続きを読む
ITの活用
Haskell メモ 2021

Tools Haskell に IDE はないのか?──独断と偏見による Haskell の IDE 十年史に,HaskellのIDE,開発環境史と2021年初頭時点の状況が掲載されている。 ghcup ghc, cab […]

続きを読む
魚野メモ
論文抄訳:Haskellを使ってソフトウエア・設計を教える

以下は,ユトレヒト大学情報・計算科学学科に在籍していた Alejandro Serrano 氏が発表した論文を個人的に抄訳したものである。原論文は2014年に発表されている。 Haskellのライブラリにはさまざまな種類 […]

続きを読む
ITの活用
Rover Mini ECU モニタの Web アプリ版がある

Rover Mini の ECU リーダー,Web App として提供されているサイトがありました。 ケーブル と Mac/PC と Google Chrome さえあれば,簡易モニターが出来上がりです。パソコンの処理能 […]

続きを読む