サクサク読めて、アプリ限定の機能も多数!
非自動式証明系? TeXを拡張すればできるかも。推論規則をマクロ化しておいて、論理に飛躍があるとコンパイル通らないとか。
yugui のブックマーク 2006/06/27 16:00
最上の日々 - 数学を表現するのに最適な媒体はコンピュータである[math][tech] 非自動式証明系? TeXを拡張すればできるかも。推論規則をマクロ化しておいて、論理に飛躍があるとコンパイル通らないとか。2006/06/27 16:00
このブックマークにはスターがありません。 最初のスターをつけてみよう!
homepage3.nifty.com2006/06/13
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 (これだけ書くのも大変だろうなあ。いつもお世話になってます。) 証明チェッカのあちら側とこちら側 私的...
138 人がブックマーク・50 件のコメント
\ コメントが サクサク読める アプリです /
非自動式証明系? TeXを拡張すればできるかも。推論規則をマクロ化しておいて、論理に飛躍があるとコンパイル通らないとか。
yugui のブックマーク 2006/06/27 16:00
このブックマークにはスターがありません。
最初のスターをつけてみよう!
最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
homepage3.nifty.com2006/06/13
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 (これだけ書くのも大変だろうなあ。いつもお世話になってます。) 証明チェッカのあちら側とこちら側 私的...
138 人がブックマーク・50 件のコメント
\ コメントが サクサク読める アプリです /