33
31 ななしのよっしん
2022/07/14(木) 04:06:21 ID: Ji1cau+BJr
>>30
お言葉に甘えバッサリ書き換えさせていただきました。
圏論になるべく触れずに説明しようと思ったのですがさすがに無理ゲーだったので諦めました。
説明として少しはよくなっていれば良いのですが…。
32 ななしのよっしん
2022/07/14(木) 06:35:00 ID: 0a32yuiYB8
扱いやすい性質のものはよく知られた形式で書けるものに限定されるってことか
扱いやすい性質のものなのに具体的に書き下せないものは直感的に無さそうなこととも整合性ある
33 ななしのよっしん
2022/07/23(土) 15:17:08 ID: vV4BLHkd1O
すごい、メチャ良くなってる
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。