26-05-27
cbだった
agda触った後だからGroupやRingの例が分かりやすい。 数学は例でデータ構造と操作の定義が明示されないの心底ダルい。 早くなにもかも明示的なプログラミングに戻りたい。
プログラミングと聞くと色々思い浮かべるかもしないけど、明示的なデータ構造の定義と操作の組み合わせ、これだけでなんでもできる。この解釈を非明示的な領域に土足で持っていけるのが、プログラミングの面白さだと思う。
数学は実装を含まない明示的な記述だと思っていて、
- 一貫しない記法
- 複雑な組み合わせ
- 理由
みたいな非本質的な時間を取らされることが多い
価値を感じないものに観光があって、理由は様々ある
- 座標移動、意味ない
- 人生は観光ではない
- 用意されたエンタメは面白くない
- 街全体が広告だらけで気色悪い
- 一時的に楽しむことがどうでもいい
でも旅行は計画実行のすべてが詰まっていて主体的にレクると達成感があるから面白い。
今は「サイトはホスティングした人の独裁国家である」という常識が通用しない層が多数派で恐ろしい。
プラットフォームは世界観で、インターネットは世界
これは最低限押さえていたほうが良い。インターネットはその自由を強制する。 デフォルトで得るには狂気的すぎるので、擬似的な役割を約束させるプラットフォームでやり取りをした方が認知的に易しい。
自由とは、開示請求を無効化できるし、missAVと内閣府のHPにはドメインの違いしかないし、任天堂ソフトと任意のデータの再配布に区別がない。これが基準だと頭がおかしくなる。しかし、プラットフォームはこの土台の上に存在することを忘れてはいけない。