1<!DOCTYPE html> 2<html 3 lang="ja" 4 5 6data-admin-domain="//blog.hatena.ne.jp" 7data-admin-origin="https://blog.hatena.ne.jp" 8data-author="hitotakuchan" 9data-avail-langs="ja en" 10data-blog="hitotakuchan.hatenablog.com" 11data-blog-host="hitotakuchan.hatenablog.com" 12data-blog-is-public="1" 13data-blog-name="俺㮠Colimit ãè¶ãã¦ãã" 14data-blog-owner="hitotakuchan" 15data-blog-show-ads="" 16data-blog-show-sleeping-ads="" 17data-blog-uri="https://www.orecoli.com/" 18data-blog-uuid="6653586347147862700" 19data-blogs-uri-base="https://www.orecoli.com" 20data-brand="pro" 21data-data-layer="{"hatenablog":{"admin":{},"analytics":{"brand_property_id":"","measurement_id":"","non_sampling_property_id":"","property_id":"","separated_property_id":"UA-29716941-26"},"blog":{"blog_id":"6653586347147862700","content_seems_japanese":"true","disable_ads":"custom_domain","enable_ads":"false","entry_show_footer_related_entries":"true","force_pc_view":"false","is_public":"true","is_responsive_view":"false","is_sleeping":"true","lang":"ja","name":"\u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051","owner_name":"hitotakuchan","uri":"https://www.orecoli.com/"},"brand":"pro","page_id":"about","permalink_entry":null,"pro":"pro","router_type":"blogs"}}" 22data-device="pc" 23data-dont-recommend-pro="false" 24data-global-domain="https://hatena.blog" 25data-globalheader-color="b" 26data-globalheader-type="pc" 27data-has-touch-view="1" 28data-help-url="https://help.hatenablog.com" 29data-page="about" 30data-parts-domain="https://hatenablog-parts.com" 31data-plus-available="1" 32data-pro="true" 33data-router-type="blogs" 34data-sentry-dsn="https://[email protected]/1195218" 35data-sentry-environment="production" 36data-sentry-sample-rate="0.1" 37data-static-domain="https://cdn.blog.st-hatena.com" 38data-version="89f69427ebf1344326896140241320" 39 40 41 42 43 44 itemscope 45 itemtype="http://schema.org/Blog" 46 47 48 data-initial-state="{}" 49 50 > 51 <head prefix="og: http://ogp.me/ns# fb: http://ogp.me/ns/fb#"> 52 53 54 55 56 57 58 59 60 61 62 <meta name="robots" content="max-image-preview:large" /> 63 64 65 <meta charset="utf-8"/> 66 <meta http-equiv="X-UA-Compatible" content="IE=7; IE=9; IE=10; IE=11" /> 67 <title>ãã®ããã°ã«ã¤ã㦠- 俺㮠Colimit ãè¶ãã¦ãã</title> 68 69 70 <link rel="canonical" href="https://www.orecoli.com/about"/> 71 72 73 74 75 76<meta itemprop="name" content="ãã®ããã°ã«ã¤ã㦠- 俺㮠Colimit ãè¶ãã¦ãã"/> 77 78 <meta itemprop="image" content="https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png"/> 79 80 81 <meta property="og:title" content="ãã®ããã°ã«ã¤ã㦠- 俺㮠Colimit ãè¶ãã¦ãã"/> 82<meta property="og:type" content="blog"/> 83 <meta property="og:url" content="https://www.orecoli.com/about"/> 84 85 <meta property="og:image" content="https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png"/> 86 87<meta property="og:image:alt" content="ãã®ããã°ã«ã¤ã㦠- 俺㮠Colimit ãè¶ãã¦ãã"/> 88 <meta property="og:description" content="åè«ãå®çè¨¼ææ¯æ´ç³» Coq ã®è©±é¡ãä¸»ã«æ¸ãã¦ãã¾ããSteve Awodey ã® Category Theory ã«ã¤ãã¦è§£èª¬ãã¦ãã¾ãã" /> 89<meta property="og:site_name" content="俺㮠Colimit ãè¶ãã¦ãã"/> 90 91 <meta name="twitter:card" content="summary_large_image" /> 92 <meta name="twitter:image" content="https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png" /> <meta name="twitter:title" content="ãã®ããã°ã«ã¤ã㦠- 俺㮠Colimit ãè¶ãã¦ãã" /> <meta name="twitter:description" content="åè«ãå®çè¨¼ææ¯æ´ç³» Coq ã®è©±é¡ãä¸»ã«æ¸ãã¦ãã¾ããSteve Awodey ã® Category Theory ã«ã¤ãã¦è§£èª¬ãã¦ãã¾ãã" /> <meta name="twitter:app:name:iphone" content="ã¯ã¦ãªããã°ã¢ããª" /> 93 <meta name="twitter:app:id:iphone" content="583299321" /> 94 <meta name="twitter:app:url:iphone" content="hatenablog:///open?uri=https%3A%2F%2Fwww.orecoli.com%2Fabout" /> 95 96 <meta name="google-site-verification" content="U0b_w9pK3zT-VYBFzuzzAGSxXEYU-8m88vwDxBPmX0Y" /> 97 <meta name="keywords" content="Coq å®ç証æ åè« Category Theory æ°å¦ Math Steve Awodey" /> 98 99 100
101<script 102 id="embed-gtm-data-layer-loader" 103 data-data-layer-page-specific="" 104> 105(function() { 106 function loadDataLayer(elem, attrName) { 107 if (!elem) { return {}; } 108 var json = elem.getAttribute(attrName); 109 if (!json) { return {}; } 110 return JSON.parse(json); 111 } 112 113 var globalVariables = loadDataLayer( 114 document.documentElement, 115 'data-data-layer' 116 ); 117 var pageSpecificVariables = loadDataLayer( 118 document.getElementById('embed-gtm-data-layer-loader'), 119 'data-data-layer-page-specific' 120 ); 121 122 var variables = [globalVariables, pageSpecificVariables]; 123 124 if (!window.dataLayer) { 125 window.dataLayer = []; 126 } 127 128 for (var i = 0; i < variables.length; i++) { 129 window.dataLayer.push(variables[i]); 130 } 131})(); 132</script>
132 133 134<!-- Google Tag Manager -->
135<script>
vendor: 327 bytes, lines 135-139
135(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': 136new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], 137j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= 138'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); 139})(window,document,'script','dataLayer','
139GTM-P4CXTW
vendor: 3 bytes, line 139
139');
139</script>
139 140<!-- End Google Tag Manager --> 141 142 143 144 145 146 147 148 149 150 151 152 <link rel="shortcut icon" href="https://www.orecoli.com/icon/favicon"> 153<link rel="apple-touch-icon" href="https://www.orecoli.com/icon/touch"> 154<link rel="icon" sizes="192x192" href="https://www.orecoli.com/icon/link"> 155 156 157 158<link rel="alternate" type="application/atom+xml" title="Atom" href="https://www.orecoli.com/feed"/> 159<link rel="alternate" type="application/rss+xml" title="RSS2.0" href="https://www.orecoli.com/rss"/> 160 161 162 163 <link rel="author" href="http://www.hatena.ne.jp/hitotakuchan/"> 164 165 166 167 168 169 170 171 172 173<link rel="stylesheet" type="text/css" href="https://cdn.blog.st-hatena.com/css/blog.css?version=89f69427ebf1344326896140241320"/> 174 175 176 <link rel="stylesheet" type="text/css" href="https://usercss.blog.st-hatena.com/blog_style/6653586347147862700/01eb75812d64fae349f4372193bcec534ef8a4c2"/> 177 178 179 180 181 182 183
184<script> </script>
184 185 186 187<style> 188 div#google_afc_user, 189 div.google-afc-user-container, 190 div.google_afc_image, 191 div.google_afc_blocklink { 192 display: block !important; 193 } 194</style> 195 196 197 198 199 200 201 <!-- Google Tag Manager -->
202<script>
vendor: 331 bytes, lines 202-206
202(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': 203new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], 204j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= 205'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); 206})(window,document,'script','dataLayer','
206GTM-KSZCJLV
vendor: 3 bytes, line 206
206');
206</script>
206 207<!-- End Google Tag Manager --> 208 209<link rel="preconnect" href="https://pagead2.googlesyndication.com" crossorigin> 210<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin> 211<link rel="preconnect" href="https://fonts.googleapis.com" crossorigin> 212<link rel="preconnect" href="https://googleads.g.doubleclick.net" crossorigin> 213<link rel="preconnect" href="https://stats.g.doubleclick.net" crossorigin> 214 215 216 217</head> 218 219 <body class="page-about enable-top-editarea enable-bottom-editarea globalheader-ng-enabled"> 220 221 222 223<div id="globalheader-container" 224 data-brand="hatenablog" 225 226 > 227 <iframe id="globalheader" height="37" frameborder="0" allowTransparency="true"></iframe> 228</div> 229 230 231 232 233 234 <nav class=" 235 blog-controlls 236 237 "> 238 <div class="blog-controlls-blog-icon"> 239 <a href="https://www.orecoli.com/"> 240 <img src="https://cdn.blog.st-hatena.com/images/admin/blog-icon-noimage.png" alt="俺㮠Colimit ãè¶ãã¦ãã"/> 241 </a> 242 </div> 243 <div class="blog-controlls-title"> 244 <a href="https://www.orecoli.com/">俺㮠Colimit ãè¶ãã¦ãã</a> 245 </div> 246 <a href="https://blog.hatena.ne.jp/hitotakuchan/hitotakuchan.hatenablog.com/subscribe?utm_source=blogs_topright_button&utm_campaign=subscribe_blog&utm_medium=button" class="blog-controlls-subscribe-btn test-blog-header-controlls-subscribe"> 247 èªè ã«ãªã 248 </a> 249 </nav> 250 251 252 <div id="container"> 253 <div id="container-inner"> 254 <header id="blog-title" data-brand="hatenablog"> 255 <div id="blog-title-inner" > 256 <div id="blog-title-content"> 257 <h1 id="title"><a href="https://www.orecoli.com/">俺㮠Colimit ãè¶ãã¦ãã</a></h1> 258 259 </div> 260 </div> 261</header> 262 263 264 265 <div id="top-editarea"> 266 <!-- Google Tag Manager (noscript) -->
vendor: 69 bytes, lines 266-267
266 267<noscript><iframe src="https://www.googletagmanager.com/ns.html?id=
267GTM-KSZCJLV
vendor: 85 bytes, lines 267-268
267" 268height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
269<!-- End Google Tag Manager (noscript) --> 270 </div> 271 272 273 274 275 276<div id="content"> 277 <div id="content-inner"> 278 <div id="wrapper"> 279 <div id="main"> 280 <div id="main-inner"> 281 <article class="entry"> 282 <div class="entry-inner"> 283 <div class="entry-content"> 284 285 286 <dl> 287 288 <dt>ãããã£ã¼ã«</dt> 289 <dd> 290 291 292 <a href="https://profile.hatena.ne.jp/hitotakuchan/"> 293 <img src="https://cdn.profile-image.st-hatena.com/users/hitotakuchan/profile.png" width="16" height="16" alt="" class="profile-icon"/> 294 <span data-load-nickname="1" data-user-name="hitotakuchan">id:hitotakuchan</span> 295 </a> 296 297 298 299 <a href="https://blog.hatena.ne.jp/-/pro?plus_via=blog_plus_badge&utm_source=pro_badge&utm_medium=referral&utm_campaign=register_pro" title="ã¯ã¦ãªããã°Pro"><i class="badge-type-pro">ã¯ã¦ãªããã°Pro</i></a> 300 301 302 303 304 305 306 </dd> 307 308 309 310 311 312 313 314 <dt>ããã°æç¨¿æ°</dt> 315 <dd>21 è¨äº</dd> 316 317 318 319 <dt>ããã°æç¨¿æ¥æ°</dt> 320 <dd>21 æ¥</dd> 321 322 323 324 <dt>èªè </dt> 325 <dd> 326 <div class="js-about-subscriber"></div> 327 </dd> 328 329 </dl> 330</div> 331 332 333 334 </div> 335 </article> 336 </div> 337 </div> 338 </div> 339 340<aside id="box2"> 341 342 <div id="box2-inner"> 343 344 345 346<div class="hatena-module hatena-module-profile"> 347 <div class="hatena-module-title"> 348 ãããã£ã¼ã« 349 </div> 350 <div class="hatena-module-body"> 351 352 <a href="https://www.orecoli.com/about" class="profile-icon-link"> 353 <img src="https://cdn.profile-image.st-hatena.com/users/hitotakuchan/profile.png" 354 alt="id:hitotakuchan" class="profile-icon" /> 355 </a> 356 357 358 359 <span class="id"> 360 <a href="https://www.orecoli.com/about" class="hatena-id-link"><span data-load-nickname="1" data-user-name="hitotakuchan">id:hitotakuchan</span></a> 361 362 363 364 <a href="https://blog.hatena.ne.jp/-/pro?plus_via=blog_plus_badge&utm_source=pro_badge&utm_medium=referral&utm_campaign=register_pro" title="ã¯ã¦ãªããã°Pro"><i class="badge-type-pro">ã¯ã¦ãªããã°Pro</i></a> 365 366 367 368 </span> 369 370 371 372 373 374 375 376 <div class="hatena-follow-button-box btn-subscribe js-hatena-follow-button-box" 377 378 > 379 380 <a href="#" class="hatena-follow-button js-hatena-follow-button"> 381 <span class="subscribing"> 382 <span class="foreground">èªè ã§ã</span> 383 <span class="background">èªè ãããã</span> 384 </span> 385 <span class="unsubscribing" data-track-name="profile-widget-subscribe-button" data-track-once> 386 <span class="foreground">èªè ã«ãªã</span> 387 <span class="background">èªè ã«ãªã</span> 388 </span> 389 </a> 390 <div class="subscription-count-box js-subscription-count-box"> 391 <i></i> 392 <u></u> 393 <span class="subscription-count js-subscription-count"> 394 </span> 395 </div> 396</div> 397 398 399 400 401 402 <div class="profile-about"> 403 <a href="https://www.orecoli.com/about">ãã®ããã°ã«ã¤ãã¦</a> 404 </div> 405 406 </div> 407</div> 408 409 410 <div class="hatena-module hatena-module-recent-entries "> 411 <div class="hatena-module-title"> 412 <a href="https://www.orecoli.com/archive"> 413 ææ°è¨äº 414 </a> 415 </div> 416 <div class="hatena-module-body"> 417 <ul class="recent-entries hatena-urllist "> 418 419 420 421 <li class="urllist-item recent-entries-item"> 422 <div class="urllist-item-inner recent-entries-item-inner"> 423 424 425 426 <a href="https://www.orecoli.com/entry/2020/06/29/080000" class="urllist-title-link recent-entries-title-link urllist-title recent-entries-title">忣åæã¢ã«ã´ãªãºã Raft ã TLA+ ã§æ¤è¨¼ãã</a> 427 428 429 430 431 432 433 434 </div> 435 </li> 436 437 438 <li class="urllist-item recent-entries-item"> 439 <div class="urllist-item-inner recent-entries-item-inner"> 440 441 442 443 <a href="https://www.orecoli.com/entry/2020/05/01/181623" class="urllist-title-link recent-entries-title-link urllist-title recent-entries-title">A Proof for Log Matching Property of Raft</a> 444 445 446 447 448 449 450 451 </div> 452 </li> 453 454 455 <li class="urllist-item recent-entries-item"> 456 <div class="urllist-item-inner recent-entries-item-inner"> 457 458 459 460 <a href="https://www.orecoli.com/entry/2020/03/13/073000" class="urllist-title-link recent-entries-title-link urllist-title recent-entries-title">ãã³ãã¬(æ°ç¬)ã¯é£ãããå®ç¾©ããã®ãé£ãã</a> 461 462 463 464 465 466 467 468 </div> 469 </li> 470 471 472 <li class="urllist-item recent-entries-item"> 473 <div class="urllist-item-inner recent-entries-item-inner"> 474 475 476 477 <a href="https://www.orecoli.com/entry/2017/05/16/212509" class="urllist-title-link recent-entries-title-link urllist-title recent-entries-title">大妿°å¦ã®å奿å°ãå§ãã¾ã</a> 478 479 480 481 482 483 484 485 </div> 486 </li> 487 488 489 <li class="urllist-item recent-entries-item"> 490 <div class="urllist-item-inner recent-entries-item-inner"> 491 492 493 494 <a href="https://www.orecoli.com/entry/2016/11/02/133608" class="urllist-title-link recent-entries-title-link urllist-title recent-entries-title">Steve Awodey ã® Category Theory ãèªã : Chapter 10</a> 495 496 497 498 499 500 501 502 </div> 503 </li> 504 505</ul> 506 507 </div> 508</div> 509 510 511 512<div class="hatena-module hatena-module-entries-access-ranking" 513 data-count="5" 514 data-source="access" 515 data-category_name="" 516 data-enable_customize_format="0" 517 data-display_entry_image_size_width="100" 518 data-display_entry_image_size_height="100" 519 520 data-display_entry_category="0" 521 data-display_entry_image="0" 522 data-display_entry_image_size_width="100" 523 data-display_entry_image_size_height="100" 524 data-display_entry_body_length="0" 525 data-display_entry_date="0" 526 data-display_entry_title_length="20" 527 data-restrict_entry_title_length="0" 528 data-display_bookmark_count="1" 529 530> 531 <div class="hatena-module-title"> 532 533 注ç®è¨äº 534 535 </div> 536 <div class="hatena-module-body"> 537 538 </div> 539</div> 540 541 542 543 544<div class="hatena-module hatena-module-archive" data-archive-type="default" data-archive-url="https://www.orecoli.com/archive"> 545 <div class="hatena-module-title"> 546 <a href="https://www.orecoli.com/archive">æå¥ã¢ã¼ã«ã¤ã</a> 547 </div> 548 <div class="hatena-module-body"> 549 550 551 <ul class="hatena-urllist"> 552 553 <li class="archive-module-year archive-module-year-hidden" data-year="2020"> 554 <div class="archive-module-button">
555 <span class="archive-module-hide-button">â¼</span> 556 <span class="archive-module-show-button">â¶</span> 557 </div> 558 <a href="https://www.orecoli.com/archive/2020" class="archive-module-year-title archive-module-year-2020"> 559 2020 560 </a> 561 <ul class="archive-module-months"> 562 563 <li class="archive-module-month"> 564 <a href="https://www.orecoli.com/archive/2020/06" class="archive-module-month-title archive-module-month-2020-6"> 565 2020 / 6 566 </a> 567 </li> 568 569 <li class="archive-module-month"> 570 <a href="https://www.orecoli.com/archive/2020/05" class="archive-module-month-title archive-module-month-2020-5"> 571 2020 / 5 572 </a> 573 </li> 574 575 <li class="archive-module-month"> 576 <a href="https://www.orecoli.com/archive/2020/03" class="archive-module-month-title archive-module-month-2020-3"> 577 2020 / 3 578 </a> 579 </li> 580 581 </ul> 582 </li> 583 584 <li class="archive-module-year archive-module-year-hidden" data-year="2017"> 585 <div class="archive-module-button"> 586 <span class="archive-module-hide-button">â¼</span> 587 <span class="archive-module-show-button">â¶</span> 588 </div> 589 <a href="https://www.orecoli.com/archive/2017" class="archive-module-year-title archive-module-year-2017"> 590 2017 591 </a> 592 <ul class="archive-module-months"> 593 594 <li class="archive-module-month"> 595 <a href="https://www.orecoli.com/archive/2017/05" class="archive-module-month-title archive-module-month-2017-5"> 596 2017 / 5 597 </a> 598 </li> 599 600 </ul> 601 </li> 602 603 <li class="archive-module-year archive-module-year-hidden" data-year="2016"> 604 <div class="archive-module-button"> 605 <span class="archive-module-hide-button">â¼</span> 606 <span class="archive-module-show-button">â¶</span> 607 </div> 608 <a href="https://www.orecoli.com/archive/2016" class="archive-module-year-title archive-module-year-2016"> 609 2016 610 </a> 611 <ul class="archive-module-months"> 612 613 <li class="archive-module-month"> 614 <a href="https://www.orecoli.com/archive/2016/11" class="archive-module-month-title archive-module-month-2016-11"> 615 2016 / 11 616 </a> 617 </li> 618 619 <li class="archive-module-month"> 620 <a href="https://www.orecoli.com/archive/2016/09" class="archive-module-month-title archive-module-month-2016-9"> 621 2016 / 9 622 </a> 623 </li> 624 625 <li class="archive-module-month"> 626 <a href="https://www.orecoli.com/archive/2016/07" class="archive-module-month-title archive-module-month-2016-7"> 627 2016 / 7 628 </a> 629 </li> 630 631 <li class="archive-module-month"> 632 <a href="https://www.orecoli.com/archive/2016/06" class="archive-module-month-title archive-module-month-2016-6"> 633 2016 / 6 634 </a> 635 </li> 636 637 <li class="archive-module-month"> 638 <a href="https://www.orecoli.com/archive/2016/05" class="archive-module-month-title archive-module-month-2016-5"> 639 2016 / 5 640 </a> 641 </li> 642 643 <li class="archive-module-month"> 644 <a href="https://www.orecoli.com/archive/2016/04" class="archive-module-month-title archive-module-month-2016-4"> 645 2016 / 4 646 </a> 647 </li> 648 649 <li class="archive-module-month"> 650 <a href="https://www.orecoli.com/archive/2016/03" class="archive-module-month-title archive-module-month-2016-3"> 651 2016 / 3 652 </a> 653 </li> 654 655 <li class="archive-module-month"> 656 <a href="https://www.orecoli.com/archive/2016/02" class="archive-module-month-title archive-module-month-2016-2"> 657 2016 / 2 658 </a> 659 </li> 660 661 <li class="archive-module-month"> 662 <a href="https://www.orecoli.com/archive/2016/01" class="archive-module-month-title archive-module-month-2016-1"> 663 2016 / 1 664 </a> 665 </li> 666 667 </ul> 668 </li> 669 670 <li class="archive-module-year archive-module-year-hidden" data-year="2015"> 671 <div class="archive-module-button">
672 <span class="archive-module-hide-button">â¼</span> 673 <span class="archive-module-show-button">â¶</span> 674 </div> 675 <a href="https://www.orecoli.com/archive/2015" class="archive-module-year-title archive-module-year-2015"> 676 2015 677 </a> 678 <ul class="archive-module-months"> 679 680 <li class="archive-module-month"> 681 <a href="https://www.orecoli.com/archive/2015/12" class="archive-module-month-title archive-module-month-2015-12"> 682 2015 / 12 683 </a> 684 </li> 685 686 </ul> 687 </li> 688 689 </ul> 690 691 692 </div> 693</div> 694 695 696 <div class="hatena-module hatena-module-search-box"> 697 <div class="hatena-module-title"> 698 æ¤ç´¢ 699 </div> 700 <div class="hatena-module-body"> 701 <form class="search-form" role="search" action="https://www.orecoli.com/search" method="get"> 702 <input type="text" name="q" class="search-module-input" value="" placeholder="è¨äºãæ¤ç´¢" required> 703 <input type="submit" value="æ¤ç´¢" class="search-module-button" /> 704</form> 705 706 </div> 707</div> 708 709 710 </div> 711</aside> 712 713 714 </div> 715</div> 716 717 718 719 720 721 722 <div id="bottom-editarea"> 723
723<script src="https://www.google.com/jsapi"></script>
vendor: 2 bytes, line 723
723
724<script src="//bulldra.github.io/commons.js" charset="utf-8"></script>
vendor: 2 bytes, line 724
724
725<script src="//bulldra.github.io/breadcrumb.js" charset="utf-8"></script>
vendor: 2 bytes, line 725
725
726<script type="text/javascript"> 727google.setOnLoadCallback(categoryHierarchyModule); 728</script>
728 729 </div> 730 731 732 </div> 733 </div> 734 735<footer id="footer" data-brand="hatenablog"> 736 <div id="footer-inner"> 737 738 <address class="footer-address"> 739 <a href="https://www.orecoli.com/"> 740 <img src="https://cdn.blog.st-hatena.com/images/admin/blog-icon-noimage.png" width="16" height="16" alt="俺㮠Colimit ãè¶ãã¦ãã"/> 741 <span class="footer-address-name">俺㮠Colimit ãè¶ãã¦ãã</span> 742 </a> 743 </address> 744 <p class="services"> 745 Powered by <a href="https://hatena.blog/">Hatena Blog</a> 746 | 747 <a href="https://blog.hatena.ne.jp/-/abuse_report?target_url=https%3A%2F%2Fwww.orecoli.com%2Fabout" class="report-abuse-link test-report-abuse-link" target="_blank">ããã°ãå ±åãã</a> 748 </p> 749 </div> 750</footer> 751 752 753 754
754<script async src="https://s.hatena.ne.jp/js/widget/star.js"></script>
754 755 756 757
757<script> 758 if (typeof window.Hatena === 'undefined') { 759 window.Hatena = {}; 760 } 761 if (!Hatena.hasOwnProperty('Star')) { 762 Hatena.Star = { 763 VERSION: 2, 764 }; 765 } 766 </script>
766 767 768 769 770 771 772<div class="quote-box"> 773 <div class="tooltip-quote tooltip-quote-stock"> 774 <i class="blogicon-quote" title="å¼ç¨ãã¹ããã¯"></i> 775 </div> 776 <div class="tooltip-quote tooltip-quote-tweet js-tooltip-quote-tweet"> 777 <a class="js-tweet-quote" target="_blank" data-track-name="quote-tweet" data-track-once> 778 <img src="https://cdn.blog.st-hatena.com/images/admin/quote/quote-x-icon.svg?version=89f69427ebf1344326896140241320" title="å¼ç¨ãã¦æç¨¿ãã" > 779 </a> 780 </div> 781</div> 782 783<div class="quote-stock-panel" id="quote-stock-message-box" style="position: absolute; z-index: 3000"> 784 <div class="message-box" id="quote-stock-succeeded-message" style="display: none"> 785 <p>å¼ç¨ãã¹ããã¯ãã¾ãã</p> 786 <button class="btn btn-primary" id="quote-stock-show-editor-button" data-track-name="curation-quote-edit-button">ã¹ããã¯ä¸è¦§ãè¦ã</button> 787 <button class="btn quote-stock-close-message-button">éãã</button> 788 </div> 789 790 <div class="message-box" id="quote-login-required-message" style="display: none"> 791 <p>å¼ç¨ããã«ã¯ã¾ããã°ã¤ã³ãã¦ãã ãã</p> 792 <button class="btn btn-primary" id="quote-login-button">ãã°ã¤ã³</button> 793 <button class="btn quote-stock-close-message-button">éãã</button> 794 </div> 795 796 <div class="error-box" id="quote-stock-failed-message" style="display: none"> 797 <p>å¼ç¨ãã¹ããã¯ã§ãã¾ããã§ãããå度ã試ããã ãã</p> 798 <button class="btn quote-stock-close-message-button">éãã</button> 799 </div> 800 801 <div class="error-box" id="unstockable-quote-message-box" style="display: none; position: absolute; z-index: 3000;"> 802 <p>éå®å ¬éè¨äºã®ããå¼ç¨ã§ãã¾ããã</p> 803 </div> 804</div> 805
806<script type="x-underscore-template" id="js-requote-button-template"> 807 <div class="requote-button js-requote-button"> 808 <button class="requote-button-btn tipsy-top" title="å¼ç¨ãã"><i class="blogicon-quote"></i></button> 809 </div> 810</script>
810 811 812 813 814 815 <div id="hidden-subscribe-button" style="display: none;"> 816 <div class="hatena-follow-button-box btn-subscribe js-hatena-follow-button-box" 817 818 > 819 820 <a href="#" class="hatena-follow-button js-hatena-follow-button"> 821 <span class="subscribing"> 822 <span class="foreground">èªè ã§ã</span> 823 <span class="background">èªè ãããã</span> 824 </span> 825 <span class="unsubscribing" data-track-name="profile-widget-subscribe-button" data-track-once> 826 <span class="foreground">èªè ã«ãªã</span> 827 <span class="background">èªè ã«ãªã</span> 828 </span> 829 </a> 830 <div class="subscription-count-box js-subscription-count-box"> 831 <i></i> 832 <u></u> 833 <span class="subscription-count js-subscription-count"> 834 </span> 835 </div> 836</div> 837 838 </div> 839 840 841 842 843 844 845 846 847
847<script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
847 848
849<script src="https://b.st-hatena.com/js/bookmark_button.js" charset="utf-8" async="async"></script>
849 850 851
852<script type="text/javascript" src="https://cdn.blog.st-hatena.com/js/external/jquery.min.js?v=1.12.4&version=89f69427ebf1344326896140241320"></script>
852 853 854 855 856 857 858 859
860<script src="https://cdn.blog.st-hatena.com/js/texts-ja.js?version=89f69427ebf1344326896140241320"></script>
860 861 862 863 864
864<script id="vendors-js" data-env="production" src="https://cdn.blog.st-hatena.com/js/vendors.js?version=89f69427ebf1344326896140241320" crossorigin="anonymous"></script>
864 865
866<script id="hatenablog-js" data-env="production" src="https://cdn.blog.st-hatena.com/js/hatenablog.js?version=89f69427ebf1344326896140241320" crossorigin="anonymous" data-page-id="about"></script>
866 867 868 869
869<script>Hatena.Diary.GlobalHeader.init()</script>
869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 </body> 886</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.