2023.10.22
https://gyazo.com/e6e299851b0e4d6e178bb7113d95101c
メモ
例えば
時相論理では「未来のどこかでは必ず成り立つ」みたいな命題が表せるが，具体的にそれがどこなのかは全くわからない，という問題点がある 「どこか」という具体的な一地点$ tに対応する演算子（？）$ @_tを加える．
よくはわからないが，テレビ番組の配信サービスとして2番目ぐらいにはTVerって出てくるぐらいの勢力はある きららアニメ/芳文社は別に既に読者である人間向けにアニメを作っておらず，主に視聴者層の拡大のためにアニメを作っているみたいな観点があった気がする． となると，TVerでアニメ-ライト層を取り込もうとする，というのは意外と戦略的に正しかったりするのか？
問題は独占であること？まあそれはそうですが…