Kimiyuki Onaka

Would you reduce the width of border circles of avatar images? For example, in the below picture, the avatar icon of the leftmost person is surrounded by a thick colored...

## Description / 説明 We want to convert a naive tree DP from every vertex to DPs with rerooting. 全頂点からそれぞれ木 DP するコードが自動で全方位木 DP に変換されてほしい ## Motivation / 動機

Collect examples

1

## Description / 説明 We want to add more Python scripts to `examples/` directory. They are used for testing (`$ python3 scripts/integration_tests.py`). `examples/` の中に置いてある Python スクリプトは自動で実行されてテストに使われますが、これをもっと増やしたい。 日々のコンテストのついでにコツコツに追加したり、ABC の B, C...

## Summary / 概要 Fibonacci 数を求めるコードで内側で mod を取ると行列累乗してくれない。 最も外側でやる ([examples/fib.py](https://github.com/kmyk/Jikka/blob/master/examples/fib.py)) としてくれるが、これと同様に行列累乗してほしい。 ## Steps to reproduce / 再現方法 ``` console $ stack run convert examples/wip/fib_alt.py ``` [examples/wip/fib_alt.py](https://github.com/kmyk/Jikka/blob/master/examples/wip/fib_alt.py) ```python def f(n: int)...

Reduce about `product` fucntion

4

## Description / 説明 Rewrite rules to convert `sum` / `modsum` to closed formulae are already implemented. For example, an expr `sum(sorted(map(lambda x: x + 1, xs)))` of Python becomes...

## Description / 説明 スコープに被りがなければ変数名に suffix を付けないでほしい The current implementation avoids name conflicts of variables even when the scopes of them are distinct. For example, `i` and `i2` are used...

Currently we always use segment trees, but we replace them with binary indexed trees if possible because they have a little bit smaller constant-time factor.

## Description / 説明 Print something like "if the AST were a little different, this optimization would succeed". Similar to #227 OEIS や Wolfram Alpha みたいな使い方を目指すなら、どういう非自明な最適化がかかったかという log が見れると嬉しそう（あとは、これは難しいと思うが、もう少し違う式木だったらこういう最適化ができてた、みたいなのが出力されるようになるとかなり協力？）— りあん (@rian_tkb)...

## Description / 説明 Add an option to print logs of used rewrite rules and other conversions, like GHC's `-ddump-rule-rewrites`. ## Motivation / 動機

- [ ] C++ の構文解析をする - [ ] core への変換を書く