https://mstdn.nere9.help/@orange_in_space/103277211754887992
それは「自分を強くすることに喜びを感じる人」の感覚であって、言ってみれば筋トレ趣味と同質のものですよね
で、判断不可なのであれば、それはもはや客観的に最適であるような判断は不可能なんだし、であれば価値観の近い人からのリコメンドを参考にするか単に苦痛をある程度除去済の偶然に身を委ねるかというのは合理的な選択
たとえば
```S`KxIy
があったとして、 ``Sabc → ``ac`bc の規則で
```Kxy`Iy
になり、 ``Kab → a と `Iy → y の規則から
`xy
になる、みたいな感じ。
単純な部分式の抽出と規則的な式の置換のみで評価が進むしチューリング完全。
https://mstdn.nere9.help/@orange_in_space/103272573079038278
Unlambda とかが近い感じになりそう。
先頭から解釈可能で、かつ単純な規則のみから成り立つ項書換え系の言語と相性が良さそう