math

SATySFiで数式を生成する ~ラムダ計算編~

これは2018 SATySFi advent calendar 13日目の記事です。[前] [次] たとえば何かの資料を書いてる中でラムダ計算の説明が必要になった時、ちょっと込み入ったサンプルを手で書こうとしたら大変です。 PRED 5 = (λnfx.n (λgh.h(gf)) (λu.x) (λu.u)) (λfx.f(f(…

SATySFiの可換図式パッケージの使い方

これは2018 SATySFi advent calendar 11日目の記事です。[前] [次] SATySFiの標準パッケージの中に可換図式(comutative-diagram)を書くためのcdというパッケージがあるんですが、説明がThe SATySFi Bookや公式ドキュメントの中に見当たらなかったような気が…

SATySFiで数式を生成する ~アッカーマン関数編~

これは2018 SATySFi advent calendar 6日目の記事です。[前] [次] たとえば話の流れでアッカーマン関数の計算方法の説明が必要になったとき(例1)、手打ちで数式を書きたくはないですよね。 何らかの数式処理システムで式を生成して適当な形式でエクスポート…

π

http://www.kt.rim.or.jp/~kbk/zakkicho/10/zakkicho1010c.html#D20101030-5 http://www.kt.rim.or.jp/~kbk/zakkicho/10/zakkicho1010c.html#D20101031-2 より。 2の式は5の変形(2項ずつまとめてある)と分かったけど3, 4は全く知らなかったので調べてみたら…

いつになったら実践的なコードを書くんだか

Grassで脳がパズルゲーモードになってるところで、100問到達してからしばらく放置してたProject Eulerを再開してみる。 いつの間にやら随分カラフル、というか多機能になってるなーとりあえず最近の問題からサービス問題っぽいとこを。 Problem 203 - Projec…