サクサク読めて、アプリ限定の機能も多数!
式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも
kirakking のブックマーク 2014/11/18 23:40
Hilbert<ヒルベルト> - 世界で一番ピュアなプログラミング言語 -[language][programming][数学]式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも2014/11/18 23:40
式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも
このブックマークにはスターがありません。 最初のスターをつけてみよう!
hilbert-lang.org2014/11/18
Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
145 人がブックマーク・23 件のコメント
\ コメントが サクサク読める アプリです /
式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Hilbert<ヒルベルト> - 世界で一番ピュアなプログラミング言語 -
Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
145 人がブックマーク・23 件のコメント
\ コメントが サクサク読める アプリです /