Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Yoichi |
Description | Yoichi Hirai Yoichi Hirai (平井洋一) interests Computation and some logics Becoming a "convenience logician" in the sense of "convenience stores" resume Logic Zoo Workshop |
Keywords | N/A |
WebSite | yoichihirai.com |
Host IP | 185.199.108.153 |
Location | - |
Site | Rank |
US$281,487
Last updated: 2023-05-10 01:14:37
yoichihirai.com has Semrush global rank of 37,601,439. yoichihirai.com has an estimated worth of US$ 281,487, based on its estimated Ads revenue. yoichihirai.com receives approximately 32,480 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, yoichihirai.com is safe to visit. |
Purchase/Sale Value | US$281,487 |
Daily Ads Revenue | US$260 |
Monthly Ads Revenue | US$7,796 |
Yearly Ads Revenue | US$93,541 |
Daily Unique Visitors | 2,166 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
yoichihirai.com. | A | 300 | IP: 185.199.108.153 |
yoichihirai.com. | A | 300 | IP: 185.199.111.153 |
yoichihirai.com. | A | 300 | IP: 185.199.109.153 |
yoichihirai.com. | A | 300 | IP: 185.199.110.153 |
yoichihirai.com. | AAAA | 300 | IPV6: 2606:50c0:8000::153 |
yoichihirai.com. | AAAA | 300 | IPV6: 2606:50c0:8002::153 |
yoichihirai.com. | AAAA | 300 | IPV6: 2606:50c0:8001::153 |
yoichihirai.com. | AAAA | 300 | IPV6: 2606:50c0:8003::153 |
yoichihirai.com. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
yoichihirai.com. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
yoichihirai.com. | MX | 1799 | MX Record: 20 mxext3.mailbox.org. |
yoichihirai.com. | MX | 1799 | MX Record: 10 mxext1.mailbox.org. |
yoichihirai.com. | MX | 1799 | MX Record: 10 mxext2.mailbox.org. |
yoichihirai.com. | TXT | 1799 | TXT Record: keybase-site-verification=F8u1BA2KXYISqYp1nTzYfEi0WRzwg-N_tnZpr22UuNg |
yoichihirai.com. | TXT | 1799 | TXT Record: v=spf1 include:mailbox.org |
Yoichi Hirai (平井洋一) interests Computation and some logics Becoming a "convenience logician" in the sense of "convenience stores" resume Logic Zoo Workshop 2013 --> DBLP github contact information mail: i@yoichihirai.com PGP fingerprint: F448 E185 1AF0 97CC 7A97 4257 E7B7 5D08 0FCF 7992 blog (English) blog at medium.com blog (in Japenese) @pirapira at twitter tumblr Berlin BedRock Systems, inc prizes, grants and distinctions 科研費(研究活動スタート支援) 交付内定 2013--2015. PPL2013 presentation award. JSPS Research Fellowships for Young Scientists. 2011--2013. 平成21年度国家公務員採用Ⅰ種試験合格(名簿は有効期限切れ) Dean’s Award of Graduate School of Information Science and Technology, The University of Tokyo, 東京大学大学院 情報理工学系研究科 研究科長賞, 2010. Classified among the 20 best candidates in Japanese Mathematical Olympiad. 2002. publication refereed Yoichi Hirai: Defining the Ethereum Virtual Machine for Interactive Theorem Provers ( paper slides ), 1st Workshop on Trusted Smart Contracts , 2017, accepted Hanno Becker, Juan Manuel |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://yoichihirai.com/ X-GitHub-Request-Id: 67C6:7980:C80CBC:150E9D6:61805BA5 Content-Length: 162 Accept-Ranges: bytes Date: Mon, 01 Nov 2021 21:27:01 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-chi21161-CHI X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1635802021.261480,VS0,VE34 Vary: Accept-Encoding X-Fastly-Request-ID: 62318127f6a45aaf82aafd6ac2d469d8886e5617 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Fri, 08 Jan 2021 19:54:43 GMT access-control-allow-origin: * etag: "5ff8b883-3d92" expires: Mon, 01 Nov 2021 21:37:01 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 516A:056F:648EF9:C40414:61805BA5 accept-ranges: bytes date: Mon, 01 Nov 2021 21:27:01 GMT via: 1.1 varnish age: 0 x-served-by: cache-stl4837-STL x-cache: MISS x-cache-hits: 0 x-timer: S1635802021.484084,VS0,VE75 vary: Accept-Encoding x-fastly-request-id: 847ddc3c04ad0ea8be570b7f7ec9410d50da9d7f content-length: 15762 |
Domain Name: YOICHIHIRAI.COM Registry Domain ID: 1669652144_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-06-30T08:08:31Z Creation Date: 2011-07-30T21:58:54Z Registry Expiry Date: 2022-07-30T21:58:54Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: DNS1.REGISTRAR-SERVERS.COM Name Server: DNS2.REGISTRAR-SERVERS.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-20T05:47:19Z <<< |