Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | TojoQK |
Description | TojoQK RSS About me Contact TojoQK の投稿 個人PCの TojoQK ユーザーの Laptop の設定 <2022-05-15 日 20:25> 個人PCでプライベートで使っているメインとは別の tojoqk ユーザーを作成したのでその設定を公開しました。 記事 |
Keywords | N/A |
WebSite | tojo.tokyo |
Host IP | 108.160.135.22 |
Location | United States |
Site | Rank |
dimension-tokyo.jp | 3,439,841 |
US$3,343,646
最終更新: 2022-09-09 02:21:37
tojo.tokyo の Semrush グローバル ランクは 3,165,498 です。tojo.tokyo は、推定広告収入に基づいて、US$3,343,646 の推定価値を持っています。 tojo.tokyo には、毎日約 385,806 人のユニーク ユーザーがアクセスしています。 その Web サーバーは United States にあり、IP アドレスは 108.160.135.22です。 SiteAdvisor によると、tojo.tokyo は安全にアクセスできます。 |
売買価格 | US$3,343,646 |
毎日の広告収入 | US$3,087 |
月間広告収入 | US$92,594 |
年間広告収入 | US$1,111,120 |
デイリーユニークビジター | 25,721 |
注: トラフィックと収益の値はすべて推定値です。 |
Host | Type | TTL | Data |
tojo.tokyo. | A | 298 | IP: 108.160.135.22 |
tojo.tokyo. | NS | 300 | NS Record: ns1.vultr.com. |
tojo.tokyo. | NS | 300 | NS Record: ns2.vultr.com. |
tojo.tokyo. | MX | 18000 | MX Record: 10 mail.tojo.tokyo. |
tojo.tokyo. | TXT | 300 | TXT Record: v=spf1 ip4:45.77.102.230 ~all |
TojoQK RSS About me Contact TojoQK の投稿 個人PCの TojoQK ユーザーの Laptop の設定 <2022-05-15 日 20:25> 個人PCでプライベートで使っているメインとは別の tojoqk ユーザーを作成したのでその設定を公開しました。 記事を書くときや tojoqk として他者と画面を共有するときなどに使う用のユーザーの設定です。 RSS の旧 URL を新 URL へリダイレクトしました <2022-04-21 木 13:00> /feed.xml を /index.xml にリダイレクトするように設定しました。 万が一これで RSS リーダー側に何らかの支障を起こしたらすみません。 一応軽くテストをしてみたところ大きな問題はなさそうなので実行しました。 ACL2 でリストの回文に関する性質を証明した <2022-04-04 月 22:10> 下記の回文に関する定理を証明しました。 (defthm palindrome-sandwich (implies (and (true-listp x) (true-listp y)) (equal (palindromep (append y x (reverse y))) (palindromep x)))) ACL2 で鳩の巣の原理を使ってみた <2022-03-26 土 02:00> ACL2 で鳩の巣の原理を使った証明ができることを確認します。 この記事は ACL2 を実際に使って定理証明をする作業がどんな感じなのかがよく分かるようになっていると思います。 そのような記事は日本語圏において現在のところ一つもないと思うので大変貴重なものだと思います(自画自賛)。 TODO ACL2 でリストの回転に関する性質を証明してみた <2022-03-24 木 01:00> ACL2 でリストの回転に関する性質を証明する記事です。 リストの長さと同じ回数回転すると元のリストと一致することについて証明できていないので、 いつか証明できたらいいなと思ってます。 システム x による支配 <2022-03-19 土 18:00> システムによる支配について会話劇を用いた解説です。 会社 X とシステム x |
HTTP/1.1 301 Moved Permanently Server: nginx Date: Thu, 23 Dec 2021 14:25:47 GMT Content-Type: text/html Content-Length: 162 Connection: keep-alive Location: https://tojo.tokyo/ HTTP/1.1 301 Moved Permanently Server: nginx Date: Thu, 23 Dec 2021 14:25:48 GMT Content-Type: text/html Content-Length: 162 Connection: keep-alive Location: https://www.tojo.tokyo Permissions-Policy: interest-cohort=() HTTP/1.1 200 OK Server: nginx Date: Thu, 23 Dec 2021 14:25:49 GMT Content-Type: text/html Content-Length: 5849 Last-Modified: Mon, 20 Dec 2021 14:43:15 GMT Connection: keep-alive ETag: "61c09683-16d9" Permissions-Policy: interest-cohort=() Accept-Ranges: bytes |