Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Yosuke |
Description | Yosuke Fukuda (福田 Yosuke Fukuda (福田 陽介) I’m currently working as an assistant professor at Kyoto Tachibana University (Department of Information and Computer Science, Facul |
Keywords | N/A |
WebSite | lambda.ski |
Host IP | 59.106.13.22 |
Location | Japan |
Site | Rank |
US$1,911
Last updated: 2023-05-19 23:24:52
lambda.ski has Semrush global rank of 0. lambda.ski has an estimated worth of US$ 1,911, based on its estimated Ads revenue. lambda.ski receives approximately 220 unique visitors each day. Its web server is located in Japan, with IP address 59.106.13.22. According to SiteAdvisor, lambda.ski is safe to visit. |
Purchase/Sale Value | US$1,911 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$52 |
Yearly Ads Revenue | US$635 |
Daily Unique Visitors | 14 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
lambda.ski. | A | 3598 | IP: 59.106.13.22 |
lambda.ski. | AAAA | 3598 | IPV6: 2001:e42:101:3:59:106:13:22 |
lambda.ski. | NS | 86400 | NS Record: 03.dnsv.jp. |
lambda.ski. | NS | 86400 | NS Record: 04.dnsv.jp. |
lambda.ski. | NS | 86400 | NS Record: 01.dnsv.jp. |
lambda.ski. | NS | 86400 | NS Record: 02.dnsv.jp. |
lambda.ski. | MX | 3600 | MX Record: 10 lambda.ski. |
lambda.ski. | TXT | 3600 | TXT Record: v=spf1 a:lambda.ski -all |
Yosuke Fukuda (福田 陽介) I’m currently working as an assistant professor at Kyoto Tachibana University (Department of Information and Computer Science, Faculty of Engineering). My general research interest is to investigate the theory of computation in programming languages, primarily in the context of the Curry–Howard correspondence between meta λ-calculi and intuitionistic modal logics. Although I’m mostly working on the mathematical theory of computation and logic, I’m also interested in philosophy of logic (in particular, logical constants and logical consequence) and the theory of quotation. Publication Yosuke Fukuda and Akira Yoshimizu. A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. In Proceedings of Formal Structures for Computation and Deduction (FSCD 2019) , Dortmund, Germany, June, 2019. [ doi | arXiv | slide ] Yosuke Fukuda and Ryosuke Igarashi. A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. In Proceedings of Logic, |
HTTP/1.1 302 Moved Temporarily Server: nginx Date: Sat, 10 Dec 2022 08:41:49 GMT Content-Type: text/html Content-Length: 138 Connection: keep-alive Location: https://lambda.ski/ HTTP/2 200 server: nginx date: Sat, 10 Dec 2022 08:41:50 GMT content-type: text/html content-length: 11058 last-modified: Thu, 27 Oct 2022 08:16:36 GMT etag: "2b32-5ebffc28a678e" accept-ranges: bytes |
Domain Name: lambda.ski Registry Domain ID: 7e095f02cf5a472eb92c18049a5f5e92-DONUTS Registrar WHOIS Server: whois.discount-domain.com Registrar URL: http://www.onamae.com Updated Date: 2022-11-26T02:47:53Z Creation Date: 2020-12-31T03:45:59Z Registry Expiry Date: 2022-12-31T03:45:59Z Registrar: GMO Internet, Inc. d/b/a Onamae.com Registrar IANA ID: 49 Registrar Abuse Contact Email: abuse@gmo.jp Registrar Abuse Contact Phone: +81.337709199 Domain Status: ok https://icann.org/epp#ok Registrant State/Province: Tokyo Registrant Country: JP Name Server: 01.dnsv.jp Name Server: 02.dnsv.jp Name Server: 03.dnsv.jp Name Server: 04.dnsv.jp DNSSEC: unsigned >>> Last update of WHOIS database: 2022-12-10T08:37:40Z <<< |