PageSourceSearch

https://www.orecoli.com/about

html orecoli.com collected 2026-10-05 05:01:27 UTC 27,837 bytes, 886 lines download raw bytes

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="{&quot;hatenablog&quot;:{&quot;admin&quot;:{},&quot;analytics&quot;:{&quot;brand_property_id&quot;:&quot;&quot;,&quot;measurement_id&quot;:&quot;&quot;,&quot;non_sampling_property_id&quot;:&quot;&quot;,&quot;property_id&quot;:&quot;&quot;,&quot;separated_property_id&quot;:&quot;UA-29716941-26&quot;},&quot;blog&quot;:{&quot;blog_id&quot;:&quot;6653586347147862700&quot;,&quot;content_seems_japanese&quot;:&quot;true&quot;,&quot;disable_ads&quot;:&quot;custom_domain&quot;,&quot;enable_ads&quot;:&quot;false&quot;,&quot;entry_show_footer_related_entries&quot;:&quot;true&quot;,&quot;force_pc_view&quot;:&quot;false&quot;,&quot;is_public&quot;:&quot;true&quot;,&quot;is_responsive_view&quot;:&quot;false&quot;,&quot;is_sleeping&quot;:&quot;true&quot;,&quot;lang&quot;:&quot;ja&quot;,&quot;name&quot;:&quot;\u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051&quot;,&quot;owner_name&quot;:&quot;hitotakuchan&quot;,&quot;uri&quot;:&quot;https://www.orecoli.com/&quot;},&quot;brand&quot;:&quot;pro&quot;,&quot;page_id&quot;:&quot;about&quot;,&quot;permalink_entry&quot;:null,&quot;pro&quot;:&quot;pro&quot;,&quot;router_type&quot;:&quot;blogs&quot;}}"
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&amp;utm_campaign=subscribe_blog&amp;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&amp;utm_source=pro_badge&amp;utm_medium=referral&amp;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&amp;utm_source=pro_badge&amp;utm_medium=referral&amp;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&amp;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.