kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

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

定理証明手習い (84) 演算子

(unary-op rator rand) (組み込みの)単項演算子の演算を行う (binary-op rator rand1 rand2) (組み込みの)二項演算子の演算を行う (apply-op rator rands) (組み込みの)演算子の演算を行う rator、なんだかわかった・・・ opeが省略されてたのか そり…