2015-08-01から1ヶ月間の記事一覧

Takeuchi Numberの計算もするたらいまわし関数

竹内先生のたらいまわし関数をコンピュータプログラミング言語処理系のチェック等の目的で使う場合、処理系自体が正しく動いているかどうかのチェックとしては、返す値のチェックだけでは不安があります。計算時間の測定であるていどの傾向はわかりますが、…