事業

研究と学習の文書をソフトウェアで支えます。

二つのプロダクト

書く人のための道具と、学ぶ人のための教材。扱っているものは違いますが、どちらも、人が手作業で回している工程をソフトウェアの側に移すという一点でつながっています。

AI搭載LaTeXエディタ

macOS・Windows対応のLaTeXエディタ。ローカルでの編集・ビルドに加え、Axiomが文章と数式の執筆、エラー修正、再ビルドまで進めます。変更は適用後の差分から確認または取り消しができます。

入試数学の解答PDF作成

問題の画像から、組版の整った解答PDFを作成します。収録済みの4,313問から、分野と難度を指定してオーダーメイドの問題集を組むこともできます。