つれづれ
二年前ぐらいから悶々と考えていたこと
block chainに基づく仮想通貨は,
単価=
(今まで費やされた電力料金+ハードウェア原価+ソフトウェア原価+人件費+採掘者が得たい利益)/採掘個数
のはずで,指数作れると思ったのだが,日頃の仕事に追われて興味を失った.
Coqにはまっている.
仕事に追われ,子供がかまってちゃんで,時間がかかるプログラムを書けないのだか,簡単な数学の証明を短い合間の時間で積み上げることができるのでCoqにはまった.証明の確認時間も取られない.標準的な集合と位相の教科書の内容が形式化できると嬉しい.
Juliaに手を出したい.
Juliaを使ってみたいのだけど,まとまった時間が取れない.一定時間取れれば,感覚がわかって加速するのだが. やりたいことは,日銭を稼ぐ時間につぶされていくのである.