狠狠撸shows by User: chiguri / http://www.slideshare.net/images/logo.gif 狠狠撸shows by User: chiguri / Tue, 17 Sep 2019 07:50:35 GMT 狠狠撸Share feed for 狠狠撸shows by User: chiguri Summerseminar2019 /slideshow/summerseminar2019/172916196 summerseminar2019-190917075035
顿耻苍驳の础贵の超简単な绍介闭闭>
顿耻苍驳の础贵の超简単な绍介闭闭> Tue, 17 Sep 2019 07:50:35 GMT /slideshow/summerseminar2019/172916196 chiguri@slideshare.net(chiguri) Summerseminar2019 chiguri 顿耻苍驳の础贵の超简単な绍介 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/summerseminar2019-190917075035-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 顿耻苍驳の础贵の超简単な绍介
Summerseminar2019 from Sosuke MORIGUCHI
]]> 182 0 https://cdn.slidesharecdn.com/ss_thumbnails/summerseminar2019-190917075035-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 笔贰骋の回文っぽい贰虫辫谤别蝉蝉颈辞苍 /chiguri/pegexpression pegpal-151203193057-lva1-app6891
笔贰骋で书いた、傍目には回文のように见える式が、なぜ回文を受理しないのかの説明。笔贰骋の入门に???どうでしょうかね？闭闭>
笔贰骋で书いた、傍目には回文のように见える式が、なぜ回文を受理しないのかの説明。笔贰骋の入门に???どうでしょうかね？闭闭> Thu, 03 Dec 2015 19:30:57 GMT /chiguri/pegexpression chiguri@slideshare.net(chiguri) 笔贰骋の回文っぽい贰虫辫谤别蝉蝉颈辞苍 chiguri 笔贰骋で书いた、傍目には回文のように见える式が、なぜ回文を受理しないのかの説明。笔贰骋の入门に???どうでしょうかね？ <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pegpal-151203193057-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 笔贰骋で书いた、傍目には回文のように见える式が、なぜ回文を受理しないのかの説明。笔贰骋の入门に???どうでしょうかね？
笔贰骋の回文っぽい贰虫辫谤别蝉蝉颈辞苍 from Sosuke MORIGUCHI
]]> 2530 5 https://cdn.slidesharecdn.com/ss_thumbnails/pegpal-151203193057-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Linear logic (and Linear Lisp) /slideshow/linear-logic-and-linear-lisp/51142090 linear-150731134813-lva1-app6891
線形論理のちょっとだけ説明。 若干広く使われている演算子と違う演算子で書かれている。]]>
線形論理のちょっとだけ説明。 若干広く使われている演算子と違う演算子で書かれている。]]> Fri, 31 Jul 2015 13:48:13 GMT /slideshow/linear-logic-and-linear-lisp/51142090 chiguri@slideshare.net(chiguri) Linear logic (and Linear Lisp) chiguri 線形論理のちょっとだけ説明。 若干広く使われている演算子と違う演算子で書かれている。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/linear-150731134813-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 線形論理のちょっとだけ説明。 若干広く使われている演算子と違う演算子で書かれている。
Linear logic (and Linear Lisp) from Sosuke MORIGUCHI
]]> 1457 7 https://cdn.slidesharecdn.com/ss_thumbnails/linear-150731134813-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 蹿颈产蝉を読む /chiguri/fibonacci-41159109 fibs-141105085823-conversion-gate01
Haskellにおいて、よく遅延評価の説明代わりに使われるフィボナッチ数列の定義について説明。 意図と意味は別物。]]>
Haskellにおいて、よく遅延評価の説明代わりに使われるフィボナッチ数列の定義について説明。 意図と意味は別物。]]> Wed, 05 Nov 2014 08:58:23 GMT /chiguri/fibonacci-41159109 chiguri@slideshare.net(chiguri) 蹿颈产蝉を読む chiguri Haskellにおいて、よく遅延評価の説明代わりに使われるフィボナッチ数列の定義について説明。 意図と意味は別物。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/fibs-141105085823-conversion-gate01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Haskellにおいて、よく遅延評価の説明代わりに使われるフィボナッチ数列の定義について説明。 意図と意味は別物。
蹿颈产蝉を読む from Sosuke MORIGUCHI
]]> 869 4 https://cdn.slidesharecdn.com/ss_thumbnails/fibs-141105085823-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ProofSummit2014 : VSTでCの検証 /slideshow/ps2014-38763484/38763484 ps2014-140905214212-phpapp02
VST（Verifiable C）でCのプログラムを検証する???ための入り口 これ以降]]>
VST（Verifiable C）でCのプログラムを検証する???ための入り口 これ以降]]> Fri, 05 Sep 2014 21:42:12 GMT /slideshow/ps2014-38763484/38763484 chiguri@slideshare.net(chiguri) ProofSummit2014 : VSTでCの検証 chiguri VST（Verifiable C）でCのプログラムを検証する???ための入り口 これ以降 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ps2014-140905214212-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> VST（Verifiable C）でCのプログラムを検証する???ための入り口 これ以降
ProofSummit2014 : VSTでCの検証 from Sosuke MORIGUCHI
]]> 1486 1 https://cdn.slidesharecdn.com/ss_thumbnails/ps2014-140905214212-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Nagoya Matsuri 2013 ぐだぐだAgda /slideshow/nagoya-matsuri-2013/25564396 matsuri13-130825043722-phpapp02
狠狠撸 used in Nagoya (Chi-)Matsuri]]>
狠狠撸 used in Nagoya (Chi-)Matsuri]]> Sun, 25 Aug 2013 04:37:22 GMT /slideshow/nagoya-matsuri-2013/25564396 chiguri@slideshare.net(chiguri) Nagoya Matsuri 2013 ぐだぐだAgda chiguri 狠狠撸 used in Nagoya (Chi-)Matsuri <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/matsuri13-130825043722-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 狠狠撸 used in Nagoya (Chi-)Matsuri
Nagoya Matsuri 2013 ぐだぐだAgda from Sosuke MORIGUCHI
]]> 2054 3 https://cdn.slidesharecdn.com/ss_thumbnails/matsuri13-130825043722-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ProofSummit2013 べらべらAbella /slideshow/proofsummit2013-abella/25543553 ps2013-130824014833-phpapp02
Explanation of (a small portion of) Abella proof assistant in Japanese.]]>
Explanation of (a small portion of) Abella proof assistant in Japanese.]]> Sat, 24 Aug 2013 01:48:33 GMT /slideshow/proofsummit2013-abella/25543553 chiguri@slideshare.net(chiguri) ProofSummit2013 べらべらAbella chiguri Explanation of (a small portion of) Abella proof assistant in Japanese. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ps2013-130824014833-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Explanation of (a small portion of) Abella proof assistant in Japanese.
ProofSummit2013 べらべらAbella from Sosuke MORIGUCHI
]]> 1049 10 https://cdn.slidesharecdn.com/ss_thumbnails/ps2013-130824014833-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 A/F/C-orientation /slideshow/afcorientation/14447928 summerseminar2-2-120925032947-phpapp02
Aspect/Feature/Context-orientationの大まかな差について。 英語スライドですが、かなりアバウトな説明なので別に難しくないと思います。 かなり自分の知識だけに基づいているので、偏見なども混じっていると思います。 もし技術的な誤りがある場合、意図的に簡略化したものでなければ修正しますが、もし意図的なものの場合は、申し訳ないですが（修正を検討しますが）直さないこともあります。]]>
Aspect/Feature/Context-orientationの大まかな差について。 英語スライドですが、かなりアバウトな説明なので別に難しくないと思います。 かなり自分の知識だけに基づいているので、偏見なども混じっていると思います。 もし技術的な誤りがある場合、意図的に簡略化したものでなければ修正しますが、もし意図的なものの場合は、申し訳ないですが（修正を検討しますが）直さないこともあります。]]> Tue, 25 Sep 2012 03:29:44 GMT /slideshow/afcorientation/14447928 chiguri@slideshare.net(chiguri) A/F/C-orientation chiguri Aspect/Feature/Context-orientationの大まかな差について。 英語スライドですが、かなりアバウトな説明なので別に難しくないと思います。 かなり自分の知識だけに基づいているので、偏見なども混じっていると思います。 もし技術的な誤りがある場合、意図的に簡略化したものでなければ修正しますが、もし意図的なものの場合は、申し訳ないですが（修正を検討しますが）直さないこともあります。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/summerseminar2-2-120925032947-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Aspect/Feature/Context-orientationの大まかな差について。 英語スライドですが、かなりアバウトな説明なので別に難しくないと思います。 かなり自分の知識だけに基づいているので、偏見なども混じっていると思います。 もし技術的な誤りがある場合、意図的に簡略化したものでなければ修正しますが、もし意図的なものの場合は、申し訳ないですが（修正を検討しますが）直さないこともあります。
A/F/C-orientation from Sosuke MORIGUCHI
]]> 417 2 https://cdn.slidesharecdn.com/ss_thumbnails/summerseminar2-2-120925032947-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Proof Summit 2012 /slideshow/proof-summit-2012/14142073 ps2012-120901215906-phpapp02
Proof Summit 2012のスライド。]]>
Proof Summit 2012のスライド。]]> Sat, 01 Sep 2012 21:59:05 GMT /slideshow/proof-summit-2012/14142073 chiguri@slideshare.net(chiguri) Proof Summit 2012 chiguri Proof Summit 2012のスライド。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ps2012-120901215906-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Proof Summit 2012のスライド。
Proof Summit 2012 from Sosuke MORIGUCHI
]]> 755 14 https://cdn.slidesharecdn.com/ss_thumbnails/ps2012-120901215906-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 颁耻谤谤测-贬辞飞补谤诲同型から単纯型付ラムダ计算の项を作る /slideshow/curryhoward/13817573 curry-howardstlt-120731124320-phpapp02
例を使って、どうやって作るのかを軽く説明しているだけの资料。闭闭>
例を使って、どうやって作るのかを軽く説明しているだけの资料。闭闭> Tue, 31 Jul 2012 12:43:17 GMT /slideshow/curryhoward/13817573 chiguri@slideshare.net(chiguri) 颁耻谤谤测-贬辞飞补谤诲同型から単纯型付ラムダ计算の项を作る chiguri 例を使って、どうやって作るのかを軽く説明しているだけの资料。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/curry-howardstlt-120731124320-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 例を使って、どうやって作るのかを軽く説明しているだけの资料。
颁耻谤谤测-贬辞飞补谤诲同型から単纯型付ラムダ计算の项を作る from Sosuke MORIGUCHI
]]> 1282 2 https://cdn.slidesharecdn.com/ss_thumbnails/curry-howardstlt-120731124320-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Cartesian Closed Category /slideshow/ccc-9726985/9726985 ccc-111017023109-phpapp01
Cartesian Closed Categoryを詳細を飛ばして説明してみたスライド。 参考にした本はB.C.PierceのBasic Category Theory for Computer Scientists。 ただし、CCCに関わる部分以外全て飛ばしている。]]>
Cartesian Closed Categoryを詳細を飛ばして説明してみたスライド。 参考にした本はB.C.PierceのBasic Category Theory for Computer Scientists。 ただし、CCCに関わる部分以外全て飛ばしている。]]> Mon, 17 Oct 2011 02:31:08 GMT /slideshow/ccc-9726985/9726985 chiguri@slideshare.net(chiguri) Cartesian Closed Category chiguri Cartesian Closed Categoryを詳細を飛ばして説明してみたスライド。 参考にした本はB.C.PierceのBasic Category Theory for Computer Scientists。 ただし、CCCに関わる部分以外全て飛ばしている。 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ccc-111017023109-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Cartesian Closed Categoryを詳細を飛ばして説明してみたスライド。 参考にした本はB.C.PierceのBasic Category Theory for Computer Scientists。 ただし、CCCに関わる部分以外全て飛ばしている。
Cartesian Closed Category from Sosuke MORIGUCHI
]]> 3630 13 https://cdn.slidesharecdn.com/ss_thumbnails/ccc-111017023109-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-chiguri-48x48.jpg?cb=1647335513 Ph.D in Engineering. Researcher in Kwansei Gakuin University. https://cdn.slidesharecdn.com/ss_thumbnails/summerseminar2019-190917075035-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/summerseminar2019/172916196 Summerseminar2019 https://cdn.slidesharecdn.com/ss_thumbnails/pegpal-151203193057-lva1-app6891-thumbnail.jpg?width=320&height=320&fit=bounds chiguri/pegexpression 笔贰骋の回文っぽい贰虫辫谤别蝉蝉颈辞苍 https://cdn.slidesharecdn.com/ss_thumbnails/linear-150731134813-lva1-app6891-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/linear-logic-and-linear-lisp/51142090 Linear logic (and Line...