Microsoft Researchが開発した自動定理証明か。APIが用意されてる。デモあり。ソースコードも提供されているが独自ライセンスっぽい。

tmatsuu のブックマーク 2013/09/17 00:14

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/161738878/comment/tmatsuu" data-user-id="tmatsuu" data-entry-url="https://b.hatena.ne.jp/entry/s/www.microsoft.com/?p=z3" data-original-href="https://www.microsoft.com/?p=z3" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.microsoft.com%2F%3Fp%3Dz3" data-user-icon="/users/tmatsuu/profile.png">Microsoft – クラウド、コンピューター、アプリ & ゲーム</a><br><p style="clear: left">Microsoft Researchが開発した自動定理証明か。APIが用意されてる。デモあり。ソースコードも提供されているが独自ライセンスっぽい。</p><a class="datetime" href="https://b.hatena.ne.jp/tmatsuu/20130917#bookmark-161738878"><span class="datetime-body">2013/09/17 00:14</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Microsoft – クラウド、コンピューター、アプリ & ゲーム

www.microsoft.com2013/01/16

すべての Microsoft 製品 Global Microsoft 365 Teams Copilot Windows Surface Xbox セール法人向けサポートソフトウェア Windows アプリ AI OneDrive Outlook Skype OneNote Microsoft Teams PC とデバイス ...

21 人がブックマーク・4 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Microsoft – クラウド、コンピューター、アプリ & ゲーム

はてなブックマーク

公式Twitter

はてなのサービス