@hota LTLの読み込みに時間かかってそうだし部分インデックス張ってみるとかですかね…?(よくわからないですが)https://gist.github.com/tateisu/58d8e566f67a2cd3aa999c7c4b5e6ee1
思考の /dev/null
@hota LTLの読み込みに時間かかってそうだし部分インデックス張ってみるとかですかね…?(よくわからないですが)
https://gist.github.com/tateisu/58d8e566f67a2cd3aa999c7c4b5e6ee1