メタ情報
| meta description平均長 | 90.67 |
|---|
| OGPありページ数 | 33 |
|---|
| Twitterカードありページ数 | 33 |
|---|
内部リンク分析（Internal）
| ユニーク内部リンク数 | 103 |
|---|
| ページあたり内部リンク平均 | 23.33 |
|---|
キーワード分析（KeywordMap）
ワードクラウド上位
| 語 | 重み |
|---|
| Lean | 1 |
| com | 0.343472 |
| LLM | 0.297889 |
| Lean4 | 0.257233 |
| Lady | 0.245149 |
| Game | 0.238835 |
| たとえば | 0.204291 |
| しかし | 0.203333 |
| 読者になる | 0.19736 |
| seasawher | 0.196233 |
| mond | 0.191068 |
| NNG4 | 0.191068 |
| Natural | 0.191068 |
| Number | 0.191068 |
| www | 0.179782 |
| infoview | 0.178733 |
| おめでとう | 0.178733 |
| また | 0.178733 |
| 当サイトでは | 0.178733 |
| Borden | 0.163433 |
| よろしくお願いします | 0.143825 |
| 私は | 0.143825 |
| youtube | 0.143825 |
| 定理証明支援系 | 0.143825 |
| 以前 | 0.143825 |
| Rustico | 0.143301 |
| github | 0.143301 |
| これ | 0.143301 |
| 検索しても解決策がヒットしなかったので | 0.122575 |
| メモ代わりに置いておきます | 0.122575 |
| 結論から言うと | 0.122575 |
| 次のコマンドで解決しました | 0.122575 |
| あらかじめ | 0.122575 |
| コマンドはインストールしておいてください | 0.122575 |
| 私が書いたLean言語の本が出版されました | 0.122575 |
| ゼロから始めるLean言語入門 | 0.122575 |
| lambdanote | 0.122575 |
| に出版されて購入可能になっていたのですけど | 0.122575 |
| 報告が遅れてしまいました | 0.122575 |
| 普段から公言しているのですが | 0.122575 |
| Leanを | 0.122575 |
| 数学科の卒業生全員が知っているプログラミング言語にする | 0.122575 |
| ことを目標にしています | 0.122575 |
| 今日はそれについて軽く語ろうと思います | 0.122575 |
| いま書籍の最後の校正をしているのですけど | 0.122575 |
| とっても焦ってます | 0.122575 |
| Unicode | 0.122575 |
| が豆腐になってるのを見つけたときは | 0.122575 |
| これ見逃してたらやばかったな | 0.122575 |
| と冷や汗が出ました | 0.122575 |
共起語上位
| 語1 | 語2 | スコア | 共起ページ数 |
|---|
| 引用するにはまずログインしてください | 引用をストックしました | 4.431807 | 132 |
| 引用するにはまずログインしてください | 引用をストックできませんでした | 4.108518 | 99 |
| ポンコツ数学徒 | 引用をストックしました | 3.998326 | 132 |
| 引用をストックしました | 引用をストックできませんでした | 3.723284 | 99 |
| 再度お試しください | 引用をストックできませんでした | 3.649902 | 66 |
| seasawher | 読者になる | 3.343022 | 64 |
| 再度お試しください | 引用するにはまずログインしてください | 3.256272 | 66 |
| ポンコツ数学徒 | 引用するにはまずログインしてください | 3.247685 | 99 |
| 再度お試しください | 引用をストックしました | 2.950949 | 66 |
| 再度お試しください | 限定公開記事のため引用できません | 2.877341 | 33 |
| ポンコツ数学徒 | 読者になる | 2.616919 | 64 |
| Natural | Number | 2.616338 | 16 |
| Game | Number | 2.523832 | 16 |
| 引用をストックできませんでした | 限定公開記事のため引用できません | 2.497689 | 33 |
| メモ代わりに置いておきます | 検索しても解決策がヒットしなかったので | 2.445153 | 12 |
| ポンコツ数学徒 | 引用をストックできませんでした | 2.412845 | 66 |
| www | youtube | 2.410803 | 16 |
| ゼロから始めるLean言語入門 | 私が書いたLean言語の本が出版されました | 2.362397 | 12 |
| いま書籍の最後の校正をしているのですけど | とっても焦ってます | 2.362397 | 12 |
| もうすぐ私が書いた本が出版されます | タイトルはかなり高い確率で | 2.362397 | 12 |
| Minor | Waltz | 2.362397 | 12 |
| こないだ | タイトル通りです | 2.362397 | 12 |
| メモ代わりに置いておきます | 結論から言うと | 2.325357 | 12 |
| 次のコマンドで解決しました | 結論から言うと | 2.325357 | 12 |
| あらかじめ | 次のコマンドで解決しました | 2.325357 | 12 |
| あらかじめ | コマンドはインストールしておいてください | 2.325357 | 12 |
| に出版されて購入可能になっていたのですけど | 報告が遅れてしまいました | 2.325357 | 12 |
| Leanを | 数学科の卒業生全員が知っているプログラミング言語にする | 2.325357 | 12 |
| ことを目標にしています | 数学科の卒業生全員が知っているプログラミング言語にする | 2.325357 | 12 |
| ことを目標にしています | 今日はそれについて軽く語ろうと思います | 2.325357 | 12 |
| Unicode | とっても焦ってます | 2.325357 | 12 |
| Unicode | が豆腐になってるのを見つけたときは | 2.325357 | 12 |
| が豆腐になってるのを見つけたときは | これ見逃してたらやばかったな | 2.325357 | 12 |
| これ見逃してたらやばかったな | と冷や汗が出ました | 2.325357 | 12 |
| こわいです | と冷や汗が出ました | 2.325357 | 12 |
| ゼロから始める | タイトルはかなり高い確率で | 2.325357 | 12 |
| になります | 言語入門 | 2.325357 | 12 |
| Collapse | Minor | 2.325357 | 12 |
| Collapse | という曲がある | 2.325357 | 12 |
| あるとき | という曲がある | 2.325357 | 12 |
| YouTube | あるとき | 2.325357 | 12 |
| YouTube | のお勧めに流れてきて知った | 2.325357 | 12 |
| 最初の１音を聞いた瞬間から引き込まれてしまって | 結果的にすごく有能なお勧めだった | 2.325357 | 12 |
| 以来携帯のタイマーの音に設定している | 最初の１音を聞いた瞬間から引き込まれてしまって | 2.325357 | 12 |
| については | 私はいままで | 2.325357 | 12 |
| で証明が書かれているなら | コンパイルが通りさえすれば証明は正しいので | 2.325357 | 12 |
| コンパイルが通りさえすれば証明は正しいので | 証明のチェックが楽にできる | 2.325357 | 12 |
| と書いてきました | 証明のチェックが楽にできる | 2.325357 | 12 |
| いや | これはちょっと誤解を招く表現だったかもしれません | 2.325357 | 12 |
| これ単体で食べるとあまりおいしくないんですよね | のアイスを買ってきたのですけど | 2.325357 | 12 |
被リンク情報
このデータの閲覧には会員登録が必要になります。会員登録