これは2018 SATySFi advent calendar 6日目の記事です。[前] [次] たとえば話の流れでアッカーマン関数の計算方法の説明が必要になったとき(例1)、手打ちで数式を書きたくはないですよね。 何らかの数式処理システムで式を生成して適当な形式でエクスポート…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。