Back

@kakkun61@pawoo.net イメージとしてはglispの3d版がほしい https://baku89.com/2020/06/26/c-activity

@tsukimikaze 逆関数を自動導出できる関数ってどういう制約なんだろうなあ

https://scrapbox.io/kakkun61-scraps/%E9%80%86%E9%96%A2%E6%95%B0%E3%82%92%E8%87%AA%E5%8B%95%E5%B0%8E%E5%87%BA%E3%81%A7%E3%81%8D%E3%82%8B%E5%88%B6%E7%B4%84%E3%81%AF%E5%BD%A2%E5%BC%8F%E5%8C%96%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E3%81%AA%E3%82%89%E3%81%A9%E3%81%86%E5%AE%9A%E7%BE%A9%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F

@kakkun61@pawoo.net 触ってみた感じif文の逆の枝とかのどうしても逆評価できないところに行ってしまったらだいたい0に潰されるようだった

@tsukimikaze おおん　こないだ PPL で聞いた Janus 言語だと条件分岐は入るときと出るとき両方条件式が要るとかなんとか（よく分かってない https://pawoo.net/@kakkun61/114108139890910237