Agda分からないんで理解が微妙だが、型変数を具現化するたびに型変数の数が一つ減るのを利用して、停止性を確保、と。

サクサク読めて、アプリ限定の機能も多数！アプリで開くはてなブックマーク閉じる ●はてなブックマークって？●アプリ・拡張の紹介●ユーザー登録●

●ログアウト

●テクノロジー ●Agda による型推論器の定式化 ●zyzyのブックマーク

Agda分からないんで理解が微妙だが、型変数を具現化するたびに型変数の数が一つ減るのを利用して、停止性を確保、と。 ●型推論 ●定理証明 ●勉強

zyzy のブックマーク 2015/03/07 12:02 その他 ●はてなブログで引用 ● ●

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/entry/243676446/comment/zyzy" data-user-id="zyzy" data-entry-url="https://b.hatena.ne.jp/entry/s/www.slideshare.net/slideshow/agda-45453544/45453544" data-original-href="https://www.slideshare.net/slideshow/agda-45453544/45453544" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.slideshare.net%2Fslideshow%2Fagda-45453544%2F45453544" data-user-icon="/users/zyzy/profile.png">Agda による型推論器の定式化</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/q/%25E5%259E%258B%25E6%258E%25A8%25E8%25AB%2596">型推論</a>]</li><li style="float: left">[<a href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/q/%25E5%25AE%259A%25E7%2590%2586%25E8%25A8%25BC%25E6%2598%258E">定理証明</a>]</li><li style="float: left">[<a href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/q/%25E5%258B%2589%25E5%25BC%25B7">勉強</a>]</li></ul><br><p style="clear: left">Agda分からないんで理解が微妙だが、型変数を具現化するたびに型変数の数が一つ減るのを利用して、停止性を確保、と。</p><a class="datetime" href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/zyzy/20150307#bookmark-243676446"><span class="datetime-body">2015/03/07 12:02</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Agda による型推論器の定式化

www.slideshare.net/slideshow2015/03/06 Effective Modern C++勉強会#7 https://github.com/herumi/emcjp/blob/master/readme.md 7人がブックマーク・3件のコメント他のコメントを読む＼コメントがサクサク読めるアプリです／

●総合 ●一般 ● ●政治と経済 ●暮らし ●学び ●テクノロジー ●エンタメ ●アニメとゲーム ●おもしろ ●アプリ・拡張機能 ●開発ブログ ●ヘルプ ●お問い合わせ ●ガイドライン ●利用規約 ●プライバシーポリシー ●利用者情報の外部送信について ●ガイドライン ●利用規約 ●プライバシーポリシー ●利用者情報の外部送信について ●公式アカウント ●ホットエントリー ●はてなブログ ●はてなブログPro ●人力検索はてな ●はてなブログタグ ●はてなニュース ●ソレドコ

Agda による型推論器の定式化

はてなブックマーク

公式Twitter

はてなのサービス