Rikai

専門書の「わからない」を減らす

専門書を読んでいて手が止まるのは、たいてい書かれていないことが原因です。「明らかに」で飛ばされた 3 行、どの仮定を使ったのか書かれていない変形、何のためにあるのかわからない定理。Rikai はそこを埋めます。

行間を埋める

証明の各ステップで、どの仮定・どの定理を使ったかを明示します。「容易にわかる」で済ませず、その 1 行を書きます。

LLM と一緒に読む

記事の先頭のボタンひとつで、本文を添えて Claude や ChatGPT に質問できます。数式はホバーで LaTeX ソースをコピーできます。

定理に番号と索引

定義・定理には番号が振られ、記事をまたいで相互参照されています。用語索引と定理索引から引けます。

無料記事は最後まで読める

途中で切って課金を迫ることはしません。無料の章は全文公開し、続きを読みたい人向けにテーマ単位で本にまとめています。

分野から探す

数学基礎論・微積分・線形代数・代数・解析・幾何・確率・数論、そして非可換幾何学まで。

物理学力学・電磁気学・熱力学・量子力学・相対性理論・場の量子論、宇宙論のコラムも。

情報科学アルゴリズム、機械学習の数学、計算機の基礎、ソフトウェア開発の実務。

書いている人

数学の博士号を持つソフトウェアエンジニアが、大学での指導と教科書執筆の経験をもとに書いています。運営は 夢現技研合同会社（東京都港区南青山）。

会社では、レガシー基幹システムの刷新と、生成 AI・機械学習の本番化を専門に受託開発を行っています。技術顧問や教材の執筆・監修も承ります。

夢現技研合同会社会社サイト。事業内容・開発実績・代表プロフィール。

受託開発のご相談レガシー刷新・AI 本番化・閉域オンプレ AI 基盤。まずはご相談ください。