サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
●学び
●Hilbert<ヒルベルト> - 世界で一番ピュアなプログ...
●kirakkingのブックマーク
式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも
●language
●programming
●数学
kirakking
のブックマーク
2014/11/18 23:40
その他
●
●
●
このブックマークにはスターがありません。
最初のスターをつけてみよう！
hilbert-lang.org
Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
145 人がブックマーク・23件のコメント
＼ コメントが サクサク読める アプリです ／
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
式の簡約はどんな評価戦略と理論を用いているのだろう。へたしたら止まらない&計算結果の一意性が破壊されるけど、裏で SMT Solver とかかしら。あと 公理系がユーザー定義可能なら associative & commutative で遊んでみたいかも
●language
●programming
●数学