2018-05-09から1日間の記事一覧

J-Bobを作ってみよう(10) 組み込み関数を追加する

littleprover

たかだか証明を数ステップ進めるだけで関数を何百万会も呼ばなきゃいけないのかという疑問を脇に押しのけてたくさん呼ばれてる関数を組み込み関数にしてみますなんにも頭を使わない力技